14/02/25 16:31:37.45
過去スレ一覧
23) ｽﾚﾘﾝｸ(tech板)
22) ｽﾚﾘﾝｸ(tech板)
21) ｽﾚﾘﾝｸ(tech板)
20) ｽﾚﾘﾝｸ(tech板)
19) ｽﾚﾘﾝｸ(tech板)
18) ｽﾚﾘﾝｸ(tech板)
17) ｽﾚﾘﾝｸ(tech板)
16) ｽﾚﾘﾝｸ(tech板)
15) ｽﾚﾘﾝｸ(tech板)
14) ｽﾚﾘﾝｸ(tech板)
13) ｽﾚﾘﾝｸ(tech板)
12) ｽﾚﾘﾝｸ(tech板)
11) ｽﾚﾘﾝｸ(tech板)
10) ｽﾚﾘﾝｸ(tech板)
09) ｽﾚﾘﾝｸ(tech板)
08) ｽﾚﾘﾝｸ(tech板)
07) ｽﾚﾘﾝｸ(tech板)
06) ｽﾚﾘﾝｸ(tech板)
05) ｽﾚﾘﾝｸ(tech板)
04) ｽﾚﾘﾝｸ(tech板)
03) ｽﾚﾘﾝｸ(tech板)
02) ｽﾚﾘﾝｸ(tech板)
01) URLﾘﾝｸ(pc.2ch.net)
3:デフォルトの名無しさん
14/02/25 16:32:39.80
関連サイト
(英語)
Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
URLﾘﾝｸ(learnyouahaskell.com)
(以下、日本語)
Haskell - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)
Haskell入門 5ステップ - HaskellWiki (本家内、日本語入門セクション)
URLﾘﾝｸ(www.haskell.org)
Programming in Haskell
URLﾘﾝｸ(www.sampou.org)
HaskellJP wiki
URLﾘﾝｸ(wiki.haskell.jp)
Haskell のお勉強
URLﾘﾝｸ(www.shido.info)
Haskell Programming
URLﾘﾝｸ(www.geocities.jp)
4:デフォルトの名無しさん
14/02/25 16:33:57.17
関連書籍一覧
(アマゾン米国、主に洋書)
URLﾘﾝｸ(www.amazon.com)
(アマゾン日本、主に和書)
URLﾘﾝｸ(www.amazon.co.jp)
5:デフォルトの名無しさん
14/02/25 17:17:34.17
原発について語るスレはここですか？
6:デフォルトの名無しさん
14/02/25 17:46:38.15
【重要】
hogeは禁止します、使用しないでください。
万が一hogeが書き込まれても、スルーしてください。
相手にするとあなたも荒らしと同じ扱いになります。
なお、hogeはNGワードに追加しておくことが強く推奨されています。
7:デフォルトの名無しさん
14/02/25 18:46:38.55
Haskellって既に周回遅れ
今はScalaで次はJuliaだよ！！
まあOCamlは2周遅れ
Python、Rubyは3周遅れだからまだマシだが
あ、Java,Cの一身などは土方専用ってことで
8:デフォルトの名無しさん
14/02/25 18:55:24.22
成立時期の話かな？
HaskellってRubyやPythonより古いよね
OCamlはRubyと同じくらいか
9:デフォルトの名無しさん
14/02/25 19:07:32.81
ここだけの話、セシウムを浴びると若返るんですよ。今反原発で盛り上がってるでしょ？
あれ、本当の理由はセシウムによる若返りを医療関係者が阻止しようとしているんですよ。
だって、みんなが若返ったら医者は商売あがったりでしょ？
10:デフォルトの名無しさん
14/02/25 19:55:20.96
Haskellは昔から >>7 みたいな奴の声に安易に流されず、
ブレずに進化してきてるから好きだ
11:デフォルトの名無しさん
14/02/25 20:10:26.83
Data.Function.fix 関数は何のためにあるのでしょうか。
どう使うのでしょうか。
fix :: (a -> a) -> a
fix f = let x = f x in x
12:デフォルトの名無しさん
14/02/25 20:17:14.12
再帰する関数を、それ自身には再帰的定義を含まずに定義するために使う。
Yコンビネータのようなもの（ないし、そのもの）。
13:デフォルトの名無しさん
14/02/25 20:17:35.74
>>11
ループを書きたいけどletやwhereを書くのすら面倒なときに使う
flip fix (0::Int) $ \loop i -> do
putStrLn $ "total " ++ show i
n <- readLn
if n >= 0 then loop $! n + i else return ()
14:デフォルトの名無しさん
14/02/25 20:56:20.42
>>9
マイクロ波を加え異常な殺人放射線として利用するわけだ。この装置を起こさせる要素が損傷を放射能汚染と精神病院精神病院精神病院では、周囲が残る。
内部被ばくでは少量の日常生活や人には、事故の開発がされましたが効果としては実用段階には至っていない。
15:デフォルトの名無しさん
14/02/26 01:42:50.08
>>9
東電の放射性物質を東京にまいて、オリンピック選手を被曝させて元気にさせる運動に参加しよう!!
海外のみんなにも宣伝しなくちゃ!
16:デフォルトの名無しさん
14/02/26 08:51:53.08
キチガイレスにも負けず自演、えらいぞ
17:デフォルトの名無しさん
14/02/26 23:11:08.77
狂気を感じるスレッドだな
18:デフォルトの名無しさん
14/02/28 00:35:09.34
ガスの輸入、現在高い値段で買いすぎ、交渉努力で安くするべき、とかいってる人がいるけど、
どうみてももっとガスをたくさん買わなきゃいけなくなって、しかも原発という選択肢もなくなるわけだから、
もっと足元みられるようになるに決まってるだろう…。
原発は利権とかいうのに、自然エネルギー利権はとはいわないんだな。
19:デフォルトの名無しさん
14/02/28 01:17:22.84
ファンクターわかんない
20:デフォルトの名無しさん
14/02/28 01:22:37.55
>>18
ガスを採掘して、ガスを精製して、ガスを運搬してるのが日本企業で、日本がエネルギー輸出国だということを考えると、足元を見てるのは日本人だから問題ありません
もっと言うと、半独占企業が牛耳っている以上、電力の値段で一番足元を見てるのは日本の電力会社です
除染をするとか税金を投入して赤字を埋めるという前提を抜かすと、原発にあるのは利権ではなく債務です
補助金がなければ赤字という点は自然エネルギーも一緒であり、利権など存在しようがありません
21:デフォルトの名無しさん
14/02/28 02:13:39.54
ここHaskellスレでいいのか？
22:デフォルトの名無しさん
14/02/28 03:10:30.98
>>21=放射脳
23:デフォルトの名無しさん
14/02/28 06:28:41.11
>>19
Maybeかリストあたりをファンクターの具体例として扱ってみるのが最初は理解しやすいと思う
24:デフォルトの名無しさん
14/02/28 06:36:19.99
そもそも型クラスが理解出来てないケースが多そうなんだよな
instance Functor Maybe where ...
instance Functor (Either a) where ...
なぜEither aになるか分かりますか？的な
25:デフォルトの名無しさん
14/02/28 06:54:11.49
>>19
ファンクターの何がわからないのか、もっと具体的に質問してくれ
それとも、何を質問したらいいのか分からないのか？
26:デフォルトの名無しさん
14/02/28 09:55:40.87
原発利権に洗脳されたキチガイが住み着いてるのか
27:デフォルトの名無しさん
14/02/28 12:59:13.55
そういう話がしたいお前の自演にしか見えんがな
28:デフォルトの名無しさん
14/02/28 13:26:00.62
インライン展開と書こうとしてインラン展開とタイポしてしまったので今日は淫乱記念日
29:デフォルトの名無しさん
14/02/28 13:58:35.87
インラインって感じるぅ
。ρ。
ρ
mﾄﾞﾋﾟｭｯ
C|.| /⌒⌒⌒ヽ／~￣￣￣￣ヽ ～
/⌒ヽ⌒ヽ＿__ | ∴ヽ ３ ） ～
./ _ ゝ＿＿＿）（９ (｀ ´) ） ～
/ 丿ヽ＿__,.──|彡ヽ へ へ| ～
_/ ) （ Y￣￣￣￣） ～
(__／
30:デフォルトの名無しさん
14/02/28 16:21:01.23
みじめな一人連想ゲーム
31:19
14/02/28 16:22:20.38
>>23-25
それに近いかも。
リストみたいに中に値がたくさん入る箱（型）があって、
その中身に対して一斉に関数を適用できる
機能を持たせるのがファンクターって理解してるんだけど、
でも、この箱の考え方だと、
関数もファンクターってのがわからない。
ファンクター値っていうのもわからない。
32:デフォルトの名無しさん
14/02/28 16:42:44.13
このスレ見てて思うのは、
無駄に意味を考えちゃって混乱してることが多いなってことだ。
クラスはインターフェイスを定義するだけ。
ファンクタとして定義できるものがファンクタなんであって、
その意味なんかお前が自分で決めりゃいいんだよ。
33:デフォルトの名無しさん
14/02/28 17:11:34.99
>>31
関数も理屈は同じだよ
Bool -> Char
型の関数は、True用とFalse用の二個の文字が入る箱だと思えるし、
Integer -> Char
なら、無限個の文字が入る箱だと思える
fmapはこれらの全ての文字に一斉に関数を適用する
34:デフォルトの名無しさん
14/02/28 18:17:33.82
>>33
関数を
戻り値が入った箱
って考えるってことか
それなら分かるかも
35:デフォルトの名無しさん
14/02/28 18:54:21.83
それは関数という概念を捨て去る理解だな
論外
36:デフォルトの名無しさん
14/02/28 23:08:20.41
addNumbers :: (Num a) => a -> a -> a
って
addNumbers :: (Int) => a -> a -> a
じゃダメなの？
37:デフォルトの名無しさん
14/02/28 23:11:06.18
/ ＼
、 ヽ＼ ヽ
. / , / ! ∨丁ヽ い | /二ﾌ”
/ ! | ィ ｢＼ | ハ l | ,′ /
l ! | / /j/ '. ﾉ, =､!／/ /j/ ヽ/
l い／ ,, =x j／ ′ 〈j／ ／ヽ
ﾄ ._ ＼_〃 :.:.:.:.} /二ﾌ”
ｌ l { 下￣ .:.:.:.: -‐１ ∧ /
ｌ l T ‐个 ._ ｰ' イ ｌ｜ ニﾆ!
ｌ/ /| ｌ ｌ//下二千ヽ_ｌ い ─┘
' / .′ ｌ,ノ＼/// 小、|､＼ヽ＼ ｢〉
￤l ／ ／ ＼/ U｀ ＼ヽｌ ｉ r_|
￤ｌ l i ! ﾄ ヽ |
38:デフォルトの名無しさん
14/02/28 23:13:58.72
型クラスは引数を取って
具体型になるのに
…ダメ？
39:デフォルトの名無しさん
14/02/28 23:21:37.92
Intしかうけないんだからa型じゃおかしいし
そもそもaと書きたい理由もわからない
40:デフォルトの名無しさん
14/02/28 23:24:31.32
引数はどっちも同じで
Int型に制約を受ける
じゃダメ？
41:デフォルトの名無しさん
14/02/28 23:27:29.87
いや単に
addNum :: Int -> Int -> Int
じゃ気に入らないの？
42:デフォルトの名無しさん
14/02/28 23:36:14.79
気に入る、気に入らないの問題じゃないような気がするが・・・
43:デフォルトの名無しさん
14/02/28 23:37:35.37
>>41
最初の頃はInt->Intで疑問なかったけど
型クラス制約知った後だと気持ち悪い
44:デフォルトの名無しさん
14/02/28 23:50:57.76
えつ？？
45:デフォルトの名無しさん
14/02/28 23:58:12.51
制約だよ
46:デフォルトの名無しさん
14/03/01 00:09:37.38
純粋は制約なの？
47:デフォルトの名無しさん
14/03/01 00:11:10.01
純粋な型は引数を制約できないの？
48:デフォルトの名無しさん
14/03/01 00:12:34.44
制約な引数が純粋をどうしたって？
49:デフォルトの名無しさん
14/03/01 00:13:50.54
制約されたものに
引数を与えると純粋になるんじゃないか
ってことなんだ
50:デフォルトの名無しさん
14/03/01 05:35:28.81
>>34
ある意味ではリストは関数なんだよ
リストのn番目の要素を得る関数(!!)のことを考えてみるといい
だからリストが箱だと思えるなら関数も箱だと思えるはず
そうして使っているうちにそのうち自分なりの理解が得られるだろう
51:デフォルトの名無しさん
14/03/01 07:31:37.56
関数が箱
中学生か
52:デフォルトの名無しさん
14/03/01 07:33:37.80
f(x)であるということと
f(x)の値はyである
この区別がなくなるな
はこ！
53:デフォルトの名無しさん
14/03/01 08:41:54.33
うん、箱だ！
54:デフォルトの名無しさん
14/03/01 09:20:53.58
筒
55:デフォルトの名無しさん
14/03/01 15:43:30.02
[ﾟдﾟ] < ﾊｺﾓｱｲｼﾃ!
56:デフォルトの名無しさん
14/03/01 15:53:27.57
型シグネチャで考えると、思考がスッキリすることが多いね
57:デフォルトの名無しさん
14/03/01 16:10:02.41
fmapはリフトだよ
58:デフォルトの名無しさん
14/03/01 17:05:17.29
比喩より定義の方が簡潔なことは多々あるし、この場合も多分そうだよね
59:デフォルトの名無しさん
14/03/01 17:29:51.74
1) 箱に一斉に関数を適用できると捉えるのが手続き型思考
2) リフトと捉えるのが関数型思考
初めは 1 で十分だけど、できるだけ早く 2 で考えられるようになるといいね
60:デフォルトの名無しさん
14/03/01 17:42:00.67
?
61:デフォルトの名無しさん
14/03/01 22:34:05.22
>>55
箱はｶｴﾚ!
62:デフォルトの名無しさん
14/03/01 22:35:28.14
昔は、関数を函数と書いたんだよ。
63:デフォルトの名無しさん
14/03/02 06:02:15.22
物と物の対応と考えた貧弱哲学のせいでな
64:デフォルトの名無しさん
14/03/02 06:02:56.06
ここでも、箱とかいってるやつ、一世期遅れてる
65:デフォルトの名無しさん
14/03/02 08:22:30.41
だな。時代は袋だよ。
66:デフォルトの名無しさん
14/03/02 08:53:44.94
>>62
function の発音を中国語の発音に当てはめて函数となった。
「従属変数（の表現）に独立変数が容れられている」という意味は込められていても、
本来ブラックボックスとしての「箱」の意味は無いそうだ。
URLﾘﾝｸ(ja.wikipedia.org)
67:デフォルトの名無しさん
14/03/02 13:49:33.79
時代は圏論的表示意味論
68:デフォルトの名無しさん
14/03/02 13:59:47.95
>>66
当てはめてじゃなくて、同じ音の、でしょ。
それにウィキペディアの記述の仕方が妙で、良く読むと「箱の意味は無い」と説明している方が
少数派に見えるんだが。
69:デフォルトの名無しさん
14/03/02 14:45:30.52
どうでもいいクソ話で盛り上がるなクソ共が
それより、>>67 にもっと詳しく解説してほしい。
圏論的表示意味論とはどのような意味論（特徴、利点など）なのか。
「具体例」を混ぜて説明してくれないか。
70:デフォルトの名無しさん
14/03/02 18:17:07.03
>>69
背景：
例えばHaskellにおける型（具体型），IntだとかFloatだとかがあったとき，
これらの型情報をうまく扱うためには結局「型＝集合」という見方を超えて
「全ての要素にタグ（要するに型情報）がついた世界」を考えたほうが言語の実情に合う．
このような事は実は随分昔にラッセルが創始したタイプ理論というもので行われており，
その当時の動機としては集合論にまつわるパラドックスを回避するとかそんな意味合いが
あったしその理論の完成度も極めて低く今日ラッセルが作った通りのタイプ理論は
まあ普通は使わないんだけど，とにかく「タグが整合性を持って付けられる世界」というのを
集合論と同じぐらいの豊かさで作れる．（いろんな定式がある．）
ここで圏論が出てくる舞台が出来た．「具体的な基礎型」を対象とし，これらの対象を結ぶ射として単相関数を考える
ことにして圏を考える．Haskellで考えるときの名前はHaskと呼ばれる．
簡単な具体例への言及：
そして，Intからリスト [Int] を作る手続きは，圏論的には「Haskから自身への自己関手」として
定式化できる．モナドも自己関手の一種として，圏論的に定式化できるというか元々モナドは
圏論用語ですね．
実際には帰納的に構成されるタイプの型を考えるとHaskellでは「下から上」と「上から下」を
（おそらくは意図して）混同しているので圏論の議論がシャープすぎるところがあるけど，
各種の，例えばFunctor則だとかモナド則だとかはすべて圏論的な図式の可換性条件として
理解できる．
歴史：
Moggiの computational lambda-calculus and monads (1988) なんていう論文
（ネットに転がってる）あたりから出てきた流れだと思われる
71:デフォルトの名無しさん
14/03/02 18:57:26.90
>>70
それは単なる「Haskellプログラミングにおける圏論の応用」に関する
解説であって、表示的意味論とは関係なくね？
72:デフォルトの名無しさん
14/03/02 19:04:43.21
>>70
いや、応用にもなっていない、どこにも「応用例」が無い。
単に、Haskellでプログラマがやっていることを圏論で表すとこうなる、と言ってるだけ。
圏論で表すことによって、プログラマにとってどう良いことがあるのか、
それを示して初めて「応用」だ。
で、>>71 も言ってるように「意味論」の話は？
73:デフォルトの名無しさん
14/03/02 19:19:35.28
>>71
>>72
ちゃんとMoggiの論文のタイトルまで書いたんだから詳しいことはそっちを読んでくれ
74:デフォルトの名無しさん
14/03/02 19:21:57.66
いくらなんでもMoggiのあの論文だけでは不十分だと思われる
75:デフォルトの名無しさん
14/03/02 19:22:16.73
>>73
意味論の話すらここでできない？
その論文や他の資料などの内容じゃなくて、
あなたが自分の頭で解釈し構築した「考え」を聞きたいのだが。
76:デフォルトの名無しさん
14/03/02 20:10:23.70
>>75
おお、いい書き込みだ
77:デフォルトの名無しさん
14/03/02 20:12:38.43
人に考えをきくときは、まず自分の考えを述べるのが礼儀だ
78:デフォルトの名無しさん
14/03/02 20:15:12.16
>>77
わはは！
あほなことを
しばしば、それは失礼にさえなる
79:デフォルトの名無しさん
14/03/02 20:20:44.42
論文の紹介だけだったか
まぁそれでも価値はあるから、もうそれでいいよ
ちょっとは期待してたんだが・・・
80:デフォルトの名無しさん
14/03/02 20:43:26.21
教えたところで理解できるという保証がなさそうだね
81:デフォルトの名無しさん
14/03/02 20:53:04.50
上目線で質問するあたり俺たちかっこいい
82:デフォルトの名無しさん
14/03/02 20:55:16.39
「教える」んじゃなくて、「語る」と考えるといいかも
上下関係じゃなくて、対等の関係で議論しあうというのも、たまにはいいと思う
（相手を言い負かそうとか、そういうのは無しで）
83:デフォルトの名無しさん
14/03/02 21:25:56.03
>>82
いいこと言った
84:デフォルトの名無しさん
14/03/02 21:32:08.00
圏論わかる同士で話すときに「モナドってのは箱だ」みたいな話しなくて済むだけでも
俺にとっては十分有用です：応用
たまにモナドの議論をしてるときにモナド則の１，２は満たすけど３は満たさないような例だと
どんな問題が起きるの？みたいな質問を得意げにする人がいるんだけど（皆さんは賢いので
そんなことないでしょうけど）、圏論での意味論（の初歩だが）みたいなのを持ち出せば
そういう筋の悪い質問なんかが湧いてこないだけでも有用かな。
あと、Haskellは表記方法がエレガントすぎてたまに型と値の理解がごっちゃになってるひとがいる。
そういう人への（あるいは自分への）リメディアルの議論のための良いバックグラウンドをあたえてくれるね。
本格的な表示意味論のほうは、帰納型が定義できるような圏をどうやって構成するかとかの話が中心だという
気がします。
Moggiがらみで一言付け加えれば、彼の論文にはラムダ計算のような「純粋な計算」を材料にして
「状態付きの計算」だとか「継続」のようなものをどうやって構築するかという話が整理されていて、
自分は無教養なので継続の話は理解できなかったが状態モナドは非常によくわかったし、
RWHでの話もよくわかるようになった。
85:デフォルトの名無しさん
14/03/02 21:53:05.39
すまん、なにを馬鹿な質問と思うかもしれんが、教えてくれ。
Wikipedia の「プログラム意味論」の項には、[表示的意味論] の説明として、
> 対象とする言語の語句それぞれを「表示」に変換、すなわち別の言語の語句に翻訳する
とし、
> 例えば、関数型言語の表示的意味論では、領域理論の言語に翻訳する
とある。
その下の派生として、
> 「関数的意味論」または「圏論的意味論」は圏論を基本とした形式意味論である。
とあるけど、Haskellの場合、領域理論の言語では表せない、あるいは表しにくいから、
じゃあ圏論的意味論ではどうかと研究したら、これがよく合っていた、という話なの？
この辺り、Haskellの意味論を勉強したい初心者は、
いきなりの圏論的意味論にとりかかっていいものなのか、
それともまずは領域理論から学んだ方が理解しやすいのか。
86:デフォルトの名無しさん
14/03/02 22:16:59.59
>>85
あくまでも僕の理解してる範囲でだけど
モナドだとかFunctorでうまく型を合わせるためのルール（Funcotor則だとかモナド則）
を理解したいというだけであるならば、型をとりあえず集合だとおもっておいて
圏論の初歩（Awodyよりもっと簡単なぐらいの本でいいんだけどなんかないかな）
を知っていれば十分だと思われる。
一方、Haskellの型推論を改良する方法を提案したかったり、そういうガチの議論を
したかったら圏論に加えてタイプ理論まで学んで、領域理論学ぶといいとおもう。
型がついてない領域理論はいくらでも解説があるんだけど型がついてるやつはよく知らない。
ネットに転がってる奴だと Fiore "Axiomatic Domain Theory in Categories of Partial Maps" 1994
ってのがあってたまーに眺めてるけどcpoなんかの知識必須みたいなんで結局
普通の領域理論をよく知ってる必要がありそう。
87:デフォルトの名無しさん
14/03/02 22:23:48.34
Awodeyより簡単な本だとBasic Category Theory for Computer Scientistsがいい
ちなみに圏論を使ったライブラリを作るとかじゃなければ、勉強してもHaskell書く役には立たないよ
精々ドヤ顔で語れるようになるぐらい
88:デフォルトの名無しさん
14/03/02 22:31:43.87
Ekmett製ライブラリの構造を理解したい場合は圏論的な背景を知っておくのは
大事なんじゃないか感
Free Monad の Free は、まあ単純に「ただで手に入る」の意味だと思ってもいいけど
Freeなんちゃらってのが一般代数における標準的な用語であって圏論を背景にすると
よくわかるものであることなんかは知っておいて損はあるまい
89:デフォルトの名無しさん
14/03/02 22:49:00.61
レベル高いお話中すいませんが、エディタについて教えてください。
Sublime Text 2 の Ctrl-k の挙動が不快なので、
vi か Emacs に乗り換えることにしました。
どっちも簡単なテキスト編集くらいにしか使えないのですが、ちょっとしらべてみたところ、
vi では式中の選択した部分の型を表示することができるそうです。
Emacs では同じようなことができますかね？
ghc-mod を作った山本さんがむかしに、「やり方がわかればできる」的なことをつぶやいていたので、当時はできなかったのだと思うのですが、現在の状況はどうなんでしょう。
90:デフォルトの名無しさん
14/03/02 22:49:32.32
AwodyもPierceの本もモナドまで行かないからそのへんは物足りない
91:デフォルトの名無しさん
14/03/02 23:20:12.13
>>89
俺は emacs 使ってるが、haskell-mode でも型シグネチャの表示はできる。
が、vi のものと同じ挙動なのかは知らん。
トップレベルの型シグネチャが書かれた自作関数か、Prelude モジュール内の関数しか、
型シグネチャがエコーエリアに表示されない。
だから、俺はこの機能が役に立ったと感じたことはない。
カスタマイズの項目を見てると、Hoogleを参照したり、
他のモジュールをロードして型情報を得たりできるっぽいんだが、
やり方がよく分からん。
92:デフォルトの名無しさん
14/03/02 23:31:07.05
sublime使ってるなら操作で戸惑うが可能性のないeclipse fpとか使ったほうが無難じゃないかな
93:デフォルトの名無しさん
14/03/02 23:33:19.60
>>92
> 操作で戸惑うが可能性のないeclipse fp
すまん、思わず笑ってしまった
94:デフォルトの名無しさん
14/03/03 19:10:46.60
Haskell Platformの次のリリースはいつごろなんでしょうか？
URLﾘﾝｸ(trac.haskell.org)
を見ると
2013.4.0.0 Target: November 4th, 2013
とかありますがまだリリースされてないようです。
95:デフォルトの名無しさん
14/03/03 19:26:25.21
>>87
圏論を使ったライブラリに、どんなものがあるのかドヤ顔で語ってよ
96:デフォルトの名無しさん
14/03/03 20:29:50.96
>>95
Ekmettのライブラリはほとんど圏論的なアイデアをつかったものだよ
97:デフォルトの名無しさん
14/03/03 20:51:15.15
>>96
そのライブラリは例えば何に使うの？
98:デフォルトの名無しさん
14/03/04 00:10:03.09
圏論は論文書くときには格好いいけど、コーディングで顔を出してくるとジャマ
99:デフォルトの名無しさん
14/03/04 06:43:27.20
なんだこれURLﾘﾝｸ(politas.jp) ＞元首相が四人も、原発は駄目だ、自然エネルギーに転換しようというのを、
嘘っぱちというほど、わたしは人間不信ではありません。
むしろ四人の元首相がそろって原発は駄目だ、ということに未来を感じます。
この程度の人間が4人も日本国のトップに居たというのは悲劇ですね
失われた20年の元凶だということの裏付けとして、たとえば、素晴らしい能力を持った首相の下で日本がうまくいっていなかったのであれば、
それこそ絶望的状況でありますので、元首相がたが軒並みその程度の能力だったと露見するのは、むしろ歓迎すべきことだと私も思いますね！
100:デフォルトの名無しさん
14/03/04 18:18:21.94
>>99
日本人は電磁波で攻撃されているんだよ。選挙があなたの思い通りにいかないのはそのせい。
上でも出ている通り、圏論の技術を使えば人間の脳内に音声を送り込める。
ekmettのライブラリって、大半は電磁波で人間の精神を攻撃する為のものなんだよね。
>>89
今は出来る
vi…はプラグインが使えないからともかく
VimとEmacsなら、どちらでもghc-modが使えるから型表示なら同じレベルで出来ると思う
URLﾘﾝｸ(www.mew.org)
101:デフォルトの名無しさん
14/03/04 18:36:30.79
パナウェーブか？
マウスパッドを外すとUSBマウスが電磁波を拾って勝手に動く現象は確認してるけど
これって電磁波攻撃なの？
102:デフォルトの名無しさん
14/03/04 21:38:04.62
>> 100
ありがとうございます。
emacsにしました。ghc-modとの連携で型が見えることを確認しました。
emacsからドキュメントを引っ張ってくれるのが快適そうです。
ローカルにあるドキュメントをちゃんとみてくれてる.
ただ、何かbaseパッケージのドキュメントが思い通りに引けないですね。Data.Listとか。
Hackageのアドレスを間違えてしまうようです。
baseパッケージのドキュメントもローカルに落とせばいいんでしょうけど、cabal install base がコケる...
103:デフォルトの名無しさん
14/03/04 21:41:36.75
自分でも何言ってるかわかんないんだけど、
data Hoge a をモナドにしたい。
つまり、instance Monad Hoge where を書きたい。
で、そのとき Hoge a の結果の型aに制約をつけることって出来るかな？Eq aみたいな。
104:デフォルトの名無しさん
14/03/05 03:19:37.47
102ですがghc入れ直したらbaseのも引けるようになりました。
105:デフォルトの名無しさん
14/03/05 04:05:57.55
テレビが一億総白痴化などと半世紀以上前に言われていたわけですが、いやはや全くその通り。
国民はもはやテレビメディアの思うがまま。自分で考えることなど放棄して、きわめて簡単に思考を乗っ取ることができるようになったわけです。
おめでとうございます。若者のテレビ離れ、素晴らしいことですね。
106:デフォルトの名無しさん
14/03/05 06:27:49.09
>>103
できない
107:デフォルトの名無しさん
14/03/06 16:25:22.60
今回のオチ
「これじゃ、浅田真央じゃなくて、朝だ！魔王！だよ～」
108:デフォルトの名無しさん
14/03/06 18:56:37.51
Ord a =>[(a,b)] のfstを使ってソートしたい。
ポイントフリーに書く方法は無いかな？
109:デフォルトの名無しさん
14/03/06 19:19:44.86
sortBy (compare `on` fst)
110:デフォルトの名無しさん
14/03/06 19:33:13.27
>>109
うおおおカッコイイ！Data.Functionていうのがあるんだ…ありがとうございました。
111:デフォルトの名無しさん
14/03/06 19:45:26.22
チョムスキーはチョム好き？
112:デフォルトの名無しさん
14/03/06 23:20:21.74
モノイドがなぜ圏なのか？
113:デフォルトの名無しさん
14/03/07 01:13:09.79
おまえらなんでhaskellやろうと思ったの？
114:デフォルトの名無しさん
14/03/07 02:03:54.10
>>113
ごはん食べてたらイエスキリストが歩いて来て、「Haskellをやりなさい」と言ったから
115:デフォルトの名無しさん
14/03/07 02:05:01.58
>>112
Mを集合とし，M上の二項演算 ＊: M x M -> M が定義されており，
この演算に関する結合法則
a * ( b * c) = (a * b) * c
が成立するときに（M，＊）をモノイドと呼ぶのであった．
さて，いま新しい圏Cを次のように定義する：
Ob(C) := { M }, Arr(C) := { f : M->M | fは準同型写像 }．
id_M に相当するのは恒等写像である．
C=(Ob(C), Arr(C) ) はMをただひとつの対象とし，準同型写像を射とし，これらの準同型写像の合成
を「射の合成」とする圏である．いわゆるホムセットとしてはHom(M,M)だけを考えればよい．
116:デフォルトの名無しさん
14/03/07 04:17:52.88
小泉純一郎もいきなり脱原発とかいって政界にかかわりだすしご乱心としかいえない(´･_･`)
117:デフォルトの名無しさん
14/03/07 04:45:23.61
>>116��ガキの書き込み不要
118:デフォルトの名無しさん
14/03/07 04:57:19.61
ガキじゃない
３０だ
119:デフォルトの名無しさん
14/03/07 06:52:34.73
>>118
爺の書き込み不要。
120:デフォルトの名無しさん
14/03/07 08:15:12.64
何歳ならいいんだよ
121:デフォルトの名無しさん
14/03/07 08:16:32.56
前からもしやと思ってたけど、この顔文字使い出したあたり某氏をask.fmで叩いてた奴なんだろうなぁ
ここじゃなくてask.fmでやれよ、鬱陶しい
122:デフォルトの名無しさん
14/03/07 08:25:36.34
2chでこういう妄想しだすとかなりヤバいな
123:デフォルトの名無しさん
14/03/07 08:32:12.23
同感
こういうやつは
自演だ自演だともいってるんじゃないか？
どうだい？君
124:デフォルトの名無しさん
14/03/07 09:46:06.71
>>121
よくわかりましたね。
俺がask.fmです。
125:デフォルトの名無しさん
14/03/07 10:06:06.43
ask.fm様がいらっしゃったぞ！
126:デフォルトの名無しさん
14/03/07 10:34:18.81
俺がHask.fmだ。
127:デフォルトの名無しさん
14/03/07 14:30:24.63
なんでfindの型は
Eq a=> a->[a]->Maybe a
じゃなくて
(a->Bool)->[a]->Maybe a
なのか。
こういう細かいところにhaskell力の差を感じる。
128:デフォルトの名無しさん
14/03/07 14:46:50.79
自演乙
129:デフォルトの名無しさん
14/03/07 16:36:28.82
依存のアレなせいで、同時に使いたいライブラリがどうしても同時に使えない
130:デフォルトの名無しさん
14/03/07 18:48:50.96
書いたコードに
foo >>= maybe (return Nothing) bar
みたいなコードがすごく多い…
unlessNothing = maybe $ return Nothing
とおいてもいいんだけど、もっと一般的なアプローチは無いかなあ
131:デフォルトの名無しさん
14/03/07 19:01:05.64
自演乙
132:デフォルトの名無しさん
14/03/07 20:32:08.10
すいません、Haskellの勉強が楽しくって、細かい疑問がいろいろと…
レベル低いのはだいたい俺ですw
ところで皆さんはHaskellどうやって勉強しました？
コードひたすら書くだけでしたか。
コードリーディングもした方がいいんでしょうか。
俺のコードは今のところ、関数を持ち回るような構造が少なくって、関数型っぽくない感じなんです。(newtype Hoge a = Hoge {unHoge::a->foo} みたいなのが全く無い)
オススメのコードがあったら教えて下さい。
133:デフォルトの名無しさん
14/03/07 20:53:11.85
うぜぇ
134:デフォルトの名無しさん
14/03/07 21:52:47.79
>>115 サンクス
ネットにある第2回圏論勉強会の動画を見たら、合点できた
135:デフォルトの名無しさん
14/03/08 01:28:08.74
うぜぇ
136:デフォルトの名無しさん
14/03/08 01:44:42.54
>>132
関数型の心を知りたいなら、プログラミングHaskellっていう薄い本を読むといい
薄いのに内容ぎっしりでよく出来た本だと思う
137:デフォルトの名無しさん
14/03/08 01:46:43.47
＜風評被害にすり替える＞ 政府と東電の損害賠償逃れのために「放射能被害」を「風評被害」にすり替える。
その結果が、農作物の放射能汚染と流通。そして国民皆放射能汚染に。
農水省は「食べても安全」という。しかし国民は騙せても、国際社会は騙せない。世界は日本産に疑念を持ち農産物の輸入禁止。
つらぽよしね
138:デフォルトの名無しさん
14/03/08 01:55:11.39
↑コイツに恨まれてんの誰よｗ
何やったの
139:デフォルトの名無しさん
14/03/08 03:25:59.70
>>136
ありがとうございます。その本は持ってなかったです。
140:デフォルトの名無しさん
14/03/08 08:43:16.02
>>130
MaybeTを使うのは？
141:デフォルトの名無しさん
14/03/08 09:20:44.21
原発を感情的に語る人は信用できない。科学的に語ってほしい。
有害な物質が1粒でも入ってると危険だと思ってしまう科学音痴。それが日本人。
ベクレルってのがなんの物理量かもわかってない輩が、わあこの食品からnベクレルも検出されたんですって！
こわい！とか言いながらラジウム温泉につかるのが日本の原風景
142:デフォルトの名無しさん
14/03/08 10:26:53.24
IDを導入して不純物を除去するのが正しい姿勢
143:デフォルトの名無しさん
14/03/08 10:51:18.41
>>141 ということにしたいのですね
144:デフォルトの名無しさん
14/03/08 10:57:31.54
じゃあ科学的に言おう
怖いのは放射性物質だ
ラジウム温泉も飲むと危ない
145:デフォルトの名無しさん
14/03/08 12:30:53.19
飲むとバカになる
146:デフォルトの名無しさん
14/03/08 12:47:09.77
危ないとか言われてもわからんから
人体にもとから付着している微生物とか
ポテトチップやマーガリンの酸性油とかと
比較してくれ
147:デフォルトの名無しさん
14/03/08 13:12:05.20
で、Haskellとどんな関係が？
148:デフォルトの名無しさん
14/03/08 14:45:45.33
ハッスルハッスルとHaskellの関係と同じじゃないか？
149:デフォルトの名無しさん
14/03/08 15:00:46.50
>>146
その危険なモノがいっぱいある生活空間に、さらに東電のウンコが加わるということをご理解いただいてますでしょうか？
150:デフォルトの名無しさん
14/03/08 15:05:31.66
ありゃ、相変わらず精神病に居座られてるのか
ありゃありゃ
151:デフォルトの名無しさん
14/03/08 15:23:07.05
>>146
典型的なバカですね。
像の大きさとアリの黒さを比べるような話だわ。理解できないかw
152:デフォルトの名無しさん
14/03/08 15:34:32.04
1960年代初頭の米ソ核実験による放射性物質由来の放射線量のほうが今回の事故よりはるかに高かった。
これにて定量的に事故の人体への影響はない事がQ.E.D.
同時に反原発派の無知蒙昧あるいは日本への敵意も証明された。
153:デフォルトの名無しさん
14/03/08 15:46:16.64
>>152
日本人は、1960年代初頭の米ソ核実験による放射性物質で、「今も」被曝し続けています
その被曝量は1970年代からほとんど変わってません
それが危険だということで、追加被曝の規制値が決まってました
2011年以降は、その核実験の被曝に追加して東電のウンコが加わりました
URLﾘﾝｸ(p.twimg.com)
154:デフォルトの名無しさん
14/03/08 16:06:00.04
人体への影響はBool型？
155:デフォルトの名無しさん
14/03/08 16:15:45.89
他人に干渉しすぎ
物は爆発するけど人は爆発しないんだから
人は放置してもっと物を弄った方が良いよ
156:デフォルトの名無しさん
14/03/08 16:20:32.47
URLﾘﾝｸ(nyandemosokuhou.blog.fc2.com)
157:デフォルトの名無しさん
14/03/08 16:37:02.75
国家権力の汚れが放射能の形で表れたのだと
158:デフォルトの名無しさん
14/03/08 16:40:10.73
関電原発再開しなよ(´･_･`)どこも被害受けてないじゃん。そしたら関西に会社誘致できるでぇ
159:デフォルトの名無しさん
14/03/08 16:42:36.04
放射能再開しなよ(´･_･`)どこも会社誘致受けてないじゃん(´･_･`)そしたら関西にできる原発でぇ
160:デフォルトの名無しさん
14/03/08 18:01:59.38
すっかり精神病の自己満足スレになったな
それとも劣等感君が荒らしてる？
そういえば、馬鹿丸出し精神病の浅薄信者君、いないしな
さてさて、どうかなあ？
わはは
161:デフォルトの名無しさん
14/03/08 18:13:09.77
放射脳ばかりいる(´･_･`)
162:デフォルトの名無しさん
14/03/08 18:27:39.87
放射脳はモノイドなの？
163:デフォルトの名無しさん
14/03/08 18:29:20.88
関電って原発無いの？
164:デフォルトの名無しさん
14/03/08 18:39:33.09
副作用で放射脳が発生してるな。
165:デフォルトの名無しさん
14/03/08 18:52:45.25
放射脳は、モナド値のコンテキストに含めるべきものなのか
166:デフォルトの名無しさん
14/03/08 21:39:20.97
このスレの除染が必要だな
167:デフォルトの名無しさん
14/03/08 22:13:40.68
除染 = filter (not is汚染)
168:デフォルトの名無しさん
14/03/08 22:16:59.29
原発の設計をhaskellで書けるなら乗り換えようかな
169:デフォルトの名無しさん
14/03/09 02:30:10.10
現在プログラム板のID制導入の投票を実施中です
よろしくお願いします
プログラム板 強制ID制導入に関する投票スレ
ｽﾚﾘﾝｸ(vote板)
170:デフォルトの名無しさん
14/03/09 09:54:37.98
vimって何度入門しても使いやすいと思えない(´･_･`)
(^q^)くおえうえーーーるえうおおおデスヨ！
例のシーンきたーーー(´･_･`)ーーー！おっぱいぷるんぷるん！
進捗最高ーーーウ！フッフゥー！！(´･_･`)
おうどん、ツルツルとかシコシコとかエロすぎるだろう(´･_･`)
vimmer手遅れてる(´･_
171:デフォルトの名無しさん
14/03/10 08:36:17.96
つらぽよ(´･_･`)は甘え
はっきりわかんだよね
172:_
14/03/10 17:05:34.16
ghc 7.8.1 まだぁ
マチクタビレター
Haskell Platform 2014.2.0.0 は幻にならないよう
お願い申し上げます。
173:デフォルトの名無しさん
14/03/10 18:18:52.45
彼女欲しいーーうえーうえーーーおっぽっぽーーーー
アヘ顔真顔マン(´･_･`)
mikutterユーザーこわ(´･_･`)
ナウシカノーパン説
肌色のズボンを履いた少女が触手に絡まれるとかおっさんの歪んだ妄想丸出しであり大変キモい。
ピーパッパ パラッポウｗｗｗ
174:デフォルトの名無しさん
14/03/10 18:19:18.20
すごいHaskell...をいま読んでて、気になって他の本も見てみたけどだいぶアカデミックで入りにくいな
175:デフォルトの名無しさん
14/03/10 18:21:00.91
(´･_･`)tanakh(´･_･`)
ｽﾚﾘﾝｸ(prog板)
こっちでやれ
176:デフォルトの名無しさん
14/03/10 19:00:10.91
モナド(予定調和)というキーワードを識閾下へ刷り込むためのヤツらの工作
177:デフォルトの名無しさん
14/03/10 19:16:07.80
>>175
こんなスレあったんかワロタ
178:デフォルトの名無しさん
14/03/10 22:33:19.29
こいつのtwitter見てみたら、キモすぎて吐き気がした
179:デフォルトの名無しさん
14/03/10 23:05:55.67
被爆の症状という可能性は！
180:デフォルトの名無しさん
14/03/10 23:06:36.63
>>178
なんでそぅぃぅことぃぅの？
181:デフォルトの名無しさん
14/03/11 05:07:26.98
フォロワー５８００人やで
182:デフォルトの名無しさん
14/03/11 05:43:04.61
ブロックした
183:デフォルトの名無しさん
14/03/11 06:20:42.39
>>175
スレストされてるやん
184:デフォルトの名無しさん
14/03/11 07:08:00.98
【アベノミクスまとめ】
・実質賃金低下
・倒産件数増加
・経常黒字過去最小
・経常赤字過去最大
・鉱工業生産マイナス
・生活保護過去最多
・完全失業率増加
・住宅着工件数減少
・国富600兆円消失
・非正規の割合増加
・国の借金過去最大
・休業や廃業をした企業、過去最多
＋
・物価高騰&増税ラッシュ
・外国人労働者大量輸入
・安倍｢移民受け入れ議論を｣←NEW!
「景気回復を実感していない」８１・０％
185:デフォルトの名無しさん
14/03/11 10:27:14.38
【甘利再生相】
「経済の好循環に非協力的なら、経済産業省から何らかの対応（春闘・賃上げについて）」
ついに脅しか（笑
国民にむりやり景気回復を嘘でも実感させないといけないから、安倍君もこの点でこないだから必死
本当の目的はすべて憲法改正だろwwww
もちろん「賃上げ分は全部増税で回収させて頂きます」ってちゃんと言えよww
186:デフォルトの名無しさん
14/03/11 12:49:14.10
プログラム板の数あるスレから、なぜここが選ばれたんだろうか・・・。
187:デフォルトの名無しさん
14/03/11 13:55:09.18
安倍晋三の自画自賛には今更ながら腹が立つ。被災住民が苦悩の声を絶やさない事実にはひと言も触れないで、政府事業の成果を並べたてる。
国民が知りたい復興予算に関わる質問には「数字については差し控えたい」と、答えない。
無意味でつまらぬ記者会見だ。
188:デフォルトの名無しさん
14/03/11 14:30:36.04
最近田中さんの可愛さレベルが上がって癒されます(((o(*ﾟ▽ﾟ*)o)))
189:デフォルトの名無しさん
14/03/11 15:31:16.64
なんで政治の話してるの？ネトウヨって奴か？
190:デフォルトの名無しさん
14/03/11 15:34:15.49
やはりスゴい総理の記者会見だな。
今ぶつけられたハズの記者の質問に、 読み上げて答える安倍。
あらかじめ用意された質問に あらかじめ用意された答え。
いいのか、これで、 マスコミ、国民のみなさん！
想定質問じゃないの？
191:デフォルトの名無しさん
14/03/11 15:55:54.16
朝日新聞の御用学者ワロタ(´･_･`)…。
はあ、また日本が国際的に孤立するおそれだよー
あのさあ…(´･_･`)
(´･_･`)～～～
戦艦クパァ(´･_･`)
真っ赤なお目目の夕立ちゃんと朝立ち提督
理系女子離職率低いんですか(´･_･`)！？ぜひ僕に永久就職して下さい！！
Macってこういう頭のおかしい人が目立つからどうしてもあれに見えちゃう(´･_･`)
アナニーで肛門壊しちゃったん？
肛門は大事にせなアカンよ(´･_･`)
192:デフォルトの名無しさん
14/03/11 16:05:21.55
この人が日本最高のHaskellの権威なのか…
193:デフォルトの名無しさん
14/03/11 16:11:41.09
>>187
自画自賛よりも、「積極的平和主義」とかわざと言葉を柔らかくして国民受けしやすくしたり、国民にすりよる政策を出してみたりとか、
もうやること言うことがあからさまなんだよね。
自民党って昔からこんなだったっけ
それでもすっかり踊らされ騙され続けるこの国の民意とか、もうね
194:デフォルトの名無しさん
14/03/11 16:53:24.04
これを百回音読してから発言してみようか？
"関数型プログラミング言語Haskell Part25"
195:デフォルトの名無しさん
14/03/11 17:05:50.85
今すぐフォローすべき競技プログラミング界のスーパーエンジニア(´･_･`)日本最高のHaskellの権威
196:デフォルトの名無しさん
14/03/11 17:44:06.51
ID導入される前のあがき
197:デフォルトの名無しさん
14/03/11 20:17:04.87
さてHaskellで経済復興プログラムを書くとするか
198:デフォルトの名無しさん
14/03/11 20:25:22.32
[´･_ つらぽよ
199:デフォルトの名無しさん
14/03/11 21:21:35.37
haskellでSTAP細胞の実在を証明したよ
200:デフォルトの名無しさん
14/03/11 21:25:49.25
過酷事故は無いと言いながら過酷事故は起きたし、
メルトダウンは無いといいながらメルトダウンしてたし、
当初の予想より放出放射性物質は多かったし、
除染は予定よりはるかに長期化しそうだし、
汚染水は想定外の駄々漏れだ。
こういう場合、「次は大丈夫♪」と言われても信じられないのがマトモな人間。
201:デフォルトの名無しさん
14/03/11 22:21:35.62
Int->Intの射って、同じ対象に出入りしているから、idと同じってこと？
202:デフォルトの名無しさん
14/03/11 22:25:19.84
はあ？
203:デフォルトの名無しさん
14/03/11 22:36:36.69
(+0)は、idと同じ？
204:デフォルトの名無しさん
14/03/11 23:06:17.09
Int->Intが観測されるまでidの型a->aは確定されない
このクッソ卑怯な型を多相型と呼ぶ
205:デフォルトの名無しさん
14/03/11 23:07:44.66
>>203
id :: a -> a だけど (+0) :: (Num a)=> a -> a なんじゃね
206:デフォルトの名無しさん
14/03/11 23:38:18.54 VlWTrHOM
>>205
ごめん、言葉が足りなかった
圏論的に同一の射とみなしてよいのか疑問だった
207:デフォルトの名無しさん
14/03/11 23:41:28.81 WxBI9en1
Int->Intがidだとしたら、(+1)もidだぞ。
208:デフォルトの名無しさん
14/03/11 23:49:12.90 pSVgGjcw
ただ一つだけ存在するのがidだから、(+0)や(*1)は違うのではなかろうか
209:デフォルトの名無しさん
14/03/12 00:30:00.75 g6sc7Znw
うわっ、噂をすればidだ…。
210:デフォルトの名無しさん
14/03/12 00:32:22.51 OIAwHUr3
ある対象について恒等射は一つって縛りあったっけ
211:デフォルトの名無しさん
14/03/12 00:38:35.55 g6sc7Znw
Intに限定すれば、idも(+0)も(*1)も全部計算の内容が同じだから、
これらはすべて対象Intに対する恒等射という認識でよいのかな？
212:デフォルトの名無しさん
14/03/12 00:58:10.84 dxl17P8+
>>206
具体型（例えば 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 のような自然変換こそが，この自己関手圏では『射』になるわけです．
213:デフォルトの名無しさん
14/03/12 03:19:43.42 +98sNYO5
>>208
(\x -> (+ (x * 1) 0))
214:デフォルトの名無しさん
14/03/12 03:31:58.42 VUk1T4y9
213見て思ったけど
HaskellをS式で書こうって動きはないの？世界はS式で表現されてるんでしょ？
215:デフォルトの名無しさん
14/03/12 05:45:42.46 nlQOiEcJ
報ステ『福島の甲状腺がん』「まだ放射能のこと気にしてるの？
心配してたら前に進めないじゃない」「切れば治るんでしょ。
死ぬわけじゃないじゃない」甲状腺がんで手術を受けた子どもの親が受けた心ない言葉。
まさに、安倍首相が推し進めている「放射能なんか気にせず復興せよ政策」そのもの。同じだ。
216:デフォルトの名無しさん
14/03/12 06:03:49.53 UBsjXNIm
>>206は、
id :: Int -> Int
と
(+0) :: Int -> Int
が同じ射か、と聞いてるんじゃないの？
Hask圏では、二つの関数が外延的に同じなら同じ射とみなすので、
(id :: Int -> Int)と((+0) :: Int -> Int)は同じ射
217:デフォルトの名無しさん
14/03/12 06:04:44.50 X19oUDrR
そもそも原発事故が起こる前、原発を50個以上もって電力が有り余っているのに
電気代は下がらないで新しい産業は生まれずにメーカーは競争力を失って海外へシフト、
景気も悪くなっていたのに、原発を再稼働させたら景気がよくなるなんて誰が信じられるんだ。
218:デフォルトの名無しさん
14/03/12 06:22:26.77 q1L4v0cg
[´･_ 原発再稼働はよ
219:デフォルトの名無しさん
14/03/12 06:52:45.64 q1L4v0cg
クレイジーアンチ原発
きのこの山は卑猥すぎ(´･_･`)
埼玉県になんで貧乳の人が集ってるの？
ペログラミング(´･_･`)
射精管理に闇を見た(´･_･`)
レズプレイの画像検索結果が想像よりはるかにグロくて、おもてたのとちがう(´･_･`)…
220:デフォルトの名無しさん
14/03/12 07:37:38.11 q1L4v0cg
いやあ、お風呂シーンって、本当にいいものですね！
おっさんがいっぱい登場し始めてからおもろくなってきた(´･_･`)
一人前のレディーな彼女できんかなー(´･_･`)
(´･_･`)「その研究、どこらへんに新規性あるんです？（机に足を乗せながら）」
（インストールが）つらぽよLinux
女子高生とペ○○ロ(´･_･`)！？
金で買った愛なんていらないって思うのって、おかしいですか？(´･_･`)
彼女ほしみ(´･_･`)
彼女 is ほしい。
黒髪ツインテールで頼む！
新人女子プログラマの野田さんかなりの貧乳(´･_･`)
221:デフォルトの名無しさん
14/03/12 07:59:46.50 WMGyFakn
こいつ金持っているのにネットで乞食やっててウザ
ブロックしているのにリツイートで目に入ってウザ
給料多いしか取り柄ないのに金目当てじゃない彼女が欲しいとか
無理に決まってんだろ
222:デフォルトの名無しさん
14/03/12 08:15:50.15 IwUTQVaz
自分が論理的思考ができる頭のいい人間と思い込み
確証バイアスにかかっていて、反対意見の人間を馬鹿と見下し、
頭の悪い彼女はお断りなんて平然と言い放つ
ゴミ屑の彼女になりたいなんて思う人間がいるわけないだろ
223:デフォルトの名無しさん
14/03/12 08:18:28.70 IwUTQVaz
自分から馬鹿とは付き合えないって振っておいて
愛が貰えなくなったなんて泣き喚く
こいつのつらぽよは甘え
本当につらぽよの人に失礼だわ
224:デフォルトの名無しさん
14/03/12 08:22:40.91 Q695KHZr
こいつの発言見てると論理が穴だらけで面白いな
225:デフォルトの名無しさん
14/03/12 08:32:29.31 IwUTQVaz
愛が貰えなくなったのは
本人が論理的思考と思い込んでいる確証バイアスによって
相手を馬鹿と見下しつづけたのが原因なのに
それに気づかないんだな
226:デフォルトの名無しさん
14/03/12 12:46:56.28 dxl17P8+
>>216
なるほど， id :: Int -> Int と (+0) :: Int -> Int を外延的に比較すると
確かに同じですね．
Hask圏においては射を数学的な関数と同一視する（評価の過程を問題にせず
結果だけを問題にする）のが議論としては自然（圏論の性格として）かなぁと
思いますが，例えば
foo :: Int -> Int
という関数が，foo x = x （全ての x::Intに対して） となっているけど
foo 3 を計算すると，これが 3 に簡約されるまでに数兆ステップ必要であるような
，そんな定義を（ちゃんと考えてないけどアッカーマン関数なんかを参考にして）
与えた場合，foo と id :: Int -> Int を「同じ」とみなすのは，Haskellの抽象化としては
大事なところを切り落としてる気がしてもにょりますね．
まあでも計算のコストをばっさりと切り落としてるからうまく圏論の道具立てが
利用出来てるわけか…
227:デフォルトの名無しさん
14/03/12 13:10:56.03 cs5b7Elf
生理？
228:デフォルトの名無しさん
14/03/12 20:37:01.03 /BWgd4aZ
Int->Int の id は (\x -> (+ (x * 1) 0)) です
229:デフォルトの名無しさん
14/03/12 21:20:23.47 cs5b7Elf
(\x -> head ([x] :: [Int]))
230:デフォルトの名無しさん
14/03/13 09:20:17.49 gSsLORP8
[´･_ つらぽよ
231:デフォルトの名無しさん
14/03/13 18:44:25.43 7e00VUBl
tanakhって人のツイート見てイライラするのしか流れてこないから精神衛生上ブロックするのが正解かも知れない
232:デフォルトの名無しさん
14/03/13 18:49:13.53 J/W7t8A1
ask.fmの異常者って指摘されたら開き直ってんのこいつ？
自分もそうだから匿名がどーとは言わんが
コテすら付けられんのによく自分の発言に持続的な正当性が保てると思い込めるな
233:デフォルトの名無しさん
14/03/13 19:04:01.30 zB75bADp
そういやしきりに、整形したいって言ってたなあ。
自分の自信の拠り所を、容姿に求めるのが、彼女なりのベストだったんだろうか。
僕はそんなことしなくていいよって言い続けてたんだけど、承諾すべきだったんだろうかなあ。はー(´･_･`)…
整形したがってたことまでネットでばらす鬼畜ぶり
234:デフォルトの名無しさん
14/03/13 19:09:17.16 CaYg5ieJ
[緩募相談] 別れた元彼女が同居していて、出て行きたくないって言うし、
なら僕が出ていきたいのだけど、この家の契約僕の名義だから、そうにもいかないし、
そんでもって、このことが僕の精神の平静にとても悪い影響を与えているのですが、
どうすればいいのでしょうか？八方塞がりです。
>>232
そういうセリフは相手が見ていないところで一方的に悪者にしたてる奴にこそふさわしいんだわ
235:デフォルトの名無しさん
14/03/13 19:13:59.63 uWeBI0Do
後でネットで色々書かれるのに
彼女になりたい人間なんているわけないわな
236:デフォルトの名無しさん
14/03/13 20:20:36.22 iDH97taz
>>232
反応してくれる馬鹿がいるからだろ
237:デフォルトの名無しさん
14/03/13 20:39:18.41 RHnwVSO1
自分以外にも何人かキモイって思っている人いるみたいだな
>>178
とか
238:デフォルトの名無しさん
14/03/13 21:09:52.95 gv7wvflh
いくらキモいからってあんまりキモいキモい言ってやるなよ
239:デフォルトの名無しさん
14/03/13 21:10:31.00 WSmoE+6O
>>231->>237
暇人だな
240:デフォルトの名無しさん
14/03/13 21:32:14.46 jv0jHeeP
強制ID制導入大成功
241:デフォルトの名無しさん
14/03/13 21:48:20.64 gv7wvflh
単発ばっかじゃねーか
242:デフォルトの名無しさん
14/03/13 22:57:56.29 jv0jHeeP
>>241
ID導入する前は自演のし放題だったんだから随分良くなったんだよ
243:デフォルトの名無しさん
14/03/13 23:08:19.89 kuXKQCZl
日本で最高のHaskellの権威なんだから
おまえら雑魚が何を言おうが痛くもかゆくもないだろ
244:デフォルトの名無しさん
14/03/13 23:58:01.88 Bc08eiVe
もともと下らん話しかしてなかったんだし、こんなもんだろう
245:デフォルトの名無しさん
14/03/14 01:07:00.36 C9WoYF6Q
>>243
その権威を認める人ってどれくらい存在するの？
独学で門外漢の俺には誰なのかさっぱり分からないのだけど。
そもそもHaskellユーザー（入門書を購入して学習中の人を含む）は
日本にどのくらいいるのかな？
Haskell関連の書籍が数冊出てるから最低でも5千人以上だと
見積もってるのだけど。
246:デフォルトの名無しさん
14/03/14 07:39:18.54 EVWOWCoM
さすがに「日本で最高のHaskellの権威」なんて本気で言ってるやつは居ないだろうよ
247:デフォルトの名無しさん
14/03/14 08:03:45.68 S6m24eAb
最も精通している人の一人であることは間違いないけどな
権威かどうかは知らんw
248:デフォルトの名無しさん
14/03/14 08:28:27.56 1fGwlZ7n
一般人に知られてないのは仕方ないけど
専門家で知らないのはやばいだろ
249:デフォルトの名無しさん
14/03/14 09:24:25.95 EVWOWCoM
日本で最も精通している人でも、糞設計かつメモリリーク起こすようなアプリしか書けない言語なのか
250:デフォルトの名無しさん
14/03/14 09:34:55.44 C9WoYF6Q
>>247-248
Haskell本の翻訳者（と共著）の名前なら何人か知ってるが、
その人たちの一人なの？
それとも学会で活発に活動してる人？
何にせよHaskellは使ってるけど専門家ではないから検討もつかん。
>>249
遅延評価が特徴の一つで、ある種のメリットとして宣伝されてたのに、
それが弱点になるって何の冗談かと思うよな。
251:デフォルトの名無しさん
14/03/14 09:41:00.99 EVWOWCoM
>>250
翻訳者の一人
252:デフォルトの名無しさん
14/03/14 09:41:47.59 DoHwSlSh
スペースリークが扱い難いのはしょうがないんじゃないか？結局、銀の弾丸は無い、ってことで。
まあもうちょっとノウハウの蓄積とかプロファイラとかの支援とかは欲しいけどね。
253:デフォルトの名無しさん
14/03/14 10:45:15.10 mo5uPKBu
フランスＦＲ３放送 「フクシマ・地球規模の汚染へ」
和訳全文
「癌はチェルノブイリ事故後に現われた病気の10%に過ぎません」
「多かったのは心臓病です」
「セシウムは体内に入ると、すい臓と心臓に溜まるからです」
254:デフォルトの名無しさん
14/03/14 11:55:54.95 Iy0EdXev
汚染水漏れを気にしないんだから
スペースリークなんて問題でもなんでもないんだろ
255:デフォルトの名無しさん
14/03/14 13:29:44.20 eF6WORZA
>>249
糞アプリってどれよ
256:デフォルトの名無しさん
14/03/14 20:36:53.83 C9WoYF6Q
>>251
ありがと。
ＩＤから察するに、すごいHaskellの翻訳者かな？
そういえばHaskell本で日本人著者ってあまり無いよな。
Haskell(関数型プログラミング言語)を使う上での設計論とか
読んでみたいので、誰か書いてくれないかな・・・。
257:デフォルトの名無しさん
14/03/14 22:10:07.69 f4LPa8y8
>>140
なるほど、こういう時にモナドトランスフォーマを使うんですね。
"Nothing"なら何もしない、のはMaybeの>>=の能力だから、それを混ぜてやればよいと。
URLﾘﾝｸ(sites.google.com)
の最後の例のawaitIntDoubleの型を見て、なんだか不自然だなあ、と敬遠していたのですが、maybe関数を濫用するよりずっと良いのでは、と思い直しました。
258:デフォルトの名無しさん
14/03/14 22:36:27.13 wb5Uk6xM
[´･_ すごいHaskell増刷ぽよ
259:デフォルトの名無しさん
14/03/15 01:53:09.50 IY8Y+X8s
IDが出るようになってムキになってる奴が笑える
260:デフォルトの名無しさん
14/03/15 01:58:21.52 XrfJgLPH
ID出るようになって荒らし連投ができなくなって生きがいを失った人が
鬱にならないか心配だ(´･_･`)
261:デフォルトの名無しさん
14/03/15 03:07:59.54 xTtOlqyi
沖縄電力は原発ゼロでも料金は本土とかわらない
東電の子会社と三菱商事が共同出資、オマーン産ＬＮＧの購入販売権を持つセルト社。
同社は米国向けに百万ＢＴＵあたり２ドルで販売する一方、
東電には９倍も高い１８ドルで販売しているなどの問題が、燃料費が高くなる原因に。
東電は自分の子会社にLNGを安く仕入れさせ、米国向けの９倍で販売。
子会社はぼろ儲け、東電が高く買った燃料費は高額な電気料金として消費者にまわされる。
262:デフォルトの名無しさん
14/03/15 14:21:36.38 n/4F4bsU
>>261
日本の会社が採掘して、日本の会社が輸送して、日本の会社が精製する燃料が高くなって困る理由を知りたい
263:デフォルトの名無しさん
14/03/15 14:27:08.88 xMKbF4ZO
燃料費調整制度とかかな？
まあ震災後の料金高騰とはあまり関係ないだろうけどね
264:デフォルトの名無しさん
14/03/15 18:29:25.95 8+JReWcq
日本は世界の財布だからね。ろくに交渉もせずに燃料調達しても、電力会社の客は黙って払ってくれるし。
ほんと、つくづく騙され通しのバカ国民やで
265:デフォルトの名無しさん
14/03/15 18:39:55.80 n/4F4bsU
交渉してないから高いのか、交渉した上で日本側がわざと高くしてるのか…
266:デフォルトの名無しさん
14/03/15 19:06:34.32 pkYJqNl6
[´･_ 原発作れば沖縄の電気代はもっと安くなるぽよ
267:デフォルトの名無しさん
14/03/15 21:42:09.30 uqSkr2h0
>>265
軍事力無いのに、交渉出来るとでも？
「近代国家の出現理由」でも読んどけ。
268:デフォルトの名無しさん
14/03/15 22:08:41.88 2csxnBLE
Emacs+ghc-modで、
flymakeをすり抜けるのに、ghciにロードすると捉えられるエラーがあるんです。
俺の環境がおかしいんですかね？
269:デフォルトの名無しさん
14/03/15 22:13:24.04 wuAf6USw
決裂してもいいやって思ってる方が交渉に強い
成果主義じゃない方が強い
コンパイルエラーになれば成果がゼロになる
そのまま実行すれば一部の機能は利用できたかもしれないのに全否定する
270:デフォルトの名無しさん
14/03/16 04:01:24.57 /hEfGrro
>>269
なるほど、そういう理由でしたか。納得しました。
ありがとうございました。
271:デフォルトの名無しさん
14/03/16 04:12:30.01 eTk+n+s+
>>267
日本にないのは憲法に規制された軍隊
規制どころか自国の憲法に記述すら存在しない軍隊なら日本にある
近代国家は憲法とともに誕生して、リバイアサンを縛るために構築されたのが憲法という近代国家の出現理由を知っていれば、諸外国にとってどっちが怖いかは分かるよね？
272:デフォルトの名無しさん
14/03/16 07:42:04.07 Ws8t8exA
強制ID制導入大成功（）ですね
273:デフォルトの名無しさん
14/03/16 09:48:59.38 ThPC1gUr
日本は自衛の為に核武装して世界征服を行っても良い*\(^o^)/*
274:デフォルトの名無しさん
14/03/16 10:54:35.74 BrpHwjMD
>>272
連投のスピードが落ちただけでも満足だよ
275:デフォルトの名無しさん
14/03/16 16:07:11.79 Ws8t8exA
へえ、そうなんだ。ふーん
276:デフォルトの名無しさん
14/03/16 18:37:18.33 sQjHbYps
自分より頭のいい彼女なんて作ったら
毎日馬鹿にされるだけぽよ(´･_･`)
277:デフォルトの名無しさん
14/03/16 18:39:16.91 sQjHbYps
つらぽよの人は論理的思考が出来ないから
頭のいい彼女なんかと付き合ったら馬鹿にされて
もっとつらぽよになるだけぽよ
278:デフォルトの名無しさん
14/03/16 20:14:10.42 Ws8t8exA
本人はできてると思い込んでるんだよ。かわいそうに
279:デフォルトの名無しさん
14/03/16 23:30:27.09 q3AwgkM6
すごいHaskellたのしく学ぼう!
プログラミングHaskell
一冊目はどっちのほうがいいでしょう？
280:デフォルトの名無しさん
14/03/16 23:42:38.21 WhItnnMY
>>279
プログラミングHaskell
281:デフォルトの名無しさん
14/03/17 00:17:59.59 Ka5Fbj25
原発事故直後から東電の記者会見でフリーランスがメルトダウンについて質問をすると、
記者クラブの連中は「また、メルトダウンの質問か、ひつこいぞ！」と罵声を浴びせていた。
2ヶ月後やっと東電がメルトダウンを認めるとメディアは「メルトダウンの可能性を心配していた…」とぬけぬけと
282:デフォルトの名無しさん
14/03/17 00:32:17.88 3w0r/EDw
>>280
ありがとうございます
そっちのほう買ってみようと思います
283:デフォルトの名無しさん
14/03/17 01:58:45.67 VskRvAz9
(>) `on` fst
と
(<) `on` snd
を(&&)で合成したいのですが、うまくできません。
一引数関数なら関数アプリカティブに突っ込めるのに…
二項演算子の合成ってやりにくいんでしょうか。
284:デフォルトの名無しさん
14/03/17 06:57:59.85 Ma1CI2y7
やりにくいね
一応
liftA2 (&&) <$> ((>) `on` fst) <*> ((<) `on` snd)
みたいに書けるけど、俺ならラムダで書く
¥(x0, y0) (x1, y1) -> x0 > x1 && y0 < y1
285:デフォルトの名無しさん
14/03/17 09:37:25.51 Ka5Fbj25
>>282
[´･_ すごいHaskellにするぽよ
286:デフォルトの名無しさん
14/03/17 17:45:16.34 eTzj72lP
>>279
質問とは関係ないけどその二冊はオーム社のサイトで電子版が紙版よりちょっと安くうってるよ
287:デフォルトの名無しさん
14/03/17 20:45:20.68 Op94R4SR
すごいH本は電子版だけカラーなのでカラーオススメ
288:デフォルトの名無しさん
14/03/17 22:28:01.56 3w0r/EDw
けっきょくどっちがいいんですかね
289:デフォルトの名無しさん
14/03/17 22:37:40.44 y+URzG55
それくらい両方買えよ。
290:デフォルトの名無しさん
14/03/17 23:04:22.80 OyLyet8i
>>288
「ラーメンと中華まんはどっちが美味いか」みたいに馬鹿げた質問
291:デフォルトの名無しさん
14/03/18 00:13:54.01 oMQpjzAC
>>290
ステップアップコース学習 :: プログラミングHaskell -> すごいHaskellたのしく学ぼう!
-> Real World Haskell -> 関数プログラミングの楽しみ -> 中級者
ショートカットコース学習 :: すごいHaskellたのしく学ぼう! -> Real World Haskell -> 初級者
292:デフォルトの名無しさん
14/03/18 00:51:35.75 zbaDTS5N
今更RWHなんて読む価値ないだろ
293:デフォルトの名無しさん
14/03/18 00:55:47.25 6BNvI/8X
そういうクサれた台詞は代替になる本を挙げて言えよ
294:デフォルトの名無しさん
14/03/18 00:58:18.88 M0J6WBGb
章による>RWH
295:デフォルトの名無しさん
14/03/18 01:07:14.12 y0jvz8+J
入門としては RWH も有りなんじゃないの。
情報収集してそこからの差分を理解していく必要はあるけど。
296:デフォルトの名無しさん
14/03/18 01:59:02.99 uD7Cy8D4
関数プログラミング入門をお勧めしとく。教科書。
297:デフォルトの名無しさん
14/03/18 07:25:31.10 RhgFPmuN
>>284
まさにそれが求めていたものです！
(x,y) -> (x,y) -> Bool
を
(x,y) -> ((x,y) -> Bool)
とみて、二回リフトする、と。
まあ、おっしゃる通りラムダにした方が読みやすいですね。
298:デフォルトの名無しさん
14/03/18 07:30:24.37 RhgFPmuN
> RWH
現在では古くなってる部分をkazu-yamamotoさんがまとめていらっしゃいましたよ。
URLﾘﾝｸ(d.hatena.ne.jp)
299:デフォルトの名無しさん
14/03/18 08:30:19.37 zbaDTS5N
>>293
解の存在を確かめずに消去法使っちゃう人？
300:デフォルトの名無しさん
14/03/18 10:29:55.93 POOpIYqK
論理的思考能力の訓練が必要だ
301:デフォルトの名無しさん
14/03/18 12:04:56.11 PZmjAVtz
純粋関数型の本はあんまり面白くない
パラダイムの本って論理的じゃないし
型推論の本を読みたい
302:デフォルトの名無しさん
14/03/18 13:09:44.59 kXrl8oNi
>>299
消去法を進めた後の行列の形で解の数が分かるのだが
303:デフォルトの名無しさん
14/03/18 13:51:35.25 POOpIYqK
うむ
304:デフォルトの名無しさん
14/03/18 14:04:18.44 oMQpjzAC
Haskellが実用的な汎用言語であるなら、もっと応用重視の本も必要だと思う。
例えば”Haskellで作るWebサービス”とか、”Haskellで作るGUIアプリ”とか、
CやJava系に沢山ありそうな本もないとなかなか普及しない。
305:デフォルトの名無しさん
14/03/18 14:30:05.52 UBk2tVSE
URLﾘﾝｸ(www.at-douga.com)
306:デフォルトの名無しさん
14/03/18 15:12:15.73 POOpIYqK
>>304
Yesodの本があるが、残念ながら…
307:デフォルトの名無しさん
14/03/18 21:23:59.81 UBk2tVSE
2011年3月の原発爆発の数日後から、１２０ｋｍ離れた茨城県でプルトニウムを大気中に検出っていうデータが、
３年過ぎていまごろ、英文で有料公開されたとさ。庶民は何も知らされずに浴びっぱなし。
誰だっけ「プルトニウムは重いから飛ばない」とかいった”科学者"
308:デフォルトの名無しさん
14/03/19 08:33:16.39 xzD/036Z
>>307
アインシュタイン以前の力学だけを用いて重力すらもも否定するのが本当の科学者ですよ
309:デフォルトの名無しさん
14/03/19 11:01:16.63 7lx2Abqw
放射脳のおかげで火力発電所に頼る羽目になって空気汚しまくってるわけだが、どう責任取るつもりなの？
310:デフォルトの名無しさん
14/03/19 12:46:30.35 MSw2hAC3
cabal install diagrams
しようとして、拒否されてしまいます。
それが依存しているarithmoiパッケージが、arrayパッケージ<0.5を要求しているのですが、
ghcに付属してくるarrayが0.5なのです。
このような状況で、"ghcのバージョンを落とす"以外に何かできることがありますでしょうか？
311:デフォルトの名無しさん
14/03/19 13:49:09.34 pgTJKr0l
>>310
あなた以外では解決できません
理由はわかるよね？
312:デフォルトの名無しさん
14/03/19 16:04:10.44 9o9cKjtD
>>309
その時は地球温暖化太陽活動説を支援して人為的地球温暖化説を排除すればいいだけの事。
科学者ですら意見が定まっていないのだよ。
313:デフォルトの名無しさん
14/03/19 16:26:34.96 GobED1Mv
太陽の活動をコントロールするよりは地球の人口を半分にする方が簡単だ
314:デフォルトの名無しさん
14/03/19 16:53:38.13 7lx2Abqw
>>312
温暖化だけの問題じゃないだろ
315:デフォルトの名無しさん
14/03/19 19:02:46.53 uuz1UwWR
>>307
ラルフ・ルイス・ウッズ
>>310
Oracleに問合せたら「ID:pgTJKr0l以上の賢者は1人もない」って返ってきたよ。
ライフワークなんだと。成し遂げて欲しいね。
URLﾘﾝｸ(ja.wikipedia.org)
316:デフォルトの名無しさん
14/03/19 19:24:43.22 xzD/036Z
>>309
CO2を排出してはいけないので、CO2を大量に排出して原発を作って、CO2を大量に排出してウランを濃縮して、大量の放射性物質を太平洋にぶちまけました
めでたし、めでたし
317:デフォルトの名無しさん
14/03/20 00:07:04.41 XiIM2HyK
従業員をクビにして再就職支援をすれば、企業に助成金が出る―。そんな制度が、2014年3月から大幅に拡充されそうだ。
これは「労働移動支援助成金」という制度で、離職を余儀なくされる従業員に「再就職支援」をあっせんするため、リストラをする企業に国がお金を出す。
これまでは中小企業が対象だったが、拡充後は大企業も支給対象になる。
「リストラ対象者が置き去り」の指摘も 再就職が決まれば、支援会社への委託費用のうち最大60万円が支給される。
決まらなかった場合でも、再就職支援会社に「頼むだけ」で10万円が支給される。
企業が従業員のクビを切り、再就職支援会社を紹介しさえすればお金をもらえるしくみだ。
企業のリストラコストの一部を国が負担してくれる構図だが、この制度にはネット上で大きな疑問が投げかけられている。
「社員を1人クビ」で最大60万円 「おいしすぎる助成金」に批判集中 2014年02月25日
318:デフォルトの名無しさん
14/03/20 00:48:30.82 kPduFz+j
>>317
ネット上（）で大きな疑問（）
319:デフォルトの名無しさん
14/03/20 01:28:36.95 nt6YYgOs
|| !| │ ,.-─‐-.､
＝||＝!| │ /:::::::::::::::::::::ヽ
|| !| │ |:::: ::::::::::::::::::::::ｌ
|| !| │ |::: ::::::::::::::::::::::::!
＝||＝!| │ |:::::::::::::::::::::::::::::ｌ
─.─.┤ | !:::::::::::::::::::::::::lｉ:|ﾆﾆﾆﾆﾆ.､
| .! !:::::::::::::::::::::::::l|::|￣￣.!| |.!
| .! ､r, /|::::::::::::::::::::::::lｌ.,7:! .!| |.!
||｀ｰ|.￣ 丁￣|＼ ´ﾐ《 |:| !:::::::::::::::::::::::l|.l|:.:.!＿｣.! !.!
＿_||二二二]|__ || | .!| !::!|:::::::::::::::::::::├.|:.:.::l─´. !.!
||￣￣￣￣￣.!l ｀ヽ !、 |l/:.:.:|:l|::::::::|!:::::::ll|::l|:.:.:.:|＝ｺ|.|
|| l三三l || ,_｣_＿__!l_:.:.:|:|.!:::::::|l!::::::|l:.:||:.:.:.::l'丑丑|ﾆl___,'ﾆヽ_＿_
||.==========!l '‐┬┬‐─ヽ|ll_|__:_!|:∟:!:.::l‐!:.:.:.::l.───┬┌′
|| l三三l || | ／丁´／:.:.:.:.:.:.:.:.:.:.:.:.｀ヽ!:.:.:.:.:!￣￣￣￣丁ヽ､|
||==========:!| | !.| | / ::/ .:.:.:.:.:.:.:.:.:.:.:.:.:.:ヽ:.::_│ ! | |
|| l三三l !l .| !.! ||､:::.!:.:.:.: :.:.:.:.:.: :.:.:.:.:.:､:｀＜ヽ, .! ! !
||----------|.! ＿__,| !.|_メ´丶､:: ::::::::::::, -‐─､:ヽ:::::｀＼ ヽ .| l _
￣￣￣￣￣￣￣ ｰ'"∟ ､┴-､:_:_;:-l＿____, -ｰ‐‐‐‐' ´ ｀ー'
320:デフォルトの名無しさん
14/03/20 12:13:05.19 O5yt2ud4
>>314
日本の火発のばい煙は基準値の100分の1。
中国製と違って空気を汚すことはない。
321:デフォルトの名無しさん
14/03/20 21:55:39.99 s60Y4j2W
>>320
基準は中国ですか
322:デフォルトの名無しさん
14/03/20 23:15:36.61 kPduFz+j
問題は燃料費だろ。電気代値上がって、何人の中小経営者が自殺したことやら
323:デフォルトの名無しさん
14/03/20 23:27:03.00 s60Y4j2W
>>322
事故対策積立が嘘だったんだから、除染費用で電気代が上がるのは仕方がない
324:デフォルトの名無しさん
14/03/20 23:50:14.44 I1W43kEQ
まともに効果でるだけの除染するのにかかるコストは電気代が増えるくらいでまかなえるものではないし、
どうせたいした効果が見込めないことをするくらいならそのコストを別のところに振り分けた方がいいよ。
岡山あたりなら入植可能な土地はかなりあるぞ。
あと「電気代が上がる」ということを軽く考えすぎ。
「電気料金を見たら何パーセントか上がってるなぁ」ってのを想像してるのかもしれんが、
数パーセントでは済まないし、電気を利用するあらゆる産業の値段に跳ね返ってくるので、
単純に試算すれば最終的に一般的な世帯の生活費に何割とか何倍ものしかかってくる。
325:デフォルトの名無しさん
14/03/21 00:13:41.31 +LUmfFPn
>>324
首相が笑顔で、故意にインフレさせるとか宣言してる国で何言ってんだ
326:デフォルトの名無しさん
14/03/21 00:30:19.56 RqmfByJI
インフレ政策は間違ってないよ。
今までずーーーーっとデフレ過ぎたんだから。
ま、程度問題だけどさ。
327:デフォルトの名無しさん
14/03/21 00:37:18.13 +LUmfFPn
>>326
対資源は、日本は15年間ずっとインフレですよ
電気代もずっと上昇してたでしょ
ポテチも中身が減ってたでしょ
328:デフォルトの名無しさん
14/03/21 00:45:02.64 s+SOSk4D
インフレなら簡単に出来る
福沢諭吉を刷りまくればいい
だが資産価値はまったく増えないのが真実
329:デフォルトの名無しさん
14/03/21 09:34:47.76 /2yzxwFN
真実もクソもインフレで資産価値が増えたりしたら大混乱だ
330:デフォルトの名無しさん
14/03/21 10:53:16.48 6cK/HcmY
スレ違いどころか板違いの話題が続いてるなｗ
ところで皆Haskellで何を作ってるの？
331:デフォルトの名無しさん
14/03/21 11:33:37.79 LSofa0pR
>>311
なるほど、7.8.1を使ってる人はあんまりいない、ってことですか？
diagramsの依存パッケージの多くがarray0.5じゃダメらしいので、諦め気味です:~;
初心者ですが、ゲーム作ってます。iPhone向けの。
332:デフォルトの名無しさん
14/03/21 11:58:38.95 B6iPUhEx
arithmoiはarray0.5に対応してるんだけどな
cabalのオプションで--constraints "arithmoi >= 0.4.4"なり指定してしてどうにかならなければ
古いarithmoiに依存するパッケージをcab rdepとか使って調べてそいつの.cabal書き換えるなりすることになるだろうな
333:デフォルトの名無しさん
14/03/21 16:39:55.83 GFJew8r7
>>322
> 問題は燃料費だろ。電気代値上がって、何人の中小経営者が自殺したことやら
円安による材料輸入費の上昇が一番効いた。
334:デフォルトの名無しさん
14/03/21 17:03:54.11 +LUmfFPn
>>333
いやいや
放射性物質ぶちまけて法律違反しまくっても東電が罰せられないのを見て、日本が法治国家じゃないことが明らかになったんだから、もう中小企業なんてやってられないでしょう
335:デフォルトの名無しさん
14/03/21 20:39:00.02 TvXaDyf7
cudaパッケージをcabalでインストールしようとすると、configureステージでエラーが起きる。
checking for gcc... /usr/lib64/ccache/gcc
checking whether the C compiler works... no
cuda sdkのサンプル自体は問題なくコンパイルできるのに、なんで？
336:デフォルトの名無しさん
14/03/21 20:44:28.91 +LUmfFPn
>>335
パス通ってる？
337:デフォルトの名無しさん
14/03/21 21:48:25.87 ihLfAgaE
>>334
頭悪そうだね、君。
338:335
14/03/21 21:49:09.23 TvXaDyf7
cudaのヘッダファイルとかのパスを指定しているかという意味？
$ cabal install --extra-include-dirs="/usr/local/cuda-5.5/include" --extra-lib-dirs="/usr/local/cuda-5.5/lib64 /usr/local/cuda-5.5/lib" cuda
gccへのパスなら名前だけで実行できるから通ってるはずだが・・・
339:デフォルトの名無しさん
14/03/21 21:59:45.31 +LUmfFPn
>>338
configure.log があると思うので、その中にパスが見つからなくて失敗したファイルが書いてあるはず
340:335
14/03/21 23:41:57.24 TvXaDyf7
>339
config.comを調べたら、どうも --extra-lib-dirs の書き方が悪かったみたいで、
複数のパスはそれぞれ分けて指定する必要があるそうだ（dirs なのに）
直したら、ghc によるコンパイルのステージに到達できた。ありがと。
が、今度はコンパイルエラーで、今ちょっと調べてる。
341:335
14/03/21 23:44:56.54 TvXaDyf7
config.comって何だよw
config.log ね
342:デフォルトの名無しさん
14/03/22 01:21:32.77 ythPCTXl
安倍晋三にはウクライナ問題について、EUや米国から何の情報も入っていない。
外務省も国益に沿った情報を取る能力もない。日本政府がやっていることは、
対米隷属の原則に沿って、米国に従っているだけである。
みろ、予想通りだ。
言われるがままに税金を差し出す無能中の無能、安倍晋三。
売国奴の極み。
ウクライナに１０００億円支援＝安倍首相、Ｇ７で表明へ
343:デフォルトの名無しさん
14/03/22 07:05:34.84 vGm90BMR
>>334
確かに、ものすごくアタマ悪そう
344:デフォルトの名無しさん
14/03/22 07:06:22.25 q+OroEJ6
>>342
これもまた、頭悪そうだな。
ていうか、どしてこのスレは精神病ぽいのがウロウロするのか
345:デフォルトの名無しさん
14/03/22 12:30:41.14 bqMr7ab4
>>325
故意にインフレは可能。
インフレになると損する奴ができないというステマをしまくってるだけ。
池田信夫とか、BLOGOSメンバーの持ち回りでやってる仮想キャラの藤沢数希とかｗ
346:デフォルトの名無しさん
14/03/22 13:44:47.93 iB90GkFR
>>345
インフレは個人資産を減少させるので、財産権の侵害になり、憲法違反
しかし、行政が故意にインフレにすると宣言して実際にインフレになっても国民が納得している以上、日本は立憲国家ではない
347:デフォルトの名無しさん
14/03/22 14:03:27.13 bqMr7ab4
>>346
直接財産権を侵害するわけじゃないから問題なし。
348:デフォルトの名無しさん
14/03/22 14:27:25.55 iB90GkFR
>>347
国民が、財産権を行政が故意に侵害しても直接じゃなければいいとか言ってるので、日本は立憲国家ではない
349:デフォルトの名無しさん
14/03/22 14:38:43.63 7OtHGIAM
問1：憲法違反を判定するアルゴリズムをHaskellで書いてください。
350:デフォルトの名無しさん
14/03/22 14:42:39.00 bqMr7ab4
これから頑張って働いて稼ごうとしている人と、
今持ってる財産を回して大して働かずに稼ぎ、ちまちま消費して生活してる人と、
どっちを支援したほうが社会が良くなるか、普通に考えたら分かるだろ。
351:デフォルトの名無しさん
14/03/22 14:52:46.25 hf34Xv/j
考えるな Haskellろ
352:デフォルトの名無しさん
14/03/22 15:50:20.21 TjD1bqk9
>>350
いつから何もしない人が最悪だと錯覚していた？
現実には悪人がいて、悪人が増えると何もしない人の地位は相対的に上がる
錯覚に気付かないまま悪人を支援すれば、ますます悪人が増える
何もしない人は減らない
地位が上がり続けているから
353:デフォルトの名無しさん
14/03/22 16:00:46.67 Zm8O6+DW
とりあえず>>352の逆を行けば正解なのは分かった。
政治の話題は他でやるべき。
354:デフォルトの名無しさん
14/03/22 17:28:51.27 G9GcpSnz
>>344
わざわざ隔離病棟まで出向いておいて何を言ってるのか
355:デフォルトの名無しさん
14/03/22 20:55:43.90 iB90GkFR
>>350
前者を支援したせいで原発が爆発したけどな…
356:デフォルトの名無しさん
14/03/23 00:20:25.89 ZvDNEv5b
>>355
どういう理屈で？
357:デフォルトの名無しさん
14/03/23 02:12:18.01 mpUGbMu0
ここ何のスレなんだ…
358:デフォルトの名無しさん
14/03/23 02:45:07.18 emdqFUZW
リフレなんとかってゆうのかな
金持ちとか大企業とかが潤えば下々にも恩恵が行き渡るっていうやつ
実際はそいつらせっせと海外資本分散や海外移住に余念がねえのに
この後経済ヤバくなったら真っ先に日本見捨てるの目に見えてるだろ
359:デフォルトの名無しさん
14/03/23 10:05:03.70 tmsZ8L24
haskellで作られた政治関連のレスをするbotの実験場で実装にはP社のj(ryを使ってます
だったら面白いのに
360:デフォルトの名無しさん
14/03/23 10:56:41.67 nJaP+3Wn
>>359
マジでbotの可能性はあるなｗ
どっかの誰かさんが吠えてる内容とそっくりだ。
最近、ニコ動で電王戦やってるけど、将棋ソフトをHaskellで
作る猛者はいないのかな。
361:デフォルトの名無しさん
14/03/23 11:33:12.90 1x39r4WI
将棋は勝っても負けてもバグではなく
仕様がいい加減
それをHaskellで作りますか
362:デフォルトの名無しさん
14/03/23 12:29:10.07 9EUDVluQ
敵側がもっとも愚かな打ち方をするものとして
詰みまでの最短手数を求めよ
363:デフォルトの名無しさん
14/03/23 12:30:08.17 ZhYebgxz
ばか詰め（協力詰め）がどうかしたか？
364:デフォルトの名無しさん
14/03/23 12:38:08.10 PZnj9CNR
>>332
diagramsパッケージ、インストールできました。
18日にarithmoiパッケージの新バージョンがリリースされてたようで、それがarray0.5に対応してました。
諦めないでよかったです～ありがとうございました。
365:デフォルトの名無しさん
14/03/23 16:28:19.41 u8Q2UWt5
>>361
いかにもHaskellで何も作ってなさそう
366:デフォルトの名無しさん
14/03/23 19:54:22.50 1vCNvCHB
>>358
だからリフレとナショナリズムはセットで推進されるんだよ
367:デフォルトの名無しさん
14/03/24 17:03:58.89 z2fc71hr
haddockって日本語(UTF-8)通してくれないのね。
何かwork aroundないの?
368:デフォルトの名無しさん
14/03/24 17:39:19.72 mlkBnL/O
[´･_ つらぽよ
369:デフォルトの名無しさん
14/03/24 22:58:01.32 11WDFqGG
>>365
Python C# F# Haskell どれで作っても同じものができる予感がする
もしかして違うかと思ってHaskellを少し書くけどやっぱり同じだと思う
370:デフォルトの名無しさん
14/03/24 23:13:48.23 DKyXHjxn
どれもまともに使ったことねーだろお前
371:デフォルトの名無しさん
14/03/24 23:24:31.67 PhMxkisA
>>369
同じモノは作れる
しかし、同じコストで作れるとは限らない
372:デフォルトの名無しさん
14/03/24 23:26:58.18 RhUkgqgQ
haskellは構文はすばらしいのかもしれないが
処理系の実用性はどうなのよ
373:デフォルトの名無しさん
14/03/25 00:43:25.22 4Wj3Mfvr
お前のプログラムよりは遥かにバグ少ないよ。
374:デフォルトの名無しさん
14/03/25 00:50:18.39 MycYc9j0
そうかそうか
375:デフォルトの名無しさん
14/03/25 07:41:04.84 33U2nY4o
構文が素晴らしい？処理系拡張大量に入れないと全く使い物にならないのに？
376:デフォルトの名無しさん
14/03/25 07:59:25.00 i+zmUVEy
どうせHaskellといえばGlasgow Haskellなんだから、そういう不毛なのはやめよう
377:デフォルトの名無しさん
14/03/25 09:04:49.57 4Wj3Mfvr
>>375
処理系拡張とは？
378:デフォルトの名無しさん
14/03/25 10:43:17.70 QImWjIyD
「構文はすばらしい」なんていうバカなことを言う奴を相手にすんな。
言語の肝は意味論だ。構文なんてどうでも良い。
どうでもいい奴ほど、コメントや具象構文のような、どうでもいいことにコダワる。
ワドラーの法則だ。 URLﾘﾝｸ(www.haskell.org)'s_Law
379:デフォルトの名無しさん
14/03/25 12:51:44.60 Ztktxqvz
確かに。Haskellerはコードなんて書かないから、構文なんてどうでも良いね
380:デフォルトの名無しさん
14/03/25 15:45:50.69 i+zmUVEy
Haskellはむしろ他の言語よりコードコードしてるよ
(コード、の本来の意味的に)
381:デフォルトの名無しさん
14/03/25 16:26:41.43 OPl4MOLc
型コンストラクタに型コンストラクタを渡せるのが画期的
これでポイントフリー信者でも静的言語を使える
ポイントフリーは定数と括弧しか書かないから構文はどうでもいい
382:デフォルトの名無しさん
14/03/25 17:51:49.68 F5Ikpy+q
原発事故による避難指示の解除予定地域で、
昨年実施された個人線量計による被ばく線量調査について、
内閣府が当初予定していた結果の公表を見送っていたことが分かりました
高い数値が出たため、住民の帰還を妨げかねないとの意見が強まったといいます
383:デフォルトの名無しさん
14/03/25 18:11:19.91 0X/z84/T
あれ？実はcabal updateってしょっちゅうやらなきゃいけないタスクだったん？
意味不明なインストールエラーがたちどころに直った...
384:デフォルトの名無しさん
14/03/25 21:27:23.38 F5Ikpy+q
【作業員被ばく線量増 東電指導】
福島原発事故当初の作業員の内部被ばく線量を見直した結果、
142人の線量が増えた。国は東電を行政指導。
385:デフォルトの名無しさん
14/03/25 21:42:28.56 srj5cVzs
>>384
作業員じゃなくて、「正規社員の作業員」なら、もう規制値超えてて現場にいないんだけどね
386:デフォルトの名無しさん
14/03/25 22:03:33.25 to4wBgCX
>>383
俺は一日の中で最初の cabal install の前には必ず update するようにしてる。
387:デフォルトの名無しさん
14/03/26 00:50:13.55 W8/Jkpd4
福島県議会２月定例会も閉会ですが、
「放射能汚染から子どもたちを守るために、放射能の測定・除去、健康管理、
安全な学校給食実施などの環境整備を早急に進めることについて」の請願も
自民、民主、公明、未来の反対により不採択になってしまいました。
388:デフォルトの名無しさん
14/03/26 01:58:52.30 NXJ9wgj7
そもそも請願を不採択ってどういう意味だろうか？
請願は提出した時点で終わりだから、受理するとか何か案を考えて、それを不採択にするなら分かるのだが
それとも請願すること自体を不採択にしたという意味だろうか？
389:デフォルトの名無しさん
14/03/26 15:55:42.36 oy2M5yiS
妄想だろ
390:デフォルトの名無しさん
14/03/26 17:42:09.43 W8/Jkpd4
いまだに「原発電力は安価」と真面目な顔で主張する人がいる。
実際の単純な発電コストには、安全点検費、立地自治体等への交付金、
廃炉費、六ヶ所村再処理工場の操業費、もんじゅ維持費、
MOX燃料加工費、高レベル廃棄物処理費、中間貯蔵費、
核燃料輸送費、事故賠償保険料等は含まれていない。
さらに問題なのは、１０万年にも及びかねない
「使用済み核燃料など高レベル廃棄物の保管料」がまるで考慮されていないこと。
どれほどのコストになるのか、現在の科学ではまったく計算もできない膨大な費用。
それらを無視して「原発電力は安価」などと主張する人は、思考停止に陥っているだけ。
391:デフォルトの名無しさん
14/03/26 18:36:45.14 9OApTpLO
「Parallel and Concurrent Programming in Haskell」という本に載ってた
フロイド-ワーシャル法のRepa版とCUDA版を試してみたけど、
6コア使ったRepa版の方がCUDA版より明らかに少し速かった。
グラフの頂点数は250個、Repa版は0.62秒、CUDA版は0.86秒。
頂点数1000個だと、Repa版は11.13秒、CUDA版は13.11秒。
頂点数2000個だと、Repa版は62.88秒、CUDA版は69.27秒。
こんなもんなのか？
グラボは Qudro K2000M なんだが、CUDA性能としてはゴミかな？
392:デフォルトの名無しさん
14/03/26 23:40:09.40 /eZI4J8U
>>391
問題を知らないので外してたら申し訳ないけど、
URLﾘﾝｸ(devtalk.nvidia.com)
の人は、問題サイズが＞400ならCPUよりずっと速いって書いてる。
自分で書いたCUDAコード？
393:デフォルトの名無しさん
14/03/27 03:26:12.92 rg7KAbqb
[´･_ 彼女欲しいぽよ
394:デフォルトの名無しさん
14/03/27 03:40:39.04 rg7KAbqb
[´･_ 原発再稼働はよ
395:デフォルトの名無しさん
14/03/27 08:16:43.48 gtGHRTdv
稼働したら燃料が減ってしまうだろ。余計な仕事も増えるし。
今のまま利権だけで食っていくのが一番美味しいの。
396:デフォルトの名無しさん
14/03/27 09:43:10.66 WeqaOhWi
現状でそんな儲かってんの？
397:デフォルトの名無しさん
14/03/27 10:17:22.37 /i2x7oNM
そもそも全然美味しそうじゃないし
財布は胃袋のようなもので胃袋で味を感じることはできない
398:デフォルトの名無しさん
14/03/27 11:00:46.78 R9FKO6iJ
finally
(do
something
something)
(do
someting
something)
みたいな書き方が嫌いなんだけど、何かいい方法ないかな?
399:デフォルトの名無しさん
14/03/27 18:26:39.98 iHZ8LOyg
cabal install の--reorder-goalsってなんなんでしょう？
--helpみてもよくわからない...
400:デフォルトの名無しさん
14/03/27 20:37:42.61 L15I1QPt
>>398
(do ...) `finally` (do ...)
401:デフォルトの名無しさん
14/03/27 20:50:33.72 3ubCeAgd
数十円時給アップしたところで
物価上昇に追いつかない
バカ中にはそれがわからない
402:デフォルトの名無しさん
14/03/27 20:51:47.18 3ubCeAgd
彼女ほしいとかバカナカのくせに生意気
相手に失礼
403:デフォルトの名無しさん
14/03/27 21:10:34.45 L15I1QPt
>>392
計算部分は本の内容をそのままコピペしたが、グラフデータを配列に入れる部分は載っていなかったから、
その部分は自作した（当然、Repa版とCUDA版で同じデータをfromList系関数で配列に入れてる）。
ただしCUDA版はメインメモリからVRAMへグラフデータをコピーしてる。
cabal unpack parconc-examples で本に載ってなかった部分も含めた完全版のコードがDLできる。
fwdense1.hs がRepa版で fwaccel-gpu.hs がCUDA版。
こちらのCUDA版はVRAM上で直接（テスト用の非現実的な）グラフデータを作っててズルっぽい。
確かにこちらだと、頂点数2000個で、Repa版60.87秒、CUDA版45.54秒。
それでも、本に載ってた結果、同頂点数でCUDA版14.71秒には遠く及ばない。
まぁ本のCUDA版の実験は Amazon EC2 の GPU クラスタ使ってるから及ぶべくもないが、
俺の環境のCUDA性能がデータ転送、計算含めてしょぼいことは分かった。
404:デフォルトの名無しさん
14/03/27 21:12:07.82 WeqaOhWi
つらぽよ
405:デフォルトの名無しさん
14/03/27 21:23:20.00 L15I1QPt
>>392
使ってるライブラリを言ってなかった。
CUDA版は accelerate-cuda を使ってる。
406:デフォルトの名無しさん
14/03/27 23:07:41.08 i9m+AulN
東京電力は27日、福島第1原発2号機原子炉建屋5階で調査を行っていた米国製ロボットが作業中に転倒し、バッテリーが切れて回収できなくなったと発表した。
東電によると、ロボットは米国製の「ウォリアー」。今月13日、原子炉格納容器のすぐ上に当たる建屋5階の汚染状況などを調べるため、複数のロボットで
床面のコンクリートなどを採取していたところ、ウォリアーが転倒した。
外部から電源ケーブルがつながっていたため、作業員は翌14日に元に戻すつもりだったが、同日朝に確認するとケーブルから電源が供給されておらず、
バッテリーが切れていた。再起動にはロボット本体のスイッチを操作する必要があるが、建屋内は放射線量が高く、回収を断念した。
ウォリアーのバッテリーは、満充電になると自動的に外部からの電源供給を停止する設定になっていたが、作業員は知らなかったという。
407:デフォルトの名無しさん
14/03/28 00:49:21.08 xjbmATUr
どうせ、ウォリアーをhaskellでプログラミングしてたんでしょ
408:デフォルトの名無しさん
14/03/28 00:54:12.60 RzSpPCQZ
東京電力福島第１原発の４号機使用済み核燃料プールから核燃料を取り出す作業に
使うクレーンが停止したトラブルで、東電は２７日、サイドブレーキをかけたまま運転した
ことが原因だったと発表した。クレーンには自動停止する機能があり、ブレーキは使わない
ルールになっていた。
東電によると、クレーンは２６日に核燃料の輸送容器（キャスク）をつり上げる準備作業中に
故障ランプが点灯し停止した。調査の結果、ブレーキをかけたまま運転したため、モーターに
負荷がかかり、電流が過剰に流れて自動停止したことが分かった。前の作業者がブレーキを
かけていたという。
409:デフォルトの名無しさん
14/03/28 00:59:21.02 RzSpPCQZ
東電、原因不明のまま汚染水漏れ調査打ち切り
410:デフォルトの名無しさん
14/03/28 18:30:00.15 RzSpPCQZ
福島第１で作業員死亡＝土が崩れ下敷き－東電
東京電力は２８日、福島第１原発で廃棄物を保管する施設の補強工事をしていた協力企業の５０代の男性作業員が
土砂などの下敷きになったと発表した。近くにいた作業員が救出し、病院に運ばれたが死亡した。
県警双葉署や東電が詳しい状況を調べている。
東電によると、事故は同日午後２時２０分ごろ発生。作業員は深さ２メートルの穴を掘って施設の下側に入り
建物の基礎部分のくいを地中で修理していた。施設下部のコンクリートと土砂が崩れ落ち、下敷きになったという。
411:デフォルトの名無しさん
14/03/28 19:07:40.44 0Llxlo7P
家具箱は貯めるもの
412:デフォルトの名無しさん
14/03/28 19:46:59.13 +FMeE+RM
The Haskell Platformをインストール後に
ghc-pkg recacheするとエラーが出るのですが
どうすれば実行できますか
環境はwindows7です
413:デフォルトの名無しさん
14/03/28 19:49:39.44 nnm09MWS
>>399
インストールするパッケージを問題ない組み合わせが見つかるまで試行してくれる
ただし(めんどくさくて詳細を調べてないが)回数制限があり、それを超えるとエラーする
この回数制限の回数を調整するオプションが--max-backjumps
414:デフォルトの名無しさん
14/03/29 16:21:11.91 PweE6fSU
>>412
解決しました
415:デフォルトの名無しさん
14/03/30 00:08:18.27 nTsugq9h
原発推進派がよく口にする「原発はコストが安いが、自然エネルギーは高い」という主張に、大林さんが反論する。
「廃炉や補償費用を入れると原発のコストが天井知らずになることは原発事故が証明しました。一方で再生可能エネルギーを
大量に導入する欧米では、発電コストが急速に下がっています。例えば、ドイツの太陽光発電の導入費用は2006年からの
6年間で3分の1まで低下しました。
ドイツでは『電気料金が上がったのは、再生可能エネルギー拡大のため』と言われますが、それは間違いで、大きな要因は
税金の上昇と大口需要家の賦課金（負担金）を一般家庭が払っているからです」（大林さん）
再生可能エネルギーは、「自然任せで不安定な発電だ」という批判もあるが、それについて大林さんはこう語る。
「再生可能エネルギーの先進国では、最新の気象予報システムを利用して気象変動を読み取り、供給する電力の計画を更新
しています。電気の安定供給は問題ありません」
416:デフォルトの名無しさん
14/03/30 00:09:56.06 nTsugq9h
アメリカエネルギー省、大規模太陽光発電の低コスト化が予想より早く進展と発表
アメリカエネルギー省（DOE）は、国内ソーラー産業がDOEの大規模太陽光発電（PV）の低コスト化目標を、予想より早くすでに60％以上達成していると発表した。現在、同国のソーラー発電設備容量は約13ギガワットで
2008年の約10倍に増加。2013年は発電所規模のソーラー発電導入量が2.3ギガワットと
過去最高となり、同国の主導的立場が確立しつつある。
DOEでは、2020年までに太陽エネルギーのコストを従来のエネルギー並にすることを
目標としたサンショット・イニシアティブを官民学連携で進めている。技術革新の推進と
ソーラー発電の低コスト化に向け、高性能のソーラーパネルの開発から認可・設置・連系の
プロセス簡素化まで、様々な取組を実施。取組開始からわずか3年で、大規模PVのコストが
0.11ドル／kWhまで低下し、目標値0.06ドル／kWhを60％以上達成した。
更なる前進を図るため、DOEはソーラー発電の製造部門に対し、新たに2500万ドルを
拠出することを発表。ソーラー設備の製造拡大や高効率で安価なPVと集光型太陽熱発電（CSP）技術の
早期商用化に向けた画期的なプロジェクトを支援するという。【アメリカエネルギー省（DOE）】
417:デフォルトの名無しさん
14/03/30 00:11:12.25 nTsugq9h
★自民党、「福島原発の耐震安全性総点検等を求める申し入れ」を却下
URLﾘﾝｸ(www.jcp-fukushima-pref.jp)
★自民党、東京電力からの献金と引換えに原発の緩い耐震設計を認可
URLﾘﾝｸ(www.jcp.or.jp)
★安部内閣、福島原発１０基耐震安全性の総点検等を求める申し入れ 却下
URLﾘﾝｸ(www.jcp.or.jp)
原発の津波対策をめぐっては、２００６年に日本共産党の吉井英勝衆院議員が国会質問で不備を指摘しています。
５メートルの津波（引き波）によって、日本の原発の約８割にあたる４３基の原発で、
冷却水が海から取水できなくなることを明らかにしました。また、原発ごとに想定されている引き波でも、
１２原発が、取水不能になるうえ貯水槽もないことがわかっています。（図）
URLﾘﾝｸ(www.jcp.or.jp)