■

朝から出かける。だいたい慣れてきた。空き時間でλ定義可能性と計算可能性の話。証明は追えるのだがやっぱり何やっているのかよく分からない。原始帰納関数のλ表現はいいが、そうでない原始関数の方はちょっと。クリーネの表現性定理の理解が危ういことに問題がありそうな感じ。読み直しか。

いろいろやることをやって昼飯へ。行きつけのラーメン屋に行くも、１時半なのに店の外まで行列が。おいおい。ここ半年ほどで人気店になってしまったようなのだ。別のところへ行った。夕方から御大Ｋ．ヘルト氏のお話（を半聞き）。もうかなりの歳なのに熱い語り方をする人だ。

帰る。疲れた。寝る。