t_wの輪郭
帰納法
整礎帰納法
構造
構造帰納法
2024/6/2 3:54:00
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
大学の下位互換
マルチモーダルなコミュニケーション
目線は指示としてコスパが良い
神経基盤
言語形式
分からないことへの解像度
整数論
平仄
『論理学を作る』
コンパイラを作るのに必要なのは構文論と操作的意味論
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
2024/6/2 3:47:00
(
https://youtu.be/doo9vB6amYw
)
意味は、真理値を返す関数だった。【意味論勉強会】