意味論雑談

takeo @bonotake

似てるってか、僕の理解では同一です RT @salmonsnare: @oto_oto_oto ふと思ったんですけど、「解釈を与える」と「意味を与える」って似てませんかね。

oto @oto_oto_oto

@salmonsnare 同じじゃないの？と思ってます。専門家が訂正してくれます:-)

@salmonsnare

@bonotake @oto_oto_oto おお、同じなんですね。　解釈と意味

oto @oto_oto_oto

@bonotake 変換意味論ではないものって何がありますか？

oto @oto_oto_oto

集合に翻訳するか、論理に翻訳するか、圏に翻訳するか、チューリングマシンに翻訳するか、なのかな。ナントカ意味論の違いって。

takeo @bonotake

@oto_oto_oto 一般的に知られてるのは、操作的意味論と表示的意味論と公理的意味論の３つだと思いますけど、ってそういうレベルの疑問ではなくて、もっと広い意味でいってます？

oto @oto_oto_oto

多くの人がよく知ってると思われる系に変換すると、意味がついた、という気になる。よく知ってるだけに。

@salmonsnare

とりあえず、勉強用に一連のポストをふぁぼった。

oto @oto_oto_oto

@bonotake そういうことです。ほー、変換意味論はその3つとはまた違うものなのか。

@salmonsnare

述語変換意味論, http://ja.wikipedia.org/wiki/%E8%BF%B0%E8%AA%9E%E5%A4%89%E6%8F%9B%E6%84%8F%E5%91%B3%E8%AB%96

@salmonsnare

レスリー・ランポートってLaTeXの方か。こういう分野にいたんだ。

takeo @bonotake

@oto_oto_oto 変換意味論って、まさにある言語では別の言語でのこれに相当する って感じで与えられる意味論ですが、他のはそれぞれビミョーに違うような気がしますよ。

Kojima @t33f

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

@salmonsnare

この辺でよさげな書籍探したい。

oto @oto_oto_oto

@bonotake Wikipedia の説明とか読むと結構違うように見えちゃいます。見た目的に。違いはビミョーなんですね。

Kojima @t33f

たとえば論理関係とかってどうなの，あれってほんとに等しさを表してるの，とか。全部 CPO の中に押し込んじゃっていいの，とか。

@salmonsnare

特に、「表示的意味論」というのに興味を持った。

Kojima @t33f

そのへんはある程度の健全性を保証する定理があったりするんだろうけども

takeo @bonotake

@oto_oto_oto いや、結構違いますよ（笑）

takeo @bonotake

操作的意味論＝解釈の手段を与える 表示的意味論＝モデルを与える 公理的意味論＝属性を与える とか適当に言ってみる

takeo @bonotake

ほんとかなぁ（ぉぃ

はやし @t_hayashi

@salmonsnare プログラム意味論にかんしては、日本語の本でぼくが読んだことがあるものでは、共立講座（オレンジ色の表紙のやつ）に入ってるのが、もりだくさんでたのしかった覚えがあります。あとは、定番では Winskel とか Gunter とかですかね。

oto @oto_oto_oto

それぞれ、チューリングマシン、集合、論理への翻訳、とは違うんですね。RT: @bonotake: 操作的意味論＝解釈の手段を与える 表示的意味論＝モデルを与える 公理的意味論＝属性を与える とか適当に言ってみる

takeo @bonotake

@oto_oto_oto いや、たとえば数学も言語だ－と言いきってしまえば、表示的意味論も変換的意味論の一種ですがねｗ

oto @oto_oto_oto

@bonotake ああなるほど。意味論についてはそういう風に考えてました。> 数学も言語だ