t_wの輪郭
RSS
統語論
セマンティクス
2024/6/2 12:53:00
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
統語論
メモリアクセスのセマンティクス
セマンティクス
メモリアクセス
メモリアクセスのセマンティクス
2024/9/22 15:44:00
『メモリアクセスのセマンティクスとApple siliconの裏技(?)について - yamasaのネタ帳』
Sequentially consistent (SeqCst)セマンティック
Release/Acquireセマンティック
Relaxedセマンティック
プログラミング言語
構文論
意味論
マルチモーダルなコミュニケーション
表示的意味論
コンパイラを作るのに必要なのは構文論と操作的意味論
操作的意味論
整数論
構造帰納法
表示的意味論は意味論
意味は、真理値を返す関数だった。【意味論勉強会】
『プログラミング言語の形式的意味論入門』
大学の下位互換
目線は指示としてコスパが良い
神経基盤
言語形式
分からないことへの解像度
平仄
『論理学を作る』
『プログラミング言語の基礎理論』
操作的意味論は構文論
統語論
セマンティクス
シンタックス
整礎帰納法
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
2024/6/2 12:47:00
(
https://youtu.be/doo9vB6amYw
)
意味は、真理値を返す関数だった。【意味論勉強会】
言語学
統語
セマンティクス
統語論
2024/5/18 15:48:00
『【大いなる罠】プログラミング言語の意味論を勉強したら7時間がムダになった』
セマンティクス
『【ガチ】統語論の営みを概観する4時間半【樹形図まみれ】』