ヒビルテ経由、集中講義での講義ノート。原稿はこちら。とてもわかりやすいです。発表のための再確認のために最適。 ここのお薦め通り、次はこれでも読もう。

起床は8時、眠い。雑用、その後論文読み。とても眠い。午後も雑用、そして論文読み。帰宅は19時半。Cがバレンタイン用のチョコケーキを焼いていた。論文の続きとメール書き、「ハルヒ」を見てから25時に就寝。 思わぬことが続けて起きる。忙しい月になりそう…

起床は8時。寒いけれどさわやかな朝。ちゃんと寝たのになぜか眠い。雑用と論文書き。昼から某事態対策。午後3限目は試験監督、学生120人の大所帯。 その後某事態対策の続き。某が某で某。これから忙しいことが続くので、とりあえず今日からBlogを一時公開停…

起床は8時、空気がとても冷たい。試験期間になり、午前中このフロアには先生も生徒も誰もいない。雑用をする。 午後は三限目が試験監督。問い合わせ事項があって試験会場と事務室を走って二往復。疲れて帰ってきたところ、K助教授に言われて次は段ボールゴミ…

11時半に起床。読書をしたり、論文修正のためメモをとったり。Cと16時に三宮で待ち合わせ。本屋とMarimekkoとGapに行く。寿司屋で夕食、お茶を飲んだ後大丸でズボンを買って帰宅。 ･･･あまり関係ないが、「パンツ」と書かず「ズボン」と書いてしまう。個人的…

起床は12時。Cと近所の喫茶店に行き昼食。洗濯をして、それから読書と本棚の整理。

起床は8時。寒い。昨晩のうちにあられが降ったらしく、路面が所々白い。午前中は雑用。昼休みに郵便局へ各種会費を支払いに行く。晴れ間も見え、少し暖かい。午後は雑用の続き。しかしなぜか財務会計システムに接続できず、仕事がはかどらない。夕方システム…

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

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

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