2005-08-20から1日間の記事一覧

悩んだらとりあえず行っておけ、ってことで。そのうち旅行へ出かけます。あれ手元にクラムボン大阪ライブのチケットが。。。台風直撃にならないことを祈る。

カリー・ハワード対応 (8)

読書会も久しぶりか。前の復習をしながら進む。sum typeについての話が終わる。やっとquantifierへ。次のラッセル読書会は人が来ないため中止。

中川純男・加藤雅人編、『中世哲学を学ぶ人のために』、世界思想社、¥2100. これはいい。買ってこよう。 E.サイード、島弘之訳、『パレスチナとは何か』、岩波書店、¥1260. 岩波現代文庫で再版。