関数型プログラミング言語Haskell

1 名前：潜伏していた1 mailto:sage [02/02/16 16:55] 何とか生き残れました。 前スレ pc.2ch.net/test/read.cgi/tech/996131288/l50 関連 >>2 以降 512 名前：デフォルトの名無しさん [02/12/11 20:50] >502 >新しいhugsにはwinhugsはついてないの？ オレも見つけられない。どこにあるの？ 513 名前：デフォルトの名無しさん [02/12/14 15:59] www.haskell.org/~petersen/haskell/lc2001.html >Emacs in Haskell の計画 これはネタですか？こんなことやってる人いるのかな？ 514 名前：デフォルトの名無しさん [02/12/16 06:01] www.haskell.org/humor/ ↑これのどこが面白いのか、誰かひとつ解説してくれ。 515 名前：デフォルトの名無しさん mailto:sage [02/12/20 16:48] その面白さを理解できないあなたはHaskellerではなし。 無理にでも笑いなさい。 516 名前：デフォルトの名無しさん [02/12/22 11:30] yzg.3nopage.com/haskell.jpg 質問なんですが、これってなんていう本だか分かりますか？ おそらく、Haskell:the Craft of Functional Programmingの和訳だと思われるのですが…… 検索しても出てこないもので…… 517 名前：デフォルトの名無しさん mailto:sage [02/12/24 10:15] >>516 何処ぞの大学か何かの授業用のテキストじゃないかなぁ． 前の年には毎回配ってたプリントを，次の年は一括して印刷・ 簡易製本とかいうパターンって結構あるから 518 名前：デフォルトの名無しさん [03/01/06 23:34] んが 519 名前：IP記録実験 mailto:IP記録実験 [03/01/08 21:43] IP記録実験 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を提出することがある。 520 名前：デフォルトの名無しさん mailto:sage [03/01/09 02:32] IP記録するのはいいけど串も規制しないと意味ないよな 521 名前：デフォルトの名無しさん mailto:sage [03/01/09 03:16] フシアナ標準にすればいいのに。 困るのは厨くらいだろ？ 522 名前：デフォルトの名無しさん mailto:sage [03/01/09 03:58] >>292 どのIPがどの垢かは、ISPが記録してます。 だから、悪い事すればモデムだろとADSLだろうと捕まりますよ。 523 名前：ぶん [03/01/09 14:08] 始めまして。今私はplorogの勉強をしています。問題集に並べ替えのプログラムがあったのですが、よくわからないのでどなたか教えて下さい。 concatenate([],List,List). concatenate([Head | This Tail],List,[Head | That Tail]):- concatenate(This Tail,List,That Tail). sort([],[]). sort([Head|[]],[Head]). sort([Head|[THead|[]]],Result):- Head <= THead, concatenate([Head],[THead],Result). sort([Head|[THead|[]]],Result):- Head > THead, concatenate([THead],[Head],Result). sort([First|[second|Tail]],Result):- First <= Second, concatenate([Second],Tail,Temp), [First|RTail]=Result, sort(Temp,RTail). sort([First|[second|Tail]],Result):- First>second, concatenate([First],Tail,Temp), [Second|RTail]=Result, sort(Temp,RTail). それで、これをどう繰り返せばいいのかがわからないのです。何かわかる人がいたら教えて下さい。 524 名前：デフォルトの名無しさん mailto:sage [03/01/09 14:21] これからは馬鹿って書いただけで訴えられる可能性がでてきたわけで 525 名前：デフォルトの名無しさん mailto:sage [03/01/09 15:05] 既に訴えられているわけだが。ひろゆきが責任を取ってるだけで。 526 名前：デフォルトの名無しさん mailto:sage [03/01/09 17:49] ======2==C==H====================================================== 　　　　　　　　　２ちゃんねるのお勧めな話題と 　　　　　ネットでの面白い出来事を配送したいと思ってます。。。 ===============================読者数： 138720人　発行日：2003/1/9 年末年始ボケがそろそろ収まり始めた今日このごろのひろゆきです。 そんなわけで、年末に予告したIP記録ですが実験を開始しています。 「２ちゃんねる20030107」 こんな感じで各掲示板の最下部に日付が入ってるんですが、 20030107以降になってるところはログ記録実験中ですー。 んじゃ！ ────────────────────────Age2ch─ ■この書き込みは、Age2chを使って配信されています。 ──────────────────────────── Keep your thread alive ! pc3.2ch.net/test/read.cgi/software/1041952901/l50 ──────────────────────────── 527 名前：デフォルトの名無しさん mailto:sage [03/01/09 23:41] 2ch板一覧 　www.skipup.com/~niwatori/keijiban.htm >728 ( ´∀`)σ)Д`) ﾌﾟﾆ 528 名前：デフォルトの名無しさん mailto:sage [03/01/10 08:39] そりゃ最初はよほどの大事でもない限りIPを渡すことはしないだろう、 でも物事はだんだんエスカレートしていく物、そのうち密告とかも「誹謗中傷」として IPを渡すようになる、、、 529 名前：デフォルトの名無しさん mailto:sage [03/01/10 10:39] 最近、腐れさん見ないね・・ 530 名前：デフォルトの名無しさん mailto:sage [03/01/10 11:09] ★　ひろゆき重大な決意を語る。 live2.2ch.net/test/read.cgi/news/1041069586/l50 531 名前：デフォルトの名無しさん mailto:sage [03/01/10 11:55] 最高裁への上告は認められなくなったから、これで事実上判決確定だよ。 逆転も何もないって。 勢いで上告なんかしても一発で上告却下(門前払い)だよ。 二審も一審を支持。これに対して上告しようにも、 刑事訴訟と同様、自由に上告できるってもんでもないのです。 民事訴訟法312条 （上告の理由） 1項 「上告は、判決に憲法の解釈の誤りがあること その他憲法の違反があることを理由とするときに、することができる。」 www.m-net.ne.jp/~doba/goto/hon.htm ようするに上告しても今の制度では100％無駄。 これで完全終了ってことか。 532 名前：デフォルトの名無しさん mailto:sage [03/01/10 12:24] >>754 まともじゃない掲示板なんて存在意義ないね。 そういうことならここじゃ意味ないと思うが。 533 名前：デフォルトの名無しさん mailto:sage [03/01/10 13:16] スレタイの日本語、微妙におかしいね。 534 名前：デフォルトの名無しさん mailto:sage [03/01/10 15:37] (前略)815様 落ち着け。お前の感じている感情は精神的疾患の一種だ。 静める方法は俺が(中略) 鯖の前で両目をひんむいて「びっくりするほどユートピア」と唱えながらキュウリを(以下略 535 名前：デフォルトの名無しさん mailto:sage [03/01/10 17:05] なつかし。 536 名前：デフォルトの名無しさん mailto:sage [03/01/10 23:26] ひろゆき お前にはがっかりした。 2chにも。さいなら。 537 名前：デフォルトの名無しさん mailto:sage [03/01/10 23:34] 全部ミギーが書きましたって言えば問題ナッシング 538 名前：デフォルトの名無しさん mailto:sage [03/01/11 00:50] ううん、既存のTripodとかじゃなくて新たにそういうシステムを 作っちゃうの。 どう作るかはわかりませんｗ しかし嵐とか不愉快な対策には「こいつがむかつく」と ひとり１票で投票してきめます。 そしてその人はもうカキコ禁止。 どうやってカキコ禁止にするとかそういうのはわかりませんｗ 539 名前：デフォルトの名無しさん mailto:sage [03/01/11 00:57] 記録されてる分なにかと現社会より厳しくなった感じします、 540 名前：デフォルトの名無しさん mailto:sage [03/01/11 12:22] とりあえず、訴えられたらスレ住人全員で土下座しよう。 ていうか、それくらいの気概で書き込め。 今までひろゆきに丸投げしていた負担を、個人個人で背負えばイイだけの話だろ。 ここからが本当の市民運動のスタートだよ。 541 名前：デフォルトの名無しさん mailto:sage [03/01/11 13:21] ＞1 ：ひろゆき ◆3SHRUNYAXA ＠どうやら管理人 ★ ：03/01/08 17:13 ID:??? ＞そんなわけで、qbサーバでIPの記録実験をはじめましたー。 IP記録実験 qb.2ch.net/test/read.cgi/accuse/1042013605/l20 ＩＰ記録実験ＰＡＲＴ２ qb.2ch.net/test/read.cgi/accuse/1042020193/l20 これまでのあらすじは あたりに誰かお願い。 542 名前：デフォルトの名無しさん mailto:sage [03/01/11 13:47] マターリしてるのにスレ違いな質問はどーかと。 それに、会社立ち上げたんだし、たぶんにその辺からだろ〜ね。 543 名前：デフォルトの名無しさん mailto:sage [03/01/11 16:35] 2chをはけ口にしていた人はどこで憂さ晴らしをするのか少し興味ある 544 名前：デフォルトの名無しさん mailto:sage [03/01/11 16:42] 漏れはどこもさくさく行ける。 プロバ次第だと思われ。 545 名前：デフォルトの名無しさん mailto:sage [03/01/12 00:47] 漏らすバカが出るだろうというのが一番の問題なんだよ 546 名前：デフォルトの名無しさん mailto:sage [03/01/12 00:56] ごめん、なんで「それを言うなら」になるのかがわからん(^_^;) 後半の批判は批判でいいと思うんだけど、書き込む人間の自己責任ってのとどう関係してるの？ 547 名前：デフォルトの名無しさん mailto:sage [03/01/12 11:06] だろ。 461みたいなことばっか起こるだろ。 ろくなことなないな。２ちゃんなんか。 それもやられ損かなぁ？ 訴えてやればいいのに。 548 名前：デフォルトの名無しさん [03/01/12 15:22] >>1-517 荒らされる前までのリンク。 なんでプログラム技術板で私が覗いてる全スレでやられてるんだか･･･。 549 名前：デフォルトの名無しさん mailto:sage [03/01/12 20:37] 全ての責任は当事者同士で解決しろってこと 人が書き込んだものに対して賠償するのもアホらしいしな ごく当り前な考えだわな 騒ぐ程のもんでもない わかるか？ 550 名前：デフォルトの名無しさん mailto:sage [03/01/12 20:41] プチ法廷ごっこでは、詭弁で開き直る２ちゃん擁護派は強い。 でもリアル法廷ではボロ負け。 551 名前：デフォルトの名無しさん mailto:sage [03/01/12 20:49] 過度の期待は禁物です。 552 名前：山崎渉 mailto:（＾＾）sage [03/01/13 18:34] （＾＾） 553 名前：デフォルトの名無しさん mailto:sage [03/01/13 22:25] そんなに世の中が嫌いか。 年収６００万円に満たない屑でも愉快に暮らせる楽しい世の中じゃないか。 いちいち爆破するな。 554 名前：デフォルトの名無しさん mailto:sage [03/01/14 10:32] Functional Programming With Haskell www.amazon.com/exec/obidos/tg/detail/-/0077093305/ こんな本が出てました。誰か読んだ人はいますか？ あと4月いは損氏の本。といっても仕様書そのままかもしれないけど Haskell 98 Language and Libraries : The Revised Report www.amazon.com/exec/obidos/tg/detail/-/0521826144/ 555 名前：山崎渉 mailto:（＾＾）sage [03/01/15 17:56] （＾＾） 556 名前：デフォルトの名無しさん [03/01/17 00:03] 標準ライブラリ関数のクイックリファレンス本って無いのかな？ 入門本は取り敢えず読んだから、 簡潔な説明と簡単な使用例が有ると嬉しいんだけど。 >>554の本は、ちょっと違うみたいだし、 1969年にならないと手に入らないって書いてある……バグってるな。 557 名前：デフォルトの名無しさん mailto:sage [03/01/17 10:46] >>554 後者って www.haskell.org/definition/ ↑の最初にある Report ふたつの PS・PDF を 印刷製本したものではとか思われ 558 名前：デフォルトの名無しさん mailto:sage [03/01/17 14:39] research.microsoft.com/Users/simonpj/haskell98-revised/ これだろ 559 名前：山崎渉 mailto:（＾＾）sage [03/01/23 20:13] （＾＾） 560 名前：デフォルトの名無しさん mailto:sage [03/01/24 10:19] 圧縮ツール bzip2 の作者 Julian Seward さん、Haskellerになったんですね。 sources.redhat.com/bzip2/#about-author 561 名前：デフォルトの名無しさん mailto:sage [03/01/25 15:44] つってもなー、Haskellerにはlurkerが多いらしいからな 562 名前：デフォルトの名無しさん mailto:sage [03/01/26 15:59] www.haskell.org内にも Seward氏の名前はたくさん出てるから、lurkerではないのでは? 563 名前：デフォルトの名無しさん mailto:sage [03/01/26 20:59] 今日からHaskell使ってプログラミング始めます。 とりあえずHP作ってみた。 haskell.tripod.co.jp/index.html 564 名前：デフォルトの名無しさん mailto:sage [03/01/27 00:30] >>563 （・∀・）ｲｲ！ 応援しますよ 565 名前：デフォルトの名無しさん mailto:sage [03/01/27 15:15] >>563 もう解決したんだろうか。":?" 566 名前：デフォルトの名無しさん mailto:sage [03/01/27 16:57] >>564 心強いです。感謝。 >>565 解決しました。感謝感謝。 567 名前：デフォルトの名無しさん mailto:age [03/01/31 15:57] 荒すな 568 名前：デフォルトの名無しさん [03/02/03 22:53] WinHugsでテンキーの'/'が効かない件、 バグか仕様か知らないけど、取り敢えず直してみた。 Windowsでプログラム組んだ事無いんで、変な事してる かもしれないけど、一応動いたよ。 *** Wintext.c.origTue Aug 6 07:29:18 2002 --- Wintext.cMon Feb 3 21:20:30 2003 *************** *** 2497,2502 **** --- 2497,2506 ---- goto otherKey; } + if (readKey.KeyCode == '/') { + readKey.IsExtended = 0; + } + return readKey; } 569 名前：デフォルトの名無しさん [03/02/05 16:32] template haskell まだあ〜？ 570 名前：デフォルトの名無しさん mailto:sage [03/02/12 03:53] Hoshkell 571 名前：デフォルトの名無しさん mailto:sage [03/02/23 03:23] 素朴な疑問Haskell使ってる人たちって情報系の人ばかり？ 572 名前：デフォルトの名無しさん [03/02/26 20:26] 【何処も】情報科学総合ｽｯﾄﾞﾚ【板違い】 science.2ch.net/test/read.cgi/rikei/1046173479/l50 573 名前：デフォルトの名無しさん [03/03/12 16:17] 11 March 2003 GHC 5.04.3 Released 574 名前：デフォルトの名無しさん mailto:sage [03/03/12 17:10] どこが変わったのかわかりゃしねぇ。 ところで最近寂れてるな。 やっぱもうネタないのかね。 575 名前：デフォルトの名無しさん mailto:sage [03/03/12 19:03] Haskellコミュニティは議論は盛んなんだけどなー 576 名前：デフォルトの名無しさん mailto:sage [03/03/12 22:05] はやく日本語で本出ないかなー。 577 名前：デフォルトの名無しさん mailto:sage [03/03/13 01:50] lazy evaluation ってなんですか？ 578 名前： [03/03/15 17:45] 遅延評価 (lazy evaluation) 　　遅刻の回数を基準にボーナスの額を決めること。 ttp://www.nurs.or.jp/~kneo/m_ti.html 579 名前：デフォルトの名無しさん mailto:sage [03/03/15 23:18] >>577 値が実際に必要となるまで引数の評価を遅らせること。 要求呼び出し（call by need） 580 名前：デフォルトの名無しさん mailto:sage [03/03/15 23:23] 命令型言語ではほとんど実現されていない。 引数の評価は何らかの副作用を伴うことがあり、 引数がいつ必要になるか正確に知るのは難しい。 また、要求呼び出しはスタックによる実現が難しい。 581 名前：デフォルトの名無しさん [03/03/16 00:47] www.generic-haskell.org/ ここで作られてるコンパイラを使っている人はいますか？ 582 名前：デフォルトの名無しさん mailto:sage [03/03/16 23:20] >>579-580 説明ありがとうございます。 583 名前：デフォルトの名無しさん mailto:sage [03/03/17 12:38] Haskellerの中にはまたストリームベースを唱えている人もいるようだが 584 名前：デフォルトの名無しさん mailto:sage [03/03/17 23:18] ttp://www.sampou.org/haskell/report-j/preface-13.html 585 名前：デフォルトの名無しさん mailto:sage [03/03/18 13:48] 意味不明でっす 586 名前：デフォルトの名無しさん mailto:sage [03/03/18 20:49] >>583 この板にも居ますよ。たぶん数学屋の方でしょうけど。 ところでデータ構築子って理論的にカリー化できないのでしょうか？ 最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。 587 名前：デフォルトの名無しさん mailto:sage [03/03/19 13:58] 可能だからといって言語仕様にいれるとは限らないでしょう その辺は言語設計上の様々な観点を 考慮しながら決定するということで 588 名前：デフォルトの名無しさん [03/03/20 11:04] > 586 カリー化されてるんじゃないの？ 589 名前：デフォルトの名無しさん mailto:sage [03/03/20 12:49] 余裕でっす 590 名前：デフォルトの名無しさん mailto:sage [03/03/20 20:56] されているね、十分。 ----code data Tree a = Node a [Tree a] instance (Show a) => Show (Tree a) 　where show (Node item xs) = show item ++ show xs -----実行 *Main> :type Node 1 forall a. (Num a) => [Tree a] -> Tree a *Main> Node 0 (map (Node 1) (map (map (flip Node [])) [[2,3],[4,5]])) 0[1[2[],3[]],1[4[],5[]]] ----- それとも、もしかして、こんなん? -----code追加 test (Node a) = a -----予想実行 *Main > test (Node 0) 0 *Main > test (Node 1 []) 1 ----- 上はともかく、下はあってもおかしくないし、欲しいな。 あとで少し探してみるか…。 591 名前：586 mailto:sage [03/03/23 22:27] >>588-590 すでに可能だったのか・・。 すまんかった。 592 名前：デフォルトの名無しさん [03/03/24 02:45] Windows版のHugsって、ドキュメントのバージョンがずれてない？ .hlp .pdf .htmlが古くて、.chmだけちょっと新しいような？ あと、Trexライブラリがうまく使えないんだけど、 もしかして再コンパイルが必要なのかな？ Hugs mode: Restart with command line option +98 for Haskell 98 mode Reading file "C:\Hugs98\libraries\Hugs\Prelude.hs": Reading file "C:\Hugs98\libraries\Prelude.hs": Type :? for help Prelude> :load Hugs.Trex Reading file "C:\Hugs98\libraries\Hugs\Trex.hs": ERROR "C:\Hugs98\libraries\Hugs\Trex.hs" - Illegal export of a lone data constructor "EmptyRec" 593 名前：デフォルトの名無しさん [03/03/25 08:06] はあー、MLはまだ何とかなりそうだが、haskellさっぱりわかんね。 594 名前：デフォルトの名無しさん mailto:sage [03/03/25 15:07] 漏れは逆にMLの構文がわけわからん、つーか好みに合わん。 Haskellも一部複雑だけどね。 ttp://www.teu.ac.jp/kougi/koshida/Prog6/ とか見て動かしてみれば慣れるよ。 595 名前：デフォルトの名無しさん mailto:sage [03/04/05 15:58] haskell.org維持費用捻出できなくなったのかよ 596 名前：デフォルトの名無しさん mailto:sage [03/04/05 16:02] ﾜﾗﾀ ２ちゃんねらーで金出してやれよ。 トップページのλの隣にモナー飾ってもらえるかもしれんぞ。 597 名前：デフォルトの名無しさん mailto:sage [03/04/05 17:32] >>595 April fool じゃないのか？ 598 名前：デフォルトの名無しさん mailto:sage [03/04/05 20:53] そうなら、もう消すだろ 599 名前：デフォルトの名無しさん mailto:sage [03/04/06 12:06] 1 Apr 2003 のニュースだから、永久保存かも 600 名前：600 [03/04/08 17:22] でも、去年は April fool なかったみたい age 601 名前：山崎渉 mailto:（＾＾） [03/04/17 15:36] （＾＾） 602 名前：デフォルトの名無しさん [03/04/25 17:31] ﾎｼｭ 603 名前：デフォルトの名無しさん mailto:sage [03/04/27 01:31] このゴールデンウィークにでも勉強したいと思いまフ。 604 名前：デフォルトの名無しさん [03/04/27 05:18] これ、行列の対角化とかできますか？ 605 名前：デフォルトの名無しさん mailto:sage [03/04/27 14:04] 対角化の計算を自分で書けばもちろんできる。 行列計算用のモジュールも公式サイトから辿れる。 あとはやりたい本人の裁量次第でいくらでも。 606 名前：デフォルトの名無しさん [03/04/27 17:03] >>605 アリガ�d 607 名前：デフォルトの名無しさん [03/04/27 21:58] 初期のhaskellはschemeで作られたって本当？ 昔Yale大学のサイトになんか書かれてたけど。 608 名前：デフォルトの名無しさん mailto:sage [03/04/29 08:28] けど･･けど･･ 609 名前：デフォルトの名無しさん [03/04/29 14:15] Common Lisp? 610 名前：動画直リン [03/04/29 14:26] homepage.mac.com/hitomi18/ 611 名前：デフォルトの名無しさん [03/05/05 17:03] f x = let a = 1; b = c g y = exp2 in exp1 f x = let a = 1; b = c g y = exp2 in exp1 612 名前：デフォルトの名無しさん [03/05/14 12:10] 最強

---

---

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

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