意味論雑談

takeo @bonotake

@anatoo ただし、型付き言語の意味論を表現するのに、型を対象にして、関数を射にするってのは、別にHaskellに限らずよく用いられる手法ではあります。

oto @oto_oto_oto

意味論って何でしょね。

takeo @bonotake

記号に意味を付与すること ってマジレスしちゃダメ？ RT @oto_oto_oto: 意味論って何でしょね。

takeo @bonotake

記号っつか記号列か

@salmonsnare

@bonotake うーむ。意味とは。

@salmonsnare

むずい。

@salmonsnare

これこれのグラフの不変量を定義して計算する意味は何か？っていう文脈の「意味」だったら「なにこれ食べれるの。」とか、「数学的に豊かな構造を持つか否か。」とか。

takeo @bonotake

その意味は「意義」と同義であって、意味論の意味とは違うね。 RT @salmonsnare: これこれのグラフの不変量を定義して計算する意味は何か？っていう文脈の「意味」だったら「なにこれ食べれるの。」とか、「数学的に豊かな構造を持つか否か。」とか。

@salmonsnare

@bonotake うーむ。存じ上げませんでした・・・。これだと「意義」なんですね。

takeo @bonotake

意味論の意味って、何かの言葉に与えられる概念とかそういうもんでしょ。って循環定義のような定義をしてしまう

@salmonsnare

http://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%E6%84%8F%E5%91%B3%E8%AB%96

@salmonsnare

こっち寄りの話か。

takeo @bonotake

@salmonsnare そっち寄り

@salmonsnare

@bonotake グラフ文法とは割と近いかもですね。

takeo @bonotake

別に自然言語に対する意味論とかでも同じだと思うけど

takeo @bonotake

@salmonsnare グラフ文法は構文論の方じゃないの？よく知らんのだけど

oto @oto_oto_oto

留守の間に盛り上がってるー

@salmonsnare

@bonotake 「意味規則」って用語を少し聞いたことがあるので、意味論についても言及しているかもです。ただ、難しくて、読みきれてない感じです。　＞グラフ文法の本

oto @oto_oto_oto

「意味を与える」というと、なんだか「意味」という実体があるようなニュアンスがあって違和感があったんですよ。それが知りたいのに！的な。

oto @oto_oto_oto

「あっちの言語でああ書くのと、こっちの言語でこう書くのは、同じ意味だよ」という形でしか「意味」は意味を持たない、というのが現状の理解。ナイーブだと思うけど。

takeo @bonotake

@salmonsnare 意味規則は意味論です（ちゃんと設計されていれば）。

@salmonsnare

@oto_oto_oto ふと思ったんですけど、「解釈を与える」と「意味を与える」って似てませんかね。

@salmonsnare

@bonotake どうもです。m(_ _)m

takeo @bonotake

そりゃ変換意味論と呼ばれるものにに近いですな RT @oto_oto_oto: 「あっちの言語でああ書くのと、こっちの言語でこう書くのは、同じ意味だよ」という形でしか「意味」は意味を持たない

oto @oto_oto_oto

そういう、言語と言語間の翻訳ルールの集まりを考えて、それを同値類として割ったものが「意味」なんじゃないかなーと。