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

関数型言語Part IV ..

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はちょっとあれなので、他にいいものがあれば
参考にしたいです。

170:デフォルトの名無しさん
04/06/11 19:26
関数型言語 make
URLﾘﾝｸ(spa.jssst.or.jp)

171:デフォルトの名無しさん
04/06/11 21:54
C#かJavaから呼び出すのに適した関数型言語ってどれ？
Haskell.netっての試したけどC#から呼び出すのはうまくいかなかった。
逆はかなり簡単だけど｡

172:デフォルトの名無しさん
04/06/11 23:41
試したことないけど F# は？

173:デフォルトの名無しさん
04/06/18 18:09
>>170
時間がなくて真面目に読んでなかったけど、
これなかなか面白いかも。Perlで書きなおしてみようかな。

174:デフォルトの名無しさん
04/07/08 00:07
ｽﾚﾘﾝｸ(tech板:394番)
394は俺じゃないけど、helloworldとか足し算とかどうやるのか教えてクレクレ。

175:デフォルトの名無しさん
04/07/08 10:06
ざっと見たけどコンビネータ理論で本当にプログラミング言語つくっちゃったっ
て感じなのか？　s とか k とかが乱舞してるね。すげ。

全然読んでないけど、真ん中らへんに helloworld っぽいのがあるし、足し算
もそのちょっと下にあるね。チャーチ数使うのかよ。
The function <add> which adds two Church integers is ^m`$m<inc>, i.e. ``si`k`s``s`ksk
だそうだ。

176:うーん
04/07/11 22:00
コメントとかで解説されないと
ぜんぜんわかんねえや。

177:デフォルトの名無しさん
04/08/08 16:28
ちょっと質問があります。
例えば、「お風呂を沸かす」を関数モデルで表現すると、どうなるんでしょうか。
わたしの脳みそでは、

1. 風呂に水を張る
2. 湯沸かし器を点火する
3. いい湯加減になるまで沸かす

のようにしか考えられませんが、これって手続き的ですよね。

178:デフォルトの名無しさん
04/08/08 17:24
よくわからんが
いい湯加減になるまで沸かす(湯沸かし器を点火する(風呂に水を張る))
じゃだめ？

179:177
04/08/08 18:32
>>178
どうもです。
関数モデルだと手続き表現は、ただ関数の入れ子が深くなることで表現できる、ってことですね。
この場合、各関数の入力としてお風呂変数(水の高さ、温度、風呂釜の状態)を入れ、それを元に新しいお風呂変数を返す、って感じですか。

いい湯加減になるまで沸かす(湯沸かし器を点火する(風呂に水を張る(お風呂変数)))
→新しいお風呂変数

180:洩れ車＠藤四郎
04/08/09 07:37
>>177
　以下、若干J言語の記述法を用いることをお詫びしますが、できるだけ分りやすくします。

（１）大枠としてはまずこう考えてはどうでしょうか。

　h(x) を h(x) =: f(g(x)) と定義することを h =: f @ g と表記すると、
（「=:」は定義を、「@」は関数の合成を意味する。@ は小さい白丸と似たようなもの）

　　お風呂を沸かす =: いい湯加減になるまで沸かす @ 湯沸かし器に点火する @ 風呂に水を張る

　x は「世界」である。「お風呂を沸かす」は、「お風呂が沸いていない世界」に働き掛けて、
「お風呂が沸いた世界」を得るための手続あるいは操作あるいは関数である、と。

つまり、

　　お風呂が沸いた世界 = お風呂を沸かす(お風呂が沸いていない世界)
（「=」は相同を意味する）

　途中経過は、

　　風呂桶に水を張っただけの世界 = 風呂に水を張る(お風呂が沸いていない世界)
　　加熱中の世界 = 湯沸かし器に点火する(風呂桶に水を張っただけの世界)
　　お風呂が沸いた世界 = いい湯加減になるまで沸かす(加熱中の世界)

ってことで。「世界」が大袈裟なら「風呂周りの系」でも可（と言うか適切かも）。

181:デフォルトの名無しさん
04/08/09 07:38
(続き)
（２）ただですね、「新しいお風呂変数」みたいな動的制御っぽい話になって来ると、

　　風呂周りの系 =: (0, 20, 0) NB. 初期値の構造体。(初期水量, 初期水温, 初期火力)
　　水量 =: 0&from NB. 構造体「風呂周りの系」から水量を取り出す関数。
　　水温 =: 1&from NB. fromはn番号の要素を取り出す2変数関数だが、Currying(projection)
　　火力 =: 2&from NB. を行う&演算子を用いて具体的な場所を指定済の1変数関数を作った。

　　風呂に水を張る =: 250&(0 amend) NB. 構造体の0番目の要素を250で置き換える関数。
　　湯沸かし器に点火する =: 0.1&(2 amend) NB. 火力を0.1で置き換える関数。
　　いい湯加減になるまで沸かす =: 単位時間沸かし続ける ^: _
（「^: _」は、結果が定常状態になるまで操作を繰り返させる後置演算子です。つまり、
f ^: _(s) は、x=f(x) となるまで f(f(f(...(s)...))) を繰り返し、その時の x を返します）
　　単位時間沸かし続ける =: ( NB. 実引き数は仮引き数 y. に代入される。
　　 if. 41.5<: 水温(y.) do. y. return. end. NB. 終了条件は中で判定（汚いが）。
　　 y.=. ((水温 + 火力)(y.)) (1 amend) y. NB. 「=.」は局所定義／局所再定義。
　　 NB. ↑構造体の1番目を、構造体の1番目と2番目との和で置き換える手続。
　　 y. return.
　　)

みたいなやり方がやや関数的と言えるのではないでしょうか。

182:デフォルトの名無しさん
04/08/09 22:29
けっきょく「あれやってこれやって……」という順番があるのだから、それは
その順序が得られるように書くしかないわけで、関数的に書くというのはちょっ
と変なんじゃないかなぁ。
個々の関数を副作用なしに書く定義を書いといて、

空の風呂 >>= 水を入れる >>= 点火 >>= 火を止める

とかあたりでは。

183:デフォルトの名無しさん
04/08/09 23:59
「お風呂を沸かす」というのがすでに手続き的な表現かと。

184:デフォルトの名無しさん
04/08/10 01:02
関数的には? 「湧いたお風呂を得る」?

185:デフォルトの名無しさん
04/08/10 09:37
>>184
馬鹿

186:177
04/08/10 10:00
>>180 - 181
ありがとうございます、、でも半分も理解できてないような、、ごめん。

最近、関数モデルの言語で、「手続きモデルを適用したほうがすっきりする問題」をうまく扱えるのかなあ、と思っていました。
結局、「順番に実行する」というのは、関数を順番に適用→関数を入れ子にする、で簡単に置き換え可能、と理解しました（でいいですよね?）。

187:デフォルトの名無しさん
04/08/11 15:00
Haskell ならモナドでやるよ、ってことで >>182 を書いたんだけどな……。
>>= は演算子で、 Monad a => a b -> (b -> a c) -> a c の型を持つ。ちょっ
とわかりづらいけど、初期の値を順に関数に通して結果を得るための演算子だ
と考えてくれていい。

他にも、関数のリストを作って畳み込むことで結果を得るという考え方もある
と思う。ステートが違うだけで同じ型の変数であると考えれば、
風呂 = foldl apply 空風呂 [ 水を入れる, 点火, 火を止める ]
where apply :: a -> (a -> b) -> b
apply x f = f x
とかね。

もちろん、 Haskell にも do ～のような述語があるし、
ML 系にも begin ～ end が(たしか)あるから、手続的に書こうと思えば割と
簡単に書けるよ。

188:177
04/08/11 19:04
>>187
あ、ごめんなさい。>>182 で">>="の意味がまったくわからなかったもので。
関数型言語でも、手続き的にしか考えられないものは手続き的に考えるしかない、ってことですか、、
メインが関数モデルで、必要悪で手続きモデルを使う、みたいな。

組み込み屋の戯れ言にお付き合い頂いてありがとう。
少しすっきりしました。

189:187
04/08/12 00:05
必要悪というか、結局最終的には「これやって」という操作の部分が出てくる
のは当然なわけです。関数の定義それ自体で動くわけではないですから。

なので、スタイルとして
1. 各関数の定義を宣言的に書く
2. 最後にそれをごちゃっとまとめる
というステップで書くとよろしくやってくれる、という考え方なんだと思いま
す。
むろん C でも綺麗に書こうとすればそういうスタイルはありだと思いますが、
関数型言語でやった方が圧倒的に書きやすいのです。

190:177
04/08/12 07:57
>>187
なるほど、、
私は、関数型言語使う人って、プログラムを全部関数的に構築したいのかなあ、って妙な誤解をしてました。
お話きいてると、その辺は割とあっさりしてる感じですね。

191:デフォルトの名無しさん
04/08/13 06:05
よく耳にする「（純粋）関数型言語に代入はない」というのはミスリーディングな発言だと思う．

「関数型言語では代入の必要になる場所は少なく，使ったとしても隔離できる」

192:デフォルトの名無しさん
04/08/13 07:01
それならLispと何も変わらないね。言語機能として隔離方法が
備わってるだけで。

193:デフォルトの名無しさん
04/08/13 07:07
>>191
>使ったとしても隔離できる

「使う場合は隔離しなくてはいけない」だったりするのがイヤン

194:デフォルトの名無しさん
04/08/13 11:42
純粋な関数型言語には副作用がないといったほうがいいと思う

195:デフォルトの名無しさん
04/08/13 16:22
だからそれがミスリーディングな言葉だという話の流れじゃないの？
HaskellにはIO Actionを始めとしてモナド(特殊なコンテナだね)があり、
Concurrent Cleanには一意型変数があって好き放題いじれる。
もちろん(純粋でない)Schemeにはset!が、*MLには参照型変数がある。

196:デフォルトの名無しさん
04/08/13 18:11
>>195
モナドはIOなどを副作用なく扱うためのものだろ？

197:デフォルトの名無しさん
04/08/13 19:29
代入が必ずしも副作用を伴うとは限らないことも理解できない人が暴れてるスレはここですな。

198:デフォルトの名無しさん
04/08/13 19:47
>>197
モナドは副作用を伴わないが代入あるということ？

199:デフォルトの名無しさん
04/08/14 00:37
Cleanの奴は代入ではなく新しい変数を宣言してるだけ。
でも実質的に破壊的代入だからミスリーディングだということ?

200:デフォルトの名無しさん
04/08/15 13:23
「(実質|理論)的には」(破壊的(な|でない)(代入|更新)|副作用|参照透明性)が(ある|ない)
とかの話にはもう飽きた。

関数型言語と言えど魔法の弾丸ではない。それだけ。

201:デフォルトの名無しさん
04/08/15 20:17
プ

202:デフォルトの名無しさん
04/08/19 16:12
たとえば単語のリストを渡されて出現数を数えろと
いわれたときに、適当にハッシュ表とカウンタ用意
して++とかしますが、これを関数型言語ではどんな
感じでやるのかな?

203:デフォルトの名無しさん
04/08/19 16:45
>>202
関数的に書くんなら、連想配列を使って、
1. 要素を発見したら、個数を1つ増やした新しいセルを追加し、古いものを削除
2. なければ新しい要素を追加
とかじゃないか。

結局、やることはそう変わらないはず。ただし、++のように破壊的にやるので
はなく、古いものを削除して新しいものを追加するというポリシを取る。

もっとも OCaml の場合には、標準ライブラリにハッシュテーブルがあるから、
これを使って破壊的にカウントすることになるだろうね。

204:デフォルトの名無しさん
04/08/19 17:58
それだと連想配列が破壊的に書きかえられてるように
見えますが、関数型といってもそんなもんなんすか。

205:デフォルトの名無しさん
04/08/19 18:31
あらかじめ単語に区切られた文章yの中に単語のリストxの各要素がどれだけ出現するか数える関数。
count x nil = すべて0
count x y::ys = if y ∈ x then (count x ys)のyに対応する単語の出現数を1増やしたもの。 else count x ys

206:デフォルトの名無しさん
04/08/19 19:14
>>204
たとえば次のように書くと、

let alist = (word, count+1) :: (List.filter (fun (w, c) -> w <> word) alist)

これは破壊的代入ではないよ。元の alist は破壊されなくて、そこの部分を
書き換えたリストを *新しく* 作る。だから、置き換える前のリストや、消し
たセルを参照しているものがあっても副作用は起きない。
ただしこれ、実際にやると新しくリストをコピーすることになるので、著しく
効率が悪いはず。

Concurrent Clean だと、古い方のものが以後使われることがない(他で参照さ
れていない)時には自動的に破壊的代入になるという話を聞いたことがあるん
だけど、もしそうなら同じアルゴリズムで効率的に動作できるのかも。

そういうわけで、こんな感じかな(OCamlのコードです)。
let rec count x = function
| [] -> x
| y::ys ->
try
let w, c = List.assoc y x in
let x' = (w, c+1) :: (List.filter (fun (w', c') -> w <> w') x) in
count x' ys
with Not_found ->
count ((y, 1) :: x) ys

try - with で囲んでるから末尾再帰じゃないので、さらに効率的ではないけ
どね。

207:206
04/08/19 19:48
しまった。 List.assoc は 'a -> ('a * 'b) list -> 'b だった。真ん中らへんの
let w, c = List.assoc y x in
は、
let w, c = y, List.assoc y x in
とでも読み換えてくれ。

208:デフォルトの名無しさん
04/08/19 21:02
なるほど、毎回組み替えるわけか。文章の長さに比べて登場単語数が
十分小さければサーチ時間は一定とみなせると強弁できるかもしれない
けれども、組み換えによるメモリの消費や割り当ての手間はけっこう
馬鹿にならないような気がする。貧乏性ですかね？

209:デフォルトの名無しさん
04/08/19 23:38
再起版のプログラムを書くとリストに破壊的代入を行っても問題ない(cleanで言うところの一意性)を証明して、ループと代入を使ったプログラムに最適化したりするという研究があったな。
プログラムに関するいろんな公理を教えておく必要があるが、デモを見た限り結構賢そう。
どこまでできるのかは知らないけど。

210:デフォルトの名無しさん
04/08/19 23:46
字面では毎回組み換えるようなことをやっておきつつ中では破壊的更新をおこなう，これ最強．
あとは中で破壊的更新を使いつつも「外側から見ると参照透明な」関数とか．

Haskell標準の配列型
　 URLﾘﾝｸ(www.sampou.org)
　 URLﾘﾝｸ(www.sampou.org)
Concurrent Clean標準の配列型
　 URLﾘﾝｸ(sky.zero.ad.jp)
純粋関数型言語における「配列」の実現
　 URLﾘﾝｸ(www.nerimadors.or.jp)

...なんかを眺めていたらなかなか面白かった．

>>209
ソフトウェア自動生産特論
　 URLﾘﾝｸ(www.futamura.info.waseda.ac.jp)
とか？

211:デフォルトの名無しさん
04/08/20 01:49
>>208
最初に書いたように、 OCaml にはハッシュテーブルがあるので、普通にやる
場合にはこれを使うのが普通でしょう。ただ、あまり関数的ではないアルゴリ
ズムになります(下記)。

ちなみに OCaml にも配列はあり、破壊的な代入が可能です。理論の詳しい話
は知りませんが……。

let number2 lst =
let rec main tbl = function
| [] -> tbl
| w::ws ->
if Hashtbl.mem tbl w then
let c = Hashtbl.find tbl w in
Hashtbl.replace tbl w (c+1)
else
Hashtbl.add w 1;
number2 tbl ws
in
main (Hashtbl.create 100) lst
;;

次ページ