トップページ⇒tech
1001コメント349KB

関数型言語Part3

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさんNGNG
前スレ

関数型言語Part2
http://pc3.2ch.net/test/read.cgi/tech/1007387924/
0002デフォルトの名無しさんNGNG
関連スレ

関数型プログラミング言語ML
http://pc3.2ch.net/test/read.cgi/tech/1012445015/

関数型プログラミング言語Haskell
http://pc3.2ch.net/test/read.cgi/tech/1013846140/

LISP Scheme Part6
http://pc3.2ch.net/test/read.cgi/tech/1031560687/

Emacs Lisp
http://pc3.2ch.net/test/read.cgi/tech/1004551074/
0003デフォルトの名無しさんNGNG
3ゲト?ズサ?
0004デフォルトの名無しさんNGNG
     〃      ヽ     .|
     i   ノノノ))) ))    | 関数型言語が好きなんですか?
.    i i ( 'l_] l]〈リノ    .<
     ヽヽ >  />      \_____
     Y/ヽ!ェl〉        /ヽ/ヽ
      !! l卯 l         / // /
      i ll8| !       / // /
.       l l「| l       , ´-‐ ‐- ヽ
        /!_」l|_j、    {   l ,,  } ぅん
.      / /゙´l"ヽ >   ゝ. ‐  ノ
     'ーr‐ r r ´       l !
.       l  l. |           | |
.       |  ! |           l. |

       -―-
     〃      ヽ
     i   ノノノ))) ))   / ̄ ̄ ̄ ̄ ̄
.    i i ( 'l_] l]〈リノ < 再帰が再帰してそれが再帰関数で・・・・
     ヽヽ > n/>    \_____
     Y/ヽ!ェl〉        /ヽ/ヽ
      !! l卯 l         / // /
      i ll8| !       / // /
.       l l「| l       , ´-‐ ‐- ヽ
        /!_」l|_j、    {   l   U } ……
.      / /゙´l"ヽ >   ゝ. っ  ノ
     'ーr‐ r r ´     ⊂ニl !
.       l  l. |        | |
.       |  ! |        l. |
0005デフォルトの名無しさんNGNG
FAQ for comp.lang.functional

http://www.cs.nott.ac.uk/~gmh//faq.html
0006デフォルトの名無しさんNGNG
日本の学界でめぼしいものが見当たらないんですが・・・。
0007デフォルトの名無しさんNGNG
http://www.deaiparks.com/i/index.cgi?id=inCwVX5oRQ
0008デフォルトの名無しさんNGNG
>>7
sage
0009デフォルトの名無しさんNGNG
過去ログだれかもってませんか?できれば.dat形式でキボンヌ
0010デフォルトの名無しさんNGNG
>>9
Part2は985レスまでの持ってます。
かちゅーしゃのログ形式(dat)です。
UPローダお願いします。
001110NGNG
うぷしました
http://cgi.2chan.net/up/src/f8023.lzh
0012デフォルトの名無しさんNGNG
navi2ch使えばdat落ちしたスレも普通に読めるよ
0013デフォルトの名無しさんNGNG
>>10
Thanx!!!わざわざありがと。

>>12
emacsもってないけど、今度試してみる。
0014デフォルトの名無しさんNGNG
>12
dat落ち直後のログは読めないでしょ?
0015デフォルトの名無しさんNGNG
>>6
東大米澤研がんがれ!!
0016デフォルトの名無しさんNGNG
つかよ、この前のプログラミングコンテストで優勝した以外ないだろ
0017デフォルトの名無しさんNGNG
>>15
Kurimsもがんがれ!!
0018デフォルトの名無しさんNGNG
JAISTの大堀研と東大の武市研もすごいぞ
0019デフォルトの名無しさんNGNG
具体的に示してくらさい
0020デフォルトの名無しさんNGNG
何をれすか?
0021デフォルトの名無しさんNGNG
すごさを
0022デフォルトの名無しさんNGNG
catamorphismの訳語って何?
0023デフォルトの名無しさんNGNG
カタモーフィズム
0024デフォルトの名無しさんNGNG
片想いズム!
0025デフォルトの名無しさんNGNG
(´-`).。oO(サム。。。。)
0026デフォルトの名無しさんNGNG
これから関数型言語を勉強したいと思うのですが、scheme, haskell, sml, ocaml,,, どれがいいですか?
0027名無しさん@XEmacsNGNG
scheme
0028デフォルトの名無しさんNGNG
漏れもschemeがいいと思ふ
SICP読みつつ一通りschemeを触り終わってからhaskellとか。
0029名無しさん@xyzzyNGNG
Scheme使いお一人様ご案内〜。
はい、仕様書。
http://www.unixuser.org/~euske/doc/r5rs-ja/r5rs-ja.pdf
ほい、初心者用処理系。
http://www.drscheme.org/
じゃがんぱって。
0030デフォルトの名無しさんNGNG
scheme 勉強して TeXmacs 日本語化しる!!
0031デフォルトの名無しさんNGNG
、ウ、�ォ、鬢荀�ハ、 F# ウ!?
ttp://research.microsoft.com/projects/ilx/fsharp.htm
0032デフォルトの名無しさんNGNG
>>31
リンク先はともかく、文字化けしてると思うぞ。
0033デフォルトの名無しさんNGNG
ん?してないぞ
0034デフォルトの名無しさんNGNG
、ウ、・ォ、鬢荀・ハ、・F# ウ・?
0035デフォルトの名無しさんNGNG
sjisで書けっつーの。
0036デフォルトの名無しさんNGNG
>>574
大丈夫だ。安心して書き込め。
0037デフォルトの名無しさんNGNG
どこよ。
0038デフォルトの名無しさんNGNG

実質的には上告はもう無理らしい。

うれしいなぁ。

0039デフォルトの名無しさんNGNG
大阪って何?(´・ω・`)
0040デフォルトの名無しさんNGNG
>>266
う〜ん、上手く伝えられてないかな?

世の中の大多数は君のような勇者でなく、ヘタレだと思うんだ
そのヘタレの持っている情報は今まで世の中に出ることはなかった、と
たとえ真実でもね

そのヘタレから情報を引き出し、共有することができたってのが
2chの功労だったと思うんだよね、おいちゃんは

これ以上はスレ汚しになりそうなので消えます
0041デフォルトの名無しさんNGNG
======2==C==H======================================================

         2ちゃんねるのお勧めな話題と
     ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数: 138720人 発行日:2003/1/9

年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。

そんなわけで、年末に予告したIP記録ですが実験を開始しています。

「2ちゃんねる20030107」
こんな感じで各掲示板の最下部に日付が入ってるんですが、
20030107以降になってるところはログ記録実験中ですー。

んじゃ!

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0042デフォルトの名無しさんNGNG
どっかの奴がほぼすべての板のほとんどのスレにこんなのばらまいてます↓
102 名前:IP記録実験 投稿日:03/01/08 20:13 ID:nJ34KBUL []
IP記録実験
http://qb.2ch.net/test/read.cgi/accuse/1042013605/

1 名前:ひろゆき ◆3SHRUNYAXA @どうやら管理人 ★ 投稿日:03/01/08 17:13 ID:???
そんなわけで、qbサーバでIPの記録実験をはじめましたー。

27 名前:心得をよく読みましょう 投稿日:03/01/08 17:20 ID:yL/kYdMc
SETTING.TXT管轄でないということは全鯖導入を視野に、か?

38 名前:ひろゆき ◆3SHRUNYAXA 投稿日:03/01/08 17:22 ID:rLfxQ17l
>>27
鋭いです。

73 名前:ひろゆき ◆3SHRUNYAXA 投稿日:03/01/08 17:27 ID:rLfxQ17l
>ところで、IPが抜かれて何か今までと変わることってあるのでしょうか?
・今までより、サーバが重くなる。
・裁判所や警察からの照会があった場合にはIPを提出することがある。
0043デフォルトの名無しさんNGNG
何か既存の言論機関を味方に付ければ良かったのにと今更ながら思う、、、
大体批判と誹謗中傷の違いなんてその言った人間を保護する所が社会的にどれぐらいの
地位なのかによって変わってしまう、、、言論の自由なんて力が無ければ主張できないんだよ、、、
0044デフォルトの名無しさんNGNG
test

一応一個だけ↑の事答えていただけたらTELします。
引っ張ってごめんなさい!
0045デフォルトの名無しさんNGNG
いやぁ、いろんな人から電話かかってきておもしろかった。
んじゃおやすみなさい(3回目)
0046デフォルトの名無しさんNGNG
【社会】動物病院裁判で2ch管理人の控訴棄却★4
http://news2.2ch.net/test/read.cgi/liveplus/1040833655/

裁判ネタ雑談は↑が該当スレです。
0047デフォルトの名無しさんNGNG
http://qb.2ch.net/test/read.cgi/accuse/1041007818/21
0048デフォルトの名無しさんNGNG
各板「のトップに「当インターネットはフィクションであり・・・・」ってのせとけばそれで良くない?
0049デフォルトの名無しさんNGNG
訂正
×fusianasann
○fusianasan
0050デフォルトの名無しさんNGNG
CGIのバグか?
0051あぼーんNGNG
あぼーん
0052デフォルトの名無しさんNGNG
>◆/OQtXsetN
>文系・女性。下痢と便秘をくりかえしているらしい。
>大物コテ(腐れ30★)に粘着してる空気コテ。

と年中書かれております。「事実」でもいちいちその板の住人に説明するのが
面倒になったんですよ。否定はしないですよ。でも、面倒ですよ。
だから、文句があるんならメールくださいよ。(名無しの粘着さん)
としつこく書いている自分が情けない。
0053デフォルトの名無しさんNGNG
うざったい荒らしが減るのなら。
0054デフォルトの名無しさんNGNG
各板のTOPに一定期間、お知らせみたいに貼ってたら?
「2ちゃんねるではすべての書き込みのIPを記録します」って
メルマガとってない、運営板も見ないってユーザーのほうが多くない?
0055デフォルトの名無しさんNGNG
解除されたりしないのかな?
0056デフォルトの名無しさんNGNG
2chには自由を身勝手と履き違えている人が多すぎる
それにどうしても匿名で告発したかったらインターネットカフェや
漫画喫茶などで書き込むことはできるはず
電気のインターネットコーナーでもいいしね
荒らしや誹謗中傷してる奴は暇を持て余してる身勝手な奴がほとんど
こいつらのためにわざわざ匿名にする必要はまったくもってなし
0057デフォルトの名無しさんNGNG
子供だからわかりませんってほんとに言ったの?>にかいどー氏に
0058デフォルトの名無しさんNGNG
漏れも生っす。
大統領になりたいなら投票します。
おながいします。。。
0059デフォルトの名無しさんNGNG
IPを記録されたくなので2ちゃんに書き込むのはやめた。
0060デフォルトの名無しさんNGNG
======2==C==H======================================================

         2ちゃんねるのお勧めな話題と
     ネットでの面白い出来事を配送したいと思ってます。。。

===============================読者数: 139038人 発行日:2003/1/10

なにやら、連日メルマガだしてるひろゆきです。

そんなわけで、ログ記録実験ですが、いちいちサーバ指定するのが面倒なので、
全部のサーバに入れてみました。

重くなって落ちたりしてもご愛嬌ってことで。。。

んじゃ!

────────────────────────Age2ch─
■この書き込みは、Age2chを使って配信されています。
────────────────────────────
Keep your thread alive !
http://pc3.2ch.net/test/read.cgi/software/1041952901/l50
────────────────────────────
0061デフォルトの名無しさんNGNG
よーし、これからは匿名性の保てるインターネット喫茶がはやるぞ(爆
0062デフォルトの名無しさんNGNG
「○○酒造が営利のために食品管理の工程で
 ワインに毒性の高い物質を入れている。」
と書き込んで、後日さらに細かく不凍液を入れている
細かいバッチ工程を誰かに書かれそうになって
慌てて企業側が暴力団に金を渡して
ひろゆこ氏へIPとリモホを出せと脅す。。。。。

山奥に連れ出され遺体を埋める穴の横で
暴力団に尋問された場合、
ひろゆこ氏は出すのかな?
0063デフォルトの名無しさんNGNG
 IP記録告知以後、2chのどの板も、どのスレも、だいぶ静かになった
ような気がする。

 今まで如何に無責任な書き込みが多かったかを示しているような
気もするけど、閑散として活気もなくなったような気もする。
0064デフォルトの名無しさんNGNG
↑
キン肉マンに出てくるウールマン?
0065デフォルトの名無しさんNGNG
殺人予告スレ発生。

【予告】小学生の登校を狙って・・・
http://live2.2ch.net/test/read.cgi/news/1042035002/

悪戯であることを祈る。
0066デフォルトの名無しさんNGNG
お前のは議論じゃないよw
「これ言っていいですか?」 「これ言うとヤバイですか?」 って他人に聞いてるだけw

寝るのがイヤなら、教えて厨は初心者板に逝ってねw
0067デフォルトの名無しさんNGNG
おそらくいままでの荒らし全部同一人物だろ
0068デフォルトの名無しさんNGNG
岡田克彦ファンクラブからのご案内です。岡田克彦氏の卒業した早稲田大学
政治経済学部に比べて著しい低学歴、特に、ひろゆきの卒業した中央大学文学部
のようなヘボい大学に共通しているのは、文化水準が低いという事です。18歳から22歳を
ヘボい大学で過ごすということは、致命傷と言えます。2ちゃんねらーの大半は
岡田克彦氏に比べて、著しい低学歴ですから、取り返しはつかないのです。
せめて、http://www.geocities.co.jp/MusicHall-Horn/1091/で、氏の作品に触れましょう。
0069デフォルトの名無しさんNGNG
Internet Service Providerが契約者に対し
顧客情報の開示を行うことを明らかにするだけだ。
責任は書き込んだ奴が取るだけ。
0070デフォルトの名無しさんNGNG
最近カール★さん見ない・・・
0071山崎渉NGNG
(^^)
0072山崎渉NGNG
(^^)
0073デフォルトの名無しさんNGNG
副作用のない純関数型って配列の更新するたびにコピーするの?
なんか仕組みがあるんか?
0074デフォルトの名無しさんNGNG
遅延評価的には,コピーが起こるのは参照された時では?
0075山崎渉NGNG
(^^)
0076デフォルトの名無しさんNGNG
その配列がもう評価されることがないと判っていれば、書き換えてしまってもいいのでは?
0077デフォルトの名無しさんNGNG
hozen age
0078デフォルトの名無しさんNGNG
勉強しようと思ってClean 2.0.3入れてみたけど、"Unable to run compiler: 〜"とか言われてコンパイルできん。
1.3.3ではExampleは動いているのに
Enviromentのコンパイラのpathはあってるんだけど。
なんか設定変えるところとかあるんでしょうか?
0079デフォルトの名無しさんNGNG
>>78
Haskellに汁!って言われるだけかも
0080デフォルトの名無しさんNGNG
2.0.3はまだリリースしてましぇん
0081デフォルトの名無しさんNGNG
CleanってサンプルにDirectX使ったゲームあるよな
すーぱーまりおみたいなやつ。ちょっと感動した。
008278NGNG
ううっ 2.0.2だった
しばらく1.3.3で遊んでみます
0083デフォルトの名無しさんNGNG
最初スレは9ヶ月,part2スレは11ヶ月で次スレ立ったのに,
このpart3スレは3ヶ月で80そこそこか...
関数型言語の時代も,そろそろ終わりって事かな?
0084デフォルトの名無しさんNGNG
>>83
2chの厨房にとってだけって話じゃないの?
0085デフォルトの名無しさんNGNG
Ruby>>>>>>>>>>>>>>>>関数型言語
0086デフォルトの名無しさんNGNG
CからC#への移行なら生産性あがって当然よ。
関数型言語からオブジェクト指向言語に移行するわけだから。

C++からC#への移行はどうかな。生産性は対して変わらんよ。
0087デフォルトの名無しさんNGNG
>>86
C++を使えないのに無理やり使っていたせいで発生していたバグから
解放されるかモナー。
0088デフォルトの名無しさんNGNG
何故に「C=関数型言語」という話になったんだろう・・・
0089デフォルトの名無しさんNGNG
さらしあげ。 >>86
0090デフォルトの名無しさんNGNG
>>86
C=関数型言語というのはネタなのか?
0091がいしゅつNGNG
Cって関数型言語なの?
http://pc2.2ch.net/test/read.cgi/tech/1044035494/
0092デフォルトの名無しさんNGNG
平林雅英タンが,関数型言語についてナンも知らんのに
『 ANSI C/C++辞典』に「関数型言語」
なんて立項して大ボケ書いてたりしてるのがデマの
泉源のひとつ.

いわゆる「純粋な」関数と,
C とかの「術語としての『関数』」の,
区別がわかってないっぽい.
0093デフォルトの名無しさんNGNG
平林タンを起点としてドミノ状に間違えているのでつか?
0094デフォルトの名無しさんNGNG
そろそろCマガジンみたいなのでMLなりHaskellなりの
連載を始めたほうがよいと思います。日本のC屋には
プロはいても、あまりにも理論に疎いのが多いと思います。
日下部とか日下部とか日下部とか日下部とか日下部とか日下部とか
0095デフォルトの名無しさんNGNG
新ANSI C言語辞典 平林雅英著 技術評論社

関数型言語(functional language)

関数型のプログラミング言語。
LISP, LOGO, APL, BCPL, B, Cなどがある。
0096デフォルトの名無しさんNGNG
0097デフォルトの名無しさんNGNG
このヒト、再帰できれば関数型って思ってんですかね?
かく言う私も廿年位前迄はそう思ってたんですが…。
参考 >>4
0098デフォルトの名無しさんNGNG
この26〜7年で、関数言語の定義も随分洗練されたよね
0099デフォルトの名無しさんNGNG
>>97
違う。
この人的には手続き呼び出しが関数のような形を
している言語は関数型言語と呼ぶらしい。
そしてPascal は function と procedure を使い分け
られるから関数型には入らないらしい。

関数型言語という言葉をどこかで見かけて、
その意味を勝手に想像して本に書いちゃった
・・・って感じ?
0100100 getNGNG
3ヶ月と5日かかったのか
0101デフォルトの名無しさんNGNG
>そしてPascal は function と procedure を使い分け
>られるから関数型には入らないらしい。
Pascalはハイブリッド型関数型言語です。
C++が純粋なOOPLであるSmalltalkとの対比でハイブリッド型OOPLと呼ばれるのと同様です。
■ このスレッドは過去ログ倉庫に格納されています