2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

プログラム意味論

1 :名無しさん@お腹いっぱい。:2006/08/21(月) 02:43:29 ID:9ON/vMbD0
操作的意味論、表示的意味論、公理的意味論、なんでもウェルカム。
教科書読んでて意味不明になったら、質問するのもいいね。
プログラムの理論をやるなら教養の部類に入る分野なんで、ガンバロー。

参考書リスト
(1) 和書
(a) プログラム意味論 横内寛文 共立出版
(2) 洋書
(b) The Formal Semantics of Programming Languages : An Introduction,
Glynn Winskel, MIT Press.
(c) Semantics of Programming Languages : Structures and Techniques,
Carl A. Gunter, MIT Press.

他にも適切なものがあったら、追加をお願いします。

関連スレ
Domain Theory 領域理論
http://science4.2ch.net/test/read.cgi/informatics/1156004424/

2 :名無しさん@お腹いっぱい。:2006/08/21(月) 05:07:17 ID:T61q1iqZ0
これだから広島は

3 :名無しさん@お腹いっぱい。:2006/08/21(月) 15:25:55 ID:OBpgt44Y0
これって何する分野

4 :名無しさん@お腹いっぱい。:2006/08/21(月) 17:01:24 ID:ihiFOZ5Z0
>>3
プログラム意味論

5 :名無しさん@お腹いっぱい。:2006/08/21(月) 23:51:59 ID:OPfMty750
トートロジーはなにも語らない。

6 :名無しさん@お腹いっぱい。:2006/08/22(火) 00:24:59 ID:Oqth4tQD0
とりあえずwikipedia(ja)に項目が無いんですが、・・・

7 :名無しさん@お腹いっぱい。:2006/08/22(火) 19:28:15 ID:CUK16Hgr0
formal methodについてもここで語っておk?

8 :名無しさん@お腹いっぱい。:2006/08/22(火) 19:54:46 ID:df9avIV20
.

9 :名無しさん@お腹いっぱい。:2006/08/23(水) 16:31:30 ID:gEutl4VN0
意味論って型とか変数の有効範囲とかの研究だよね?

10 :名無しさん@お腹いっぱい。:2006/08/23(水) 19:43:55 ID:AVIF32Vp0
プログラムの意味を記述する方法論の研究でしょ?

11 :名無しさん@お腹いっぱい。:2006/08/23(水) 21:36:19 ID:KcM2nNux0
領域理論なら中島玲二(うろおぼえ)さんの本とかあったような
図書館ですら見た事ないけど

12 :名無しさん@お腹いっぱい。:2006/08/24(木) 00:23:08 ID:0vuDRuaJ0
>7
公理的意味論の範囲ならいいんでないかい。
でも、形式手法でもモデル検査とかはちょうんじゃないの。

13 :名無しさん@お腹いっぱい。:2006/08/24(木) 19:37:25 ID:iu69rIVY0
新板出来たのに誰もこないね

14 :名無しさん@お腹いっぱい。:2006/08/26(土) 21:05:34 ID:KFleSFe30
学生のとき習ったけどわからなかった。
プログラマだけど改めて勉強しようかと思っている。
Davey & Priestley「Introduction to Lattices and Order」っていう本もこの分野に関係あるよね。

15 :名無しさん@お腹いっぱい。:2006/08/27(日) 01:23:08 ID:U3zQgGbU0
>>14
関係あるんだけど、意味論関係では表示的意味論の道具立てに焦点を当てた本だね。
ドメインや不動点の話をきっちりやるのにはいいかも。
最近は操作的意味論が主流っぽいので、実用性を考えると回り道になる可能性もある。

16 :名無しさん@お腹いっぱい。:2006/09/04(月) 16:39:53 ID:fwVd6ZyO0
CやC++で書かれたプログラムの、厳密な意味を考えるために、
プログラム意味論を勉強することは役立ちますか?

17 :名無しさん@お腹いっぱい。:2006/09/04(月) 18:58:14 ID:nwOv6SXO0
「CやC++で書かれたプログラムの、厳密な意味」
ってなんなんだろう。

18 :名無しさん@お腹いっぱい。:2006/09/04(月) 22:07:49 ID:bvfKYMe50
その意味自体を定義するのが、また厄介だなぁ……

19 :名無しさん@お腹いっぱい。:2006/09/04(月) 22:25:27 ID:fwVd6ZyO0
ようはほとんど役立たないってことね

20 :名無しさん@お腹いっぱい。:2006/09/04(月) 22:44:19 ID:bvfKYMe50
というより、C/C++ は後付けで意味をどんどん変更できるから(;´Д`)

21 :名無しさん@お腹いっぱい。:2006/09/04(月) 23:14:54 ID:QCif2R510
>>20どういうこと?

22 :名無しさん@お腹いっぱい。:2006/09/04(月) 23:16:27 ID:uo5hLqfS0
プログラム言語論で言うところの意味とプログラム意味論で言うところの意味をごっちゃにしてるだけ

23 :φ(.. ):2006/09/05(火) 14:04:03 ID:UTvl3hn/O
ログイン名って何ですかィ

24 :名無しさん@お腹いっぱい。:2006/10/06(金) 11:42:05 ID:AXK5tR8H0
彼の場合は仕事自体よりも、ちょっとはみ出した人間が許せないのだろう。
一歩も引かない性格だし。今までもいろいろな職場でそういう人間関係の
もつれから辞職、またはクビになって流されてきたのだと思う。
そういう点でヘルパーを思い立ったのだろうが、残念ながら軌道には全く
乗っていないようだ。
そもそもヘルパー職自体も、やりたい事というより老人や身障者を介護している
ほうが、くだらん人間関係に振り回されることがないから選んだにすぎないと思う。
本当に生活できない現状なら、どこかと掛け持ちするか、もう少し収入源になることを
考えないと、将来はホームレスにも成りかねない。

25 :名無しさん@お腹いっぱい。:2006/10/11(水) 11:21:14 ID:HT1Qi2ZX0
領域理論スレが落ちたのでこっちで。
むこうで紹介されてたS. Abramsky, A. Jung: Domain theoryを読んでるんだが、

Proposition 2.2.10
Dが基底Bを持つcontinuous domainで、x, yがDの要素のとき、以下の三つはすべて同値である
1. x ≦ y (本当は四角の不等号)
2. B[x] ⊆ B[y]
3. B[x] ⊆ ↓y

で、2から1、3から1はどうやって示せば良い?

26 :名無しさん@お腹いっぱい。:2006/11/03(金) 18:58:44 ID:0DkjYKix0
操作的意味論、表示的意味論、公理的意味論
それぞれの意味の違いって何なんですか?

27 :名無しさん@お腹いっぱい。:2006/11/03(金) 19:03:58 ID:Za/5Vww80
操作的意味論は計算手順を与える
表示的意味論は数学的対象への対応を与える
公理的意味論は規則により等しさを与える

かなあ
答えになってるかどうかわからんけど

28 :名無しさん@お腹いっぱい。:2006/11/03(金) 19:47:14 ID:0DkjYKix0
レスどうも。
ところで、領域理論に出てくる領域方程式というのは
いったい何を表しているのですか?解けるのかな?

29 :名無しさん@お腹いっぱい。:2006/11/03(金) 21:15:20 ID:Za/5Vww80
>>28
例えば型なしラムダ計算においては 値=関数 なので
ラムダ項全体を数学的な対象 D と考えようとすると
D から D への関数全体が D と同型になっていてほしくて、
D^D=D みたいなのが成り立たないかなーと思うわけだ。
こういうふうにして出てくる等式が領域方程式だ。
ちなみに D^D=D は集合の圏では解がないが、CPO の圏でなら解ける。

と思うけど、実はあんまりよく知らないんで間違ってたら突っ込んでください

30 :名無しさん@お腹いっぱい。:2006/11/04(土) 07:13:49 ID:op6LTC1y0
>>29
へー、DからDへの関数全体がDと同型になったりするんですか。
なかなか面白そうなので自分も勉強してみようと思っています。
いろいろありがとうございます。非常に参考になりました。


31 :名無しさん@お腹いっぱい。:2006/11/04(土) 18:17:44 ID:fAhkPK9Z0
ちょっと訂正

× 解がない
○ 自明な解しかない

32 :名無しさん@お腹いっぱい。:2006/11/11(土) 22:25:04 ID:WiVe2eyl0
なんの役にもたたんな。
大学は株式会社されるんだから、儲かる研究しなさい。
東大の教授はすでに年収600万円から6000万円まで広がってるぞ。

33 :名無しさん@お腹いっぱい。:2006/11/11(土) 23:43:52 ID:aoIBAFR20
抽象数学に対して無粋なことを言ってもダメ

34 :名無しさん@お腹いっぱい。:2006/11/14(火) 13:32:29 ID:gVqNCS4o0
プログラム意味論って数学や数理論理学をよく勉強してないとちゃんと理解することはできないんだね

35 :名無しさん@お腹いっぱい。:2006/11/16(木) 13:44:23 ID:ppOhpKAm0
女子高生・OL・素人の○○を全部見せます!
画像掲示板(エロ画像可)
http://katamichi.homeip.net/imgbbs/index.htm

36 :名無しさん@お腹いっぱい。:2006/11/24(金) 01:35:45 ID:34P2afeW0
>>34
数学の素養は意味論に限らず必須だね。
とはいえ、純粋数学の人間ほどには深入りしなくていいかな。
むしろ、深入りしすぎると時間ばっかりかかって何もできなかったりする。

意味論をやるにしても、教科書によっては必要な数学的素養が平行して身に付く
構成になってる本もあるよ。別に気合いを入れて集合、代数、数理論理の専門書を
精読しなくても、ある程度までは大丈夫ではないかと。

37 :名無しさん@お腹いっぱい。:2006/11/28(火) 09:12:13 ID:Hl6Nn6kQ0
       ,  ----‐ 二二ニ 丶 、
      /     / _, ----ミァ、 \
    /   /  /‐'´        ヾコ                          (゚д゚)ジョハー
   / rー- /   l j  、ヽ  ヽ    ヽヽ\                             r‐、
  ,' ヾ /7 ,' l .ハ`トム、\  X.   |く  l                          | )
  ,'   /L|  | lレ ,ィ≠ミヽ ` ' .ムヽ  } |ヽ!                          / |_____
 .! ,  //| l  | | ` ト:::リ     ヒ:}l !丿 }ヽ\                        , ' ´ _ノ
 |│ // | l  | |  `''"    , ´| | |/ | | V               ,, --、___ /     --イ
 |│ V | |  | |    r― ‐,   } .| |  V!            _, -‐''´   / ///      ‐‐イ
 | .l    Ll   ! |    ヽ _ / , ´| |│|ヽ !      , -─‐'"´       l | | {       ,ノ
 | !   i !   ! ト 、      /| | ! ハl ヾ   _ /             │ ! | ヽ ,----‐'´
 | ハ  ! | .!  i .|ゝ   ̄/¨ , ┴ 、リ_ニ--, -'  /                 ヽヾ丶ノ
 レ'  |  l ! ハ ノリ >≠==- 、 /   /   ´                 フ ̄
    |  /レ レ /     /     ´                _, -‐ '⌒
    レ' |  〃/|                        _, -'"
     │ || | |               ---=≠------─'''´
     /  .|| ! ヽ        , -‐'ヾ ̄
      |  〃 |  ヽ     /l   \ \


38 :sage:2006/12/25(月) 23:22:55 ID:WlutsqjQ0
>>36
その「教科書によっては必要な数学的素養が平行して身に付く 構成になってる本」が知りたいです。

39 :名無しさん@お腹いっぱい。:2006/12/30(土) 22:03:21 ID:vMgChu3M0
俺も知りたい

40 :名無しさん@お腹いっぱい。:2006/12/30(土) 23:30:26 ID:kn721qIE0
俺も俺も

41 :名無しさん@お腹いっぱい。:2006/12/31(日) 10:04:22 ID:juQL2oOhP
じゃあオレがやるよ !

42 :名無しさん@お腹いっぱい。:2007/01/03(水) 16:52:10 ID:TzNfjEkE0
これがあるじゃないか。
http://www.amazon.co.jp/Categories-Computer-Science-Cambridge-Texts/dp/0521419972

43 :名無しさん@お腹いっぱい。:2007/01/20(土) 01:29:50 ID:3LDLYWaD0
通読してはいないんだけど、
The Formal Semantics of Programming Languages - An Introduction
Glynn Winskel, MIT.
なんかはどうなんだろ。領域理論あたりまで読んだけど、親切な本だよ。

44 :名無しさん@お腹いっぱい。:2007/02/02(金) 14:30:56 ID:E0JXnBFwO
授業で
キーボードから3つの数値を入力して、平均値を計算して画面に表示する。
っていうプログラムを作れと言われたんですけど、誰か教えていただけませんか?お願いしますm(_._)m

45 :名無しさん@お腹いっぱい。:2007/02/03(土) 01:52:32 ID:70ceOPpy0
表示的意味論のいい教科書を紹介して欲しいんだけど、ある?
当方、連続関数やcpoなんかは一通り理解してるつもり。

46 :名無しさん@お腹いっぱい。:2007/02/03(土) 13:41:18 ID:zTPBuNAJ0
BASIC言語のスロットのプログラムなんですけど、

10CLEAR :CLS
20DIM A(2),B(2)
30FOR J=0 TO 2
40A(J)= RND 6-1
50NEXT
60*MAIN
70LOCATE 0,0
80FOR J=0 TO 2
90IF B(J)=0 LET A(J)=(A(J)+1) MOD 6
100PRINT MID$ ("$*\7+&",A(J)+1,1);
110NEXT
120C= ASC INKEY$ -49
130IF C>-1 AND C<3 IF B(C)=0 LET D=D+1,B(C)=1
140IF D<3 GOTO *MAIN
150IF A(0)=A(1) AND A(1)=A(2) PRINT " GOOD"
160CALL 48381
170GOTO 10

どの命令がどのような意味を持っているのか教えてください。

12 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)