２冊、先週末に届いていたが、忙しかったので記入するのを忘れていた。三中先生のページで紹介されていた「浜辺の誕生」と「自然の占有」、あまりにおもしろそうなので買ってしまった。2冊合わせて1500ページ、重くて出張に持って行けない。いつになったら読…

起床は8時。眠い。勤務表を提出に出かける。 K助教授の授業は "Hilbert programme" (Kreisel)の続き。「論理式に対するモデルではなく、証明に対するモデル」というKreiselの希望を実現するのがLinear Logicでのproof netだとか。あまり時間で発表をする。So…