意味論
意味とは何か、という問いに正面から答えようとする分野です。温泉旅館で勉強会をした回では「意味は真理値を返す関数だった」という結論に至りました。プログラミング言語の意味論と突き合わせる場面もあります。
45 本の回で語られています(登場が多い順に 20 本を表示)
言語3:03:24 ・ 2024-10-15 ・ この回に 146 箇所
2:11今日のテーマの
意味論の授業も初めて撮りまして
コン50:28 ・ 2024-06-02 ・ この回に 53 箇所
0:29の文脈からプログラミング言語における
意味論の話をするという趣旨で
0:54水野さんがずっと形式
意味論を やるっていう話してたからさ
言語47:05 ・ 2024-06-01 ・ この回に 24 箇所
2:53僕は僕でプログラミング言語って 多分最終的に
意味論になるんですよ
3:07意味論っていう分野があるらしい っていうことは聞いてたんですよ
3:11ので僕も結局意味だなと思って お互いに
意味論をやろうじゃない
コン35:15 ・ 2024-04-14 ・ この回に 19 箇所
18:30僕が今読んでるこの形式
意味論入門っていう本
コン35:12 ・ 2024-03-31 ・ この回に 15 箇所
16:42形式
意味論ってかなりプログラミング言語だね
言語4:37:53 ・ 2024-02-06 ・ この回に 10 箇所
コン49:23 ・ 2024-06-23 ・ この回に 7 箇所
言語59:44 ・ 2022-10-25 ・ この回に 6 箇所
17:03グラマっていう形式
意味論の教科書 なんですけどほんとに誰も
言語32:22 ・ 2023-04-01 ・ この回に 5 箇所
17:54でプロトタイプ
意味論で嘘の意味っていうのを考えてみると
コン37:57 ・ 2023-04-09 ・ この回に 5 箇所
1:19リスコフの置換原則の話ですね レイコフの生成ミロンではなく
1:25上司レイコフの生成ミロンじゃない 違います
コン38:09 ・ 2024-02-18 ・ この回に 5 箇所
言語48:20 ・ 2022-11-01 ・ この回に 4 箇所
1:28僕がやってる
意味論で インテンションのセマンティックス
言語3:09:51 ・ 2023-10-24 ・ この回に 4 箇所
1:42意味論とかこういった専門家の先生が来ていただいて
コン46:04 ・ 2024-04-07 ・ この回に 4 箇所
1:31一応形式
意味論だと、括弧4つあった気がしますね
コン40:41 ・ 2024-07-07 ・ この回に 4 箇所
9:27意味論でも統語論でも束縛っていう言葉が出てくるんだけど
9:31束縛が、統語論の束縛と
意味論ってとって違うの
言語1:04:19 ・ 2024-10-22 ・ この回に 4 箇所
15:47イミロンでも美味しいについてばっかりの本とか
24:31意味論的にはその可能性をどう繰りるかっていう
言語54:54 ・ 2024-10-29 ・ この回に 4 箇所
言語33:59 ・ 2024-04-27 ・ この回に 3 箇所
21:10まあその辺も
意味論の世界でいろいろやられている
言語49:01 ・ 2025-07-08 ・ この回に 3 箇所
言語1:02:05 ・ 2025-12-23 ・ この回に 3 箇所
ほかの用語を見る検索トップ