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

1 名前：デフォルトの名無しさん [2015/04/09(木) 08:31:01.42 ID:4yjREsCN.net] 関数型プログラミング言語 Haskell について語るスレです。 　　　　　　　　　,.-―:￣｀ー::::::::::､ 　　　　　　　／::::::::::::.::::::::::::::::::::::::::::｀::､､ 　　　　　　/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､ 　　　　　 ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l 　　　 　 l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l 　　　　 l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l 　　　 　l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l 　　　　 ヽ::::　´､ひ> ;: 　l .<ひ>'　 ､::::::::/ 　　　　ヽ:::::　　 ￣ .)::;　 l　￣　　　ｌ::::/ 　　　＜　毛の壁（岡部健）の話は禁止な 　　　　　､:::::..　　 /:::;　.,-､　　　　 l:::/、 　　　　,―::::::::　　ゝヽ- ｰ' ､　　　 l::/,､ヽ 　　 　 l,､,､,,:､::　/ ,--､,-.､_ l　 　 /::::::,､,､l 　　　ｌ,､,､,､,､,､::､　｀ー￣-'　　　/:::::::::::,､,､l 　　　ｌ,､,､,､,､,､,､::ヽ　　　　　 ／::::::::､,､,､,､,ﾉ:＼ haskell.org (公式サイト) www.haskell.org/ 前スレ 関数型プログラミング言語Haskell Part27 peace.2ch.net/test/read.cgi/tech/1420718555/ 63 名前：デフォルトの名無しさん mailto:sage [2015/04/15(水) 11:14:04.24 ID:32OEEOG2.net] >>60 なんで拡張子がapkなわけ？ 64 名前：デフォルトの名無しさん [2015/04/15(水) 14:35:06.68 ID:zDoLrJPm.net] なんちゃって関数型クラスタども、これが世間だよ https://twitter.com/buroburo6/statuses/588156083350458369 65 名前：デフォルトの名無しさん [2015/04/15(水) 23:13:46.91 ID:4gfphDFh.net] 本屋に平積みにされてたら買っちゃう奴いそう 66 名前：デフォルトの名無しさん mailto:sage [2015/04/15(水) 23:27:52.69 ID:Q89pzmWa.net] まだ発売されていないのにいい本とかわかるのか？ 67 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 05:47:12.05 ID:J3guke8p.net] え！？もうreturnって書かなくていいの！？pureでいいの？ 68 名前：デフォルトの名無しさん [2015/04/16(木) 07:17:46.98 ID:7jUqfvFj.net] スーパークラス化で感心するところそこなのかよwww でもまあ、実のところリストの[]みたいに(pure a)を<a>と書けたりすると Applicativeスタイルにはマッチすると思うんだけどな。 69 名前：デフォルトの名無しさん [2015/04/16(木) 08:50:37.52 ID:0XHfZc1W.net] 毛の壁の事をよく知りたい方は、このまとめPDFもご覧ください。 nmuta.dip.jp/~muta/tog288.pdf 70 名前：デフォルトの名無しさん [2015/04/16(木) 10:28:10.38 ID:Uxi3XrZK.net] [WikiJA-l] Suisui氏より即時無期限ブロックを発動されたFXSTです  Ken OKABE xxxxxxxx ＠ xxxxx.xxx  2006年 9月 9日 (土) 17:31:10 UTC  lists.wikimedia.org/pipermail/wikija-l/2006-September/000919.html  71 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 22:13:00.24 ID:9N3+Oa4T.net] wholemeal programming というのは、データ型に対する演算を、 ある構造を受け取って別の構造へと変換する関数によって表現すること、 と捉えて間違いないでしょうか。 Thinking Functionally with Haskell という本に数独ソルバーを作る章があり、 そこで wholemeal programming が出てきました。 行のリストとして表現された9x9行列 type Matrix a = [[a]] に対して、 列のリストや、3x3小行列のリストを得る関数が定義されます。 その際、m :: Matrix a に対して m !! i !! j などとインデックス計算をして個々の要素を参照するのではなく、 行列を転置して列のリストを得たり、3要素ずつグループ化する関数などを合成して小行列リストを得たり、 そうやって構造そのものの形を変換しており、そのようなプログラミングスタイルが wholemeal programming だと紹介されていました。 wholemeal programming というのは、このような構造変換だけでなく、 もっと広い意味を持っているのでしょうか。 72 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 22:25:21.10 ID:9N3+Oa4T.net] >>70 ちなみに、本では構造を変換するとは書かれてなくて、 （インデックス計算するのではなく）行列それ自身を complete entity として扱う関数を定義する と書かれていました。 しかし、言っている意味がよく分からず、実際にやっていたのが構造全体を組み替える処理だったので、 とりあえず >>69 のように捉えてみたしだいです。 73 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 23:22:05.24 ID:3W63KRV6.net] 鶏を裁くのに牛刀を用いるのがwholemeal approach。 最初に効率を一切考えない、正しい解法も含むがいらない処理も沢山してしまう解法を作り、 その後不要な計算をしないよう改良していく手法。 数独ソルバーなら、空欄に1-9の全てのパターンを網羅した9x9行列のリストを作り、 その中から数独のルールに適合するものを取り出す、という方法がスタートになる。 10^(空欄の数)のパターンを全て計算するのは現実的ではないから、必要ない計算をしないようにしていく。 www.cs.nott.ac.uk/~gmh/sudoku.lhs これがその本の元ネタでしょう。 74 名前：デフォルトの名無しさん mailto:sage [2015/04/16(木) 23:41:27.15 ID:C8wOR+dQ.net] 牛刀の例えはネガティブなイメージ出ちゃうんじゃない？ 文字通り全粒粉アプローチって訳せば、 最初はゴミ（モミとフスマ）だらけの全粒粉から開発スタートってイメージがわかるかと。 75 名前：デフォルトの名無しさん [2015/04/17(金) 08:20:31.78 ID:xoZHp2iY.net] 1から9を繰り返し足していくのに、ループを使うような原始人から進化するべき 「アルゴリズム」「フロー」を捨てろ。 でないと関数型を追求することは不可能だよ 76 名前：デフォルトの名無しさん [2015/04/17(金) 08:22:08.56 ID:xoZHp2iY.net] 「フロー」というものがプログラミングには不可欠だという固定観念を捨てなきゃ。 77 名前：デフォルトの名無しさん [2015/04/17(金) 08:40:08.59 ID:2I4pOBqW.net] >>72 完全に逆だ。 Huttonのそれが元ネタにしてるのが Richard Birdの本なんだからな。 78 名前：デフォルトの名無しさん [2015/04/17(金) 08:57:05.88 ID:va7l7l3W.net] >>75 フローだのアルゴリズムだの、無い言語があるの？ 79 名前：デフォルトの名無しさん [2015/04/17(金) 09:07:42.22 ID:IlVLp4fy.net] 　　　　　　　　　_＿＿ 　　　　　　　　 |　岡� 80 名前：@|　　　　　　　　　　　　　　　　　　　　 　　　　　　　　 |　部　| 　　　　　　　　 |　家　| 　　　　　　　　 |　先　| 　　　　　　　　 |　祖　| 　　　　　　　　 |　代　| 　　　　　　　　 |　々　| 　　 　 　,,,.　　 |　之　|　,'"';, 　　　 ､''ﾞﾞ;､).　 |　墓　|　､''ﾞﾞ;､),､ 　 　 　ﾞ''!ﾘ''　i二二二二!ﾞ''l!ﾘ'''ﾞ 　　　　 ‖　 ｀i二二二!´　‖ 　　　　 昌　|:￣￣￣￣:|　昌 　　　　|￣:|_|;;;l"二二ﾞﾞl;;|_|￣:| 　　　　|　 :|::::::| |;;;;;;;;;;| |::::|　 :| 　　　　| 　:|::::::|┌─┐|::::|　 :|　　　　　　　　　　　　　　　　　　　 　＿＿ 　.／ﾞﾞ└‐┴ ┴l,,,,,,,,,,l┴┴‐┘ﾞﾞﾞﾞ＼ 　　　　　　　　　　　　　 ／￣　　　＼ 　|￣￣￣￣￣￣￣￣￣￣￣￣￣| 　　　　　〜 ＆　　　　　|　　　　　　:::| 　￣|三|三三|三三三三|三三|三|￣ 　　　　　　 　 ~ 　 　 　 |　　健　 　::::| 　　 |　 |:::　　|: :　　　 : : |:: 　　|　 | 　 　　　　　　　　　　　 　 |　　 　　　 ::::: | 　　 |　 |:::　　|: :　　　 : : |:: 　　|　 | 　 　 　　　　　　 　 　　 　|　 ∬ 　 　∬::|　 　　/＿|:::　　|: : 　 　　: :.|::　　:|＿ヽ 　　　　 　　 　 　　 　 　|ii,,≦≧､　 :ii :::| 　_|＿__|;;;;;;;;;;|,;,;,,,,,,,,,,,,,,,;,;,|;;;;;;;;;;|＿__|_ 　　　　　　　　　　 　 _ |旦‖===‖旦:| _ 　l;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;l　　　　　-W-----┘二二二二二二二二二└--ff---\--　 [] [ここ壊れてます] 81 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 11:31:42.74 ID:NBcEkCSw.net] Haskell というより英語の話。 Maybe aについて、 NothingはいいんですけどJust aの "Just" がどういう気持ちなのか あんまりはっきり理解できていないのですが、みなさんどんなかんじですか？ Nothingじゃない方のコンストラクタに使う英単語として選定されたこのjustの（英語としての）意味はどんなもの？ 82 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:15:32.90 ID:ki8iVvfx.net] アルゴリズムもフローもいらんとなると、演繹というものが存在しなくなるんと違うか 83 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:17:48.16 ID:H3Beje5C.net] やっぱり初心者にもはすける ビジネスシーンにもはすけるだろう！ 84 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:22:59.36 ID:H3Beje5C.net] プログラミング初心者向けのhaskell本で 「はじめてのH」って本だれか書いて？ 85 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 13:25:07.77 ID:PzasXWb4.net] 権威に泥を塗られたスピノザという被害者への憐憫は見過ごされがちだ 86 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 15:31:40.71 ID:HcT4Z6BJ.net] >>79 「単なる〜」とか「ただの〜」みたいな意味では ejje.weblio.jp/content/It's+just+a 87 名前：デフォルトの名無しさん [2015/04/17(金) 16:31:48.10 ID:nxIB1yc7.net] 395 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/17(金) 07:14:27.41 ID:9SxWDYYT0 毛の壁初心者の方へ 現役の弁護士によるツイートをご覧ください そしてＲＴを https://twitter.com/motoken_tw/status/452009450313097216 https://twitter.com/motoken_tw/status/453696338489016321 88 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 17:31:36.64 ID:1Smloeqb.net] >>84 もしかしたら〜 から まさに〜 になるんだろ 89 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 18:19:06.44 ID:s+nJaO1V.net] Just Systems May-Be SOFT 90 名前：デフォルトの名無しさん mailto:sage [2015/04/17(金) 20:44:35.19 ID:PLmfZzGD.net] >>72 >>73 私の理解は全くの見当はずれでしたね。 本ではことさら indexing との対比が書かれていたので勘違いしてしまいました。 おかげさまで納得できました。 ありがとうございました。 91 名前：デフォルトの名無しさん mailto:sage [2015/04/18(土) 01:23:36.46 ID:cIanB9vz.net] 他言語のdata Option a= Some a | None の方が馴染んでいるのは秘密 92 名前：デフォルトの名無しさん [2015/04/18(土) 20:00:24.92 ID:zBL4xnwg.net] 417 名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！ 2015/04/18(土) 19:59:37.86 ID:LNSLKYsZ0 岡部ちゃんのブログ更新 kenokabe-techwriting.blogspot.jp/2015/04/lispspinoza.html?m=1 あらら、手抜きコピペの再利用ですね。 一つ前の記事に後悔しちゃって、消すことも出来ないので「目立たなくするように」するためかな？ 岡部ちゃんさ、「すでに【脱アルゴリズム宣言】シリーズで述べたように、」 ってあるけど、それはどこを参照すれば良いのかな？（爆笑） コピペリサイクル記事でもさ、せめて、この程度の修正はしようぜ？ 93 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 12:21:14.03 ID:BDx+P9mq.net] 原発コピペが去ったと思ったら入れ替わりで毛の壁が来たな 94 名前：79 mailto:sage [2015/04/19(日) 14:41:18.79 ID:pB/4TY1x.net] >>84 反応ありがとうございます。なんか「なんにもない」と「単に5!!!」がやっぱりしっくりこないんですよねえ… もう少し訓練をつんでみます 95 名前：デフォルトの名無しさん [2015/04/19(日) 19:25:20.36 ID:TqE05fjB.net] >>92 Intが入っているかもしれない箱を渡されて、開けたら中身が 「なんにもない」 「ちょうど5」 なだけだろ。なんでそれがしっくりこないのかこそがわからんわ。 96 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:44:35.88 ID:g7ko6rYD.net] Justって言葉がしっくりくるかこないかは人の感覚次第だろう 自分もHaskellの文法だからってのを忘れたとすると Maybeの中身がNothingかJust xだというのはいいとして xをMaybeにするためにJust xってするのはもやっとする 97 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:47:51.06 ID:HUQoVR+2.net] 紛れもない 98 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:49:46.90 ID:HUQoVR+2.net] 分かった。Obvios a に変えよう 99 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 19:56:54.50 ID:bs5hwhjS.net] >>93 そこで「ちょうど」と言うのがしっくりこないのかと。 日本人ならその状況で「ちょうど5」とは言わず、単に「5」と言う。 「ちょうど5」と言うと、では、ちょうどではない曖昧な5もあるのか、 という事になりかねない。 まぁ、Haskell だと何らかの値構築子が必要なわけで、 Just 以外ならどんな名前にするかと訊かれると、返答に困るが・・・ >>96 は冗談だろ 100 名前：デフォルトの名無しさん [2015/04/19(日) 20:33:51.59 ID:TqE05fjB.net] >>97 Maybeが曖昧で、それを無曖昧化した結果がNothingかJust xなんだから、 まさにJustでいいんだ、というのが命名者の発想だろ。 Justの代わりにSomeの方が日本人にはわかんないんじゃないの？ 「なし None」と「なんらかの・ある Some」って語感がわかるならいいけど。 101 名前：デフォルトの名無しさん mailto:sage [2015/04/19(日) 21:03:30.47 ID:bs5hwhjS.net] >>98 なるほどね。 ちょうどなんて言うからヘンなんだよな。 まさにって言えば俺もしっくりきた。 って >>86 でもう出てたんだね、ごめんよ。 102 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 01:17:23.81 ID:6TQJBTny.net] Boostライブラリのプログレスバーの存在意義を論ずるような真似をいつまで続ける気だ 103 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 01:58:55.74 ID:pO1ymbwK.net] 本筋でないつまらないことで盛り上がって何かした気になる よくある 104 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 09:54:07.62 ID:HQWDK9Be.net] cf. 自転車置き場の議論 105 名前：デフォルトの名無しさん mailto:sage [2015/04/20(月) 13:03:15.78 ID:u7LO/gCX.net] Parsecとかでも時々ん？ってなるネーミングはある Haskellだと関数だけじゃなくて型コンストラクタたったりフィールドだったり識別するものが増えるからネーミングが余計に気になるのかも 106 名前：デフォルトの名無しさん [2015/04/20(月) 14:38:09.34 ID:2eevj3Zk.net] Spinozaは確かに使える。可能性を感じた。 107 名前：デフォルトの名無しさん [2015/04/20(月) 16:43:11.52 ID:0hSvk0Oi.net] 緑の害虫には一生つきまとってやる。 108 名前：デフォルトの名無しさん [2015/04/22(水) 08:19:49.68 ID:GJyQGfm3.net] 毛の壁の過去 netbmari.seesaa.net/article/81337651.html 109 名前：デフォルトの名無しさん [2015/04/22(水) 20:54:17.76 ID:NZ8QzlQ5.net] ☆ 日本の核ブ装は絶対に必須ですわ。☆ www.soumu.go.jp/senkyo/kokumin_touhyou/index.html ☆ 日本国民の皆様方、2016年7月の『第２４回 参議院選挙』で、改憲の参議院議員が 3分の2以上を超えると改憲が実現します。皆様方、必ず投票に自ら足を運んでください。 私たちの『日本国憲法』を絶対に改正しましょう。☆ 110 名前：デフォルトの名無しさん [2015/04/23(木) 07:36:47.21 ID:6rGfWaSo.net] 毛の壁本 今日本屋に並ぶらしいですよ 111 名前：デフォルトの名無しさん [2015/04/23(木) 08:24:55.14 ID:/Z6TrNg2.net] どんどん広まって、UCLAを卒業したという学歴詐称も広まってほしい 112 名前：デフォルトの名無しさん [2015/04/23(木) 09:10:23.02 ID:sxaJ1zhu.net] 増田の岡部関連の書き込み、かなり削除されてるなww 岡部もやることが小さいなww 113 名前：デフォルトの名無しさん mailto:sage [2015/04/23(木) 21:20:22.01 ID:LeResooG.net] 何が始まるんです？ 114 名前：デフォルトの名無しさん [2015/04/24(金) 12:58:05.70 ID:v3IT9RWU.net] おいこら、らくだの卯之助よ。 岡部健氏とスキルで勝てるんか？勝負しろや。逃げんな 115 名前：デフォルトの名無しさん [2015/04/24(金) 13:02:06.09 ID:/IU9j/kd.net] コンパイラもマトモに書けない健チャソが OCamlの文法とコンパイラ拡張してラベル付き 引数持ちこんだ駱駝にどうやって勝てるんだwww 116 名前：デフォルトの名無しさん [2015/04/24(金) 15:02:59.72 ID:sR1g6M3b.net] 粘着軍はこんなスレまで立てたのか(呆) 117 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 10:17:48.89 ID:zFI89MHg.net] アプリカティブうんちしてくる 118 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 14:48:52.43 ID:/My2uXcp.net] www.amazon.co.jp/gp/product/4798043761/ Amazonでベストセラー１位じゃん 実は人気あるんだな 119 名前：デフォルトの名無しさん [2015/04/25(土) 14:56:53.67 ID:IIQtsCT+.net] 彼はiOSの出来損ないアプリに、当然のようについた低評価のレビューを片っ端から削除した前科がある。 だから、アマゾンの書評も「これは誹謗中傷目的の不当な評価である」と逃げを打つのは既定路線。 120 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 16:05:32.13 ID:iXjJJv3p.net] スレチ状態が続きすぎて諦めてるけど お前らもしレビューを書くならあくまで真面目にな 中途半端に絡むなよ 121 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 16:32:38.19 ID:K9QmTshb.net] わろ 122 名前：デフォルトの名無しさん [2015/04/25(土) 19:00:18.52 ID:1G6YdpRM.net] App Storeで「青空文庫を読む」というバグだらけのアプリに低評価なコメントされて逆切れし、 「これは誹謗中傷目的だから削除します」とのたまって本当に削除した岡部健だから、 今回のアマゾンとかの低評価も「陰謀だ」と言い出すのはわかりきってる。 過去にはこんなことをやってた。 u1sokuhou .ldblog.jp/archives/50346264.html 123 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 21:32:07.54 ID:gdfW3sMF.net] レビューはどうでもいいからこのスレで絡まないでくれ バカが自分の通用する場だと勘違いする 124 名前：デフォルトの名無しさん [2015/04/25(土) 21:49:40.65 ID:pGkm3L04.net] 粘着軍どもが岡部氏を中傷する目的で立てたスレだから言っても無駄ですよ。 125 名前：デフォルトの名無しさん [2015/04/25(土) 22:03:21.14 ID:QkVyrL7g.net] 岡部、今度はAmazonで演説し始めたぞ twitter.com/SE_O_T/status/591932284967591936 126 名前：デフォルトの名無しさん mailto:sage [2015/04/25(土) 22:50:49.29 ID:UUGDuW98.net] 岡部健っていう奴、どういう経歴なの？ 数学系や情報工学系の由緒正しい経歴じゃないっぽい雰囲気。 文系から来たタイプか？ 127 名前：デフォルトの名無しさん [2015/04/25(土) 23:52:39.20 ID:eYc1bK/z.net] 毛の壁10連ガチャとか作った奴誰だよ 128 名前：デフォルトの名無しさん [2015/04/25(土) 23:53:42.91 ID:/Lz62wVI.net] >>124 GOOGLE+のプロフィール参照な。 129 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 00:03:48.04 ID:Kxjo5Nwd.net] そういえば古賀潤一郎がカリフォルニア大学ロサンゼルス校出身と自己紹介していたが、後に学歴詐称だと分かった事件があったね。 130 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 00:04:26.53 ID:Kxjo5Nwd.net] そもそも岡部健という人物は本当にいるの？ 131 名前：デフォルトの名無しさん [2015/04/26(日) 03:03:37.91 ID:ous7Nrql.net] Haskell界隈の閉鎖性を良く現している書き込みばっかりだな 別にいいじゃん、初学者が興味持ってくれて知名度上がれば ＞数学系や情報工学系の由緒正しい経歴じゃないっぽい雰囲気。 こういう難癖ってなんだろうね？ 「数学ガール」の人気みて結城浩は数学科じゃない、論文書いてない、 博士号持ってない、とか難癖付けてる数学板の野良博士みたい。 出る杭は打たないと気がすまない。 そんなに岡部健に嫉妬するなら自分で良い入門書の一つも書けばいいのに 132 名前：デフォルトの名無しさん [2015/04/26(日) 03:38:52.12 ID:oJFxipXn.net] 確かに、由緒正しい経歴である必要なんて全くない。 そんなこと言う奴は一人か二人では。 学歴なんか、どうでもいい。博士号なんて無くてもいい。 ただし、それは卒業してもいない学校を卒業したとフカシこくことを肯定するものではないことは、ハッキリさせておこうぜ。 133 名前：デフォルトの名無しさん [2015/04/26(日) 03:40:16.55 ID:oJFxipXn.net] というか、Haskell界隈であろうがなかろうが一匹や二匹は学歴至上主義みたいな奴は居るだろうよ 134 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 05:57:02.15 ID:A1wpxgFi.net] 荒らしの立てたスレ使ってるから調子に乗って荒らしが尽きない こっちに移ろう peace.2ch.net/test/read.cgi/tech/1428597032/ 135 名前：デフォルトの名無しさん [2015/04/26(日) 05:59:50.39 ID:3IjwcVse.net] それは２ちゃんねるのローカルルール的よろしくないな。 136 名前：デフォルトの名無しさん [2015/04/26(日) 09:08:11.44 ID:fRwOzUF5.net] ヲチスレでやれ、としか言い様がない。 １．kenokabeはJavaScriptしか書けないんだし、 ２．関数プログラミングができないのもGithubみりゃ明らか。 Haskellスレでやる理由がどこにもない。 137 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 12:16:02.26 ID:Kxjo5Nwd.net] >>131 学歴は重要じゃないよ。 しかし、基礎が分かっているかどうかを重視する上で、 独学で基礎が学べるかどうか考えたら、 なかなか難しいんじゃないかと考えるわけで・・・ 138 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 12:17:32.56 ID:Kxjo5Nwd.net] 大学や大学院で受ける指導っていうのは、決して興味がある内容ばかりではないよ。 しかし、後にそれが基礎として重要だということに気づくわけ。 独学では興味が湧いたことしか勉強しないでしょ？ だから、独学はダメなんだよ。 139 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 12:33:02.08 ID:YzZ8BmuQ.net] 学問上の隠語を習得するには大学へ行くしかないが そんな隠語で学問を囲って利権化したまま放置する態度が学者失格だとも言える 140 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 12:58:53.94 ID:Kxjo5Nwd.net] 隠語というか、専門用語は重要だよ。 概念の検索性を高める。 141 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 13:03:30.55 ID:EksjvuLr.net] >>135 >しかし、基礎が分かっているかどうかを重視する上で、 >独学で基礎が学べるかどうか考えたら、 >なかなか難しいんじゃないかと考えるわけで・・・ 学歴がある種のシグナリングになることは同意する また学歴によるフィルターが結構実社会で有効と感じることが多い 大学や（高校でも）学んだ基礎ことは重要だと思う でもさあ、相手が「わかってる」かどうか相手の学歴を見ないと判断できない、 って特にこの業界では役に立たないというか、結構無能じゃね（笑） 142 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 13:05:35.85 ID:fCruzWL4.net] 無能というより完全に有害 143 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 13:07:54.07 ID:Kxjo5Nwd.net] >>139 なんとか健の本を読んだだけで、そいつがバカだと判断するのに十分だと言いたいわけね 144 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 13:36:15.63 ID:A1wpxgFi.net] 教育で得た正しさを使ってその正しさを証明する者と他の正しさを探す者がいる 前者はいかにも知識と教養にあふれているように見えるが 実際はエネルギーを消費するだけで何も生み出さないトートロジーである 145 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 13:42:11.12 ID:2npT22yp.net] >>142 正しいことと証明できることとは別、という常識からすると、貴様の意見には同意しかねる 146 名前：デフォルトの名無しさん [2015/04/26(日) 15:32:45.74 ID:qgRFfbK0.net] 岡部健はUCLAを仮にも卒業してるのだから、素養はあるんだろうさ。 C言語も実はできるのでは。 147 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 15:49:33.72 ID:2npT22yp.net] コードを見ないことにはなんとも 148 名前：デフォルトの名無しさん [2015/04/26(日) 16:54:25.20 ID:L5p6tnBd.net] 学歴が無いことは何も恥ではない。 恥なのは学歴を偽ることだ。 149 名前：デフォルトの名無しさん [2015/04/26(日) 17:38:00.48 ID:YIE+qGwA.net] あの文章でどうやってUCLAを卒業まで持っていけるんだ？ 150 名前：デフォルトの名無しさん [2015/04/26(日) 17:39:27.89 ID:YIE+qGwA.net] 本当にアメリカの大学をCSで卒業してるんなら、一人や二人はFBやTwitterで仲間との交流ぐらいあるだろうよ。 それが無いんだよ。学歴詐称に決まってるだろ。 151 名前：デフォルトの名無しさん [2015/04/26(日) 19:34:37.24 ID:JgRuu/Q5.net] 駱駝とハムに比べたら岡部氏はもっと格上 152 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 20:45:41.96 ID:e4tIRRVz.net] バックに何か付いてるのかな 153 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 20:55:12.20 ID:Ql5jpImz.net] おまえらHaskellの話しろよ 154 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 21:05:58.90 ID:KkAjQB1e.net] HaskellPlamform更新ﾏﾀﾞｰ 155 名前：小保方晴子 [2015/04/26(日) 22:23:21.53 ID:CWSeILxV.net] まあ、私はちっとも驚きませんけどね。 ２ちゃんねるでさんざん自作自演してる彼ですから。 156 名前：デフォルトの名無しさん mailto:sage [2015/04/26(日) 22:54:30.08 ID:GWsv7xfi.net] 関数合成 (.) に関して一般的に交換法則は成り立ちませんが、 f . g の f や g によっては交換できる場合もあります。 交換法則が成り立つ必要十分条件はありますか？ 157 名前：デフォルトの名無しさん mailto:sage [2015/04/27(月) 07:49:04.83 ID:wSLTFIGd.net] 先ずプログラミング未経験の奴はソースコードをUTF-8で書けと言われても解らない UTF-8で書くことを覚えてもターミナルの表示をUTF-8対応にできない Shift-JISで日本語書き込んで詰む そもそもターミナルなんて嫌でとっととグイアプリ作りたいのになんでターミナルで躓かなきゃならないんだとずぶ濡れの犬のような気持ちになる もうややこしやといって敬遠する このことが地味にHaskellへの新規流入を妨げている 158 名前：デフォルトの名無しさん mailto:sage [2015/04/27(月) 08:14:27.11 ID:7D8wCJnI.net] webブラウザで動いてjsの代わりになれば人気出るね 159 名前：デフォルトの名無しさん mailto:sage [2015/04/27(月) 09:14:07.62 ID:DOff7EOW.net] みんな考えることは同じ qiita.com/philopon/items/1451f6b8c5ccec41479d 160 名前：デフォルトの名無しさん mailto:sage [2015/04/27(月) 16:49:31.50 ID:4SSIO0jR.net] >>151 するようなネタが全くないわけでして。 161 名前：154 mailto:sage [2015/04/27(月) 18:00:15.79 ID:bzdehbpG.net] >>154 レスが付かないようなので、もう少し特定の場合に 162 名前：絞ります。 ツリーやリスト、配列など、何らかの構造を持ったデータ型があるとします。 そのデータ型は構造の形と、その内容（ツリーの葉やリストの要素など）との組によって成ると考えられます。 このとき、内容に依存せずに構造の形を変える関数と、 構造の形を変えずに内容を変える関数とは、関数合成において可換です。 直感的には確かにこうなるとは分かるのですが、 なぜこれが成り立つのか、どのような構造のデータ型でも成り立つのか、 と問われると自信がありません。 このようなことに関して論じた論文やWebコンテンツ、書籍などはないでしょうか。 [] [ここ壊れてます] 163 名前：デフォルトの名無しさん [2015/04/27(月) 18:50:32.65 ID:LJFJeOKy.net] https://twitter.com/mutamac/status/322518309570498560

---

---

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

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