2007-09-22 [長年日記]
λ. PPL Summer School 2007
第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007) の講義資料を読んでいる。 やっぱり面白いそうだなぁ。 参加者の感想を聞きたいものだ。 zyxwvの日記(2007-09-20) を読んで、すえひろがりっっっ!のsuerさんあたりが書いてくれないかぁ、と思った(ボソッ
第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007) の講義資料を読んでいる。 やっぱり面白いそうだなぁ。 参加者の感想を聞きたいものだ。 zyxwvの日記(2007-09-20) を読んで、すえひろがりっっっ!のsuerさんあたりが書いてくれないかぁ、と思った(ボソッ
小野先生、変わらないなあ。
昔の小野先生は知らないのですが、部分構造論理の話は結構長くやってますよね。<br># 私も最近ようやく部分構造論理の話が分かってきました……