関数型プログラミング言語Haskell Part25
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2014/02/25(火) 16:30:50.85本家サイト(英語)
haskell.org
http://www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part24
http://toro.2ch.net/test/read.cgi/tech/1382705669/
0153デフォルトの名無しさん
2014/03/08(土) 15:46:16.64日本人は、1960年代初頭の米ソ核実験による放射性物質で、「今も」被曝し続けています
その被曝量は1970年代からほとんど変わってません
それが危険だということで、追加被曝の規制値が決まってました
2011年以降は、その核実験の被曝に追加して東電のウンコが加わりました
ttp://p.twimg.com/AubGpWDCMAAnd24.png
0154デフォルトの名無しさん
2014/03/08(土) 16:06:00.040155デフォルトの名無しさん
2014/03/08(土) 16:15:45.89物は爆発するけど人は爆発しないんだから
人は放置してもっと物を弄った方が良いよ
0156デフォルトの名無しさん
2014/03/08(土) 16:20:32.470157デフォルトの名無しさん
2014/03/08(土) 16:37:02.750158デフォルトの名無しさん
2014/03/08(土) 16:40:10.730159デフォルトの名無しさん
2014/03/08(土) 16:42:36.040160デフォルトの名無しさん
2014/03/08(土) 18:01:59.38それとも劣等感君が荒らしてる?
そういえば、馬鹿丸出し精神病の浅薄信者君、いないしな
さてさて、どうかなあ?
わはは
0161デフォルトの名無しさん
2014/03/08(土) 18:13:09.770162デフォルトの名無しさん
2014/03/08(土) 18:27:39.870163デフォルトの名無しさん
2014/03/08(土) 18:29:20.880164デフォルトの名無しさん
2014/03/08(土) 18:39:33.090165デフォルトの名無しさん
2014/03/08(土) 18:52:45.250166デフォルトの名無しさん
2014/03/08(土) 21:39:20.970167デフォルトの名無しさん
2014/03/08(土) 22:13:40.680168デフォルトの名無しさん
2014/03/08(土) 22:16:59.290169デフォルトの名無しさん
2014/03/09(日) 02:30:10.10よろしくお願いします
プログラム板 強制ID制導入に関する投票スレ
http://kohada.2ch.net/test/read.cgi/vote/1394290844/
0170デフォルトの名無しさん
2014/03/09(日) 09:54:37.98(^q^)くおえうえーーーるえうおおおデスヨ!
例のシーンきたーーー(´・_・`)ーーー!おっぱいぷるんぷるん!
進捗最高ーーーウ!フッフゥー!!(´・_・`)
おうどん、ツルツルとかシコシコとかエロすぎるだろう(´・_・`)
vimmer手遅れてる(´・_
0171デフォルトの名無しさん
2014/03/10(月) 08:36:17.96はっきりわかんだよね
0172_
2014/03/10(月) 17:05:34.16マチクタビレター
Haskell Platform 2014.2.0.0 は幻にならないよう
お願い申し上げます。
0173デフォルトの名無しさん
2014/03/10(月) 18:18:52.45アヘ顔真顔マン(´・_・`)
mikutterユーザーこわ(´・_・`)
ナウシカノーパン説
肌色のズボンを履いた少女が触手に絡まれるとかおっさんの歪んだ妄想丸出しであり大変キモい。
ピーパッパ パラッポウwww
0174デフォルトの名無しさん
2014/03/10(月) 18:19:18.200175デフォルトの名無しさん
2014/03/10(月) 18:21:00.91http://kohada.2ch.net/test/read.cgi/prog/1394328372/
こっちでやれ
0176デフォルトの名無しさん
2014/03/10(月) 19:00:10.910177デフォルトの名無しさん
2014/03/10(月) 19:16:07.80こんなスレあったんかワロタ
0178デフォルトの名無しさん
2014/03/10(月) 22:33:19.290179デフォルトの名無しさん
2014/03/10(月) 23:05:55.670180デフォルトの名無しさん
2014/03/10(月) 23:06:36.63なんでそぅぃぅことぃぅの?
0181デフォルトの名無しさん
2014/03/11(火) 05:07:26.980182デフォルトの名無しさん
2014/03/11(火) 05:43:04.610183デフォルトの名無しさん
2014/03/11(火) 06:20:42.39スレストされてるやん
0184デフォルトの名無しさん
2014/03/11(火) 07:08:00.98・実質賃金低下
・倒産件数増加
・経常黒字過去最小
・経常赤字過去最大
・鉱工業生産マイナス
・生活保護過去最多
・完全失業率増加
・住宅着工件数減少
・国富600兆円消失
・非正規の割合増加
・国の借金過去最大
・休業や廃業をした企業、過去最多
+
・物価高騰&増税ラッシュ
・外国人労働者大量輸入
・安倍「移民受け入れ議論を」←NEW!
「景気回復を実感していない」81・0%
0185デフォルトの名無しさん
2014/03/11(火) 10:27:14.38「経済の好循環に非協力的なら、経済産業省から何らかの対応(春闘・賃上げについて)」
ついに脅しか(笑
国民にむりやり景気回復を嘘でも実感させないといけないから、安倍君もこの点でこないだから必死
本当の目的はすべて憲法改正だろwwww
もちろん「賃上げ分は全部増税で回収させて頂きます」ってちゃんと言えよww
0186デフォルトの名無しさん
2014/03/11(火) 12:49:14.100187デフォルトの名無しさん
2014/03/11(火) 13:55:09.18国民が知りたい復興予算に関わる質問には「数字については差し控えたい」と、答えない。
無意味でつまらぬ記者会見だ。
0188デフォルトの名無しさん
2014/03/11(火) 14:30:36.040189デフォルトの名無しさん
2014/03/11(火) 15:31:16.640190デフォルトの名無しさん
2014/03/11(火) 15:34:15.49今ぶつけられたハズの記者の質問に、 読み上げて答える安倍。
あらかじめ用意された質問に あらかじめ用意された答え。
いいのか、これで、 マスコミ、国民のみなさん!
想定質問じゃないの?
0191デフォルトの名無しさん
2014/03/11(火) 15:55:54.16はあ、また日本が国際的に孤立するおそれだよー
あのさあ…(´・_・`)
(´・_・`)〜〜〜
戦艦クパァ(´・_・`)
真っ赤なお目目の夕立ちゃんと朝立ち提督
理系女子離職率低いんですか(´・_・`)!?ぜひ僕に永久就職して下さい!!
Macってこういう頭のおかしい人が目立つからどうしてもあれに見えちゃう(´・_・`)
アナニーで肛門壊しちゃったん?
肛門は大事にせなアカンよ(´・_・`)
0192デフォルトの名無しさん
2014/03/11(火) 16:05:21.550193デフォルトの名無しさん
2014/03/11(火) 16:11:41.09自画自賛よりも、「積極的平和主義」とかわざと言葉を柔らかくして国民受けしやすくしたり、国民にすりよる政策を出してみたりとか、
もうやること言うことがあからさまなんだよね。
自民党って昔からこんなだったっけ
それでもすっかり踊らされ騙され続けるこの国の民意とか、もうね
0194デフォルトの名無しさん
2014/03/11(火) 16:53:24.04"関数型プログラミング言語Haskell Part25"
0195デフォルトの名無しさん
2014/03/11(火) 17:05:50.850196デフォルトの名無しさん
2014/03/11(火) 17:44:06.510197デフォルトの名無しさん
2014/03/11(火) 20:17:04.870198デフォルトの名無しさん
2014/03/11(火) 20:25:22.320199デフォルトの名無しさん
2014/03/11(火) 21:21:35.370200デフォルトの名無しさん
2014/03/11(火) 21:25:49.25メルトダウンは無いといいながらメルトダウンしてたし、
当初の予想より放出放射性物質は多かったし、
除染は予定よりはるかに長期化しそうだし、
汚染水は想定外の駄々漏れだ。
こういう場合、「次は大丈夫♪」と言われても信じられないのがマトモな人間。
0201デフォルトの名無しさん
2014/03/11(火) 22:21:35.620202デフォルトの名無しさん
2014/03/11(火) 22:25:19.840203デフォルトの名無しさん
2014/03/11(火) 22:36:36.690204デフォルトの名無しさん
2014/03/11(火) 23:06:17.09このクッソ卑怯な型を多相型と呼ぶ
0205デフォルトの名無しさん
2014/03/11(火) 23:07:44.66id :: a -> a だけど (+0) :: (Num a)=> a -> a なんじゃね
0206デフォルトの名無しさん
2014/03/11(火) 23:38:18.54ID:VlWTrHOMごめん、言葉が足りなかった
圏論的に同一の射とみなしてよいのか疑問だった
0207デフォルトの名無しさん
2014/03/11(火) 23:41:28.81ID:WxBI9en10208デフォルトの名無しさん
2014/03/11(火) 23:49:12.90ID:pSVgGjcw0209デフォルトの名無しさん
2014/03/12(水) 00:30:00.75ID:g6sc7Znw0210デフォルトの名無しさん
2014/03/12(水) 00:32:22.51ID:OIAwHUr30211デフォルトの名無しさん
2014/03/12(水) 00:38:35.55ID:g6sc7Znwこれらはすべて対象Intに対する恒等射という認識でよいのかな?
0212デフォルトの名無しさん
2014/03/12(水) 00:58:10.84ID:dxl17P8+具体型(例えば Int とか Boolとか,それらの直積や(->)で作られる (Int, Bool) だとか Int->Bool のような)
を『対象』として,それらの間の関数を『射』とする圏Haskで考えたとき,idのような多相関数は『射』でしょうか?
Haskellでは型推論があるおかげでidが関数に見える書き方が許容されているけれど,
Hask圏で考えたときの射になるのは例えば
id :: Int -> Int
のようなものたちであって,そういう意味ではid自体は『射』ではないと思います.id自体をHask圏の
言葉で捉えようとすると,「idは I から I への自然変換」というのが一つの妥当な見解です(※).
ただし,ここでの I は Hask から Hask への恒等関手を意味するものとします.
以上のような前置きを置いた上で考えて,では id と (+0)が同じ自然変換かと考えてみると,(+0)
の「定義域」は Ob(Hask) ではなく,Ob(Hask|Num) (記号は気分的に理解してください)と
なっており,定義域が違う以上(+0)はそもそも自然変換ですらありません.
そういう意味では id と (+0) は別物でしょう.
-------------
脚注的なコメント
「一つの妥当な」と勿体を付けましたが,様々な見方をゴチャゴチャにせずに明確に記述できるのが
「言葉としての圏論」の利点なのであり,妥当な見解は他にもあります..
例えば,「Haskの自己関手を対象とする圏」で考えれば,Haskにおける射は塗りつぶされて見えなくなり,
id のような自然変換こそが,この自己関手圏では『射』になるわけです.
0213デフォルトの名無しさん
2014/03/12(水) 03:19:43.42ID:+98sNYO5(\x -> (+ (x * 1) 0))
0214デフォルトの名無しさん
2014/03/12(水) 03:31:58.42ID:VUk1T4y9HaskellをS式で書こうって動きはないの?世界はS式で表現されてるんでしょ?
0215デフォルトの名無しさん
2014/03/12(水) 05:45:42.46ID:nlQOiEcJ心配してたら前に進めないじゃない」「切れば治るんでしょ。
死ぬわけじゃないじゃない」甲状腺がんで手術を受けた子どもの親が受けた心ない言葉。
まさに、安倍首相が推し進めている「放射能なんか気にせず復興せよ政策」そのもの。同じだ。
0216デフォルトの名無しさん
2014/03/12(水) 06:03:49.53ID:UBsjXNImid :: Int -> Int
と
(+0) :: Int -> Int
が同じ射か、と聞いてるんじゃないの?
Hask圏では、二つの関数が外延的に同じなら同じ射とみなすので、
(id :: Int -> Int)と((+0) :: Int -> Int)は同じ射
0217デフォルトの名無しさん
2014/03/12(水) 06:04:44.50ID:X19oUDrR電気代は下がらないで新しい産業は生まれずにメーカーは競争力を失って海外へシフト、
景気も悪くなっていたのに、原発を再稼働させたら景気がよくなるなんて誰が信じられるんだ。
0218デフォルトの名無しさん
2014/03/12(水) 06:22:26.77ID:q1L4v0cg0219デフォルトの名無しさん
2014/03/12(水) 06:52:45.64ID:q1L4v0cgきのこの山は卑猥すぎ(´・_・`)
埼玉県になんで貧乳の人が集ってるの?
ペログラミング(´・_・`)
射精管理に闇を見た(´・_・`)
レズプレイの画像検索結果が想像よりはるかにグロくて、おもてたのとちがう(´・_・`)…
0220デフォルトの名無しさん
2014/03/12(水) 07:37:38.11ID:q1L4v0cgおっさんがいっぱい登場し始めてからおもろくなってきた(´・_・`)
一人前のレディーな彼女できんかなー(´・_・`)
(´・_・`)「その研究、どこらへんに新規性あるんです?(机に足を乗せながら)」
(インストールが)つらぽよLinux
女子高生とペ○○ロ(´・_・`)!?
金で買った愛なんていらないって思うのって、おかしいですか?(´・_・`)
彼女ほしみ(´・_・`)
彼女 is ほしい。
黒髪ツインテールで頼む!
新人女子プログラマの野田さんかなりの貧乳(´・_・`)
0221デフォルトの名無しさん
2014/03/12(水) 07:59:46.50ID:WMGyFaknブロックしているのにリツイートで目に入ってウザ
給料多いしか取り柄ないのに金目当てじゃない彼女が欲しいとか
無理に決まってんだろ
0222デフォルトの名無しさん
2014/03/12(水) 08:15:50.15ID:IwUTQVaz確証バイアスにかかっていて、反対意見の人間を馬鹿と見下し、
頭の悪い彼女はお断りなんて平然と言い放つ
ゴミ屑の彼女になりたいなんて思う人間がいるわけないだろ
0223デフォルトの名無しさん
2014/03/12(水) 08:18:28.70ID:IwUTQVaz愛が貰えなくなったなんて泣き喚く
こいつのつらぽよは甘え
本当につらぽよの人に失礼だわ
0224デフォルトの名無しさん
2014/03/12(水) 08:22:40.91ID:Q695KHZr0225デフォルトの名無しさん
2014/03/12(水) 08:32:29.31ID:IwUTQVaz本人が論理的思考と思い込んでいる確証バイアスによって
相手を馬鹿と見下しつづけたのが原因なのに
それに気づかないんだな
0226デフォルトの名無しさん
2014/03/12(水) 12:46:56.28ID:dxl17P8+なるほど, id :: Int -> Int と (+0) :: Int -> Int を外延的に比較すると
確かに同じですね.
Hask圏においては射を数学的な関数と同一視する(評価の過程を問題にせず
結果だけを問題にする)のが議論としては自然(圏論の性格として)かなぁと
思いますが,例えば
foo :: Int -> Int
という関数が,foo x = x (全ての x::Intに対して) となっているけど
foo 3 を計算すると,これが 3 に簡約されるまでに数兆ステップ必要であるような
,そんな定義を(ちゃんと考えてないけどアッカーマン関数なんかを参考にして)
与えた場合,foo と id :: Int -> Int を「同じ」とみなすのは,Haskellの抽象化としては
大事なところを切り落としてる気がしてもにょりますね.
まあでも計算のコストをばっさりと切り落としてるからうまく圏論の道具立てが
利用出来てるわけか…
0227デフォルトの名無しさん
2014/03/12(水) 13:10:56.03ID:cs5b7Elf0228デフォルトの名無しさん
2014/03/12(水) 20:37:01.03ID:/BWgd4aZ0229デフォルトの名無しさん
2014/03/12(水) 21:20:23.47ID:cs5b7Elf0230デフォルトの名無しさん
2014/03/13(木) 09:20:17.49ID:gSsLORP80231デフォルトの名無しさん
2014/03/13(木) 18:44:25.43ID:7e00VUBl0232デフォルトの名無しさん
2014/03/13(木) 18:49:13.53ID:J/W7t8A1自分もそうだから匿名がどーとは言わんが
コテすら付けられんのによく自分の発言に持続的な正当性が保てると思い込めるな
0233デフォルトの名無しさん
2014/03/13(木) 19:04:01.30ID:zB75bADp自分の自信の拠り所を、容姿に求めるのが、彼女なりのベストだったんだろうか。
僕はそんなことしなくていいよって言い続けてたんだけど、承諾すべきだったんだろうかなあ。はー(´・_・`)…
整形したがってたことまでネットでばらす鬼畜ぶり
0234デフォルトの名無しさん
2014/03/13(木) 19:09:17.16ID:CaYg5ieJなら僕が出ていきたいのだけど、この家の契約僕の名義だから、そうにもいかないし、
そんでもって、このことが僕の精神の平静にとても悪い影響を与えているのですが、
どうすればいいのでしょうか?八方塞がりです。
>>232
そういうセリフは相手が見ていないところで一方的に悪者にしたてる奴にこそふさわしいんだわ
0235デフォルトの名無しさん
2014/03/13(木) 19:13:59.63ID:uWeBI0Do彼女になりたい人間なんているわけないわな
0236デフォルトの名無しさん
2014/03/13(木) 20:20:36.22ID:iDH97taz反応してくれる馬鹿がいるからだろ
0237デフォルトの名無しさん
2014/03/13(木) 20:39:18.41ID:RHnwVSO1>>178
とか
0238デフォルトの名無しさん
2014/03/13(木) 21:09:52.95ID:gv7wvflh0239デフォルトの名無しさん
2014/03/13(木) 21:10:31.00ID:WSmoE+6O暇人だな
0240デフォルトの名無しさん
2014/03/13(木) 21:32:14.46ID:jv0jHeeP0241デフォルトの名無しさん
2014/03/13(木) 21:48:20.64ID:gv7wvflh0242デフォルトの名無しさん
2014/03/13(木) 22:57:56.29ID:jv0jHeePID導入する前は自演のし放題だったんだから随分良くなったんだよ
0243デフォルトの名無しさん
2014/03/13(木) 23:08:19.89ID:kuXKQCZlおまえら雑魚が何を言おうが痛くもかゆくもないだろ
0244デフォルトの名無しさん
2014/03/13(木) 23:58:01.88ID:Bc08eiVe0245デフォルトの名無しさん
2014/03/14(金) 01:07:00.36ID:C9WoYF6Qその権威を認める人ってどれくらい存在するの?
独学で門外漢の俺には誰なのかさっぱり分からないのだけど。
そもそもHaskellユーザー(入門書を購入して学習中の人を含む)は
日本にどのくらいいるのかな?
Haskell関連の書籍が数冊出てるから最低でも5千人以上だと
見積もってるのだけど。
0246デフォルトの名無しさん
2014/03/14(金) 07:39:18.54ID:EVWOWCoM0247デフォルトの名無しさん
2014/03/14(金) 08:03:45.68ID:S6m24eAb権威かどうかは知らんw
0248デフォルトの名無しさん
2014/03/14(金) 08:28:27.56ID:1fGwlZ7n専門家で知らないのはやばいだろ
0249デフォルトの名無しさん
2014/03/14(金) 09:24:25.95ID:EVWOWCoM0250デフォルトの名無しさん
2014/03/14(金) 09:34:55.44ID:C9WoYF6QHaskell本の翻訳者(と共著)の名前なら何人か知ってるが、
その人たちの一人なの?
それとも学会で活発に活動してる人?
何にせよHaskellは使ってるけど専門家ではないから検討もつかん。
>>249
遅延評価が特徴の一つで、ある種のメリットとして宣伝されてたのに、
それが弱点になるって何の冗談かと思うよな。
0251デフォルトの名無しさん
2014/03/14(金) 09:41:00.99ID:EVWOWCoM翻訳者の一人
0252デフォルトの名無しさん
2014/03/14(金) 09:41:47.59ID:DoHwSlShまあもうちょっとノウハウの蓄積とかプロファイラとかの支援とかは欲しいけどね。
■ このスレッドは過去ログ倉庫に格納されています