ホーム › 意味は、真理値を返す関数だった。【意味論勉強会】#336
温泉旅館で意味論の勉強をしたら、「意味は関数」という結論にたどり着きました。
この回の内容
- 0:00互いの分野から「意味」を掘る
- 5:51研究者たちに無視されてきた「意味」
- 10:05手段がないのならば借りてくればいい
- 13:50「水野さんはケチ」は狭義の「意味」で関数
- 20:38文を関数的に捉えたら分かりあえそう？
- 26:12型理論は電子レンジ
- 30:21文は関数的に扱えるのか？
- 41:19プログラミング言語からみた意味論
- 44:04意味論をもっとガッツリ教わりたい方必見
この回で紹介された本・参考文献