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