「研究集会」ではないけれど他に適切なカテゴリーがないので。16時より18時まで。参加者20人ぐらい? 本日は初歩の初歩、直観主義のBHK解釈・direct/indirect proof・Curry-Howard対応。HaskelでType checkingを実演して見せた。第一回目なので特に語ることも…

大学を出る。阪急線で千里中央へ。途中、岡本で特急に乗り換え、本に夢中だったので駅名をチェックせずに二駅目で下車。十三駅のはずだったのになぜか西宮北口（昨年10月から夙川にも特急が止まることになったのを忘れていた）。ちなみにその時読んでいたの…

起床は8時。眠いし寒い。晴れているけど雲が多め。本当は、午後出張なので、午前も休もうと思えば休めたのだけど、一応出勤。午前は雑用、ついでに居室の整理。 その後生協に買い物に行く。帰ってきてから、mini SDカードを買うところ間違えてSDカードを買っ…