2005-08-20 カリー・ハワード対応 (8) 読書会 読書会も久しぶりか。前の復習をしながら進む。sum typeについての話が終わる。やっとquantifierへ。次のラッセル読書会は人が来ないため中止。