昨日買ったお酒を飲んでみる。千代の光を飲んでみた。わりと甘口傾向の酒だけど、べたべたせず、うまみが感じられて、おいしい。新潟の酒はどんどん飲めてしまうが、ちょっとだけ飲んだくらいでは飲んだ気がしないような。 いっぽう、石川の常きげん「純米吟…

ラムダ計算の発表。ラムダ式で自然数や加減乗除、不動点などの発表をする。いい加減β変換は疲れた。練習問題をたくさんもらったので、がんばってやらないと。

雨や曇りの日が多い。気温もかなり下がってきたような。ようやく冬本番という感じになってきた。