t_wの輪郭
指示
コスパが良い
目線
目線は指示としてコスパが良い
2024/6/2 4:38:00
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
プログラミング言語
意味論
操作的意味論
表示的意味論
構文論
シンタックス
セマンティクス
統語論
整礎帰納法
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
2024/6/2 3:47:00
(
https://youtu.be/doo9vB6amYw
)
意味は、真理値を返す関数だった。【意味論勉強会】