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

1 名前：デフォルトの名無しさん mailto:sage [2007/10/30(火) 20:28:13 ] haskell.org www.haskell.org/ 日本語サイト www.sampou.org/cgi-bin/haskell.cgi www.shido.info/hs/ 過去ログ 関数型プログラミング言語Haskell Part1 pc.2ch.net/tech/kako/996/996131288.html Part2 pc2.2ch.net/test/read.cgi/tech/1013846140/ Part3 pc8.2ch.net/test/read.cgi/tech/1076418993/ Part4 pc8.2ch.net/test/read.cgi/tech/1140717775/ Part5 pc8.2ch.net/test/read.cgi/tech/1149263630/ Part6 pc11.2ch.net/test/read.cgi/tech/1162902266/ Part7 pc11.2ch.net/test/read.cgi/tech/1174211797/ ・2chの仕様により、行頭の半角スペースは表示されません。 　コードをインデントしたいときは、代わりに または全角スペースを使うことができます。 357 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:36:06 ] >>355 >219に戻れ 358 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 16:43:36 ] >>357 >>219とは趣旨が違う > (f . g) a b この括弧はうっとうしいなぁと言ってるだけなんだよ。 $みたいに括弧省略したい 359 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 17:10:55 ] 俺はその格好が好きだ 360 名前：デフォルトの名無しさん [2007/12/15(土) 17:31:40 ] ML でも (foo o bar o baz o foobar) quux みたいに書くね 361 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 20:25:33 ] >>358 お前は何を言っているんだ 362 名前：デフォルトの名無しさん mailto:sage [2007/12/15(土) 21:14:46 ] >>361 心で感じろ 363 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 01:37:28 ] >>361 風を感じろ 364 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 01:45:32 ] GHC 6.8.2 Windows版で、コンソールのコードページが英語のになるバグがようやく直ったな。 365 名前：デフォルトの名無しさん mailto:sage [2007/12/16(日) 20:36:29 ] Parallel Haskellの拡張されてる点ってどんなとこ？ 366 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 08:39:00 ] >>364 太字になるのは？ 367 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 09:27:14 ] WindowsでGHCなんか使うやつはバカです 368 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 11:39:39 ] 同感 369 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 11:47:31 ] windowsではGHC以外に何が一番いいの？ 370 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 16:08:40 ] >>365 （疎結合の）クラスタ範囲にまで並列化する （普通のマルチコア・マルチCPU（どっちも共有メモリ）範囲の（半）自動並列化ならGHC本体だけでもできる） そんなハード持ってなければどっちみち関係ない 371 名前：デフォルトの名無しさん [2007/12/17(月) 22:55:51 ] 　　　　　　　　＿＿＿_ 　　　　　　　／　　 　 　＼ 　　　　 　／　　─　 　 ─＼　　　　　今年もあと一ヶ月だお・・・ 　　　　／ 　　 （●） 　（●） ＼ 　　　　|　 　　 　 （__人__）　 　 |　＿＿＿＿＿＿＿_ 　 　　 ＼　　 　　 　￣ 　 　.／　.| |　　　　　　　　　　| 　　　　ノ　　　　　　　　　　　＼　| |　　　　　　　　　　| 　 ／´ 　 　　　　　　　　　　　 　 | |　　　　　　　　　　| 　|　　　　ｌ 　 　 　 　 　 　　　　　| |　　　　　　　　　　| 　ヽ　　　 -一ー_~､⌒)^),-､　　　| |_＿＿＿＿＿＿__| 　　ヽ ＿＿＿＿,ノγ⌒ヽ)ニニ-￣　　　| |　　| 　　 　　　／￣￣￣＼ 　　　　／　─　 　 ─ ＼ 　　 ／　 （●） 　（●）　 ＼.　　俺はこの一年間何をしていたんだろう 　　 |　　　　（__人__）　　　　| 2chで浪費した莫大な時間を何か有意義なことに使っていたら・・・ 　　 ＼　　　 ｀ ⌒´　　　 ／ 　　 ／　　　　　　　　　　 ＼ 372 名前：デフォルトの名無しさん mailto:sage [2007/12/17(月) 23:18:53 ] このスレは相当に有意義だと思うんだけどな。 つうか基本的に専門スレしか見ない人も多いと思うんだが。 今年も大変勉強になりました。 373 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 18:46:23 ] いまさらだが、 >>96 JavaScriptでもできるな 374 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 20:49:40 ] (>>=´∀｀) 375 名前：デフォルトの名無しさん mailto:sage [2007/12/22(土) 23:20:06 ] そこで具体的な事じゃなく漠然と「有意義な事」って言葉しか出ないなら 2ちゃんやらなくても結果は一緒だったと思うんだよ 376 名前：デフォルトの名無しさん mailto:sage [2007/12/23(日) 00:04:51 ] 日頃から頑迷そうな意見乙 377 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:55:59 ] 哲板から転載 読んだ人いる？ 圏論による論理学　高階論理とトポス 清水 義夫 ISBN978-4-13-012057-9, 発売日:2007年12月中旬, 判型:Ａ５, 232頁 内容紹介 20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論． 関数概念を基本として現象をとらえようというこの方法を， 関数型高階論理とトポスを題材にして丁寧に解説する． 論理学の観点を中心に，圏論の考え方を紹介するテキスト． 主要目次 序 第1章 関数型高階論理 第2章 トポス 第3章 トポスの基本定理 第4章 プルバック関手ｆ *の右-随伴関与Πf 第5章 リミット、空間性トポス、限定記号 結び 付録１　A∧( ) ┤A⊃( )のイメージ的理解 付録２　各章の課題 主な記号一覧／索引 378 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:57:43 ] >>377 立ち読みしたが、俺らには全く関係ないよ 379 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:59:29 ] ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●不合格●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● ●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●●● これを見た人は確実に【不合格】です。これをコピペでどこかに１回貼れば回避できます。 これは本当です。やらないと一年無駄になります. 私も最初は嘘だと思ったんですが、一応コピペしました。それで第一志望に合格出来ました。 けどコピペしなかった友達がA判定とっていたのに、おちたんです。(慶応合格h.sさん) 俺はもうE判定で記念受験だったんだけど、コピペを１０回くらいした途端に過去問が スラスラ解けるようになって、なんと念願の開成に受かりました。(開成合格r.kくん) これを今年の試験前に見てシカトしたら、入試でミスって最悪です。(n.aさん) 380 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 16:34:29 ] tasukete 381 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 16:37:43 ] >>380 通報しますた 382 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 08:38:38 ] >>378 関係ないことないだろ。 Haskellの型システムを理論的に理解する時など。 383 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 08:51:28 ] しみろん、懐かしいな… 384 名前：デフォルトの名無しさん mailto:sage [2007/12/25(火) 11:43:56 ] すげー久しぶりに しみろん 見た… 385 名前：デフォルトの名無しさん mailto:sage [2007/12/26(水) 19:57:10 ] liftM と fmap が一致しない場合ってあるの？ 386 名前：デフォルトの名無しさん mailto:sage [2007/12/26(水) 21:11:49 ] >383-384 東大OB乙 387 名前：デフォルトの名無しさん mailto:sage [2007/12/28(金) 18:50:21 ] 二ヶ月ほど前に撮った写真です 場所はバトルロワイヤルの撮影地にもなった 軍艦島での一枚です。 www.uploda.net/cgi/uploader1/index.php?file_id=0000278909.bmp 撮影し現像した物を 心霊写真がないかな〜っと面白半分で探していると 偶然にも一枚だけ物凄い写真が在りました 最初に見えたのは右下の子供の様な顔です 左にはボーっと立ち尽くし こっちを見ている子供がうっすらと写っています 上部には青白い叫び顔があります それだけではありません 探せば探すほど気持ち悪い顔があるのです 私は現在で約30ほどの顔を見つけました、全てこっちを見ています 探せば探すほどあまりにも出てくるので 気持ち悪くなり頭が痛くなりました この写真ですが、ある友人に貸した所 夜に1時間程笑い声の様なものが聞こえてかなり 怖かったらしいです・・・ 霊感がある方はぜひ鑑定をお願い致します。 因みに、スキャナーで高画質でスキャンした上で 見易いように画質調整をしています ですのでファイルサイズが9MBにもなります・・・ 388 名前：デフォルトの名無しさん mailto:sage [2007/12/28(金) 21:23:54 ] >>387 スレ違い 画像処理 その10 pc11.2ch.net/test/read.cgi/tech/1197759782/ 389 名前：デフォルトの名無しさん mailto:sage [2007/12/29(土) 00:40:56 ] ワロタ 390 名前：デフォルトの名無しさん [2007/12/31(月) 18:01:51 ] 初心者レスです。 既出や意味不明な質問でしたらすみません。 ポイントフリースタイルって言葉がありますよね。 仮引数を無くして、関数を関数だけで定義するという意味で。 firstNLines n cs = (unlines . take n . lines) cs 上のような関数が定義されていたとして、 仮引数を減らす仮定で firstNLines n = unlines . take n . lines 上のように書けますよね。 更に仮引数 n を無くす場合 firstNLines = (. lines) . (unlines .) . take と書けると思うんですが ポイントフリースタイルとなった最後の定義式を見て 理解しやすくなったとは思えないのです。 積極的に使うべきなのでしょうか。 391 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 18:07:32 ] わかりやすいほうでいいんじゃない？ ごちゃごちゃしてるのがいやならポイントフリーで。 392 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 19:15:14 ] なんでもポイントフリーにするのは難読化への道を歩んでしまいかねん。 とりあえず二つ目のfirstNLines nみたいに普通に使ううちは 型を明示してれば分かりにくくなることも無いけど、 度を過ぎた奴はコードの修正とかも考えると扱いにくいわ読みにくいわでいろいろと面倒だし、 ポイントフリースタイルが時にはポイントレス（要領の悪い）スタイルといわれることもある ってHaskellWikiに書いてた 俺もflipとかドットとか使いまくったコードを読むのは嫌い。 でも書いてる奴からするとパズルみたいで楽しいんだろうなあ、とか。 393 名前：389 mailto:sage [2007/12/31(月) 19:29:48 ] ポイントレススタイル・・・。 書くときは頭の体操になるかもしれませんが 読む方からすると大変ですよね。 394 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 21:34:10 ] ポイントフリースタイルにすると点 . がどんどん増えてぜんぜんポイントフリーじゃないよ(笑 395 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 22:03:28 ] map ($ 3) [(+1),((-)2),(/3),(*4)]　とか書くと単純なことなのになんか愉快だよね、たしかに 396 名前：デフォルトの名無しさん mailto:sage [2007/12/31(月) 23:38:55 ] なんだその記号だらけの読みにくい奇怪なコードは 397 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 00:16:55 ] あけましておめでとうございます。 今年は Haskeller になれるように頑張りまふ(｀･ω･´)!! 398 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 10:27:49 ] 俺もだ！ 今年こそはHaskellマスターになる 399 名前：デフォルトの名無しさん [2008/01/01(火) 11:08:26 ] >>395 少し愉快になれた(ﾟ∀ﾟ) 400 名前：デフォルトの名無しさん [2008/01/01(火) 17:35:39 ] 今更だけど >>52 の説明に感動した。 401 名前：デフォルトの名無しさん mailto:sage [2008/01/01(火) 18:08:19 ] >>394 ポイントって確か関数合成演算子じゃなくて「値」のことだったかと まあそれを踏まえて言ってるのかもしれないけど 402 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:26:20 ] モナド難しいよ。 みんなエディタは何使ってる？ Emacs が多いのかな。 403 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:50:16 ] 現状まともにプログラミングできる環境がemacsしかない eclipseは使いづらいし、xyzzyのhaskell-modeはバグだらけだしwindowsでしか動かないし。 404 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:52:19 ] >>402 モナドなんてHaskellではただのデータ型なんだから、別に難しいことなんかないよ。 405 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 09:01:44 ] >>403 vim にもあるでしょ？俺は vim 使ってるよ 406 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 11:04:47 ] 俺は、viはほとんど使えないんだ。 設定ファイルをちょこっと編集するぐらいなら使うが、深い使い方は覚えてない。 407 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 15:34:50 ] >>401 ここに由来が書いてあります。 www.haskell.org/haskellwiki/Pointfree 408 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 17:39:13 ] darcs2って今までのdarcsとどう違うの haskellの組み込み言語atomを詳しくおしえて 409 名前：デフォルトの名無しさん mailto:sage [2008/01/11(金) 18:22:16 ] 関数型初心者です。 今、SICPを少しずつ読んでるのですが、set!のようなものをHaskellがモナド化するのは 単に純粋であることに拘るからでしょうか。IORefみたいなものがset!に当たるかと思います が、副作用アリだぞ、ということを意識させる以上のメリットとかがよく分かりません。 410 名前：デフォルトの名無しさん mailto:sage [2008/01/11(金) 20:10:23 ] >>409 プログラマに直接メリットはない。 メリットは最適化コンパイラを作るのが楽になること。 411 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:05:03 ] 関数型言語をやる人の多くは、学生も含め研究者です。 研究テーマはプログラミング言語の中でも、 意味論やプログラム解析などが多く、 そういう研究では参照の透明性が非常に有益な性質です。 たとえば、Javaで盛んに研究されているエスケープ解析も、 初期の成果では、関数型言語で行われたものが多いです。 また参照の透明性を保つことは、実務プログラマにとっても大変有益で、 プログラムの簡明さを保つことにつながります。 良く理解すれば、他の言語でも使える一つの方法論を得たことになります。 412 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:32:28 ] C99のコンパイラ作ってくれ。 413 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 04:33:24 ] インタープリタで頼む。CなのにGCがオプションであったりとか。 414 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 08:18:04 ] CINTがあるじゃないか 現状どうなってるか全く知らないけど 415 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 09:06:52 ] >>410-411 そんな小難しい話しなくても、評価順の決まっていない言語で副作用を使うのが どれだけ厄介か考えれば済むことじゃないか？ 416 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 09:42:37 ] >>409 確かに純粋であることに拘っているからという点は大きい。 しかし、それだけではなく、例えば、 Haskellではリストを使ったプログラムを書いている途中でそれを非決定性計算と みなしてプログラムの一部を書くとか、IOに限らずモナドを気軽に使う人もいる。 そのためモナド一般を扱う便利関数(mapMとかモナド変換子とか)が多く用意されている。 IOがモナドになっているとそういった便利関数が使えるので便利。 また、モナドになっていると読みやすさのためにコードをまとめたり 移動させたりといった操作が気軽にできる。 例えば副作用のある言語で f x = x + y + (副作用のある式) where y = (副作用のある式) とかやるとどの順番で副作用が現れるかとか、yはどのタイミングで 何回評価されるのかわからない。 Haskellであればそのような問題はないので気軽にwhereにコードを まとめたりできる。 417 名前：409 mailto:sage [2008/01/12(土) 11:02:27 ] 皆さん、ご回答ありがとうございます。 >>415 そうなんですが、モナドはdo記法が可能で、これは実質手続き型の 記述ですよね。手続き型の記述が関数型言語内で可能だから、IOが モナドになっていると思うのです。 >>416 モナド自体は演算のリレーということで分かるんですが、副作用の発生 する式をそうする理由は、上に書いたように、単に順番が保証されるのが モナドである、という以上の理由は無い気がします。 どちらかというと、>>410さんの書いていることがメインなのでしょうかね。 418 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 12:10:33 ] モナドのおかげで、 CやSchemeよりコンパイラの最適化がより進むって事はないんで、 そこのところは誤解しないように。 参照の透明性から、プログラム変換しやすくなるので、 コンパイラの研究がやりやすいってだけ。 419 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 12:10:54 ] >>417 ＞単に順番が保証されるのがモナドである 違う。遅延処理ではg . f(x)でf → gと簡約されるかどうかがわからないのと同じように ¥x -> mf >>= mg でmf → mgと簡約されるかどうかはわからない。 モナド自体には「計算のリレー」の意味はあるけど「順番に実行する」意味はない。 ＩＯモナドみたいな奴は、計算のリレーが示すその一連のＩＯアクションがmainに渡されたときに （遅延しないHaskell処理系が）順番に実行することで「順次実行」を実現している。 ＩＯがモナドになっているのは「計算がリレーの形になっている」ことを保障させるためだけ。 UnsafeInterleaveIOはIOモナドから出してすぐ入れるだけの処理だけどIOアクションが遅延するようになる。 これは計算のリレーを途中で切断したからその部分だけ順次実行できなくなったんだね。 これを使ってる関数にはgetContentsやinterleaveとかがある。 420 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 14:57:58 ] 前に読んだことがある論文で、 HaskellのIOの実装に関する論文なんだが、 タイトルを忘れてしまった。 それらしい論文のタイトルを挙げてくれませんか？ 421 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 15:08:02 ] 俺はsimonpjのこれが面白かった。 Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell research.microsoft.com/%7Esimonpj/Papers/marktoberdorf/mark.pdf 422 名前：デフォルトの名無しさん mailto:sage [2008/01/12(土) 17:23:16 ] >>421 これだこれだ ありがとう 423 名前：421 mailto:sage [2008/01/12(土) 18:09:21 ] うぉー、一発的中！ ご褒美に最近読んで面白かったHaskell論文のタイトルくれ 424 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 02:35:49 ] web.yl.is.s.u-tokyo.ac.jp/~ganat/memo/aboutHaskell.html これに書かれてる、 > Ericssonによる 電話のソフトウェアを用いた一連の実験によれば、9から25倍の向上が 見られました の部分の根拠となる論文って何？ 425 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 12:27:39 ] ２組のタプルの値を交換する関数って 標準でありますか？ exTuple (x,y) = (y,x) みたいな感じの。無いならいいんですが・・・。 426 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 13:26:01 ] 無いと思う。強いて言えばuncurry (flip (,))だけど。 427 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 13:39:28 ] なるほど uncurry ですか。 flip (,) までは考えてたんですが ありがとうございます。 428 名前：デフォルトの名無しさん [2008/01/14(月) 15:15:28 ] 十進数 (e.g. [1,2]) を二進数 (e.g. [1,1,0,0]) に変換するプログラムを， foldl を用いて書け，という問題を連休中ずっと考えてるんですが， 脳味噌が手続き型で凝り固まっていてさっぱりわかりません． どうやって書くのか教えて頂けませんか． 429 名前：デフォルトの名無しさん [2008/01/14(月) 15:19:02 ] 手続き的になら書けるの？ 430 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 15:26:32 ] 教科書的に書こうとしてみたが、こんなんでいいか？ import List -- n進数表示から整数へ fromBaseN :: Integer -> [Integer] -> Integer fromBaseN n ds = foldl f 0 ds   where     f acc d = n * acc + d -- 整数からn進数表示へ toBaseN :: Integer -> Integer -> [Integer] toBaseN n 0 = [0] toBaseN n x = reverse $ unfoldr f x   where     f 0 = Nothing     f x = Just (mod x n, div x n) -- 十進数から二進数へ decToBin :: [Integer] -> [Integer] decToBin = toBaseN 2 . fromBaseN 10 431 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 15:30:33 ] >>430 教科書的なら一発でできる方法があるはずだ 432 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 20:10:49 ] >>431 mjd? 433 名前：デフォルトの名無しさん [2008/01/14(月) 20:36:34 ] ghc6.6のころはSystem.Console.Readlineってデフォルトではいってましたよね？ 当方Windowsなんですが、 久しぶりにHaskellやろうと思って6.8.2をインストールしたんだけどSystem.Console.Readlineがない・・ 一年くらい前につくったインタプリタがビルドできないっす；； にわかなのでライブラリインストールもままならないのですが、cabal-installってWindowsでも使えますでしょうか？ 434 名前：デフォルトの名無しさん mailto:sage [2008/01/14(月) 21:05:11 ] ｎ進数→十進数をfoldlでやるならわかるけど その逆は思いつかんなあ 435 名前：デフォルトの名無しさん [2008/01/14(月) 22:12:17 ] なつめって初めて知ったけど、こんな所にも Haskell を使ってる人が居るとは面白い natume.sourceforge.jp/ 436 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 00:17:04 ] 重すぎて使い物にならないけどな 437 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 00:29:35 ] >>433 Haskellプログラム書くならHaskell98に準拠しないと互換性なくなるぜ？ 438 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 00:30:28 ] どなたか>>424の質問の返答をおねがいします 439 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 03:18:49 ] >>430 428 では無いんだが Just (mod x n, div x n) ここって modDiv 使った方が速いのか？ そうすると >>425 みたいなのを使うべき？ 440 名前：デフォルトの名無しさん mailto:sage [2008/01/15(火) 03:19:50 ] modDiv -> divMod だった。ごめん。 441 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 00:40:44 ] >>439 divMod 使う方が速いんじゃないかな。 かといって>>425は読みにくいから Just (r,q) where (q,r) = divMod x n でいいんじゃない。 442 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 06:56:19 ] なるほど、サンクス。 443 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 11:52:42 ] 数が小さいと分かっている時: (なおかつ実行効率が必要なら) modとdivの計算コストは小さいから、 タプルを消費しないように書いた方がいい。 444 名前：430 mailto:sage [2008/01/16(水) 13:48:57 ] 実行効率なんて全然考えてなかったよ とりあえず実測してみた。ghc-6.8.2 -O2、入力はrandomRIO (0, 2^16)で 19.6 19.2 toBaseN 14.2 14.6 toBaseN_where 12.6 13.1 toBaseN_loop 8.6 10.8 toBaseN_case 7.9 7.0 toBaseN_loop_case 左から、%time、%alloc、関数名。_whereは>>441のやりかた。_caseはwhere節の代わりにcase式を使ったもの _loopはreverse+unfoldrの代わりに手でループ（末尾再帰）を書いたもの 総実行時間の約1/4がGCだった 数が小さくてもdivとmodのコストが大きいな 445 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 17:30:40 ] 無知でｽﾏｿ 末尾再帰ってことは $! を使ってるってこと？ 良ければソースを見せて貰えませんか。 446 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 19:00:45 ] >>445 なぜか$!に慣れないのでseqを使ってるけど toBaseN_loop_case :: Integer -> Integer -> [Integer] toBaseN_loop_case n 0 = [0] toBaseN_loop_case n x = f x []   where     f 0 ds = ds     f x ds = case divMod x n of       (r, q) -> f r (q:ds) toBaseN_loop :: Integer -> Integer -> [Integer] toBaseN_loop n 0 = [0] toBaseN_loop n x = f x []   where     f 0 ds = ds     f x ds = let q = div x n; r = div x n in       q `seq` r `seq` f r (q:ds) 447 名前：デフォルトの名無しさん mailto:sage [2008/01/16(水) 19:22:34 ] 今気付いたけど、toBaseN_loopのdivは片方modじゃないといかんな そういうわけで>>444の結果は間違ってる 448 名前：デフォルトの名無しさん mailto:sage [2008/01/17(木) 19:16:16 ] たかだか有限時間で終わる処理について実行効率など考える必要はない 449 名前：デフォルトの名無しさん mailto:sage [2008/01/17(木) 19:17:04 ] 神様ｷﾀｰ! 450 名前：デフォルトの名無しさん mailto:sage [2008/01/17(木) 21:31:07 ] >>448 人間が不快に感じるかどうかなんて些細な問題だよな 451 名前：デフォルトの名無しさん mailto:sage [2008/01/17(木) 22:19:48 ] だったら数学やっててくれ。 452 名前：デフォルトの名無しさん mailto:sage [2008/01/18(金) 00:05:36 ] >>448 512ビットの素因数分解だって有限時間でできますよ。 453 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 03:21:02 ] >>448 お前の人生も有限時間で終わるぜ 454 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 10:02:31 ] この宇宙は有限時間で終わりますか？ 455 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 18:40:07 ] どなたか State モナドの使い方を 教えて貰えませんか？ 456 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 18:58:23 ] 使いどころが知りたいのか書きかたが知りたいのか 457 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 19:20:13 ] >>455 例が腐るほどWEB上にあるだろ 検索してみろよ

---

---

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

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