2024.02.06
https://gyazo.com/cf68b77b9db69c8733075ec7bc8c15da
前:
2024.02.05
後:
2024.02.07
#日報
思った
なぜ
強健全性定理
が示せないのか…(鬱)
メモ
λ計算
の形式化をしてみたい