2022.10.03
https://gyazo.com/7cf44c1ecca351dcf83fc8e9b3455259
またしても本に関するサービスを作ろうと画策している
本と本の関連性を表示するサービス
前：
2022.10.02
後：
2022.10.04
#日報
やった
論理と計算のしくみ(本)
単純型付きλ計算における値呼び簡約の停止性
を証明した（補題は一つ飛ばした）
参考
https://www.slideshare.net/oarat/53-56830331
輪講 - 論理と計算のしくみ 5.3 型付きλ計算 (前半) (外部記事)
構造帰納法とかは教科書だと全部一行になっていて非常に見づらいがこのスライドはよくまとまっている
単純型付きλ計算
Curry-Howard同型対応
のようやく足元が見えてきた
気になる
圏論による論理学(本)
Awodey 圏論(本)
圏論 入門(本)
水星の魔女