- 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/
- 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
- 164 名前：デフォルトの名無しさん mailto:sage [2015/04/27(月) 19:31:11.59 ID:VB3BB2rW.net]
- haskellのはなしされても困る
難しいし
- 165 名前：デフォルトの名無しさん [2015/04/28(火) 02:32:49.94 ID:Vr1PFukf.net]
- イカ娘という藁人形くんは藁人形過ぎんべ。
- 166 名前：デフォルトの名無しさん mailto:sage [2015/04/28(火) 02:48:39.41 ID:Teqnn2Le.net]
- >>159
共役(conjugate)という概念が近い気がする
具体例としてはこんなの
ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E5%85%B1%E5%BD%B9%E6%80%A7
今の話に連続性とかは全然要らないからもっと抽象化されたいい定義もあると思うんだけど
詳しくないのでこのくらいしか示せない
- 167 名前：デフォルトの名無しさん [2015/04/28(火) 08:05:09.36 ID:CdNtmvFe.net]
- 177 ：名無しさん＠ｺﾞｰｺﾞｰｺﾞｰｺﾞｰ！：2015/04/27(月) 18:37:49.73 ID:0nb1+zzF0
岡部によるMINIX談義
https://twitter.com/mutamac/status/322518309570498560
- 168 名前：デフォルトの名無しさん [2015/04/28(火) 12:09:01.30 ID:xSgyLvy4.net]
- >>164
くっそwww
- 169 名前：デフォルトの名無しさん [2015/04/28(火) 12:14:10.41 ID:pmMjJKEE.net]
- ナベくんはやっぱり敵に回すと怖いことを再確認w
一応フォローを一時的に外しておいて良かったわww
- 170 名前：デフォルトの名無しさん mailto:sage [2015/04/28(火) 14:13:57.53 ID:8LxH1Yrp.net]
- >>159
何をきっかけに考え始めたの？
自然変換や多相関数っていうのは知ってるんだよね？
- 171 名前：154 mailto:sage [2015/04/28(火) 18:04:05.29 ID:W3D8VZu+.net]
- >>163
ありがとうございます。
想像していたのとはちょっと違って抽象度が高そうですが、
がんばって学んでみます。
>>167
考え始めたきっかけは最適化です。
ポイントフリーで記述していた式の中で、たまたま2つの関数が
関数合成に関して可換なのに気づいたので交換してみたら、
交換後に隣同士になった関数同士が融合できて最適化できました。
その時は本当に偶然見つけたのですが、もっと効率よく発見できないかと思い質問しました。
条件が分かれば悩まなくて済み、また勘違いで交換してしまうこともなくなります。
Haskell のデータ値はすべて抽象構文木で表せるので、
その形や変換する部分木の位置などに依るのかなと思っていましたが、
圏論の話が出てくるのは予想外でした。
自然関数は名前だけは知ってます（内容は未学習）。
多相関数は要するに型シグネチャに型変数を含む関数ですよね。
- 172 名前：デフォルトの名無しさん mailto:sage [2015/04/28(火) 18:49:24.22 ID:s9k+iiT5.net]
- >>168
何らかの多相型をMとおいたとき、f : a -> bなる関数をmapで持ち上げたmap f : M a -> M bというと、
多相性を持ったまま何らかの操作を行う関数tx : forall a. M a -> M aは可換である、ということはなんとなく分かる。
多分、証明もできる。
もっと緩い条件もあるかもしれないけど、型レベルだとこの程度しか言えないんじゃないか？
- 173 名前：デフォルトの名無しさん mailto:sage [2015/04/28(火) 22:38:28.56 ID:8LxH1Yrp.net]
- >>168
自然関数じゃなくて自然変換だよｗ
自然変換はほぼ多相関数と同義で、
あなたのいう「内容に依存せずに構造の形を変える関数」のこと
だから名前だけ知ってるじゃなくてちょっと中身も見てみたら
まあ>>169の言う結果になると思うが
- 174 名前：デフォルトの名無しさん mailto:sage [2015/04/28(火) 23:26:28.54 ID:W3D8VZu+.net]
- >>169
>>170
すいません、自然関数はただの書き損じです。
ちょっとかじる程度では全く理解できないので自然変換についてちゃんと学びたいのですが、
Wikipedia のような辞書ではなく、ステップアップで学べるようなもので、
おすすめの書籍やサイトはありますか？
- 175 名前：デフォルトの名無しさん mailto:sage [2015/04/30(木) 12:52:33.36 ID:XY0F0CkV.net]
- >>171
nineties.github.io/category-seminar/1.html#/92
最近見てなかったけどマメに手が入ってる、尊い...拝掌
- 176 名前：デフォルトの名無しさん mailto:sage [2015/04/30(木) 14:12:01.94 ID:XY0F0CkV.net]
- すいません拝掌は書き損じです＞＜
- 177 名前：デフォルトの名無しさん mailto:sage [2015/04/30(木) 20:39:45.77 ID:Y/GqQ0EE.net]
- 不正なノイズ
- 178 名前：デフォルトの名無しさん [2015/05/01(金) 04:56:54.76 ID:fVuNknYg.net]
- 668 悶絶青年スエナガ ◆nHX7uJrJYv2Z 2015/04/30(木) 22:47:23.36 ID:Z5XSNckF0
皆さん、わかってないでつね( ﾟ∀ﾟ)
彼は自作自演レビューについて、Twitterやここで騒がれていることについては、
「知らなかった」という筋書きにするつもりなんでつよ・・・・
そう、彼はTwitterや2chなんて見ていない、という「設定」を今、作り上げているのでつ( ﾟ∀ﾟ)
その証拠に、いつもは瞬間湯沸かし器のようにTwitterに反応する彼が、今回は一切反応してませんwwwww
彼なりに、「必死に、必死に、必死になってガマン・ガマン・ガマン」してるのでつ( ﾟ∀ﾟ)
反応してしまったら、Twitterをエゴサーチしていることがバレますから、
「アマゾンレビューで自演していた」ことが噂になってることを知らなかったことには出来ませんからねwwwwww
彼は後になって「え？そんなことが話題になってたの？僕は知らない」と言うために必死になって今は耐えているのでつよwwwww
- 179 名前：不明なデバイスさん mailto:sage [2015/05/01(金) 07:51:16.60 ID:bd+SwLlp.net]
- まじで興味ないんだけど
何で反応する人がいるんだろ
- 180 名前：デフォルトの名無しさん mailto:sage [2015/05/01(金) 08:35:11.62 ID:eutNCxIi.net]
- 興味あるからじゃね？
- 181 名前：デフォルトの名無しさん mailto:sage [2015/05/01(金) 17:47:37.74 ID:F/SXJcEE.net]
- >>172
スライドを紹介していただいたこと自体には感謝の気持ちはあるのですが、
お礼を言う気分になれません。
このようなタイミングで言い方をそっくり真似されるのは、
小馬鹿にされたようで、あまり気分の良いものではありません。
- 182 名前：デフォルトの名無しさん [2015/05/01(金) 18:32:23.93 ID:bZSKV+U3.net]
- shindanmaker.com/529918
毛の壁うらない、おまえらもやれよ
- 183 名前：デフォルトの名無しさん mailto:sage [2015/05/02(土) 02:10:23.61 ID:jinFEowY.net]
- Haskellの考案者が亡くなったと聞いて駆けつけました
|
 |
