Login
From:
kotatsugameの日記
(Uncensored)
subscribe
週記（2024/09/09-2024/09/15） - kotatsugameの日記
https://kotatsugame.hatenablog.com/entry/2024/09/16/234013
links
backlinks
Roast topics
Find topics
Find it!
09/09(月) 午後3時過ぎ起床。半からインターン先定例会に出席した。先週の進捗は、なかった。 勉強会はラムダ計算の話。勉強会では何度か扱われたことのあるテーマであり自分も前に一度発表したが、今日はそれらよりもかなり理論に寄った内容で、β簡約とそのチャーチ・ロッサー性の説明だった。自分が修士1年のとき同級生のセミナーで聞いていたものとほぼ同じ...
