関数型言語Part IV

1 名前：デフォルトの名無しさん [04/05/04 14:53] Lisp Scheme ML Haskell FP Mirranda など 関数型言語について話し合いましょう 関連スレ 関数型プログラミング言語ML pc3.2ch.net/test/read.cgi/tech/1012445015/ 関数型プログラミング言語Haskell pc3.2ch.net/test/read.cgi/tech/1013846140/ LISP Scheme Part6 pc3.2ch.net/test/read.cgi/tech/1031560687/ Emacs Lisp pc3.2ch.net/test/read.cgi/tech/1004551074/ 2 名前：デフォルトの名無しさん mailto:sage [04/05/04 14:54] ２げっと 3 名前：デフォルトの名無しさん [04/05/04 14:55] 前スレ 関数型言語Part3 pc5.2ch.net/test/read.cgi/tech/1037527388/ 4 名前：デフォルトの名無しさん [04/05/04 14:58] 前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、 それに対する有効な回答がないままｗ、スレが終了してしまいました。 このスレでは、煽り厳禁で、学部生に理解できる関数型言語の初歩を、扱っていきましょう。 5 名前：デフォルトの名無しさん mailto:sage [04/05/04 15:02] 仕切り厨うざい。 6 名前：デフォルトの名無しさん mailto:sage [04/05/04 15:03] >>4 > 前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、 せからしか話はよか。 プログラムなんてのは見た目で何とのう解った気になればそれで良か、 ちうのが表示的意味論たい。どーせコマか話はわからんっちゃろ？ 7 名前：デフォルトの名無しさん [04/05/04 15:04] 【表示的意味論】　kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/denotationalsemantics.html 表示的意味論ではプログラムに対して、既定義の数学オブジェクトを対応付ける (プログラムオブジェクトから数学オブジェクトへの変換を定義する) 事により意味を定義する。 具体的にはここのプログラムオブジェクトに対して意味関数を対応付ける。 　　　　 ┌──────┐ 　　　　 │　プログラム.　│ 　　　　 └───┬──┘ 　　　　 　　　　　　│ 　　　　 　　　　　　│　　意味関数 　　　　 　　　　　　│ 　　　　 　　　　　　↓ 　　　　 ┌──────┐ 　　　　 │数学的な表示│ 　　　　 └──────┘ 具体的には構文要素に対応付けられる意味関数の集合として定義する。 　Ｍ ： Ｔ → Ｄ Ｔは構文要素であり、Ｄは表示の集合であり、意味ドメインと呼ばれる。 8 名前：デフォルトの名無しさん [04/05/04 15:12] 【操作的意味論】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/operationalsemantics.html プログラムの実行結果を判定できるような仕組みを与える事で意味を定義する。 すなわちプログラムを解釈実行できるようなオートマトン(自動機械)を定義する事にな る。 しかしながら何らかの意味では、実行すると言う事で、実装等の関わりが強くな りすぎるという欠点を持つ。 　　　　 ┌──────┐　　　　　　　　　　　　┌──────┐ 　　　　 │　プログラム.　│　　　　　　　　　　　　│　　　 入力 　　│ 　　　　 └───┬──┘　　　　　　　　　　　　└───┬──┘ 　　　　 　　　　　　└───────┬───────┘ 　　　　　　　　　　　　　　　　 　　　　　　│操作的仕様に基づく解釈実行 　　　　　　　　　　　　　　　　 　　　　　　↓ 　　　　　　　　　　　　　　　　 ┌──────┐ 　　　　　　　　　　　　　　　　 │　 実行結果 　│ 　　　　　　　　　　　　　　　　 └──────┘ 9 名前：デフォルトの名無しさん [04/05/04 15:13] 一般には次のようなイメージになる。定義域をNとしてProgram pを実行する 　program_effect(p:Program, input:N): N* is 　　do 　　　result := instruction_effect(p.body, input, <>); 　　end rを入力、fを内部状態として、命令iを実行する 　instruction_effect(i:Instruction, r:N, f:N*): N x N* is 　　do 　　　inspect i 　　　when Double_to_even then result := <2*r, f> 　　　....... 　　end この様にプログラムをその構成要素に分割し、構成要素毎にどの様な動作をするかを定義する。 この様な定義であるので、必要以上に動作に依存してしま うと言う欠点がある。 10 名前：デフォルトの名無しさん [04/05/04 15:15] 【公理的意味論】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/axiomaticsemantics.html 公理的意味論では意味をプログラムのセオリーとして記述する。 そしてセオリー の証明という作業を通じて、意味の正しさを確かめる。 セオリーは以下の３ つの要素から構成される 　　・構文規則 　　・公理 　　・推論規則 そして、プログラムαを次のような形式で表現する 　　　　　　　　　　　　　　{事前条件}α{事後条件} これをpre-post式と呼ぶ。公理と推論規則はこのpre-post式を利用する。 この式は、事前条件が成り立っている(真である)という条件下でαを実行すると 事後条件が成り立つ、 と言う事を表現している。そして公理的意味論はこの 式を証明する(真偽を判定する)手段を提供している。 具体的にはαが文の列とするし、それをα1、α2、....、αnとすると、次のような式の列を順次証明する事になる 　　　　　　　　　　　　　　{事前条件1}α1{事後条件1} 　　　　　　　　　　　　　　{事前条件2}α1{事後条件2} 　　　　　　　　　　　　　　...... 　　　　　　　　　　　　　　{事前条件n}αn{事後条件n} ここで事後条件iは事前条件i+1と同じものである。 公理としては、プログラミン グ言語の各基本要素に対して、pre-post式を与える事になる。 --------------------------------------------------------------------------------------------- 11 名前：デフォルトの名無しさん [04/05/04 15:17] では例題のプログラミング言語の定義を考える。公理的意味論の場合も個々の命 令に対してpre-post式を定義する事になる 　{P(register,file)} Double_to_even {even(register) ∧ P(register/2 ,file)} 　{P(register,file)} Double_to_odd {odd(register) ∧ P((register-1)/2 ,file)} 　{P(register,file)} Halve {P(2*register ,file) ∨ P(2*register+1, file)} registerは入力として与えられた変数であり、fileは実行環境における局所的な 値の集合である。またpre、postの条件におけるregisterとfileは各々 Double_to_evenの実行前と実行後の値を意味する。 -------------------------------------------------------------------------------- 公理的手法はこの様に意味を定義するためのものとしてだけではなく、 プログラ ムの証明のための手段としても使われている。 すなわちプログラム全体を以下の様にpre-post式で表し、 プログラムが満たすべき条件を事後条件として、 この式を分割し、各式を証明する事により、 プログラムが正しいと言う事が 証明できた事になる、という物である 　　　　　　　　　　　　　　　{事前条件}プログラム{事後条件} 例えばa,b,cを入力として、それを係数とする二次方程式の解をx,yに求めるプログラムをＰとすると、 その証明のための式は次の様に書ける 　　　　　{a,b,cは任意の実数、但しb*b-4.0*a*c>0}P{a*x*x+b*x*c=0 AND a*y*y+b*y+c=0} 12 名前：デフォルトの名無しさん [04/05/04 15:19] 【意味論】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/Semantics.html ２つの観点から、意味が明確に定められている必要がある。 プログラマの視点：自分の書いたプログラムがどの様な動作をするの かを正確に理解する必要がある。これが曖昧であれば、作成したプログ ラムの動作は実行によってしか確認できない コンパイラ作成者の視点：プログラムに対してどの様な目的コードを 生成すればよいかを正確に理解する必要がある。これが曖昧であれば、同 じプログラムでもコンパイラによって動作が異なる可能性がある。 ユーザはコンパイラは全て正しくコンパイルすると考えているが、コンパイラの 作成者の立場から考えるならば、作成したコンパイラの正しさを何に基 づいてテストするのか？ 例えば次のような命令列を考える 　x = 2; 　x = x++; x++はxの値を評価した後、その値を１増やすと言う事であるので、... このように自然言語だけによっていた場合、種々の曖昧性が生じる。この様に意味を正確に定義する事は重要であるが、定義の仕方によって次のよう な手法が考えられている 意味論について述べる前に理解するために必要となる数学 基礎について解説しておく。 　　・操作的意味論 >>8-9 　　・公理的意味論 >>10-11 　　・表示的意味論 >>7 13 名前：デフォルトの名無しさん [04/05/04 15:20] 本章では次の様な極めて簡単なプログラミング言語を例とする。 <Program> ::= PROGRAM <Instruction> END <Instruction> ::= Double_to_even | Double_to_odd | Halve | Print | <Compound> <Compound> := COMPOUND <Instruction>* END Double_to_evenは入力を２倍する。Double_to_oddは２倍して、１を足す。 Halveは半分にする。そしてPrintは値を表示する。プログラム例としては以 下の様なものがある。 PROGRAM COMPOUND Double_to_even; Double_to_odd; Havlve; Print END END このプログラムに対して入力が１の場合、２を出力する。 14 名前：デフォルトの名無しさん mailto:sage [04/05/04 15:28] >>7-13 長々とコピペご苦労だが、ようするに>>6ってことだろ？ 15 名前：デフォルトの名無しさん mailto:sage [04/05/04 15:32] >>14 頭のおかしい人、ｷﾀｰ 　　　　ｶﾜｲｿｳだから放置放置・・・ 16 名前：デフォルトの名無しさん mailto:sage [04/05/04 15:33] 煽りは厳禁、頭のおかしい人はスルーでどぞー。 17 名前：デフォルトの名無しさん [04/05/04 15:51] 【プログラミング言語の意味論】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/Semantics.html では、意味はどの様に定義されるのか？ -------------------------------------------------------------------------------- 【プログラムの正しさ】 構文と意味で述べたように「プロ グラムが正しい」という内容には種々のレベルがある。 しかしながら一般的 にはっきりしている事は、 正しいとは「何らかの形式で定められたルール、 条件に則っている」という事である。 逆に言うならば則っているルール を用意しない限り、正しい、正しくない、という議論は成立しない。 この様 な観点から、意味に関わるルール、条件を記述するものが意味論である。 -------------------------------------------------------------------------------- 18 名前：デフォルトの名無しさん [04/05/04 15:51] 【意味とは】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/Semantics.html プログラミング言語の世界では意味とは一般には以下の様な物と考えられている。 　　　　　　　　　　　　　　　　　　　　 ┌───────┐ 　　　　　　　┌──────┐　 │ プログラム又は.│　 ┌──────┐ 　　　　　　　│実行前の状態├→│ プログラム要素.├→│実行後の状態│ 　　　　　　　└──────┘　 │ 　　の実行　　　 │　 └──────┘ 　　　　　　　　　　　　　　　　　　　　 └───────┘ プログラムの実行前にある状態(内部状態：プログラムが持つ変数の値の集合)にある時に、 実行後にどの様な状態になるか。普通は実行前の状態に基づいて実行後の状態を記述する。 例えば、変数ａの値を２倍にするプログラムであれば、実行後の状態は次の様に書ける。 正確にはａ以外の変数の値は変化していない事を記述する必要がある。 　実行後のａ＝実行前のａ＊２ ここで注意すべき事は実行後の状態の記述において、実行前の変数の値を利用すると言う事である。 そのためにａに対して実行前のａと実行後のａを区別する表記が必要となる。 意味とはこの様に各命令の効果を記述する物であるが、 プログラムは基本的な構成要素およびその組み合わせ規則からなる物と言える。 その観点から考えるならば、意味の記述は以下の２つのものの記述からなることになる： 1. 基本構成要素の意味 　 例えば++という演算子は何を意味するか 2. 組み合わせ規則の意味 　 例えば、IF C THEN S1 ELSE S2 というIF文はC,S1,S2の意味に基づき、どの様な動作をするのか？ 19 名前：デフォルトの名無しさん [04/05/04 15:51] 【まとめ】kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/Semantics.html 1. 意味論の目的は次の２点である 　　1) プログラマにプログラムの一律で、曖昧性のない正しい解釈を提供する 　　2) コンパイラの作成者にプログラムの一律で、曖昧性のない正しい解釈を提供する 2. プログラムの意味は基本構成要素の意味と組み合わせ規則の意味からなる 3. プログラムの意味とは内部状態がどの様に変わるかの記述である 4. 意味は構文的に認識された対象に対してのみ考える事ができる 5. 意味が定義されているプログラミング言語で書かれたプログラムは、その意味を定義する事ができる 20 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:26] 荒らしじみた大量コピペも結構だが、実際には表示的意味論を実用的な プログラムに適用することはほとんどの場合現実的ではないということ ぐらい理解してるんだろうな？ その意味では>>6と大差ねえんだよ。 21 名前：デフォルトの名無しさん [04/05/04 16:28] 頭のおかしい人、ｷﾀｰ 　　　　ｶﾜｲｿｳだから放置放置・・・ 22 名前：デフォルトの名無しさん [04/05/04 16:29] >>20 じゃ、おまぃはこのスレに来る必要がないな。 二度と書き込みすんな。さっさと氏ね 23 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:31] >>20の本業は、日雇い派遣のCOBOL運用 24 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:33] >>22 表示的意味論なんて使わんでも関数型言語は色々と便利だと思うが？ それともスレタイは無視してdenotational semantics専用スレにでもするのか？ 25 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:33] やぁ〜ねぇ〜、 >>20みたいな底辺人生。 あたしが>>20の境遇になったらぁ〜、 んんー、さっさと富士樹海に入って命を絶つだろうな(ｷｬﾊ 26 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:36] 「Denotational Semantics」という言葉を昨日覚えたてで、 会話で使いたくてたまらない　>>24 の居るスレ。 27 名前：デフォルトの名無しさん mailto:sage [04/05/04 16:52] ネタをネタとして流せないウザい煽り厨がいるスレはここです。 28 名前：デフォルトの名無しさん [04/05/04 16:54] GWに２ちゃん三昧ぃぃ〜？？！ ｷｬｰ、ここのスレ、ヲタの巣窟だわぁ〜 スレにカキコしただけで妊娠しそう 29 名前：デフォルトの名無しさん mailto:sage [04/05/04 17:12] おめぇらっ、この糞虫どもっ、 煽りは厳禁でおながいしますヨ 30 名前：デフォルトの名無しさん mailto:sage [04/05/04 18:20] ははは、あっちの偽スレ、相変わらず文系の糞虫がのたくってるよ。 間違った人生を歩みつづけて、頭がいかれちまったんだろうね。ｶﾜｲｿっと。 31 名前：デフォルトの名無しさん mailto:sage [04/05/04 18:23] 偽スレってなに？ 32 名前：デフォルトの名無しさん mailto:sage [04/05/04 18:39] あっちの偽スレ、あいかわらずアフォが虚勢張ってるよ。 ちょっとでもこの分野でマジメに勉強した人間なら、 聞いちゃいらんないハッタリと虚勢の塊のあのおヒトがｗ 33 名前：デフォルトの名無しさん mailto:sage [04/05/04 18:52] >>20,>>24 ﾌﾟｯ きみ、来なくていいから（苦笑 34 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:05] 例の文系のおっさん、まだあっちの偽スレでのたくってるよ。 こっちの質問に逆質問して、悦に入ってる。ｶﾜｲｿｳな人だ。 この業界思ってるより狭いから、 もし本当に凄い人が居て何らかの成果が出てるのなら、 とっくに２〜３回は耳に入ってきていて当然なのに、ねぇ（ｗ ナニを勘違いして虚勢張ってるんだかｗ 35 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:11] >>34 何この人？ 病気？ 36 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:17] >>35 ﾌﾟｯ きみ、来なくていいから（苦笑 37 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:23] >>36=35 ? だったらなんで、 大手メーカは人呼ぶとき派遣会社やＡ○Ｃに頼るんだ。 説明してくれよ。 38 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:25] >>37 君みたいに、そそっかしかったり、現状認識が一般とずれてる人間は、 ややこしいから、このスレに来るな。 39 名前：デフォルトの名無しさん mailto:sage [04/05/04 20:28] >>38 どこがどう現状認識とずれてる？指摘してくれよ。 40 名前：!= 38 mailto:sage [04/05/04 20:37] >>39 > >>36=35 ? が>>36=34 ?のミス -> そそっかしい。 あとの文章 -> 意味不明。 一般人の認識では、>>34==>>36が有名なサイコさんです。 ということではないかな。 41 名前：1 mailto:sage [04/05/04 22:01] この板の常駐粘着って、相手の知性や能力を見抜く力が著しく劣ってるね。 ふつ〜、二言三言会話をすれば、相手がどんなレベルの人間か理解できるもんだけど、 こいつに限っては、周りの人間がとんでもなくアフォーなのか、 あるいは社会から孤立した生活を送ってて、自分のレベルや格ってもんが見えて無いらしい。 そして、どうしようもなく追い詰められると、即座に相手をサイコ呼ばわり。(>>39) 悲惨な人生送ってる惨状が、手に取るようにかいま見えて、吐き気がするよ 42 名前：デフォルトの名無しさん mailto:sage [04/05/04 22:15] なんでテンプレにCleanがないの？ 43 名前：デフォルトの名無しさん mailto:sage [04/05/05 00:56] 前スレの終り頃から延々と名無しで罵り合いを続けてる人達は、一体何がしたいんだ？ いきなり他人をサイコ呼ばわりしたり、俺はお前より格上だとか痛い台詞キメてみたり。 いちいち煽り口調でレス付けて何になるのよ？ 44 名前：デフォルトの名無しさん mailto:sage [04/05/05 01:05] 痛い子なんで放置してあげて下さい 45 名前：デフォルトの名無しさん mailto:sage [04/05/05 02:39] >>43-44 なんか携帯JavaVMの開発者と知り合いっつうのが唯一の自慢の、 可哀想な文系老人コーダーだったよ。 春になると、関数型言語スレにも変な人が出て怖いね。例えば>>43-44 46 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:01] >>45 変なの相手にしても、彼らの頭の中は被害妄想やらルサンチマンばっかで、 何一つ得る物が無いよ。 例えば、誰もどこにも書いていない「格上」という言葉を聞いたと主張する>>43とか、 いつも自分でサイコなネタ振って、板やスレの雰囲気を最悪にする>>43とか、 リアルに嫌でしょ。 そーゆーのにレス付けると、彼らの悪い部分がスレ全体に広がって、誰も寄り付かなくなるよ。 例えば、偽スレ「関数型言語Part4」がその実例。 47 名前：デフォルトの名無しさん [04/05/05 03:26] しかし、偽スレ「関数型言語Part4」に粘着してた文系老人コーダー、 なんでよりによって関数型言語に粘着してたのかな？ なんかLisp処理系を研修で作った、とかのたまうから、精一杯相手してあげたけど、 彼なりのルサンチマンなり、強い思いっつうもんは、結局よくわかんなかった。 しかも、ご老体、煽りばっかで、自分では決して関数型言語のネタ振れないのね。 関数型言語の話しないなら、スレに来る必要ないのにねぇ。何考えてるんだ、奴は。 ましてや、>>43みたく鬱病患者で、赤の他人に毒吐くだけが目的で 掲示板巡りしてるサイコは、逝ってヨシですな。 48 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:38] GWだねえ・・・ そのうちキチガイ(例えば>>47)もそのうち病院が呼び戻すでしょ。 それまでの辛抱だな。 49 名前：デフォルトの名無しさん [04/05/05 03:40] サイコって、健常者をみると激しい怒りを覚えるらしい。 例えば、>>48がその例。 50 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:40] サイコって、健常者をみると激しい怒りを覚えるらしい。 例えば、>>49がその例。 51 名前：デフォルトの名無しさん [04/05/05 03:45] ちなみに、このサイコ>>48は、 私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、 >>48のような薄っぺらい煽りをしている。 しかも>>48は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。 これこそ、病気と言わずして、なんと呼ぶべきだろう。 52 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:46] ちなみに、このサイコ>>50は、 私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、 >>50のような薄っぺらい煽りをしている。 しかも>>50は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。 これこそ、病気と言わずして、なんと呼ぶべきだろう。 53 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:55] >>51 > 私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、 なんてことを恥も臆面もなく言いたければ せめて名前欄に「1」と入れてからにしる 54 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:57] >>52ほか アスペルの可哀想な子供は、自分が大人になって放置してあげるしかありませんよ。 残念ながら、彼らは人間であって人間ではないので、救済してあげることは不可能です。 55 名前：デフォルトの名無しさん mailto:sage [04/05/05 03:57] >>51 俺もpart1からの住民だが、あんたちょっとおかしいと思うよ。 56 名前：デフォルトの名無しさん [04/05/05 05:09] この鸚鵡返しコピペ、脳内事実認定にJava擁護。 まさかこいつの正体はム板中で有名なあの人ですか？www 57 名前：43 mailto:sage [04/05/05 05:57] うわ…なんかもう見境なしだな 58 名前：デフォルトの名無しさん mailto:sage [04/05/05 06:53] >>56 > この鸚鵡返しコピペ、脳内事実認定にJava擁護。 このスレで"Java"という単語を出したのは>>45と君だけなのだが、 どちらが「ム板中で有名なあの人」だと思うのですか？ 59 名前：Aranskは激怒した mailto:sage [04/05/05 07:10] 必ず、かの邪智暴虐の粘着を除かなければならぬと決意した。 Aranskはプログラミングがわからぬ。Aranskは、メンヘルの腐女子である。 引きこもり、同人誌で自慰して暮して來た。けれどもアナルに対しては、人一倍に敏感であった。 60 名前：デフォルトの名無しさん mailto:sage [04/05/05 07:17] >>59 馬鹿の話などどうでもいい。ここは関数型言語スレだ。 キチガイはお引き取り願おう。 61 名前：デフォルトの名無しさん mailto:sage [04/05/05 07:29] 　　　　　　　　__,,,,,,　__,,,,,, 　　　　　,.-'''"-,.-'''"-─ `ー--─'''''''''''i-､,, 　　　.,.-,/　,.-,/　　　　　 　 　,　　　　　!,,　　＼''"7 　　 （　　（　 ,'　 　 　 　 　 　　　　　　 ﾉ　ヽ-､,,/''ー'''"7 　　　`''|　 `''|　 　 　 　　　 　'　　　　■　　｀`ー｀`ー''" 　　　　 !　　 !　　　　　　　'､　　　　　i 　　　　 '､　　 '､　`-=''''フ'ー''ヽ、　　　/ヽ､-─-､,,-'''ヽ 　　　　　＼＿ ＼＿／　ヽ--く ヽ--く　　 _,,,..--┴-､ ヽ 　　　　　　　　　　　　　　　　　｀`""~ ｀`"　　￣ ＼> ＼> 　 ↑　Aransk　体重110kg 62 名前：デフォルトの名無しさん mailto:sage [04/05/05 11:07] >>56 自作自演レスだと思うけど、文意には同意。 ｗｗｗって、結局あの人本人でしょ。 今はＡなんとかの中の人。 昔はﾌﾟ逝一とか、Ｊａｖａ曹長とか、変なコテ使ってた常駐者。 63 名前：デフォルトの名無しさん mailto:sage [04/05/05 11:08] >>55 は、たぶん午前三時の君だな。 いつも理系板や脳科学スレで、 午前三時〜四時にキモイレス付けまくってる人。 一説には海外島流し中で、 現地時間の午後ティータイムに、サイコなレス付けまくってるとか。。。 ｺﾜｰ 64 名前：デフォルトの名無しさん mailto:sage [04/05/05 11:47] はやくGW終わって休み厨消えてくれんかなあ。。。 65 名前：64 mailto:sage [04/05/05 11:58] あ、ＧＷ厨って >>64の事ね。 関数型言語スレって、Part1から厨房議論の場だったんだけど、 最近の厨房は勘違いしてて、高尚な議論をする場だと思っているらすぃ。 ここって、結局、勘違い厨房が無知無学の醜態を晒す場所なのにねｗ 66 名前：デフォルトの名無しさん mailto:sage [04/05/05 12:00] >>65 つーかお前、何で名前欄に他人のレス番入れてんだ？ 詐称はやめろ、糞厨。 67 名前：デフォルトの名無しさん mailto:sage [04/05/05 12:46] 更新があると速攻で書き込まれるのは １日中監視してる？それとも全部自作自演？ 68 名前：デフォルトの名無しさん mailto:sage [04/05/05 12:49] Aranskってﾏｼﾞでキモイ。 69 名前：デフォルトの名無しさん mailto:sage [04/05/05 13:19] 973 名前： デフォルトの名無しさん [sage] 投稿日： 04/05/04 16:26 　表示的意味論は数学の概念に対応付けることがその目的で、 　操作的意味論は全て(数学を含む)を抽象的な機械の動作で表現する 　っていう、まったく反対の方向を向いているっていうことですか？ 974 名前： デフォルトの名無しさん [sage] 投稿日： 04/05/04 16:40 　>>973 　やっとこさ「意味論」の意味が判った、知恵遅れの >>973 は、 　もう終わってるスレで今更ナニをしてんの？ 　続きは新スレでヤレ ↓前スレ>>973どぞー 70 名前：デフォルトの名無しさん mailto:sage [04/05/05 14:18] Aranskって何してる人なの？ 71 名前：デフォルトの名無しさん mailto:sage [04/05/05 14:40] Aransk「子供のころからベイブでした。」 72 名前：デフォルトの名無しさん mailto:sage [04/05/05 15:32] 　　働 処　　　 /／￣＞ ´ ￣　　　￣　　｀ヽ　 Y　 ,　 ´　　　　　） 　腐　え 　　き 女　　　 L_　／　　　　　　　　　　　　　 　 ／　　　　　　　 ヽ　 女　 | 　　ア が　　　　/ '　　　　　　　　　　　　　　　　'　　　　　　　　　　 i　 子　マ 　　リ 許　　　 /　　　　　　　　　　　　　　　　 /　　　　　　　　　　 く　 !?　　ジ 　　ま さ　　　 l　　　　　　　　　　 ,ｨ/!　　　　/　　 　/l/!,l　　 　 ／厶,　　　 　　で れ　　 i 　 ,.lrH‐|'|　　　　 /‐!-Lﾊ_　　l　　　 /-!'|/l 　 ／｀'ﾒ､_iヽ 　　だ る　　　l　 | |_|_|_|/|　　　 / /__!__ |/!ﾄi　　　i/-- ､ ﾚ!/ 　 /　,-- ﾚ､⌒Y⌒ヽ 　　よ の　 　_ゝ|/'/⌒ヽ ヽﾄ､|/　'/￣｀ヾ 、ヽﾄ､Ｎ'/⌒ヾ　　　　　 ,ｲ￣｀ヾ,ﾉ! 　　ね　は　　「　　l ′ 「1　　　　　　 /てヽ′|　|　|　 「L!　　　　　' i'ひ}　　　ﾘ 　　　　　　　 ヽ　 | ヽ__Ｕ,　　　　　 ､ヽ シノ ﾉ!　!　|ヽ_､ｿ,　　　　　 ヾシ _ノ　_ﾉ -┐　　　　,√　　 !　　　　　　　　　　 ￣　　 ﾘ l 　 !　￣　　　　　　　￣　　 ７/ 　 ﾚ'⌒ヽ/　!　　　 |　　　〈　　　　　　　_人__人ﾉ_　 i　　く　　　　　　　 　 　 //! 人_,､ノL_,iノ!　　/! ヽ　　 r─‐- ､　　 「　　　　　 Ｌ_ヽ　　 r─‐- ､　　 u　　ノ/ 　　　　　　/　 /　lﾄ､ ＼　ヽ, -‐┤　 ﾉ　　キ　　　 了＼　 ヽ, -‐┤　　　　　/／ ハ　キ　　{　 /　　　ヽ,ﾄ､ヽ/!｀ｈﾉ　　）　　モ　　　　|/!　「ヽ, `ｰ ／）　　 _　‐' ハ　ャ　　 ヽ/　　 r-､‐'　// / |-‐ く　　　 |　　　　 ＞ / / ｀'／／-‐､　　　　／ ハ　ハ　　　 ＞ ／＼＼// / /ヽ_　 !　　 イ　　　 （　 / / ／／　　/　`ｧ-‐ ' ハ　ハ　　　/　/!　　 ヽ　　　 レ'/　ﾉ　　　　　　　　＞　 ' ∠ 　-‐　￣ノヽ　　　/ 　　　　　　 {　 i　l　　　 !　　　　/　 フ　　　　　　　/　　　　　-‐　/￣/〉 〈 ＼ /! 73 名前：Aransk [04/05/05 15:50] 誰か呼んだ？(*^^)v >7〜13 久しぶりに関数型言語らしい理論的な話ではありますまいか？ 7が純粋関数型言語、8が副作用付き手続き型言語、10が制約型言語って 感じなんでしょうか？ 74 名前：デフォルトの名無しさん mailto:sage [04/05/05 15:52] >>73 勘違いくん登場！ 75 名前：デフォルトの名無しさん mailto:sage [04/05/05 15:54] >>73 Aranskを名乗る基地外コテへ なんでそ〜ゆ〜曲解しかできないの？ 向いてないね、きみ 76 名前：デフォルトの名無しさん mailto:sage [04/05/05 15:57] なんでトリップつけないの？ 77 名前：デフォルトの名無しさん mailto:sage [04/05/05 16:06] 社会的シグナルの理解に欠ける 社会的・感情的に適切を欠く行動 没入的で狭い興味・関心 ほかの活動を受けつけない 固執を繰り返す 固定的で無目的な傾向 決まりや興味・関心の押しつけ 言葉と言語表現の問題 発達の遅れ 形式的、もったいぶった言語表現 理解の悪さ：表面的／暗示的意味の間違った解釈を含む 78 名前：デフォルトの名無しさん mailto:sage [04/05/05 16:10] >>77 　>>77にそのものズバリな具体例が出てるよ。 　メンヘル板に(･∀･)ｶｴﾚ!! 79 名前：デフォルトの名無しさん mailto:sage [04/05/05 16:14] おぃ、人格障害のクズ虫ども！ 関数型言語の話題を振れないようなクズは、 二度とこのスレに来るな 80 名前：デフォルトの名無しさん mailto:sage [04/05/05 16:36] 　　　　　　､,r‐''" "｡'!｀./'i､i､''┴． 　　　　 .,,//　 ./｀ .,ヽ　　､'!､ -,..,,ﾞ'-、 　　　.,ｒ'"　 、,、　 ｀　　　|　.|　 ﾞ'ハ ヽ 　　.,/、　 .'"lﾞ　　.,．._ ,lﾞ .ヽJ│　｀, ､<i､ 　 丿/　　　 ﾞ.，_,ﾞ,,,.,`,i､,!" `,,,,,ll,,　.""`.♭ 　 ,/ " ,i´.,ﾉ　ｿﾞ/,i,,,|,,,ﾞ″　 ﾟﾞﾞ,,,,,＼　." 'i、 　,lﾞ　.! ｀ "　,/｀ ﾞ( ●)‐　　 .ﾞ(● )彳 │| 　　ｸﾜｯ 　!　 、　　|""　　　　　_.‐　!、　　　ﾞl　i､ | 　│ |　　,.|　　　　　　(●、●)　 　.|　".l,|　　　 　＿＿＿＿＿＿＿＿＿＿＿＿ 　lﾞ ""　," ﾞl、　　　　　,,,,,,-,、　　　,(, lﾞ.,jﾘ　　　／ 　｀、 l、ﾀ,i´ﾞl、　　　 f{++++lﾚ.　　,lﾞ,lﾞ，|lﾞ　　＜ 　Object Calm！ 　 |　 lﾞ　lﾞ|　│　　　　｀'''｀'″　　,｢"".|lﾞ　　　　＼ 　 lﾞｪ'." ,.彳　｀"〜　、　　　　 ,ｨ'ﾞ冫,rﾞ′　　　　　￣￣￣￣￣￣￣￣￣￣￣￣ 　　ﾌ　l ﾞl |　　　　　 ｀ﾞ'''―'''｀ ,lﾞ.| |,i ..,r"　!　　.、　　　　　　　　　　|-,"ﾞl、 ″　 ｀｀'‐ !　　　　 　 　 　 　 "　＼｀″ 81 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:06] Aranskってメンヘル？ 82 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:12] >>81 初代はメルヘンだったが、今のはどっかの学部生の糞厨房が騙ってるだけだろ。 83 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:14] >>81-82 キチ外ネタは、わざわざ自分でスレ立てたようなので、そこでやりましょう。 pc5.2ch.net/test/read.cgi/tech/1083734838/l50 84 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:14] 本人だろ？ ttp://www.geocities.jp/aransk88/link.html ご存知「２ちゃんねる」（上品で気が弱い方はとても書き込めませんが…ハンドルはAranskとヒーロー勇気です。(^^;） 85 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:15] >>84 うざい。ここでやれ。 pc5.2ch.net/test/read.cgi/tech/1083734838/l50 86 名前：デフォルトの名無しさん mailto:sage [04/05/05 17:36] Aranskって高卒って本当？ 87 名前：デフォルトの名無しさん mailto:sage [04/05/05 18:06] 　　　　　　､,r‐''" "｡'!｀./'i､i､''┴． 　　　　 .,,//　 ./｀ .,ヽ　　､'!､ -,..,,ﾞ'-、 　　　.,ｒ'"　 、,、　 ｀　　　|　.|　 ﾞ'ハ ヽ 　　.,/、　 .'"lﾞ　　.,．._ ,lﾞ .ヽJ│　｀, ､<i､ 　 丿/　　　 ﾞ.，_,ﾞ,,,.,`,i､,!" `,,,,,ll,,　.""`.♭ 　 ,/ " ,i´.,ﾉ　ｿﾞ/,i,,,|,,,ﾞ″　 ﾟﾞﾞ,,,,,＼　." 'i、 　,lﾞ　.! ｀ "　,/｀ ﾞ( ●)‐　　 .ﾞ(● )彳 │| 　　ｸﾜｯ 　!　 、　　|""　　　　　_.‐　!、　　　ﾞl　i､ | 　│ |　　,.|　　　　　　(●、●)　 　.|　".l,|　　　 　＿＿＿＿＿＿＿＿＿＿＿＿ 　lﾞ ""　," ﾞl、　　　　　,,,,,,-,、　　　,(, lﾞ.,jﾘ　　　／ 　｀、 l、ﾀ,i´ﾞl、　　　 f{++++lﾚ.　　,lﾞ,lﾞ，|lﾞ　　＜ 　Aなんとかってひと？ 　 |　 lﾞ　lﾞ|　│　　　　｀'''｀'″　　,｢"".|lﾞ　　　　＼ 　 lﾞｪ'." ,.彳　｀"〜　、　　　　 ,ｨ'ﾞ冫,rﾞ′　　　　　￣￣￣￣￣￣￣￣￣￣￣￣ 　　ﾌ　l ﾞl |　　　　　 ｀ﾞ'''―'''｀ ,lﾞ.| |,i ..,r"　!　　.、　　　　　　　　　　|-,"ﾞl、 88 名前：デフォルトの名無しさん mailto:sage [04/05/05 18:17] >>86-87 うざい。 Aranskネタ、基地外ネタ、人格障害レスへの反応は、すべてここでやれ。 pc5.2ch.net/test/read.cgi/tech/1083734838/l50 89 名前：デフォルトの名無しさん mailto:sage [04/05/05 18:36] 社会的シグナルの理解に欠ける 社会的・感情的に適切を欠く行動 没入的で狭い興味・関心 ほかの活動を受けつけない 固執を繰り返す 固定的で無目的な傾向 決まりや興味・関心の押しつけ 言葉と言語表現の問題 発達の遅れ 形式的、もったいぶった言語表現 理解の悪さ：表面的／暗示的意味の間違った解釈を含む 90 名前：デフォルトの名無しさん mailto:sage [04/05/05 19:21] Aranskも板張り付き君も、いい加減に罵り合いはやめてどっか行ってくれませんかね。 隔離スレで気の済むまでどうぞ 91 名前：デフォルトの名無しさん mailto:sage [04/05/05 21:31] 25-90は全てゴミ。あぼーんよろ 92 名前：デフォルトの名無しさん mailto:sage >>91=>>20なんだろな、やっぱ [04/05/06 08:04] >>6, >>14-15, >>24-91 全部スレ違いのゴミ。全削除よろしこ 93 名前：デフォルトの名無しさん [04/05/07 00:36] ちなみに、このサイコ>>48は、 私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、 >>48のような薄っぺらい煽りをしている。 しかも>>48は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。 これこそ、病気と言わずして、なんと呼ぶべきだろう。 94 名前：デフォルトの名無しさん mailto:sage [04/05/07 01:23] サイコがまたまた意味不明なコピペしてるし。(((；ﾟДﾟ))ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ 95 名前：デフォルトの名無しさん mailto:sage [04/05/07 01:26] ↓つぎ、毎日が日曜日のサイコくんが、朝10:00頃起きてカキコ予定 96 名前：デフォルトの名無しさん [04/05/07 01:35] 一日中張り付いてるの？ 97 名前：デフォルトの名無しさん mailto:sage [04/05/07 01:44] 誘導:　サイコへのレス、サイコレスへのレス、ネタは、特上のサイコ自身が立てたスレでどうぞ。 　　　　　【面減る】ム板廃人列伝【最古】 pc5.2ch.net/test/read.cgi/tech/1083734838/ 98 名前：デフォルトの名無しさん mailto:sage [04/05/07 01:49] どうでもいいけどさこのウィルス付きのページ作ったのお前？ ttp:// blog.makuhari.or.jp/sysad/archives/ 000198.html Aranskでも偽者でもいいんだけどさぁ。 犯罪だよ。 捕まってもしらないよ。 99 名前：デフォルトの名無しさん mailto:sage [04/05/07 02:01] 2ｃｈ荒らすのも結構なんだけどさぁ。 お前の事快く思わない奴らがしつこく、警視庁にメール おくったら如何なると思う？ 俺は知らないよ。 100 名前：デフォルトの名無しさん mailto:sage [04/05/07 05:42] 支離滅裂なサイコ犯罪者ｷﾀ━(ﾟ∀ﾟ)━( ﾟ∀)━( 　ﾟ)━(　　)━(ﾟ 　)━(∀ﾟ )━(ﾟ∀ﾟ)━!!!!

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef