関数型言語Part IV - 暇つぶし2ch

関数型言語Part IV ..

2:デフォルトの名無しさん
04/05/04 14:54
２げっと

3:デフォルトの名無しさん
04/05/04 14:55
前スレ

関数型言語Part3
ｽﾚﾘﾝｸ(tech板)

4:デフォルトの名無しさん
04/05/04 14:58
前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、
それに対する有効な回答がないままｗ、スレが終了してしまいました。

このスレでは、煽り厳禁で、学部生に理解できる関数型言語の初歩を、扱っていきましょう。

5:デフォルトの名無しさん
04/05/04 15:02
仕切り厨うざい。

6:デフォルトの名無しさん
04/05/04 15:03
>>4
> 前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、

せからしか話はよか。
プログラムなんてのは見た目で何とのう解った気になればそれで良か、
ちうのが表示的意味論たい。どーせコマか話はわからんっちゃろ？

7:デフォルトの名無しさん
04/05/04 15:04
【表示的意味論】　URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

表示的意味論ではプログラムに対して、既定義の数学オブジェクトを対応付ける
(プログラムオブジェクトから数学オブジェクトへの変換を定義する) 事により意味を定義する。
具体的にはここのプログラムオブジェクトに対して意味関数を対応付ける。
　　　　 ┌───┐
　　　　 │　プログラム.　│
　　　　 └──┬─┘
　　　　　　　　　　│
　　　　　　　　　　│　　意味関数
　　　　　　　　　　│
　　　　　　　　　　↓
　　　　 ┌───┐
　　　　 │数学的な表示│
　　　　 └───┘

具体的には構文要素に対応付けられる意味関数の集合として定義する。

　Ｍ：Ｔ → Ｄ

Ｔは構文要素であり、Ｄは表示の集合であり、意味ドメインと呼ばれる。

8:デフォルトの名無しさん
04/05/04 15:12
【操作的意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

プログラムの実行結果を判定できるような仕組みを与える事で意味を定義する。
すなわちプログラムを解釈実行できるようなオートマトン(自動機械)を定義する事になる。
しかしながら何らかの意味では、実行すると言う事で、実装等の関わりが強くなりすぎるという欠点を持つ。

　　　　 ┌───┐　　　　　　　　　　　　┌───┐
　　　　 │　プログラム.　│　　　　　　　　　　　　│　　　入力　　│
　　　　 └──┬─┘　　　　　　　　　　　　└──┬─┘
　　　　　　　　　　└────┬────┘
　　　　　　　　　　　　　　　　　　　　　　│操作的仕様に基づく解釈実行
　　　　　　　　　　　　　　　　　　　　　　↓
　　　　　　　　　　　　　　　　 ┌───┐
　　　　　　　　　　　　　　　　 │　実行結果　│
　　　　　　　　　　　　　　　　 └───┘

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
【公理的意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

公理的意味論では意味をプログラムのセオリーとして記述する。
そしてセオリーの証明という作業を通じて、意味の正しさを確かめる。
セオリーは以下の３つの要素から構成される

　　・構文規則
　　・公理
　　・推論規則

そして、プログラムαを次のような形式で表現する

　　　　　　　　　　　　　　{事前条件}α{事後条件}

これを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
【意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

２つの観点から、意味が明確に定められている必要がある。
プログラマの視点：自分の書いたプログラムがどの様な動作をするのかを正確に理解する必要がある。これが曖昧であれば、作成したプログラムの動作は実行によってしか確認できない
コンパイラ作成者の視点：プログラムに対してどの様な目的コードを生成すればよいかを正確に理解する必要がある。これが曖昧であれば、同じプログラムでもコンパイラによって動作が異なる可能性がある。
ユーザはコンパイラは全て正しくコンパイルすると考えているが、コンパイラの作成者の立場から考えるならば、作成したコンパイラの正しさを何に基づいてテストするのか？
例えば次のような命令列を考える

　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:デフォルトの名無しさん
04/05/04 15:28
>>7-13
長々とコピペご苦労だが、ようするに>>6ってことだろ？

15:デフォルトの名無しさん
04/05/04 15:32
>>14 頭のおかしい人、ｷﾀｰ
　　　　ｶﾜｲｿｳだから放置放置・・・

16:デフォルトの名無しさん
04/05/04 15:33
煽りは厳禁、頭のおかしい人はスルーでどぞー。

17:デフォルトの名無しさん
04/05/04 15:51
【プログラミング言語の意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

では、意味はどの様に定義されるのか？

--------------------------------------------------------------------------------
【プログラムの正しさ】

構文と意味で述べたように「プログラムが正しい」という内容には種々のレベルがある。
しかしながら一般的にはっきりしている事は、
正しいとは「何らかの形式で定められたルール、条件に則っている」という事である。
逆に言うならば則っているルールを用意しない限り、正しい、正しくない、という議論は成立しない。
この様な観点から、意味に関わるルール、条件を記述するものが意味論である。

--------------------------------------------------------------------------------

18:デフォルトの名無しさん
04/05/04 15:51
【意味とは】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

プログラミング言語の世界では意味とは一般には以下の様な物と考えられている。

　　　　　　　　　　　　　　　　　　　　 ┌────┐
　　　　　　　┌───┐　 │ プログラム又は.│　 ┌───┐
　　　　　　　│実行前の状態├→│ プログラム要素.├→│実行後の状態│
　　　　　　　└───┘　 │ 　　の実行　　　 │　 └───┘
　　　　　　　　　　　　　　　　　　　　 └────┘

プログラムの実行前にある状態(内部状態：プログラムが持つ変数の値の集合)にある時に、
実行後にどの様な状態になるか。普通は実行前の状態に基づいて実行後の状態を記述する。
例えば、変数ａの値を２倍にするプログラムであれば、実行後の状態は次の様に書ける。
正確にはａ以外の変数の値は変化していない事を記述する必要がある。

　実行後のａ＝実行前のａ＊２

ここで注意すべき事は実行後の状態の記述において、実行前の変数の値を利用すると言う事である。
そのためにａに対して実行前のａと実行後のａを区別する表記が必要となる。
意味とはこの様に各命令の効果を記述する物であるが、
プログラムは基本的な構成要素およびその組み合わせ規則からなる物と言える。
その観点から考えるならば、意味の記述は以下の２つのものの記述からなることになる：

1. 基本構成要素の意味
　例えば++という演算子は何を意味するか
2. 組み合わせ規則の意味
　例えば、IF C THEN S1 ELSE S2 というIF文はC,S1,S2の意味に基づき、どの様な動作をするのか？

19:デフォルトの名無しさん
04/05/04 15:51
【まとめ】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)

1. 意味論の目的は次の２点である
　　1) プログラマにプログラムの一律で、曖昧性のない正しい解釈を提供する
　　2) コンパイラの作成者にプログラムの一律で、曖昧性のない正しい解釈を提供する
2. プログラムの意味は基本構成要素の意味と組み合わせ規則の意味からなる
3. プログラムの意味とは内部状態がどの様に変わるかの記述である
4. 意味は構文的に認識された対象に対してのみ考える事ができる
5. 意味が定義されているプログラミング言語で書かれたプログラムは、その意味を定義する事ができる

20:デフォルトの名無しさん
04/05/04 16:26
荒らしじみた大量コピペも結構だが、実際には表示的意味論を実用的な
プログラムに適用することはほとんどの場合現実的ではないということ
ぐらい理解してるんだろうな？

その意味では>>6と大差ねえんだよ。

21:デフォルトの名無しさん
04/05/04 16:28
頭のおかしい人、ｷﾀｰ
　　　　ｶﾜｲｿｳだから放置放置・・・

22:デフォルトの名無しさん
04/05/04 16:29
>>20
じゃ、おまぃはこのスレに来る必要がないな。
二度と書き込みすんな。さっさと氏ね

23:デフォルトの名無しさん
04/05/04 16:31
>>20の本業は、日雇い派遣のCOBOL運用

24:デフォルトの名無しさん
04/05/04 16:33
>>22
表示的意味論なんて使わんでも関数型言語は色々と便利だと思うが？
それともスレタイは無視してdenotational semantics専用スレにでもするのか？

25:デフォルトの名無しさん
04/05/04 16:33
やぁ～ねぇ～、
>>20みたいな底辺人生。
あたしが>>20の境遇になったらぁ～、
んんー、さっさと富士樹海に入って命を絶つだろうな(ｷｬﾊ

26:デフォルトの名無しさん
04/05/04 16:36
「Denotational Semantics」という言葉を昨日覚えたてで、
会話で使いたくてたまらない　>>24 の居るスレ。

27:デフォルトの名無しさん
04/05/04 16:52
ネタをネタとして流せないウザい煽り厨がいるスレはここです。

28:デフォルトの名無しさん
04/05/04 16:54
GWに２ちゃん三昧ぃぃ～？？！

ｷｬｰ、ここのスレ、ヲタの巣窟だわぁ～
スレにカキコしただけで妊娠しそう

29:デフォルトの名無しさん
04/05/04 17:12
おめぇらっ、この糞虫どもっ、

煽りは厳禁でおながいしますヨ

30:デフォルトの名無しさん
04/05/04 18:20
ははは、あっちの偽スレ、相変わらず文系の糞虫がのたくってるよ。
間違った人生を歩みつづけて、頭がいかれちまったんだろうね。ｶﾜｲｿっと。

31:デフォルトの名無しさん
04/05/04 18:23
偽スレってなに？

32:デフォルトの名無しさん
04/05/04 18:39
あっちの偽スレ、あいかわらずアフォが虚勢張ってるよ。
ちょっとでもこの分野でマジメに勉強した人間なら、
聞いちゃいらんないハッタリと虚勢の塊のあのおヒトがｗ

33:デフォルトの名無しさん
04/05/04 18:52
>>20,>>24
ﾌﾟｯ

きみ、来なくていいから（苦笑

34:デフォルトの名無しさん
04/05/04 20:05
例の文系のおっさん、まだあっちの偽スレでのたくってるよ。
こっちの質問に逆質問して、悦に入ってる。ｶﾜｲｿｳな人だ。

この業界思ってるより狭いから、
もし本当に凄い人が居て何らかの成果が出てるのなら、
とっくに２～３回は耳に入ってきていて当然なのに、ねぇ（ｗ
ナニを勘違いして虚勢張ってるんだかｗ

35:デフォルトの名無しさん
04/05/04 20:11
>>34
何この人？
病気？

36:デフォルトの名無しさん
04/05/04 20:17
>>35
ﾌﾟｯ

きみ、来なくていいから（苦笑

37:デフォルトの名無しさん
04/05/04 20:23
>>36=35 ?

だったらなんで、
大手メーカは人呼ぶとき派遣会社やＡ○Ｃに頼るんだ。
説明してくれよ。

38:デフォルトの名無しさん
04/05/04 20:25
>>37
君みたいに、そそっかしかったり、現状認識が一般とずれてる人間は、
ややこしいから、このスレに来るな。

39:デフォルトの名無しさん
04/05/04 20:28
>>38
どこがどう現状認識とずれてる？指摘してくれよ。

40:!= 38
04/05/04 20:37
>>39
>　>>36=35　?
が>>36=34　?のミス　->　そそっかしい。
あとの文章　->　意味不明。

一般人の認識では、>>34==>>36が有名なサイコさんです。

ということではないかな。

41:1
04/05/04 22:01
この板の常駐粘着って、相手の知性や能力を見抜く力が著しく劣ってるね。
ふつ～、二言三言会話をすれば、相手がどんなレベルの人間か理解できるもんだけど、
こいつに限っては、周りの人間がとんでもなくアフォーなのか、
あるいは社会から孤立した生活を送ってて、自分のレベルや格ってもんが見えて無いらしい。
そして、どうしようもなく追い詰められると、即座に相手をサイコ呼ばわり。(>>39)

悲惨な人生送ってる惨状が、手に取るようにかいま見えて、吐き気がするよ

42:デフォルトの名無しさん
04/05/04 22:15
なんでテンプレにCleanがないの？

43:デフォルトの名無しさん
04/05/05 00:56
前スレの終り頃から延々と名無しで罵り合いを続けてる人達は、一体何がしたいんだ？
いきなり他人をサイコ呼ばわりしたり、俺はお前より格上だとか痛い台詞キメてみたり。
いちいち煽り口調でレス付けて何になるのよ？

44:デフォルトの名無しさん
04/05/05 01:05
痛い子なんで放置してあげて下さい

45:デフォルトの名無しさん
04/05/05 02:39
>>43-44
なんか携帯JavaVMの開発者と知り合いっつうのが唯一の自慢の、
可哀想な文系老人コーダーだったよ。

春になると、関数型言語スレにも変な人が出て怖いね。例えば>>43-44

46:デフォルトの名無しさん
04/05/05 03:01
>>45
変なの相手にしても、彼らの頭の中は被害妄想やらルサンチマンばっかで、
何一つ得る物が無いよ。
例えば、誰もどこにも書いていない「格上」という言葉を聞いたと主張する>>43とか、
いつも自分でサイコなネタ振って、板やスレの雰囲気を最悪にする>>43とか、
リアルに嫌でしょ。
そーゆーのにレス付けると、彼らの悪い部分がスレ全体に広がって、誰も寄り付かなくなるよ。
例えば、偽スレ「関数型言語Part4」がその実例。

47:デフォルトの名無しさん
04/05/05 03:26
しかし、偽スレ「関数型言語Part4」に粘着してた文系老人コーダー、
なんでよりによって関数型言語に粘着してたのかな？

なんかLisp処理系を研修で作った、とかのたまうから、精一杯相手してあげたけど、
彼なりのルサンチマンなり、強い思いっつうもんは、結局よくわかんなかった。
しかも、ご老体、煽りばっかで、自分では決して関数型言語のネタ振れないのね。

関数型言語の話しないなら、スレに来る必要ないのにねぇ。何考えてるんだ、奴は。

ましてや、>>43みたく鬱病患者で、赤の他人に毒吐くだけが目的で
掲示板巡りしてるサイコは、逝ってヨシですな。

48:デフォルトの名無しさん
04/05/05 03:38
GWだねえ・・・
そのうちキチガイ(例えば>>47)もそのうち病院が呼び戻すでしょ。
それまでの辛抱だな。

49:デフォルトの名無しさん
04/05/05 03:40
サイコって、健常者をみると激しい怒りを覚えるらしい。
例えば、>>48がその例。

50:デフォルトの名無しさん
04/05/05 03:40
サイコって、健常者をみると激しい怒りを覚えるらしい。
例えば、>>49がその例。

51:デフォルトの名無しさん
04/05/05 03:45
ちなみに、このサイコ>>48は、
私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、
>>48のような薄っぺらい煽りをしている。
しかも>>48は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。
これこそ、病気と言わずして、なんと呼ぶべきだろう。

52:デフォルトの名無しさん
04/05/05 03:46
ちなみに、このサイコ>>50は、
私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、
>>50のような薄っぺらい煽りをしている。
しかも>>50は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。
これこそ、病気と言わずして、なんと呼ぶべきだろう。

53:デフォルトの名無しさん
04/05/05 03:55
>>51
> 私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、

なんてことを恥も臆面もなく言いたければ
せめて名前欄に「1」と入れてからにしる

54:デフォルトの名無しさん
04/05/05 03:57
>>52ほか
アスペルの可哀想な子供は、自分が大人になって放置してあげるしかありませんよ。
残念ながら、彼らは人間であって人間ではないので、救済してあげることは不可能です。

55:デフォルトの名無しさん
04/05/05 03:57
>>51
俺もpart1からの住民だが、あんたちょっとおかしいと思うよ。

56:デフォルトの名無しさん
04/05/05 05:09
この鸚鵡返しコピペ、脳内事実認定にJava擁護。
まさかこいつの正体はム板中で有名なあの人ですか？www

57:43
04/05/05 05:57
うわ…なんかもう見境なしだな

58:デフォルトの名無しさん
04/05/05 06:53
>>56
> この鸚鵡返しコピペ、脳内事実認定にJava擁護。

このスレで"Java"という単語を出したのは>>45と君だけなのだが、
どちらが「ム板中で有名なあの人」だと思うのですか？

59:Aranskは激怒した
04/05/05 07:10
必ず、かの邪智暴虐の粘着を除かなければならぬと決意した。
Aranskはプログラミングがわからぬ。Aranskは、メンヘルの腐女子である。
引きこもり、同人誌で自慰して暮して來た。けれどもアナルに対しては、人一倍に敏感であった。

60:デフォルトの名無しさん
04/05/05 07:17
>>59
馬鹿の話などどうでもいい。ここは関数型言語スレだ。
キチガイはお引き取り願おう。

61:デフォルトの名無しさん
04/05/05 07:29
　　　　　　　　__,,,,,,　__,,,,,,
　　　　　,.-'''"-,.-'''"-─ `ー--─'''''''''''i-､,,
　　　.,.-,/　,.-,/　　　　　　　,　　　　　!,,　　＼''"7
　　（　　（　 ,'　　　　　　　　　　　ﾉ　ヽ-､,,/''ー'''"7
　　　`''|　 `''|　　　　　　　'　　　　■　　｀`ー｀`ー''"
　　　　 !　　 !　　　　　　　'､　　　　　i
　　　　 '､　　 '､　`-=''''フ'ー''ヽ、　　　/ヽ､-─-､,,-'''ヽ
　　　　　＼＿＼＿／　ヽ--くヽ--く　　 _,,,..--┴-､ヽ
　　　　　　　　　　　　　　　　　｀`""~ ｀`"　　￣＼> ＼> 　
↑　Aransk　体重110kg

62:デフォルトの名無しさん
04/05/05 11:07
>>56
自作自演レスだと思うけど、文意には同意。

ｗｗｗって、結局あの人本人でしょ。
今はＡなんとかの中の人。
昔はﾌﾟ逝一とか、Ｊａｖａ曹長とか、変なコテ使ってた常駐者。

63:デフォルトの名無しさん
04/05/05 11:08
>>55 は、たぶん午前三時の君だな。

いつも理系板や脳科学スレで、
午前三時～四時にキモイレス付けまくってる人。

一説には海外島流し中で、
現地時間の午後ティータイムに、サイコなレス付けまくってるとか。。。ｺﾜｰ

64:デフォルトの名無しさん
04/05/05 11:47
はやくGW終わって休み厨消えてくれんかなあ。。。

65:64
04/05/05 11:58
あ、ＧＷ厨って >>64の事ね。

関数型言語スレって、Part1から厨房議論の場だったんだけど、
最近の厨房は勘違いしてて、高尚な議論をする場だと思っているらすぃ。

ここって、結局、勘違い厨房が無知無学の醜態を晒す場所なのにねｗ

66:デフォルトの名無しさん
04/05/05 12:00
>>65
つーかお前、何で名前欄に他人のレス番入れてんだ？
詐称はやめろ、糞厨。

67:デフォルトの名無しさん
04/05/05 12:46
更新があると速攻で書き込まれるのは
１日中監視してる？それとも全部自作自演？

68:デフォルトの名無しさん
04/05/05 12:49
Aranskってﾏｼﾞでキモイ。

69:デフォルトの名無しさん
04/05/05 13:19
973 名前：デフォルトの名無しさん [sage] 投稿日： 04/05/04 16:26
　表示的意味論は数学の概念に対応付けることがその目的で、
　操作的意味論は全て(数学を含む)を抽象的な機械の動作で表現する
　っていう、まったく反対の方向を向いているっていうことですか？

974 名前：デフォルトの名無しさん [sage] 投稿日： 04/05/04 16:40
　>>973
　やっとこさ「意味論」の意味が判った、知恵遅れの >>973 は、
　もう終わってるスレで今更ナニをしてんの？

　続きは新スレでヤレ

↓前スレ>>973どぞー

70:デフォルトの名無しさん
04/05/05 14:18
Aranskって何してる人なの？

71:デフォルトの名無しさん
04/05/05 14:40
Aransk「子供のころからベイブでした。」

72:デフォルトの名無しさん
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:デフォルトの名無しさん
04/05/05 15:52
>>73
勘違いくん登場！

75:デフォルトの名無しさん
04/05/05 15:54
>>73 Aranskを名乗る基地外コテへ

なんでそ～ゆ～曲解しかできないの？
向いてないね、きみ

76:デフォルトの名無しさん
04/05/05 15:57
なんでトリップつけないの？

77:デフォルトの名無しさん
04/05/05 16:06
社会的シグナルの理解に欠ける
社会的・感情的に適切を欠く行動
没入的で狭い興味・関心
ほかの活動を受けつけない
固執を繰り返す
固定的で無目的な傾向
決まりや興味・関心の押しつけ
言葉と言語表現の問題
発達の遅れ
形式的、もったいぶった言語表現
理解の悪さ：表面的／暗示的意味の間違った解釈を含む

78:デフォルトの名無しさん
04/05/05 16:10
>>77
　>>77にそのものズバリな具体例が出てるよ。
　メンヘル板に(･∀･)ｶｴﾚ!!

79:デフォルトの名無しさん
04/05/05 16:14
おぃ、人格障害のクズ虫ども！

関数型言語の話題を振れないようなクズは、
二度とこのスレに来るな

80:デフォルトの名無しさん
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:デフォルトの名無しさん
04/05/05 17:06
Aranskってメンヘル？

82:デフォルトの名無しさん
04/05/05 17:12
>>81
初代はメルヘンだったが、今のはどっかの学部生の糞厨房が騙ってるだけだろ。

83:デフォルトの名無しさん
04/05/05 17:14
>>81-82
キチ外ネタは、わざわざ自分でスレ立てたようなので、そこでやりましょう。
ｽﾚﾘﾝｸ(tech板)l50

84:デフォルトの名無しさん
04/05/05 17:14
本人だろ？
URLﾘﾝｸ(www.geocities.jp)
ご存知「２ちゃんねる」（上品で気が弱い方はとても書き込めませんが…ハンドルはAranskとヒーロー勇気です。(^^;）

85:デフォルトの名無しさん
04/05/05 17:15
>>84
うざい。ここでやれ。
ｽﾚﾘﾝｸ(tech板)l50

86:デフォルトの名無しさん
04/05/05 17:36
Aranskって高卒って本当？

87:デフォルトの名無しさん
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:デフォルトの名無しさん
04/05/05 18:17
>>86-87
うざい。
Aranskネタ、基地外ネタ、人格障害レスへの反応は、すべてここでやれ。
ｽﾚﾘﾝｸ(tech板)l50

89:デフォルトの名無しさん
04/05/05 18:36
社会的シグナルの理解に欠ける
社会的・感情的に適切を欠く行動
没入的で狭い興味・関心
ほかの活動を受けつけない
固執を繰り返す
固定的で無目的な傾向
決まりや興味・関心の押しつけ
言葉と言語表現の問題
発達の遅れ
形式的、もったいぶった言語表現
理解の悪さ：表面的／暗示的意味の間違った解釈を含む

90:デフォルトの名無しさん
04/05/05 19:21
Aranskも板張り付き君も、いい加減に罵り合いはやめてどっか行ってくれませんかね。
隔離スレで気の済むまでどうぞ

91:デフォルトの名無しさん
04/05/05 21:31
25-90は全てゴミ。あぼーんよろ

92:デフォルトの名無しさん
04/05/06 08:04
>>6, >>14-15, >>24-91 全部スレ違いのゴミ。全削除よろしこ

93:デフォルトの名無しさん
04/05/07 00:36
ちなみに、このサイコ>>48は、
私>>1は、関数型言語Part1の頃から居る住人だということも知らずに、
>>48のような薄っぺらい煽りをしている。
しかも>>48は、会うたび、事ある毎に、サイコな言動を繰り返して、周囲を引かせている。
これこそ、病気と言わずして、なんと呼ぶべきだろう。

94:デフォルトの名無しさん
04/05/07 01:23
サイコがまたまた意味不明なコピペしてるし。(((；ﾟДﾟ))ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ

95:デフォルトの名無しさん
04/05/07 01:26

↓つぎ、毎日が日曜日のサイコくんが、朝10:00頃起きてカキコ予定

96:デフォルトの名無しさん
04/05/07 01:35
一日中張り付いてるの？

97:デフォルトの名無しさん
04/05/07 01:44
誘導:　サイコへのレス、サイコレスへのレス、ネタは、特上のサイコ自身が立てたスレでどうぞ。
　　　　　【面減る】ム板廃人列伝【最古】
ｽﾚﾘﾝｸ(tech板)

98:デフォルトの名無しさん
04/05/07 01:49

どうでもいいけどさこのウィルス付きのページ作ったのお前？

http:// blog.makuhari.or.jp/sysad/archives/ 000198.html

Aranskでも偽者でもいいんだけどさぁ。
犯罪だよ。
捕まってもしらないよ。

99:デフォルトの名無しさん
04/05/07 02:01
2ｃｈ荒らすのも結構なんだけどさぁ。
お前の事快く思わない奴らがしつこく、警視庁にメール
おくったら如何なると思う？
俺は知らないよ。

100:デフォルトの名無しさん
04/05/07 05:42
支離滅裂なサイコ犯罪者ｷﾀ━(ﾟ∀ﾟ)━( ﾟ∀)━( 　ﾟ)━(　　)━(ﾟ　)━(∀ﾟ )━(ﾟ∀ﾟ)━!!!!

101:デフォルトの名無しさん
04/05/07 05:45
無差別ウィルステロの、犯人を、>>98です。

102:デフォルトの名無しさん
04/05/07 05:50
(･∀･)>>98ﾀｲｰﾎ!!!

103:デフォルトの名無しさん
04/05/07 05:58
>>98 (･∀･)通報ｼﾏｽﾀ!!

104:デフォルトの名無しさん
04/05/07 06:14
>>98
あ～あ、ついにやっちゃったね♪

前は国家公務員の名前と身分を詐称して、
スレが即刻削除されてたけど、
今度は>>98ﾀｲーﾎ＆板削除かなｗ

ム板のみんなに謝っとけよｗ

105:デフォルトの名無しさん
04/05/07 07:30
100-
今更、あわててウィルス消しても警視庁にログ提出しておきましから。

106:デフォルトの名無しさん
04/05/07 07:41
>>98が逮捕されるのか。
大変だな。

107:デフォルトの名無しさん
04/05/07 08:23
>>100-106への反応はこちらへ
ｽﾚﾘﾝｸ(tech板)

108:Aransk
04/05/07 18:14
>7が純粋関数型言語、8が副作用付き手続き型言語、10が制約型言語って
>感じなんでしょうか？
この意見そんなに変かねぇ？機能的意味論の範疇を単に
言語仕様によって分けたように見えるが…。^m^
表示的意味論と言えば何故？
Haskellにおける遅延評価、無限リストや関数部分適用、なんかがさぁ。
どうして話題にならないの？こちらの方がはるかに言語学的には
表示的意味論に近接してると思うけどねぇ？

109:デフォルトの名無しさん
04/05/07 19:32
↑このAranskの中の人、ﾁﾝﾎﾟ生えてそうだなｗ

110:Aransk
04/05/11 14:53
Winny作者の上司として、武市さんって人がニュースで
誠に遺憾とか言ってたが、あれ関数型言語で著名な
武市先生だよね？

111:デフォルトの名無しさん
04/05/11 15:25
つか犯罪ともおもえんけどね。

112:デフォルトの名無しさん
04/05/11 15:37
つーか具体的な容疑は何よ？

113:デフォルトの名無しさん
04/05/11 20:53
包丁に罪はないが、
包丁を作った人間に問題がある様だ。

114:デフォルトの名無しさん
04/05/11 22:17
>110
武市先生キター
上司というより研究科長としてコメント求められたのだろうと思う。
社長が社員についてコメントするようなものだと解釈したが…

115:デフォルトの名無しさん
04/05/11 23:50
遺憾て、京都府警が？
URLﾘﾝｸ(wktm.moe-nifty.com)
URLﾘﾝｸ(wktm.moe-nifty.com)

116:デフォルトの名無しさん
04/05/12 04:01
遺憾ていうより、たのしい。
URLﾘﾝｸ(wktm.moe-nifty.com)

117:デフォルトの名無しさん
04/05/12 04:25
>>113
包丁屋には住みにくい世の中になりそうだな。
ところで包丁屋が使った金槌(VisualC++か？)を作った人間にも罪は及ぶのか？
その金槌は包丁だけでなく鉄砲やピッキング用具を作るのにもよく使われているようだが。

118:Aransk
04/05/12 16:33
>117
>VisualC++か？
やっぱ、AlegroLispかなんか関数型言語じゃあWinnyは
ちょっと無理なのかぁ。(-_-;)

119:デフォルトの名無しさん
04/05/12 20:32
作者はシミュレーション屋さんじゃなかったっけ＞Winny

120:デフォルトの名無しさん
04/05/12 21:55
Frantzのｼｬﾁｮさんとハーレクインのｼｬﾁｮさん、どっちが儲かってるんだろう？
というか、関数型言語業界で一番成功したビジネスマンって、何やってる人なんだろう？

やっぱ、APL関連かな(泣笑

121:デフォルトの名無しさん
04/05/13 00:56
>>113
その例えだと、まるでその包丁そのものには悪意がないみたい。
その包丁には、作った人の悪意が確実に込められてるわけだし、
第三者が手に入れた時点でほぼ確実に凶器なる様に仕組まれている。
そして他の目的で使う人間は事実上いない。
とくれば、その包丁が罪な物に変わりはないと思うよ。

122:デフォルトの名無しさん
04/05/13 01:19
確かに、例えについてはちんぴら共が逝った通り、包丁よりも拳銃の方が的確。
拳銃所持を基本的権利と考える連中が居るように、それに対する考え方はそれぞれ。

>>118
別に出来ないことはないでしょ、GUIさえあれば。
ライブラリ不足は根性でどうにかなる。
暇なんでnyみたいだけどム板住人向きのファイル共有ソフトつー
のを作ってみるわ。もちろん純粋関数型言語ネイティブな。少しまちなー。（嘘）

123:デフォルトの名無しさん
04/05/13 01:22
「このソフトを沢山の人が使えば、現在の著作権概念を覆すことが出来るぞ。ﾋﾋﾋ…」
だなんてことは言ってないような＞作者
つかスレ違い

124:デフォルトの名無しさん
04/05/13 02:35
>>120
すでにハーレクィンは以下略な感じだけども。
エクスアナリス？とファンクショナルオブジェクトに分離？

125:Aransk
04/05/13 15:12
中村正三郎さんって、まあネットでは知られたプログラマー
つ～か、アンチ・マイクロソフトの塊のような人ですが、
Lisp、Schemeで人生の価値観が変わった！って
どこかで書いていた。関数型言語って嵌る人は嵌るんですね。
アンチMSが多いのもGNU・Lispのせいかな？

126:デフォルトの名無しさん
04/05/13 18:41
Lispの何処が関数型なんだか。Schemeだって、ちょっと関数型っぽい
だけだろ。

127:デフォルトの名無しさん
04/05/13 19:39
>>126
Lispが関数型言語かどうかはさておくとして（私には分かりません）、
あなたの関数型言語の定義を教えてください。

128:デフォルトの名無しさん
04/05/13 21:15
>>126
関数型の定義が昔と今とで変わっただけだよ。

129:デフォルトの名無しさん
04/05/14 05:34
>>126
でも関数型屋が関数型言語の歴史の話をするときに絶対言うのが
「関数型言語の歴史はLISPから。すなわち手続き型とほぼ同じ長さの歴史がある。」
だという罠

130:デフォルトの名無しさん
04/05/14 12:50
おまぃら、手垢のついた蘊蓄並べあってて、何が面白いのですか？

やぁねぇ～、ヲタの会話って評論家みたいでぇ～。自分ではﾅﾆも出来ないくせに(ﾌﾟ

131:Aransk
04/05/14 14:32
Lispが関数型言語の中では最も実用されているのは
事実です。またIDEにしてもAlegroLispはGUIBuilder
からDB機能までついており他の言語と遜色ありません。
長い歴史と言い、その言語仕様の歪み＝実用性の高さ
と言い、他を圧倒しております。（GNULispも含め）
ワタクシFranzから一銭も頂いておりません。
念の為^m^

132:デフォルトの名無しさん
04/05/14 14:38
>>131
デヴスは自分のスレに帰れよ

133:デフォルトの名無しさん
04/05/14 19:02
LISP覚えてよかっっっっっっっっっった！
毎日が楽しいです

134:デフォルトの名無しさん
04/05/14 19:40
私はLispの副作用のせいで末期ガンになり、医者にも「残り半年」と見放されました。
ところが友人の勧めでMLに変えたところ、なんと3ヵ月後ガンが消えてました！
医者もびっくりです。毎朝スッキリ目が覚め、15Kgのダイエットに成功し、
宝くじは3億円当たり、巨乳の彼女もでき、人生が楽しくてしかたありません。
ありがとうML。
（宮城県　酪農家　２８才）

135:デフォルトの名無しさん
04/05/14 20:38
haskell版もよろ

136:デフォルトの名無しさん
04/05/15 00:40
たかが言語で何能書きたれてるんだ？あん？

137:デフォルトの名無しさん
04/05/15 03:18
おまぃら、手垢のついた蘊蓄並べあってて、何が面白いのですか？

やぁねぇ～、ヲタの会話って痴呆性老人の繰り言みたいでぇ～。

いつまでたっても同じ事を繰り返し言ってるだけぇ～、

話が面白くない殿方って、勉強も仕事も恋愛も中途半端って感じぃ～。

138:デフォルトの名無しさん
04/05/15 03:21
Aranskって実物も痛そうだけど、
２ちゃんの自称Aranskってﾁﾝﾎﾟ生えてるし、
痴呆入ってるし、なんだかとてもきもい。

139:デフォルトの名無しさん
04/05/15 09:58
俺はチン毛小六の時からはえだしたぜ

140:デフォルトの名無しさん
04/05/15 11:27
てか、Aranskはあのヘンテコなページ内容も含めて
関数型言語系のスレッドでは結構前から叩かれてきたように記憶しているのですが
なぜか最近「ここのAranskは女、別物」説を声高に主張して、腐女子だのﾁﾝﾎﾟだの
連呼する人が突然わいてきましたね。これって何？

141:デフォルトの名無しさん
04/05/15 12:33
Aranskのｼﾞｻｸｼﾞｴﾝ

142:デフォルトの名無しさん
04/05/15 12:54
>>140
ホムペ見れば、おねたんて判るだろ。
おまぃの目は節穴でつか？

143:デフォルトの名無しさん
04/05/15 12:57
ホムペのは、私立女子大文学部卒の土方プログラマって感じがぷんぷん。
２ちゃんのは、COBOL運用歴30年もう定年ってな手垢な感じがぷんぷん。

よって、ホムペの中の人と、２ちゃんの中の人は、別物。

144:デフォルトの名無しさん
04/05/15 13:01
Aranskの話題はあっちでやれよ

145:デフォルトの名無しさん
04/05/15 13:27
>>142-143
？？？
あとさ、なんでいつも二回にわけてレスつけるの？

146:デフォルトの名無しさん
04/05/15 13:36
ほむぺぇー

147:デフォルトの名無しさん
04/05/15 14:16
aranskは単なる少女マンガオタのデブオタクだろ。
2chのaranskも同じ人物。
頭おかしいんだからそっとしておいてやれ。

148:デフォルトの名無しさん
04/05/15 15:44
２ちゃんのＰＳＹＣＨＯからかうとおもれぇＹＯＯＯＯＯＯ！

149:Aransk
04/05/15 16:48
今日久々に新しいLisp本を本屋で発見！
Cutt社？？？「楽しいLisp入門」です。
全然楽しくないんですがぁ。(-_-;)
まだ、グレアムのLisp本の方が良かった。

150:デフォルトの名無しさん
04/05/15 17:42
Cuttの本は、最初っからあんまパッとしないよ。
たしか一冊目は、Lisp処理系の本だけど、何を今更みたいな素人じみた内容だたー。
最近は営業考えて、ｵﾌﾟｿに接近してたみたいだけど、
まだLispにこだわってるのかぁ～。Lispﾌｧｿとして恥ずかしいな、

151:デフォルトの名無しさん
04/05/15 20:49
カットシステム「やさしいLisp入門」
www.cutt.co.jp/book/4-87783-102-9.html
書名もまともに憶えられないくらい楽しくなかったのですね。

自分は大学生協で見かけたけど、目次をめくって、マクロのマの字も
出てこなかった時点でカス本だと思いました。

152:デフォルトの名無しさん
04/05/15 22:14
やっぱLISPを使う醍醐味はマクロだよね！

153:デフォルトの名無しさん
04/05/16 17:21
このスレのテンプレにAransk、ヒーロー勇気は放置と
今度から明記してください。

154:デフォルトの名無しさん
04/05/16 17:36
Aranskとム板廃人列伝の1が二人で(一人で)会話してるだけのような
気がするんだが。

155:デフォルトの名無しさん
04/05/16 18:40
>>154
あんた妄想癖が激しいな。
実生活だいじょうぶ？

156:デフォルトの名無しさん
04/05/17 11:56
あまりにも見事に釣り上げられてますね…

向こうでもこっちでも、何でそんなに手当たり次第必死で噛みついてるんですか？
煽り方がずーっとワンパターンなのは何故ですか？
いちいち口調を変えて名無しで連投し、指摘されると
「ショムニ」を真似してみただけだよ！そんなこともわからないなんてﾊﾞｯｶﾐﾀｲ♪
とか意味不明な開き直りをするのは何故ですか？
>>148は突っ込みに返せなくなっての負け犬の遠吠えですか？

157:Aransk
04/05/17 16:23
>151,152
正直ワタクシも最初はLISPやSchemeのマクロに感激いたしました。
でも、どうなんでしょう？
C++のオペレーター・オーバーロードでも間違いやすい。
文法まで変更できる能力って？
極端な話、同一言語であるアイデンティティーそのものまで
変更できるってことですよね？
一人で開発するのは良いけど、多人数になった場合に
マクロの徹底なんかどうしておられるのでしょうか？

158:デフォルトの名無しさん
04/05/17 20:02
てゆうか、プログラム言語ってのは使うための道具で決して飾り物ではないと
思います。なんにもできない（開発しない）のに道具ばかり選んでても意味
ないのでは。最近は Lisp に御執心のようですが ML や Haskell は結局
使いこなせなかったということですか？

159:デフォルトの名無しさん
04/05/17 21:12
そもそもlispなんてS式なのをいいことに
その場で問題に適した言語を作る
ぐらいの勢いで使うものだと
思うのだが。

160:デフォルトの名無しさん
04/05/17 22:48
相変わらず、脳内就業時間終了と同時に、暇々サイコが粘着してるのが笑える。
あっちのスレもねｗ

161:Aransk
04/05/18 14:54
>158
>ML や Haskell は結局使いこなせなかったということですか？
仰る通りです。結局、言語仕様を読み、ちょこっと試用した
だけで終わってしまいましたぁ。^m^
>159
>その場で問題に適した言語を作る
お差支えなければ、そのご自分でお作りになった
「その場での問題に適した言語」の一端でも
ご披露頂けないでしょうかぁ？(*^^)v

162:デフォルトの名無しさん
04/05/18 15:01
"Aransk"はアボーン設定しろよ。ここの住人は馬鹿だろ。
構ってチャンにエサやるな。

163:Aransk
04/05/31 16:11
>213 ：デフォルトの名無しさん：04/05/31 12:54
>Aransk様, TXL URLﾘﾝｸ(www.txl.ca) の使用レポートおながいします。
向こうのスレはいくらなんでも、「あの顔だけ」はどうしても
許せない！って泣くメンバーがおりまして…。
今のところお出入り禁止命令が…。
全く似てないのか？それとも…似過ぎているのか？(^。^)y-.。o○
そこで代わりに、こっちでご回答を致します。
Queen's University, Kingston, CanadaこれだけでAransk様は
至極お気に入りで御座います。(*^^)v
ただ、define ～end define構文がどうしても美的センスに
合わないようで…(^_^;)

164:Aransk
04/06/01 15:25
define ～end define構文ってさぁ、プリプロセッサコマンドの
マクロ定義を連想させない？(^_^;)

165:デフォルトの名無しさん
04/06/01 23:21
VBを連想する。
嫌な気持ち。

166:Aransk
04/06/02 13:11
>165
VBよりは、Parsing機能は高そうですよ。(*^_^*)

167:デフォルトの名無しさん
04/06/08 21:25
＞Ｃ言語の特徴を説明する上で、よく「関数型言語」という言葉が用いられます。
＞これは、Ｃ言語が、関数が集まって形作られる言語であることに由来しています。
URLﾘﾝｸ(homepage3.nifty.com)

168:デフォルトの名無しさん
04/06/10 19:51
>>167
>167
お～　知らんかったよ
「Ｃ言語の特徴を説明する上で、よく「関数型言語」という言葉が用いられます」

Cはずいぶん書いたけどＣは使ったことないしな
ｍａｉｎ関数なんて書いたこともない

169:デフォルトの名無しさん
04/06/11 19:12
関数型言語っぽいビルドツールってありますか？
makeはちょっとあれなので、他にいいものがあれば
参考にしたいです。

次ページ