関数型言語Part3

　　　　　　　　　　　　　　ざわ・・・・

　　　　　　　　　　　　　　　　　　　　　　　ざわ・・・・

>>906
そうだな。「λ計算の」と枕詞をつければ、
変な粘着電波にからまれてることもなかった。
# Scheme狭義ではないが。

>>886, >>901といった「表示的意味論では副作用を定義できない」と
思い込んでいる人々にたいして、そんなことはないと指摘するための
書き込みだったからな…

話の展開には別に興味ない。

>>909
ｷﾁｶﾞｲの開き直りｷﾀ━(ﾟ∀ﾟ)━( ﾟ∀)━( 　ﾟ)━(　　)━(ﾟ 　)━(∀ﾟ )━(ﾟ∀ﾟ)━!!!!

おまいみたいに、いい加減な主張を二つも三つも並べて、
さんざんｽﾚを荒らした揚げ句に、
なんとなく勝ち馬っぽくみえる奴に乗っかって捨てぜりふ吐いて逃げるような奴こそ、
人間の屑だ。さっさと死にさらせ、この基地外め

なにもかも、>>909の知的情報源は２ちゃんオンリーなのが、悪いんだ〜！！！

ほんと、>>909みたいな無知無学の引きこもりは、扱いに困るね

２ちゃんで煽りやってる奴って、本当にｳﾞｧｶだな〜ｗ

ここまでキモイ自作自演を平然とやる奴、といえば、
例のﾌﾟ逝一とかAranskとか名乗ってる屑、だな。ﾂﾏﾝﾈ

lightconeも。

普通、計算機の世界での「意味論」ってのは
ある言語で表現された文と、その文に関わる動作との
「結びつき方」の事を指すと思っていたのだが・・・

で、その際に各文節が文脈を持たずに
（その意味を）表現できれば「表示的」、
そうでなければ「操作的」、という区分けだと思っていたけど。。。

何かここで話されている「意味」という言葉の「意味」は
全然違うものを指しているような気がするのだが、
俺が間違っているのか？

どうして処理系固有の話（副作用云々）が出てくるんだ？

>>916
副作用(<-> 参照透明)というのは、言語に対して定められるもので、
処理系固有の話ではないと思うんだが。

>>916
嗚呼、勘違い。ｶﾜｲｿｳ系の人が、訳も判らず自己主張してるだけなんだ。
相手にするだけ時間の無駄だね

話を整理するため、まず意味論の教科書なり論文なりから定義を
引用してみるのはどうだろう。

表示意味論の創始者って誰だっけ? Scott? Strachey?

>>917もｶﾜｲｿｳ系。
用語はきちんと調べてから使ってね！>>916-917

２ちゃんで煽りやってる奴って、本当にｳﾞｧｶだな〜ｗ

>>919
今までのヴァカ騒ぎは、用語も知らない素人が、空騒ぎしてただけだろ。
今更そんな事言い出しても無駄無駄無駄無駄

２ちゃんで煽りやってる奴って、本当にｳﾞｧｶだな〜ｗ

>>916-917
今の今まで、表示意味論わからずにﾍﾀﾚ議論してたんですかぁ〜？
小学生なみですね

「表示意味論」を理解せずに「表示意味論」と「操作意味論」の相違を議論してた
勇者の居るスレに記念カキコ

>>925
勇者っつうより、たんなるドキュソだろ。
ほら、途方も無いウソつくドキュソって居るやん、いくつになっても小学生なみの奴

>>926
ドキュソはドキュソだけど、あんま追い詰めるのは(･Ａ･)ｲｸﾅｲ!!

ほら、「ドキュソ、猫を噛む」つうやん


えぇー、よろしいオチが付きましたようで、このへんで・・・
　♪ﾁｬﾝﾁｬｶﾁｬｶﾁｬｶ、ﾄﾞﾝﾄﾞﾝ、ﾁｬﾝﾁｬｶﾁｬｶﾁｬｶ、ﾄﾞﾝﾄﾞﾝ

>>919
J.Stoy の "Denotational Semantics"が手元にあるので。

The Denotational Approach.

We give "semantic valuation functions", 
which map syntactic constructs
in the program to the abstrac values (numbers, truth
values, functions etc.) which they denote.  These
valuation functions are usually recursively defined:
the value denoted by a construct is specified in
terms of the values denoted by its syntactic subcom-
ponents, and it is this emphasis on the values denoted
by all these constructs that gives the approach its
name.  There may or may not be an obvious way of 
working out the results of these functions in any
particular case:  that is, the defining equatiojns may
or may not suggest a way of implementing the language.

Aranskよりある意味すげえｗ

参考になる人は参考にしてくれ。

>>928
このスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？

あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ

手当たり次第煽っている奴がいるな・・・

denotational semanticsの珍訳、珍解釈、期待アゲ

何様かシランが。

>928
このスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？

あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ

>>931
Stoyの本って結構有名だと思ってたんだが…

ISBN は 0-262-19147-4
持ってればわかるだろうが、例えば127ページの一番上の行は
be doing this for the λ-calculas itself in Chapter 8.)

電波の相手をするのは大変だなぁ。

>>935
禿藁

じゃぁ、最終章の文をコピペしてみてよｗ

>>936
おまえは俺ではありません。
人のスレ番騙る犯罪者は、さっさと逝ってください。

>>937
君本当に病院にいった方がいいよ。

p387 Miscellaneous Matters 全文タイプはだるい。
programmers. で終わってるね。そのあとはAppendix。

>>935
そういえばStoyの本ではdomainとしてcpoでなくcomplete latticeを使ってると
聞いたんだけど、T(top element)にはどういう意味を持たせてるの?

しかし、"Denotational Semantics"手元にあるという人物が、
ここまで稚拙な議論を展開するものかねぇ〜ｗ
良くて、手元に死蔵してるだけで読んでも居ない、もしかすると隣の学科の図書室からかっぱらってきただけでしょ。

しかも、意味論程度のツマランネタで「病院」だってｗﾁｮーｳｹﾙ
あんた、鬱病で何度も精神病院逝ってる人でしょ。サイコなネタをすぐ振るから、すぐあんただって判る。はやく病院戻れよｗ

>>941
騙るくらいで犯罪者というお前もな。
つーかスレってなんだよ。レスだろw

キチガイ降臨！！！！

[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。
[939]デフォルトの名無しさん<sage>
04/05/03 22:38
>>937
君本当に病院にいった方がいいよ。

ﾁｮｰｳｹﾙ。
意味論程度で精神病院突っ込まれた >>939も、大変だな〜

>>936
おまえは俺ではありません。
人のスレ番騙る犯罪者は、さっさと逝ってください。

サイコな>>939降臨記念カキコ

とても馬鹿らしくなった…勝手に議論してくれ。

>>928
このスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、日本語翻訳して説明してやるｗとかしたらどぅ？

あと、手元にあるというそのプレプリントなり著作の文献情報を示してゴランｗ

ｗを付けている奴は真性キチガイか?

すると、>>948は精神病院に戻らねばなりませんね、ＧＷ明けを待たずして。

>>928
このスレに居る、君ら以外全員、それを遠い昔に勉強した上で、
暇つぶしに議論してるんだが、今更何を言いたいの？
ググったWebサイトから英文コピペしてる暇があったら、
ここにいる約二人の判って無いドキュソに、
日本語翻訳して説明してやるとかしたらどぅ？

あなたに、そうする能力が無いわけないよね？頑張れ

Aranskのアホが名無しで書き込んでるんだろ。
釣られるなよ、いつくスレ無駄に使えば気が済むんだよ。

>>928は、英文をタイプする能力は持って居るようだが、
残念ながら、内容を理解して、他人に説明する能力が欠けて居るらすぃ（笑

俺はどーでもいいけど、ここには約二匹のドキュソが常駐してるようだから、
さっさと説明してあげたらどうなんだろうね、他の人でもいいからさぁ（笑

>>939
意味論程度のツマランネタで「病院」だってｗﾁｮーｳｹﾙ
あんた、鬱病で何度も精神病院逝ってる人でしょ。
サイコなネタをすぐ振るから、すぐあんただって判る。はやく病院戻れよｗ

>>883と>>885が全ての始まりですか？
>>885はなんでそんなに喧嘩腰なんですか？

それとも途中からAranskが乗り込んできて暴れてるだけ？

>>928は、英文をタイプする能力は持って居るようだが、
残念ながら、内容を理解して、他人に説明する能力が欠けて居るらすぃ（笑

俺はどーでもいいけど、ここには約二匹のドキュソが常駐してるようだから、
さっさと説明してあげたらどうなんだろうね、他の人でもいいからさぁ（笑

>>928
ついでだから、全文丸ごとタイプして、アップしといてくれ