GenerisLightningTalks #18 Naruhiko Ogasawara
Upcoming SlideShare
Loading in...5
×
 

GenerisLightningTalks #18 Naruhiko Ogasawara

on

  • 923 views

This slide is very very introduction about semantics theories of the programming languages. This slide presented in GLT #18, the Lightning Talk Event in Tokyo, Japan.

This slide is very very introduction about semantics theories of the programming languages. This slide presented in GLT #18, the Lightning Talk Event in Tokyo, Japan.

Statistics

Views

Total Views
923
Views on SlideShare
898
Embed Views
25

Actions

Likes
0
Downloads
0
Comments
0

1 Embed 25

http://d.hatena.ne.jp 25

Accessibility

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    GenerisLightningTalks #18 Naruhiko Ogasawara GenerisLightningTalks #18 Naruhiko Ogasawara Presentation Transcript

    • 意味論祭り おがさわらなるひこ @ Genesis Lightning Talks #18, Aug 8th 2009
    • 大事なことは 初めに 言います
    • 健康には 気をつけましょう
    • 祭といえば Fever! (熱) (夏風邪的な意味で )
    • 連日 38 度以上の 熱で体力消耗
    • 熱が辛くて 本は読めないわ プレゼン資料は 書けないわ
    • 夢の中で λ 算法がぐ〜るぐる (実話)
    • ということで もっとかっこいい話を するつもりが
    • しょぼしょぼな 発表に なってしまいました。 ごめんなさい (mOm)
    • さて本題。
    • 人に薦められて こんな本を読んだ。 山村 吉信 ( 著 ) 単行本 : 208 ページ 出版社 : 三元社 (2003/08) ISBN-10: 4883031233 ISBN-13: 978-4883031238 発売日: 2003/08
    • むちゃくちゃ 面白い!
    • 要は "1+2 = 3" を いろんな形 (集合論、関数論、 代数、ハードウェア、 ソフトウェア)で 解くっていう
    • 実用色は かけらもないもの なんだけど 祭りに実用性を 求めてどうする !?
    • いわば 意味論祭り! 実際は夏風邪祭りに なっちゃったけどさ……。
    • そこで学生時代に 愛読してたはず なのに実家から発掘 できない古典的 名著をあまぞった。
    • 岩波講座 情報科学 名著中の名著 岩波講座情報科学〈 12 〉 算法表現論 残念ながら 木村泉・米沢明憲 共著 単行本 : 282 ページ ネット上からは 出版社 : 岩波書店 書影は発見できず 発売日: 1982/05 (T_T)
    • 渾身の名著。 特に米澤先生パート は読むべき。
    • 最近超並列プログラ ミング言語として ちょっと話題な Erlang の理論背景 とか分かっちゃうよ。
    • さておき。
    • プログラミング言語 の 意味論って 何?
    • プログラミング言語の 意味を 形式的に ( 言い換えれば 数学的に ) 記述すること
    • それによって プログラミング言語の いろんな性質を 明らかにすること
    • 意味論で 分かること
    • ある言語の記述 できる意味と 別の言語が記述 できる意味が 同じであるか → 大抵の言語は同じ
    • 停止性問題 「あるプログラムが 確実に停止するかを 判断するプログラム は書けるか ? 」 → どんな言語でもムリ
    • Pure ( 純粋 ) プログラミング言語 の世界では 「同じ問いをしたら同 じ値が常に帰る」 のが Pure ってこと
    • 破壊代入とか 副作用のある 操作ができたら Pure ではありません 別にドリームクラブ(※) とは 関係ないはずです (※)しっかしピュアな心を持った人向けのキャバクラって どんなコンセプトやねん……。
    • あとは型理論とか 遅延評価 (Haskell で 有名)の 論理化とか
    • 当然どんどん理論は 進んでるはずです ので 興味がある向きは 各自追っかけてね
    • 意味論で 分からないこと
    • プログラミング言語が 実用の道具足るには 世界との I/O が 必須
    • しかし I/O ( というか世界 ) に 関しては 意味論は何を 言うこともできない
    • まあ限界が あるのも 事実ですが
    • 面白かったら ええやないか! それがお前に なんか迷惑 かけたかボケ!
    • と、男らしく 言い放てたら いいですね。
    • 冗談抜きで 仕事に役立つ 役立たないは 関係なく 面白いことを 見つけましょう。
    • (本当の) 終