ホーム › 意味は、真理値を返す関数だった。【意味論勉強会】#336
ゆるラジオindex 編集部より
意味とは何か、という問いに答えを出してしまいました。
温泉旅館での勉強会回です。言語学とプログラミング、それぞれの分野から「意味」を掘り進めて、どこかで合流します。
型理論を電子レンジにたとえたあたりが、この回の山場です。
この回の内容
- 0:00互いの分野から「意味」を掘る
- 5:51研究者たちに無視されてきた「意味」
- 10:05手段がないのならば借りてくればいい
- 13:50「水野さんはケチ」は狭義の「意味」で関数
- 20:38文を関数的に捉えたら分かりあえそう？
- 26:12型理論は電子レンジ
- 30:21文は関数的に扱えるのか？
- 41:19プログラミング言語からみた意味論
- 44:04意味論をもっとガッツリ教わりたい方必見
この回に出てくる言葉
番組でくり返し語られる言葉です。押すと、その語が話題になった回が並びます。
この回で紹介された本・参考文献
- 言語の科学4 意味
- 形式意味論入門
- 型理論
- プログラミング言語の形式的意味論
- 教養悪口本