日記の練習です。
再起動しようと試みている様子です。昨日のモスバーガー、いつもの席の様子です。金子洋之『記号論理入門』第7章「量化の規則 1」、開式と閉式、自由変項と束縛変項についてです。
あまりに久しぶりすぎてただ本を開いて、レモンスカッシュを吸いながらボーっとしているだけでしたが、30分過ぎたあたりであきらめて「とりあえず書いてある内容をそのままノートに書き写そう」と手を動き出したらだんだん勢いが出てきた感じです。 "Shut the fuck up and write some code" ですね。次は∀-除去則と∀-導入則です。予定は未定です。