uDiary

◆ 本よみ進捗

「情報学における論理」を主に読み進めている。１章もうすぐ終わって、次は２章の述語論理。どうして学生のころ、ちゃんと勉強しておかなかったかなぁという感じだが。

「プログラム意味論」は、チャーチ・ロッサー定理の証明になっとくがいかなくて、いまは脱線して "The Lambda Calculus" のその部分を読んでる。

圏論の教科書は、最後になるかなぁ。