意味論祭り

おがさわらなるひこ

@ Genesis Lightning Talks #18, Aug 8th 2009

大事なことは初めに

言います

健康には気をつけましょう

祭といえばFever!（熱）

（夏風邪的な意味で )

連日 38 度以上の熱で体力消耗

熱が辛くて本は読めないわプレゼン資料は

書けないわ

夢の中でλ 算法がぐ〜るぐる

（実話）

ということでもっとかっこいい話を

するつもりが

しょぼしょぼな発表に

なってしまいました。

ごめんなさい (mOm)

終

さて本題。

人に薦められてこんな本を読んだ。

山村 吉信 ( 著 )単行本 : 208 ページ出版社 : 三元社 (2003/08)ISBN-10: 4883031233ISBN-13: 978-4883031238発売日： 2003/08

むちゃくちゃ面白い！

要は "1+2 = 3" をいろんな形

（集合論、関数論、代数、ハードウェア、

ソフトウェア）で解くっていう

実用色はかけらもないもの

なんだけど祭りに実用性を

求めてどうする !?

いわば意味論祭り！

実際は夏風邪祭りになっちゃったけどさ……。

そこで学生時代に愛読してたはず

なのに実家から発掘できない古典的

名著をあまぞった。

岩波講座 情報科学名著中の名著

残念ながらネット上からは

書影は発見できず(T_T)

岩波講座情報科学〈 12 〉算法表現論木村泉・米沢明憲 共著単行本 : 282 ページ出版社 : 岩波書店発売日： 1982/05

渾身の名著。特に米澤先生パート

は読むべき。

最近超並列プログラミング言語としてちょっと話題な

Erlang の理論背景とか分かっちゃうよ。

さておき。

プログラミング言語の

意味論って何 ?

プログラミング言語の意味を

形式的に( 言い換えれば

数学的に )記述すること

それによってプログラミング言語の

いろんな性質を明らかにすること

意味論で分かること

ある言語の記述できる意味と別の言語が記述

できる意味が同じであるか

→ 大抵の言語は同じ

停止性問題「あるプログラムが確実に停止するかを判断するプログラム

は書けるか ? 」

→ どんな言語でもムリ

Pure ( 純粋 )プログラミング言語

の世界では「同じ問いをしたら同じ値が常に帰る」

のが Pure ってこと

破壊代入とか副作用のある操作ができたら

Pure ではありません

別にドリームクラブ(※) とは関係ないはずです

（※）しっかしピュアな心を持った人向けのキャバクラってどんなコンセプトやねん……。

あとは型理論とか遅延評価 (Haskel l で

有名）の論理化とか

当然どんどん理論は進んでるはずです

ので興味がある向きは各自追っかけてね

意味論で分からないこと

プログラミング言語が実用の道具足るには世界との I/O が

必須

しかし I/O( というか世界 ) に

関しては意味論は何を

言うこともできない

まあ限界があるのも

事実ですが

面白かったらええやないか！それがお前になんか迷惑

かけたかボケ！

と、男らしく言い放てたらいいですね。

冗談抜きで仕事に役立つ役立たないは

関係なく面白いことを

見つけましょう。

（本当の）

終