意味論雑談

takeo @bonotake

@oto_oto_oto Meyerの言葉を借りれば、変換意味論はコンパイラを定義すること、操作意味論はインタプリタを定義すること です

oto @oto_oto_oto

@bonotake 変換意味論はコンパイラ。なるほど。わかりやすい。さすがMeyer。

oto @oto_oto_oto

定義しちゃう、しか考えられないが、危ないのかRT: @t33f: そういえば，プログラム変換の前後で意味が変わらないことを示すための道具としていろいろな等しさの定義があるけど，所望の等しさが得られるように等しさを定義してしまうのは危険ではないかと思ったりするのは素人的発想だろうか

oto @oto_oto_oto

定義しちゃう、しか考えられないが、危ないのかRT: @t33f: そういえば，プログラム変換の前後で意味が変わらないことを示すための道具としていろいろな等しさの定義があるけど，所望の等しさが得られるように等しさを定義してしまうのは危険ではないかと思ったりするのは素人的発想だろうか

Kojima @t33f

@oto_oto_oto 素朴に考えて，「その方法で等しくなったらコンピュータ上での挙動も同じになるの？」という疑問は出てくるんじゃないかな，というくらいの意味です。それが適当な意味で保証されてないと何のための変換かわからないので。

Kojima @t33f

適当な意味で，とつけたのは，実行速度が変わるのは問題ないとかいうのがあるので。もっと微妙なところでは「停止性が変わるのはどうか」とかがある。

ω･`)にべべb @2bbb

意味論談義に乗り遅れたんだけど, 「意味」って記号列に解釈を載せるってことじゃないの？

oto @oto_oto_oto

@t33f そうか、保証がどこかに必要ですね。それがないと意味がない。

ω･`)にべべb @2bbb

普通に生きてる世界では文章を記号列なんて捉え方はあんまりしないけど, 記号列にまで抽象化して考えておいて, というか, 文法と意味に切り離すようなことをするのなら意味論が必要になるよねー, という云々.

oto @oto_oto_oto

文法と意味論は鶏と卵みたいな関係になるのかな？ RT: @2bbb: 普通に生きてる世界では文章を記号列なんて捉え方はあんまりしないけど, 記号列にまで抽象化して考えておいて, というか, 文法と意味に切り離すようなことをするのなら意味論が必要になるよねー, という云々.

ω･`)にべべb @2bbb

@oto_oto_oto だと俺は思ってるけどねー. 論理学とかはそんな感じだったよ.

takeo @bonotake

.@2bbb http://bit.ly/d5x41w これはしょっぱなのこれ http://bit.ly/b5lmM0 と同じこと言ってね？（記号→記号列 はその直後に言い換えてます）

ω･`)にべべb @2bbb

@bonotake 乗り遅れたのであんまり流れ追わずにボヤイてただけなのでw 確かに同じこと言ってますねw

takeo @bonotake

@2bbb まぁ大事なので二度言いました ってことですねｗ

ω･`)にべべb @2bbb

@bonotake まあ, 恐らく, 「真実は多分一つ」なんじゃないかとw

takeo @bonotake

@2bbb うん、「多分」がポイントですね（＾＾；

ω･`)にべべb @2bbb

@bonotake 自信無しな感じですw

takeo @bonotake

@2bbb その気持は良くわかりますｗ

ω･`)にべべb @2bbb

@bonotake でも意味論だものね, 意味を論じるんだよね！

takeo @bonotake

@2bbb うん、たぶんｗ