t_wの輪郭

RSS

構造帰納法整礎帰納法

構造帰納法

2024/6/2 12:54:00

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

プログラミング言語構文論意味論マルチモーダルなコミュニケーション表示的意味論コンパイラを作るのに必要なのは構文論と操作的意味論操作的意味論整数論構造帰納法表示的意味論は意味論意味は、真理値を返す関数だった。【意味論勉強会】『プログラミング言語の形式的意味論入門』大学の下位互換目線は指示としてコスパが良い神経基盤言語形式分からないことへの解像度平仄『論理学を作る』『プログラミング言語の基礎理論』操作的意味論は構文論統語論セマンティクスシンタックス整礎帰納法

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

2024/6/2 12:47:00

(https://youtu.be/doo9vB6amYw)

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