t_wの輪郭

整礎帰納法

2024/6/2 3:54:00

構造帰納法『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』

構造整礎帰納法帰納法

構造帰納法

2024/6/2 3:54:00

『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』

プログラミング言語意味論操作的意味論表示的意味論構文論シンタックスセマンティクス統語論整礎帰納法

『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』

2024/6/2 3:47:00

(https://youtu.be/doo9vB6amYw)

意味は、真理値を返す関数だった。【意味論勉強会】