トップ «前の日記(2007-09-21) 最新 次の日記(2007-09-23)» 月表示 編集

日々の流転


2007-09-22 [長年日記]

λ. PPL Summer School 2007

第5回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2007) の講義資料を読んでいる。 やっぱり面白いそうだなぁ。 参加者の感想を聞きたいものだ。 zyxwvの日記(2007-09-20) を読んで、すえひろがりっっっ!suerさんあたりが書いてくれないかぁ、と思った(ボソッ

本日のツッコミ(全2件) [ツッコミを入れる]
ψ rpf (2007-09-23 18:00)

小野先生、変わらないなあ。

ψ さかい (2007-09-28 06:43)

昔の小野先生は知らないのですが、部分構造論理の話は結構長くやってますよね。<br># 私も最近ようやく部分構造論理の話が分かってきました……