関数型プログラミング言語Haskell Part25
レス数が1000を超えています。これ以上書き込みはできません。
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/
0002デフォルトの名無しさん
2014/02/25(火) 16:31:37.4523) http://toro.2ch.net/test/read.cgi/tech/1376111807/
22) http://toro.2ch.net/test/read.cgi/tech/1364009659/
21) http://toro.2ch.net/test/read.cgi/tech/1358702176/
20) http://toro.2ch.net/test/read.cgi/tech/1350428908/
19) http://toro.2ch.net/test/read.cgi/tech/1340760070/
18) http://toro.2ch.net/test/read.cgi/tech/1331902463/
17) http://toro.2ch.net/test/read.cgi/tech/1325510368/
16) http://toro.2ch.net/test/read.cgi/tech/1317958045/
15) http://hibari.2ch.net/test/read.cgi/tech/1310199414/
14) http://hibari.2ch.net/test/read.cgi/tech/1299385928/
13) http://hibari.2ch.net/test/read.cgi/tech/1286706874/
12) http://hibari.2ch.net/test/read.cgi/tech/1272536128/
11) http://pc12.2ch.net/test/read.cgi/tech/1252382593/
10) http://pc12.2ch.net/test/read.cgi/tech/1231861873/
09) http://pc11.2ch.net/test/read.cgi/tech/1211010089/
08) http://pc11.2ch.net/test/read.cgi/tech/1193743693/
07) http://pc11.2ch.net/test/read.cgi/tech/1174211797/
06) http://pc11.2ch.net/test/read.cgi/tech/1162902266/
05) http://pc8.2ch.net/test/read.cgi/tech/1149263630/
04) http://pc8.2ch.net/test/read.cgi/tech/1140717775/
03) http://pc8.2ch.net/test/read.cgi/tech/1076418993/
02) http://pc2.2ch.net/test/read.cgi/tech/1013846140/
01) http://pc.2ch.net/tech/kako/996/996131288.html
0003デフォルトの名無しさん
2014/02/25(火) 16:32:39.80(英語)
Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版)
http://learnyouahaskell.com/chapters
(以下、日本語)
Haskell - Wikipedia
http://ja.wikipedia.org/wiki/Haskell
Haskell入門 5ステップ - HaskellWiki (本家内、日本語入門セクション)
http://www.haskell.org/haskellwiki/Haskell%E5%85%A5%E9%96%80_5%E3%82%B9%E3%83%86%E3%83%83%E3%83%97
Programming in Haskell
http://www.sampou.org/cgi-bin/haskell.cgi
HaskellJP wiki
http://wiki.haskell.jp/
Haskell のお勉強
http://www.shido.info/hs/
Haskell Programming
http://www.geocities.jp/m_hiroi/func/haskell.html
0004デフォルトの名無しさん
2014/02/25(火) 16:33:57.17(アマゾン米国、主に洋書)
http://www.amazon.com/s/rh=n:283155,n:3839,k:Haskell&ie=UTF8
(アマゾン日本、主に和書)
http://www.amazon.co.jp/s/rh=n:492352,k:Haskell&ie=UTF8
0005デフォルトの名無しさん
2014/02/25(火) 17:17:34.170006デフォルトの名無しさん
2014/02/25(火) 17:46:38.15hogeは禁止します、使用しないでください。
万が一hogeが書き込まれても、スルーしてください。
相手にするとあなたも荒らしと同じ扱いになります。
なお、hogeはNGワードに追加しておくことが強く推奨されています。
0007デフォルトの名無しさん
2014/02/25(火) 18:46:38.55今はScalaで次はJuliaだよ!!
まあOCamlは2周遅れ
Python、Rubyは3周遅れだからまだマシだが
あ、Java,Cの一身などは土方専用ってことで
0008デフォルトの名無しさん
2014/02/25(火) 18:55:24.22HaskellってRubyやPythonより古いよね
OCamlはRubyと同じくらいか
0009デフォルトの名無しさん
2014/02/25(火) 19:07:32.81あれ、本当の理由はセシウムによる若返りを医療関係者が阻止しようとしているんですよ。
だって、みんなが若返ったら医者は商売あがったりでしょ?
0010デフォルトの名無しさん
2014/02/25(火) 19:55:20.96ブレずに進化してきてるから好きだ
0011デフォルトの名無しさん
2014/02/25(火) 20:10:26.83どう使うのでしょうか。
fix :: (a -> a) -> a
fix f = let x = f x in x
0012デフォルトの名無しさん
2014/02/25(火) 20:17:14.12Yコンビネータのようなもの(ないし、そのもの)。
0013デフォルトの名無しさん
2014/02/25(火) 20:17:35.74ループを書きたいけどletやwhereを書くのすら面倒なときに使う
flip fix (0::Int) $ \loop i -> do
putStrLn $ "total " ++ show i
n <- readLn
if n >= 0 then loop $! n + i else return ()
0014デフォルトの名無しさん
2014/02/25(火) 20:56:20.42マイクロ波を加え異常な殺人放射線として利用するわけだ。この装置を起こさせる要素が損傷を放射能汚染と精神病院精神病院精神病院では、周囲が残る。
内部被ばくでは少量の日常生活や人には、事故の開発がされましたが効果としては実用段階には至っていない。
0015デフォルトの名無しさん
2014/02/26(水) 01:42:50.08東電の放射性物質を東京にまいて、オリンピック選手を被曝させて元気にさせる運動に参加しよう!!
海外のみんなにも宣伝しなくちゃ!
0016デフォルトの名無しさん
2014/02/26(水) 08:51:53.080017デフォルトの名無しさん
2014/02/26(水) 23:11:08.770018デフォルトの名無しさん
2014/02/28(金) 00:35:09.34どうみてももっとガスをたくさん買わなきゃいけなくなって、しかも原発という選択肢もなくなるわけだから、
もっと足元みられるようになるに決まってるだろう…。
原発は利権とかいうのに、自然エネルギー利権はとはいわないんだな。
0019デフォルトの名無しさん
2014/02/28(金) 01:17:22.840020デフォルトの名無しさん
2014/02/28(金) 01:22:37.55ガスを採掘して、ガスを精製して、ガスを運搬してるのが日本企業で、日本がエネルギー輸出国だということを考えると、足元を見てるのは日本人だから問題ありません
もっと言うと、半独占企業が牛耳っている以上、電力の値段で一番足元を見てるのは日本の電力会社です
除染をするとか税金を投入して赤字を埋めるという前提を抜かすと、原発にあるのは利権ではなく債務です
補助金がなければ赤字という点は自然エネルギーも一緒であり、利権など存在しようがありません
0021デフォルトの名無しさん
2014/02/28(金) 02:13:39.540022デフォルトの名無しさん
2014/02/28(金) 03:10:30.980023デフォルトの名無しさん
2014/02/28(金) 06:28:41.11Maybeかリストあたりをファンクターの具体例として扱ってみるのが最初は理解しやすいと思う
0024デフォルトの名無しさん
2014/02/28(金) 06:36:19.99instance Functor Maybe where ...
instance Functor (Either a) where ...
なぜEither aになるか分かりますか?的な
0025デフォルトの名無しさん
2014/02/28(金) 06:54:11.49ファンクターの何がわからないのか、もっと具体的に質問してくれ
それとも、何を質問したらいいのか分からないのか?
0026デフォルトの名無しさん
2014/02/28(金) 09:55:40.870027デフォルトの名無しさん
2014/02/28(金) 12:59:13.550028デフォルトの名無しさん
2014/02/28(金) 13:26:00.620029デフォルトの名無しさん
2014/02/28(金) 13:58:35.87。ρ。
ρ
mドピュッ
C|.| /⌒⌒⌒ヽ/~ ̄ ̄ ̄ ̄ヽ 〜
/⌒ヽ⌒ヽ___ | ∴ヽ 3 ) 〜
./ _ ゝ___)(9 (` ´) ) 〜
/ 丿ヽ___,.───|彡ヽ へ へ| 〜
_/ ) ( Y ̄ ̄ ̄ ̄) 〜
(__/
0030デフォルトの名無しさん
2014/02/28(金) 16:21:01.23003119
2014/02/28(金) 16:22:20.38それに近いかも。
リストみたいに中に値がたくさん入る箱(型)があって、
その中身に対して一斉に関数を適用できる
機能を持たせるのがファンクターって理解してるんだけど、
でも、この箱の考え方だと、
関数もファンクターってのがわからない。
ファンクター値っていうのもわからない。
0032デフォルトの名無しさん
2014/02/28(金) 16:42:44.13無駄に意味を考えちゃって混乱してることが多いなってことだ。
クラスはインターフェイスを定義するだけ。
ファンクタとして定義できるものがファンクタなんであって、
その意味なんかお前が自分で決めりゃいいんだよ。
0033デフォルトの名無しさん
2014/02/28(金) 17:11:34.99関数も理屈は同じだよ
Bool -> Char
型の関数は、True用とFalse用の二個の文字が入る箱だと思えるし、
Integer -> Char
なら、無限個の文字が入る箱だと思える
fmapはこれらの全ての文字に一斉に関数を適用する
0034デフォルトの名無しさん
2014/02/28(金) 18:17:33.82関数を
戻り値が入った箱
って考えるってことか
それなら分かるかも
0035デフォルトの名無しさん
2014/02/28(金) 18:54:21.83論外
0036デフォルトの名無しさん
2014/02/28(金) 23:08:20.41って
addNumbers :: (Int) => a -> a -> a
じゃダメなの?
0037デフォルトの名無しさん
2014/02/28(金) 23:11:06.18、 ヽ\ ヽ
. / , / ! ∨丁ヽ い | /二フ”
/ ! | ィ 「\ | ハ l | ,′ /
l ! | / /j/ '. ノ, =、!// /j/ ヽ/
l い/ ,, =x j/ ′ 〈j/ /ヽ
ト ._ \_〃 :.:.:.:.} /二フ”
l l { 下 ̄ .:.:.:.: -‐1 ∧ /
l l T ‐个 ._ ー' イ l| ニニ!
l/ /| l l//下二千ヽ_l い ─┘
' / .′ l,ノ\/// 小、|、\ヽ\ 「〉
Ul / / \/ U` \ヽl i r_|
Ul l i ! ト ヽ |
0038デフォルトの名無しさん
2014/02/28(金) 23:13:58.72具体型になるのに
…ダメ?
0039デフォルトの名無しさん
2014/02/28(金) 23:21:37.92そもそもaと書きたい理由もわからない
0040デフォルトの名無しさん
2014/02/28(金) 23:24:31.32Int型に制約を受ける
じゃダメ?
0041デフォルトの名無しさん
2014/02/28(金) 23:27:29.87addNum :: Int -> Int -> Int
じゃ気に入らないの?
0042デフォルトの名無しさん
2014/02/28(金) 23:36:14.790043デフォルトの名無しさん
2014/02/28(金) 23:37:35.37最初の頃はInt->Intで疑問なかったけど
型クラス制約知った後だと気持ち悪い
0044デフォルトの名無しさん
2014/02/28(金) 23:50:57.760045デフォルトの名無しさん
2014/02/28(金) 23:58:12.510046デフォルトの名無しさん
2014/03/01(土) 00:09:37.380047デフォルトの名無しさん
2014/03/01(土) 00:11:10.010048デフォルトの名無しさん
2014/03/01(土) 00:12:34.440049デフォルトの名無しさん
2014/03/01(土) 00:13:50.54引数を与えると純粋になるんじゃないか
ってことなんだ
0050デフォルトの名無しさん
2014/03/01(土) 05:35:28.81ある意味ではリストは関数なんだよ
リストのn番目の要素を得る関数(!!)のことを考えてみるといい
だからリストが箱だと思えるなら関数も箱だと思えるはず
そうして使っているうちにそのうち自分なりの理解が得られるだろう
0051デフォルトの名無しさん
2014/03/01(土) 07:31:37.56中学生か
0052デフォルトの名無しさん
2014/03/01(土) 07:33:37.80f(x)の値はyである
この区別がなくなるな
はこ!
0053デフォルトの名無しさん
2014/03/01(土) 08:41:54.330054デフォルトの名無しさん
2014/03/01(土) 09:20:53.580055デフォルトの名無しさん
2014/03/01(土) 15:43:30.020056デフォルトの名無しさん
2014/03/01(土) 15:53:27.570057デフォルトの名無しさん
2014/03/01(土) 16:10:02.410058デフォルトの名無しさん
2014/03/01(土) 17:05:17.290059デフォルトの名無しさん
2014/03/01(土) 17:29:51.742) リフトと捉えるのが関数型思考
初めは 1 で十分だけど、できるだけ早く 2 で考えられるようになるといいね
0060デフォルトの名無しさん
2014/03/01(土) 17:42:00.670061デフォルトの名無しさん
2014/03/01(土) 22:34:05.22箱はカエレ!
0062デフォルトの名無しさん
2014/03/01(土) 22:35:28.140063デフォルトの名無しさん
2014/03/02(日) 06:02:15.220064デフォルトの名無しさん
2014/03/02(日) 06:02:56.060065デフォルトの名無しさん
2014/03/02(日) 08:22:30.410066デフォルトの名無しさん
2014/03/02(日) 08:53:44.94function の発音を中国語の発音に当てはめて函数となった。
「従属変数(の表現)に独立変数が容れられている」という意味は込められていても、
本来ブラックボックスとしての「箱」の意味は無いそうだ。
http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_%28%E6%95%B0%E5%AD%A6%29
0067デフォルトの名無しさん
2014/03/02(日) 13:49:33.790068デフォルトの名無しさん
2014/03/02(日) 13:59:47.95当てはめてじゃなくて、同じ音の、でしょ。
それにウィキペディアの記述の仕方が妙で、良く読むと「箱の意味は無い」と説明している方が
少数派に見えるんだが。
0069デフォルトの名無しさん
2014/03/02(日) 14:45:30.52それより、>>67 にもっと詳しく解説してほしい。
圏論的表示意味論とはどのような意味論(特徴、利点など)なのか。
「具体例」を混ぜて説明してくれないか。
0070デフォルトの名無しさん
2014/03/02(日) 18:17:07.03背景:
例えばHaskellにおける型(具体型),IntだとかFloatだとかがあったとき,
これらの型情報をうまく扱うためには結局「型=集合」という見方を超えて
「全ての要素にタグ(要するに型情報)がついた世界」を考えたほうが言語の実情に合う.
このような事は実は随分昔にラッセルが創始したタイプ理論というもので行われており,
その当時の動機としては集合論にまつわるパラドックスを回避するとかそんな意味合いが
あったしその理論の完成度も極めて低く今日ラッセルが作った通りのタイプ理論は
まあ普通は使わないんだけど,とにかく「タグが整合性を持って付けられる世界」というのを
集合論と同じぐらいの豊かさで作れる.(いろんな定式がある.)
ここで圏論が出てくる舞台が出来た.「具体的な基礎型」を対象とし,これらの対象を結ぶ射として単相関数を考える
ことにして圏を考える.Haskellで考えるときの名前はHaskと呼ばれる.
簡単な具体例への言及:
そして,Intからリスト [Int] を作る手続きは,圏論的には「Haskから自身への自己関手」として
定式化できる.モナドも自己関手の一種として,圏論的に定式化できるというか元々モナドは
圏論用語ですね.
実際には帰納的に構成されるタイプの型を考えるとHaskellでは「下から上」と「上から下」を
(おそらくは意図して)混同しているので圏論の議論がシャープすぎるところがあるけど,
各種の,例えばFunctor則だとかモナド則だとかはすべて圏論的な図式の可換性条件として
理解できる.
歴史:
Moggiの computational lambda-calculus and monads (1988) なんていう論文
(ネットに転がってる)あたりから出てきた流れだと思われる
0071デフォルトの名無しさん
2014/03/02(日) 18:57:26.90それは単なる「Haskellプログラミングにおける圏論の応用」に関する
解説であって、表示的意味論とは関係なくね?
0072デフォルトの名無しさん
2014/03/02(日) 19:04:43.21いや、応用にもなっていない、どこにも「応用例」が無い。
単に、Haskellでプログラマがやっていることを圏論で表すとこうなる、と言ってるだけ。
圏論で表すことによって、プログラマにとってどう良いことがあるのか、
それを示して初めて「応用」だ。
で、>>71 も言ってるように「意味論」の話は?
0073デフォルトの名無しさん
2014/03/02(日) 19:19:35.28>>72
ちゃんとMoggiの論文のタイトルまで書いたんだから詳しいことはそっちを読んでくれ
0074デフォルトの名無しさん
2014/03/02(日) 19:21:57.660075デフォルトの名無しさん
2014/03/02(日) 19:22:16.73意味論の話すらここでできない?
その論文や他の資料などの内容じゃなくて、
あなたが自分の頭で解釈し構築した「考え」を聞きたいのだが。
0076デフォルトの名無しさん
2014/03/02(日) 20:10:23.70おお、いい書き込みだ
0077デフォルトの名無しさん
2014/03/02(日) 20:12:38.430078デフォルトの名無しさん
2014/03/02(日) 20:15:12.16わはは!
あほなことを
しばしば、それは失礼にさえなる
0079デフォルトの名無しさん
2014/03/02(日) 20:20:44.42まぁそれでも価値はあるから、もうそれでいいよ
ちょっとは期待してたんだが・・・
0080デフォルトの名無しさん
2014/03/02(日) 20:43:26.210081デフォルトの名無しさん
2014/03/02(日) 20:53:04.500082デフォルトの名無しさん
2014/03/02(日) 20:55:16.39上下関係じゃなくて、対等の関係で議論しあうというのも、たまにはいいと思う
(相手を言い負かそうとか、そういうのは無しで)
0083デフォルトの名無しさん
2014/03/02(日) 21:25:56.03いいこと言った
0084デフォルトの名無しさん
2014/03/02(日) 21:32:08.00俺にとっては十分有用です:応用
たまにモナドの議論をしてるときにモナド則の1,2は満たすけど3は満たさないような例だと
どんな問題が起きるの?みたいな質問を得意げにする人がいるんだけど(皆さんは賢いので
そんなことないでしょうけど)、圏論での意味論(の初歩だが)みたいなのを持ち出せば
そういう筋の悪い質問なんかが湧いてこないだけでも有用かな。
あと、Haskellは表記方法がエレガントすぎてたまに型と値の理解がごっちゃになってるひとがいる。
そういう人への(あるいは自分への)リメディアルの議論のための良いバックグラウンドをあたえてくれるね。
本格的な表示意味論のほうは、帰納型が定義できるような圏をどうやって構成するかとかの話が中心だという
気がします。
Moggiがらみで一言付け加えれば、彼の論文にはラムダ計算のような「純粋な計算」を材料にして
「状態付きの計算」だとか「継続」のようなものをどうやって構築するかという話が整理されていて、
自分は無教養なので継続の話は理解できなかったが状態モナドは非常によくわかったし、
RWHでの話もよくわかるようになった。
0085デフォルトの名無しさん
2014/03/02(日) 21:53:05.39Wikipedia の「プログラム意味論」の項には、[表示的意味論] の説明として、
> 対象とする言語の語句それぞれを「表示」に変換、すなわち別の言語の語句に翻訳する
とし、
> 例えば、関数型言語の表示的意味論では、領域理論の言語に翻訳する
とある。
その下の派生として、
> 「関数的意味論」または「圏論的意味論」は圏論を基本とした形式意味論である。
とあるけど、Haskellの場合、領域理論の言語では表せない、あるいは表しにくいから、
じゃあ圏論的意味論ではどうかと研究したら、これがよく合っていた、という話なの?
この辺り、Haskellの意味論を勉強したい初心者は、
いきなりの圏論的意味論にとりかかっていいものなのか、
それともまずは領域理論から学んだ方が理解しやすいのか。
0086デフォルトの名無しさん
2014/03/02(日) 22:16:59.59あくまでも僕の理解してる範囲でだけど
モナドだとかFunctorでうまく型を合わせるためのルール(Funcotor則だとかモナド則)
を理解したいというだけであるならば、型をとりあえず集合だとおもっておいて
圏論の初歩(Awodyよりもっと簡単なぐらいの本でいいんだけどなんかないかな)
を知っていれば十分だと思われる。
一方、Haskellの型推論を改良する方法を提案したかったり、そういうガチの議論を
したかったら圏論に加えてタイプ理論まで学んで、領域理論学ぶといいとおもう。
型がついてない領域理論はいくらでも解説があるんだけど型がついてるやつはよく知らない。
ネットに転がってる奴だと Fiore "Axiomatic Domain Theory in Categories of Partial Maps" 1994
ってのがあってたまーに眺めてるけどcpoなんかの知識必須みたいなんで結局
普通の領域理論をよく知ってる必要がありそう。
0087デフォルトの名無しさん
2014/03/02(日) 22:23:48.34ちなみに圏論を使ったライブラリを作るとかじゃなければ、勉強してもHaskell書く役には立たないよ
精々ドヤ顔で語れるようになるぐらい
0088デフォルトの名無しさん
2014/03/02(日) 22:31:43.87大事なんじゃないか感
Free Monad の Free は、まあ単純に「ただで手に入る」の意味だと思ってもいいけど
Freeなんちゃらってのが一般代数における標準的な用語であって圏論を背景にすると
よくわかるものであることなんかは知っておいて損はあるまい
0089デフォルトの名無しさん
2014/03/02(日) 22:49:00.61Sublime Text 2 の Ctrl-k の挙動が不快なので、
vi か Emacs に乗り換えることにしました。
どっちも簡単なテキスト編集くらいにしか使えないのですが、ちょっとしらべてみたところ、
vi では式中の選択した部分の型を表示することができるそうです。
Emacs では同じようなことができますかね?
ghc-mod を作った山本さんがむかしに、「やり方がわかればできる」的なことをつぶやいていたので、当時はできなかったのだと思うのですが、現在の状況はどうなんでしょう。
0090デフォルトの名無しさん
2014/03/02(日) 22:49:32.320091デフォルトの名無しさん
2014/03/02(日) 23:20:12.13俺は emacs 使ってるが、haskell-mode でも型シグネチャの表示はできる。
が、vi のものと同じ挙動なのかは知らん。
トップレベルの型シグネチャが書かれた自作関数か、Prelude モジュール内の関数しか、
型シグネチャがエコーエリアに表示されない。
だから、俺はこの機能が役に立ったと感じたことはない。
カスタマイズの項目を見てると、Hoogleを参照したり、
他のモジュールをロードして型情報を得たりできるっぽいんだが、
やり方がよく分からん。
0092デフォルトの名無しさん
2014/03/02(日) 23:31:07.050093デフォルトの名無しさん
2014/03/02(日) 23:33:19.60> 操作で戸惑うが可能性のないeclipse fp
すまん、思わず笑ってしまった
0094デフォルトの名無しさん
2014/03/03(月) 19:10:46.60http://trac.haskell.org/haskell-platform/wiki/ReleaseTimetable
を見ると
2013.4.0.0 Target: November 4th, 2013
とかありますがまだリリースされてないようです。
0095デフォルトの名無しさん
2014/03/03(月) 19:26:25.21圏論を使ったライブラリに、どんなものがあるのかドヤ顔で語ってよ
0096デフォルトの名無しさん
2014/03/03(月) 20:29:50.96Ekmettのライブラリはほとんど圏論的なアイデアをつかったものだよ
0097デフォルトの名無しさん
2014/03/03(月) 20:51:15.15そのライブラリは例えば何に使うの?
0098デフォルトの名無しさん
2014/03/04(火) 00:10:03.090099デフォルトの名無しさん
2014/03/04(火) 06:43:27.20嘘っぱちというほど、わたしは人間不信ではありません。
むしろ四人の元首相がそろって原発は駄目だ、ということに未来を感じます。
この程度の人間が4人も日本国のトップに居たというのは悲劇ですね
失われた20年の元凶だということの裏付けとして、たとえば、素晴らしい能力を持った首相の下で日本がうまくいっていなかったのであれば、
それこそ絶望的状況でありますので、元首相がたが軒並みその程度の能力だったと露見するのは、むしろ歓迎すべきことだと私も思いますね!
0100デフォルトの名無しさん
2014/03/04(火) 18:18:21.94日本人は電磁波で攻撃されているんだよ。選挙があなたの思い通りにいかないのはそのせい。
上でも出ている通り、圏論の技術を使えば人間の脳内に音声を送り込める。
ekmettのライブラリって、大半は電磁波で人間の精神を攻撃する為のものなんだよね。
>>89
今は出来る
vi…はプラグインが使えないからともかく
VimとEmacsなら、どちらでもghc-modが使えるから型表示なら同じレベルで出来ると思う
http://www.mew.org/~kazu/proj/ghc-mod/en/emacs.html
0101デフォルトの名無しさん
2014/03/04(火) 18:36:30.79マウスパッドを外すとUSBマウスが電磁波を拾って勝手に動く現象は確認してるけど
これって電磁波攻撃なの?
0102デフォルトの名無しさん
2014/03/04(火) 21:38:04.62ありがとうございます。
emacsにしました。ghc-modとの連携で型が見えることを確認しました。
emacsからドキュメントを引っ張ってくれるのが快適そうです。
ローカルにあるドキュメントをちゃんとみてくれてる.
ただ、何かbaseパッケージのドキュメントが思い通りに引けないですね。Data.Listとか。
Hackageのアドレスを間違えてしまうようです。
baseパッケージのドキュメントもローカルに落とせばいいんでしょうけど、cabal install base がコケる...
0103デフォルトの名無しさん
2014/03/04(火) 21:41:36.75data Hoge a をモナドにしたい。
つまり、instance Monad Hoge where を書きたい。
で、そのとき Hoge a の結果の型aに制約をつけることって出来るかな?Eq aみたいな。
0104デフォルトの名無しさん
2014/03/05(水) 03:19:37.470105デフォルトの名無しさん
2014/03/05(水) 04:05:57.55国民はもはやテレビメディアの思うがまま。自分で考えることなど放棄して、きわめて簡単に思考を乗っ取ることができるようになったわけです。
おめでとうございます。若者のテレビ離れ、素晴らしいことですね。
0106デフォルトの名無しさん
2014/03/05(水) 06:27:49.09できない
0107デフォルトの名無しさん
2014/03/06(木) 16:25:22.60「これじゃ、浅田真央じゃなくて、朝だ!魔王!だよ〜」
0108デフォルトの名無しさん
2014/03/06(木) 18:56:37.51ポイントフリーに書く方法は無いかな?
0109デフォルトの名無しさん
2014/03/06(木) 19:19:44.860110デフォルトの名無しさん
2014/03/06(木) 19:33:13.27うおおおカッコイイ!Data.Functionていうのがあるんだ…ありがとうございました。
0111デフォルトの名無しさん
2014/03/06(木) 19:45:26.220112デフォルトの名無しさん
2014/03/06(木) 23:20:21.740113デフォルトの名無しさん
2014/03/07(金) 01:13:09.790114デフォルトの名無しさん
2014/03/07(金) 02:03:54.10ごはん食べてたらイエスキリストが歩いて来て、「Haskellをやりなさい」と言ったから
0115デフォルトの名無しさん
2014/03/07(金) 02:05:01.58Mを集合とし,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)だけを考えればよい.
0116デフォルトの名無しさん
2014/03/07(金) 04:17:52.880117デフォルトの名無しさん
2014/03/07(金) 04:45:23.610118デフォルトの名無しさん
2014/03/07(金) 04:57:19.6130だ
0119デフォルトの名無しさん
2014/03/07(金) 06:52:34.73爺の書き込み不要。
0120デフォルトの名無しさん
2014/03/07(金) 08:15:12.640121デフォルトの名無しさん
2014/03/07(金) 08:16:32.56ここじゃなくてask.fmでやれよ、鬱陶しい
0122デフォルトの名無しさん
2014/03/07(金) 08:25:36.340123デフォルトの名無しさん
2014/03/07(金) 08:32:12.23こういうやつは
自演だ自演だともいってるんじゃないか?
どうだい?君
0124デフォルトの名無しさん
2014/03/07(金) 09:46:06.71よくわかりましたね。
俺がask.fmです。
0125デフォルトの名無しさん
2014/03/07(金) 10:06:06.430126デフォルトの名無しさん
2014/03/07(金) 10:34:18.810127デフォルトの名無しさん
2014/03/07(金) 14:30:24.63Eq a=> a->[a]->Maybe a
じゃなくて
(a->Bool)->[a]->Maybe a
なのか。
こういう細かいところにhaskell力の差を感じる。
0128デフォルトの名無しさん
2014/03/07(金) 14:46:50.790129デフォルトの名無しさん
2014/03/07(金) 16:36:28.820130デフォルトの名無しさん
2014/03/07(金) 18:48:50.96foo >>= maybe (return Nothing) bar
みたいなコードがすごく多い…
unlessNothing = maybe $ return Nothing
とおいてもいいんだけど、もっと一般的なアプローチは無いかなあ
0131デフォルトの名無しさん
2014/03/07(金) 19:01:05.640132デフォルトの名無しさん
2014/03/07(金) 20:32:08.10レベル低いのはだいたい俺ですw
ところで皆さんはHaskellどうやって勉強しました?
コードひたすら書くだけでしたか。
コードリーディングもした方がいいんでしょうか。
俺のコードは今のところ、関数を持ち回るような構造が少なくって、関数型っぽくない感じなんです。(newtype Hoge a = Hoge {unHoge::a->foo} みたいなのが全く無い)
オススメのコードがあったら教えて下さい。
0133デフォルトの名無しさん
2014/03/07(金) 20:53:11.850134デフォルトの名無しさん
2014/03/07(金) 21:52:47.79ネットにある第2回圏論勉強会の動画を見たら、合点できた
0135デフォルトの名無しさん
2014/03/08(土) 01:28:08.740136デフォルトの名無しさん
2014/03/08(土) 01:44:42.54関数型の心を知りたいなら、プログラミングHaskellっていう薄い本を読むといい
薄いのに内容ぎっしりでよく出来た本だと思う
0137デフォルトの名無しさん
2014/03/08(土) 01:46:43.47その結果が、農作物の放射能汚染と流通。そして国民皆放射能汚染に。
農水省は「食べても安全」という。しかし国民は騙せても、国際社会は騙せない。世界は日本産に疑念を持ち農産物の輸入禁止。
つらぽよしね
0138デフォルトの名無しさん
2014/03/08(土) 01:55:11.39何やったの
0139デフォルトの名無しさん
2014/03/08(土) 03:25:59.70ありがとうございます。その本は持ってなかったです。
0140デフォルトの名無しさん
2014/03/08(土) 08:43:16.02MaybeTを使うのは?
0141デフォルトの名無しさん
2014/03/08(土) 09:20:44.21有害な物質が1粒でも入ってると危険だと思ってしまう科学音痴。それが日本人。
ベクレルってのがなんの物理量かもわかってない輩が、わあこの食品からnベクレルも検出されたんですって!
こわい!とか言いながらラジウム温泉につかるのが日本の原風景
0142デフォルトの名無しさん
2014/03/08(土) 10:26:53.240143デフォルトの名無しさん
2014/03/08(土) 10:51:18.410144デフォルトの名無しさん
2014/03/08(土) 10:57:31.54怖いのは放射性物質だ
ラジウム温泉も飲むと危ない
0145デフォルトの名無しさん
2014/03/08(土) 12:30:53.190146デフォルトの名無しさん
2014/03/08(土) 12:47:09.77人体にもとから付着している微生物とか
ポテトチップやマーガリンの酸性油とかと
比較してくれ
0147デフォルトの名無しさん
2014/03/08(土) 13:12:05.200148デフォルトの名無しさん
2014/03/08(土) 14:45:45.330149デフォルトの名無しさん
2014/03/08(土) 15:00:46.50その危険なモノがいっぱいある生活空間に、さらに東電のウンコが加わるということをご理解いただいてますでしょうか?
0150デフォルトの名無しさん
2014/03/08(土) 15:05:31.66ありゃありゃ
0151デフォルトの名無しさん
2014/03/08(土) 15:23:07.05典型的なバカですね。
像の大きさとアリの黒さを比べるような話だわ。理解できないかw
0152デフォルトの名無しさん
2014/03/08(土) 15:34:32.04これにて定量的に事故の人体への影響はない事がQ.E.D.
同時に反原発派の無知蒙昧あるいは日本への敵意も証明された。
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まあもうちょっとノウハウの蓄積とかプロファイラとかの支援とかは欲しいけどね。
0253デフォルトの名無しさん
2014/03/14(金) 10:45:15.10ID:mo5uPKBu和訳全文
「癌はチェルノブイリ事故後に現われた病気の10%に過ぎません」
「多かったのは心臓病です」
「セシウムは体内に入ると、すい臓と心臓に溜まるからです」
0254デフォルトの名無しさん
2014/03/14(金) 11:55:54.95ID:Iy0EdXevスペースリークなんて問題でもなんでもないんだろ
0255デフォルトの名無しさん
2014/03/14(金) 13:29:44.20ID:eF6WORZA糞アプリってどれよ
0256デフォルトの名無しさん
2014/03/14(金) 20:36:53.83ID:C9WoYF6Qありがと。
IDから察するに、すごいHaskellの翻訳者かな?
そういえばHaskell本で日本人著者ってあまり無いよな。
Haskell(関数型プログラミング言語)を使う上での設計論とか
読んでみたいので、誰か書いてくれないかな・・・。
0257デフォルトの名無しさん
2014/03/14(金) 22:10:07.69ID:f4LPa8y8なるほど、こういう時にモナドトランスフォーマを使うんですね。
"Nothing"なら何もしない、のはMaybeの>>=の能力だから、それを混ぜてやればよいと。
https://sites.google.com/site/toriaezuzakki/haskell/conduit-console
の最後の例のawaitIntDoubleの型を見て、なんだか不自然だなあ、と敬遠していたのですが、maybe関数を濫用するよりずっと良いのでは、と思い直しました。
0258デフォルトの名無しさん
2014/03/14(金) 22:36:27.13ID:wb5Uk6xM0259デフォルトの名無しさん
2014/03/15(土) 01:53:09.50ID:IY8Y+X8s0260デフォルトの名無しさん
2014/03/15(土) 01:58:21.52ID:XrfJgLPH鬱にならないか心配だ(´・_・`)
0261デフォルトの名無しさん
2014/03/15(土) 03:07:59.54ID:xTtOlqyi東電の子会社と三菱商事が共同出資、オマーン産LNGの購入販売権を持つセルト社。
同社は米国向けに百万BTUあたり2ドルで販売する一方、
東電には9倍も高い18ドルで販売しているなどの問題が、燃料費が高くなる原因に。
東電は自分の子会社にLNGを安く仕入れさせ、米国向けの9倍で販売。
子会社はぼろ儲け、東電が高く買った燃料費は高額な電気料金として消費者にまわされる。
0262デフォルトの名無しさん
2014/03/15(土) 14:21:36.38ID:n/4F4bsU日本の会社が採掘して、日本の会社が輸送して、日本の会社が精製する燃料が高くなって困る理由を知りたい
0263デフォルトの名無しさん
2014/03/15(土) 14:27:08.88ID:xMKbF4ZOまあ震災後の料金高騰とはあまり関係ないだろうけどね
0264デフォルトの名無しさん
2014/03/15(土) 18:29:25.95ID:8+JReWcqほんと、つくづく騙され通しのバカ国民やで
0265デフォルトの名無しさん
2014/03/15(土) 18:39:55.80ID:n/4F4bsU0266デフォルトの名無しさん
2014/03/15(土) 19:06:34.32ID:pkYJqNl60267デフォルトの名無しさん
2014/03/15(土) 21:42:09.30ID:uqSkr2h0軍事力無いのに、交渉出来るとでも?
「近代国家の出現理由」でも読んどけ。
0268デフォルトの名無しさん
2014/03/15(土) 22:08:41.88ID:2csxnBLEflymakeをすり抜けるのに、ghciにロードすると捉えられるエラーがあるんです。
俺の環境がおかしいんですかね?
0269デフォルトの名無しさん
2014/03/15(土) 22:13:24.04ID:wuAf6USw成果主義じゃない方が強い
コンパイルエラーになれば成果がゼロになる
そのまま実行すれば一部の機能は利用できたかもしれないのに全否定する
0270デフォルトの名無しさん
2014/03/16(日) 04:01:24.57ID:/hEfGrroなるほど、そういう理由でしたか。納得しました。
ありがとうございました。
0271デフォルトの名無しさん
2014/03/16(日) 04:12:30.01ID:eTk+n+s+日本にないのは憲法に規制された軍隊
規制どころか自国の憲法に記述すら存在しない軍隊なら日本にある
近代国家は憲法とともに誕生して、リバイアサンを縛るために構築されたのが憲法という近代国家の出現理由を知っていれば、諸外国にとってどっちが怖いかは分かるよね?
0272デフォルトの名無しさん
2014/03/16(日) 07:42:04.07ID:Ws8t8exA0273デフォルトの名無しさん
2014/03/16(日) 09:48:59.38ID:ThPC1gUr0274デフォルトの名無しさん
2014/03/16(日) 10:54:35.74ID:BrpHwjMD連投のスピードが落ちただけでも満足だよ
0275デフォルトの名無しさん
2014/03/16(日) 16:07:11.79ID:Ws8t8exA0276デフォルトの名無しさん
2014/03/16(日) 18:37:18.33ID:sQjHbYps毎日馬鹿にされるだけぽよ(´・_・`)
0277デフォルトの名無しさん
2014/03/16(日) 18:39:16.91ID:sQjHbYps頭のいい彼女なんかと付き合ったら馬鹿にされて
もっとつらぽよになるだけぽよ
0278デフォルトの名無しさん
2014/03/16(日) 20:14:10.42ID:Ws8t8exA0279デフォルトの名無しさん
2014/03/16(日) 23:30:27.09ID:q3AwgkM6プログラミングHaskell
一冊目はどっちのほうがいいでしょう?
0280デフォルトの名無しさん
2014/03/16(日) 23:42:38.21ID:WhItnnMYプログラミングHaskell
0281デフォルトの名無しさん
2014/03/17(月) 00:17:59.59ID:Ka5Fbj25記者クラブの連中は「また、メルトダウンの質問か、ひつこいぞ!」と罵声を浴びせていた。
2ヶ月後やっと東電がメルトダウンを認めるとメディアは「メルトダウンの可能性を心配していた…」とぬけぬけと
0282デフォルトの名無しさん
2014/03/17(月) 00:32:17.88ID:3w0r/EDwありがとうございます
そっちのほう買ってみようと思います
0283デフォルトの名無しさん
2014/03/17(月) 01:58:45.67ID:VskRvAz9と
(<) `on` snd
を(&&)で合成したいのですが、うまくできません。
一引数関数なら関数アプリカティブに突っ込めるのに…
二項演算子の合成ってやりにくいんでしょうか。
0284デフォルトの名無しさん
2014/03/17(月) 06:57:59.85ID:Ma1CI2y7一応
liftA2 (&&) <$> ((>) `on` fst) <*> ((<) `on` snd)
みたいに書けるけど、俺ならラムダで書く
¥(x0, y0) (x1, y1) -> x0 > x1 && y0 < y1
0285デフォルトの名無しさん
2014/03/17(月) 09:37:25.51ID:Ka5Fbj25[´・_ すごいHaskellにするぽよ
0286デフォルトの名無しさん
2014/03/17(月) 17:45:16.34ID:eTzj72lP質問とは関係ないけどその二冊はオーム社のサイトで電子版が紙版よりちょっと安くうってるよ
0287デフォルトの名無しさん
2014/03/17(月) 20:45:20.68ID:Op94R4SR0288デフォルトの名無しさん
2014/03/17(月) 22:28:01.56ID:3w0r/EDw0289デフォルトの名無しさん
2014/03/17(月) 22:37:40.44ID:y+URzG550290デフォルトの名無しさん
2014/03/17(月) 23:04:22.80ID:OyLyet8i「ラーメンと中華まんはどっちが美味いか」みたいに馬鹿げた質問
0291デフォルトの名無しさん
2014/03/18(火) 00:13:54.01ID:oMQpjzACステップアップコース学習 :: プログラミングHaskell -> すごいHaskellたのしく学ぼう!
-> Real World Haskell -> 関数プログラミングの楽しみ -> 中級者
ショートカットコース学習 :: すごいHaskellたのしく学ぼう! -> Real World Haskell -> 初級者
0292デフォルトの名無しさん
2014/03/18(火) 00:51:35.75ID:zbaDTS5N0293デフォルトの名無しさん
2014/03/18(火) 00:55:47.25ID:6BNvI/8X0294デフォルトの名無しさん
2014/03/18(火) 00:58:18.88ID:M0J6WBGb0295デフォルトの名無しさん
2014/03/18(火) 01:07:14.12ID:y0jvz8+J情報収集してそこからの差分を理解していく必要はあるけど。
0296デフォルトの名無しさん
2014/03/18(火) 01:59:02.99ID:uD7Cy8D40297デフォルトの名無しさん
2014/03/18(火) 07:25:31.10ID:RhgFPmuNまさにそれが求めていたものです!
(x,y) -> (x,y) -> Bool
を
(x,y) -> ((x,y) -> Bool)
とみて、二回リフトする、と。
まあ、おっしゃる通りラムダにした方が読みやすいですね。
0298デフォルトの名無しさん
2014/03/18(火) 07:30:24.37ID:RhgFPmuN現在では古くなってる部分をkazu-yamamotoさんがまとめていらっしゃいましたよ。
http://d.hatena.ne.jp/kazu-yamamoto/touch/20140206/1391666962
0299デフォルトの名無しさん
2014/03/18(火) 08:30:19.37ID:zbaDTS5N解の存在を確かめずに消去法使っちゃう人?
0300デフォルトの名無しさん
2014/03/18(火) 10:29:55.93ID:POOpIYqK0301デフォルトの名無しさん
2014/03/18(火) 12:04:56.11ID:PZmjAVtzパラダイムの本って論理的じゃないし
型推論の本を読みたい
0302デフォルトの名無しさん
2014/03/18(火) 13:09:44.59ID:kXrl8oNi消去法を進めた後の行列の形で解の数が分かるのだが
0303デフォルトの名無しさん
2014/03/18(火) 13:51:35.25ID:POOpIYqK0304デフォルトの名無しさん
2014/03/18(火) 14:04:18.44ID:oMQpjzAC例えば”Haskellで作るWebサービス”とか、”Haskellで作るGUIアプリ”とか、
CやJava系に沢山ありそうな本もないとなかなか普及しない。
0305デフォルトの名無しさん
2014/03/18(火) 14:30:05.52ID:UBk2tVSE0306デフォルトの名無しさん
2014/03/18(火) 15:12:15.73ID:POOpIYqKYesodの本があるが、残念ながら…
0307デフォルトの名無しさん
2014/03/18(火) 21:23:59.81ID:UBk2tVSE3年過ぎていまごろ、英文で有料公開されたとさ。庶民は何も知らされずに浴びっぱなし。
誰だっけ「プルトニウムは重いから飛ばない」とかいった”科学者"
0308デフォルトの名無しさん
2014/03/19(水) 08:33:16.39ID:xzD/036Zアインシュタイン以前の力学だけを用いて重力すらもも否定するのが本当の科学者ですよ
0309デフォルトの名無しさん
2014/03/19(水) 11:01:16.63ID:7lx2Abqw0310デフォルトの名無しさん
2014/03/19(水) 12:46:30.35ID:MSw2hAC3しようとして、拒否されてしまいます。
それが依存しているarithmoiパッケージが、arrayパッケージ<0.5を要求しているのですが、
ghcに付属してくるarrayが0.5なのです。
このような状況で、"ghcのバージョンを落とす"以外に何かできることがありますでしょうか?
0311デフォルトの名無しさん
2014/03/19(水) 13:49:09.34ID:pgTJKr0lあなた以外では解決できません
理由はわかるよね?
0312デフォルトの名無しさん
2014/03/19(水) 16:04:10.44ID:9o9cKjtDその時は地球温暖化太陽活動説を支援して人為的地球温暖化説を排除すればいいだけの事。
科学者ですら意見が定まっていないのだよ。
0313デフォルトの名無しさん
2014/03/19(水) 16:26:34.96ID:GobED1Mv0314デフォルトの名無しさん
2014/03/19(水) 16:53:38.13ID:7lx2Abqw温暖化だけの問題じゃないだろ
0315デフォルトの名無しさん
2014/03/19(水) 19:02:46.53ID:uuz1UwWRラルフ・ルイス・ウッズ
>>310
Oracleに問合せたら「ID:pgTJKr0l以上の賢者は1人もない」って返ってきたよ。
ライフワークなんだと。成し遂げて欲しいね。
ttp://ja.wikipedia.org/wiki/%E3%82%BD%E3%82%AF%E3%83%A9%E3%83%86%E3%82%B9
0316デフォルトの名無しさん
2014/03/19(水) 19:24:43.22ID:xzD/036ZCO2を排出してはいけないので、CO2を大量に排出して原発を作って、CO2を大量に排出してウランを濃縮して、大量の放射性物質を太平洋にぶちまけました
めでたし、めでたし
0317デフォルトの名無しさん
2014/03/20(木) 00:07:04.41ID:XiIM2HyKこれは「労働移動支援助成金」という制度で、離職を余儀なくされる従業員に「再就職支援」をあっせんするため、リストラをする企業に国がお金を出す。
これまでは中小企業が対象だったが、拡充後は大企業も支給対象になる。
「リストラ対象者が置き去り」の指摘も 再就職が決まれば、支援会社への委託費用のうち最大60万円が支給される。
決まらなかった場合でも、再就職支援会社に「頼むだけ」で10万円が支給される。
企業が従業員のクビを切り、再就職支援会社を紹介しさえすればお金をもらえるしくみだ。
企業のリストラコストの一部を国が負担してくれる構図だが、この制度にはネット上で大きな疑問が投げかけられている。
「社員を1人クビ」で最大60万円 「おいしすぎる助成金」に批判集中 2014年02月25日
0318デフォルトの名無しさん
2014/03/20(木) 00:48:30.82ID:kPduFz+jネット上()で大きな疑問()
0319デフォルトの名無しさん
2014/03/20(木) 01:28:36.95ID:nt6YYgOs=||=!| │ /:::::::::::::::::::::ヽ
|| !| │ |:::: ::::::::::::::::::::::l
|| !| │ |::: ::::::::::::::::::::::::!
=||=!| │ |:::::::::::::::::::::::::::::l
─.─.┤ | !:::::::::::::::::::::::::li:|ニニニニニ.、
| .! !:::::::::::::::::::::::::l|::| ̄ ̄.!| |.!
| .! 、r, /|::::::::::::::::::::::::ll.,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_____, -ー‐‐‐‐' ´ `ー'
0320デフォルトの名無しさん
2014/03/20(木) 12:13:05.19ID:O5yt2ud4日本の火発のばい煙は基準値の100分の1。
中国製と違って空気を汚すことはない。
0321デフォルトの名無しさん
2014/03/20(木) 21:55:39.99ID:s60Y4j2W基準は中国ですか
0322デフォルトの名無しさん
2014/03/20(木) 23:15:36.61ID:kPduFz+j0323デフォルトの名無しさん
2014/03/20(木) 23:27:03.00ID:s60Y4j2W事故対策積立が嘘だったんだから、除染費用で電気代が上がるのは仕方がない
0324デフォルトの名無しさん
2014/03/20(木) 23:50:14.44ID:I1W43kEQどうせたいした効果が見込めないことをするくらいならそのコストを別のところに振り分けた方がいいよ。
岡山あたりなら入植可能な土地はかなりあるぞ。
あと「電気代が上がる」ということを軽く考えすぎ。
「電気料金を見たら何パーセントか上がってるなぁ」ってのを想像してるのかもしれんが、
数パーセントでは済まないし、電気を利用するあらゆる産業の値段に跳ね返ってくるので、
単純に試算すれば最終的に一般的な世帯の生活費に何割とか何倍ものしかかってくる。
0325デフォルトの名無しさん
2014/03/21(金) 00:13:41.31ID:+LUmfFPn首相が笑顔で、故意にインフレさせるとか宣言してる国で何言ってんだ
0326デフォルトの名無しさん
2014/03/21(金) 00:30:19.56ID:RqmfByJI今までずーーーーっとデフレ過ぎたんだから。
ま、程度問題だけどさ。
0327デフォルトの名無しさん
2014/03/21(金) 00:37:18.13ID:+LUmfFPn対資源は、日本は15年間ずっとインフレですよ
電気代もずっと上昇してたでしょ
ポテチも中身が減ってたでしょ
0328デフォルトの名無しさん
2014/03/21(金) 00:45:02.64ID:s+SOSk4D福沢諭吉を刷りまくればいい
だが資産価値はまったく増えないのが真実
0329デフォルトの名無しさん
2014/03/21(金) 09:34:47.76ID:/2yzxwFN0330デフォルトの名無しさん
2014/03/21(金) 10:53:16.48ID:6cK/HcmYところで皆Haskellで何を作ってるの?
0331デフォルトの名無しさん
2014/03/21(金) 11:33:37.79ID:LSofa0pRなるほど、7.8.1を使ってる人はあんまりいない、ってことですか?
diagramsの依存パッケージの多くがarray0.5じゃダメらしいので、諦め気味です:~;
初心者ですが、ゲーム作ってます。iPhone向けの。
0332デフォルトの名無しさん
2014/03/21(金) 11:58:38.95ID:B6iPUhExcabalのオプションで--constraints "arithmoi >= 0.4.4"なり指定してしてどうにかならなければ
古いarithmoiに依存するパッケージをcab rdepとか使って調べてそいつの.cabal書き換えるなりすることになるだろうな
0333デフォルトの名無しさん
2014/03/21(金) 16:39:55.83ID:GFJew8r7> 問題は燃料費だろ。電気代値上がって、何人の中小経営者が自殺したことやら
円安による材料輸入費の上昇が一番効いた。
0334デフォルトの名無しさん
2014/03/21(金) 17:03:54.11ID:+LUmfFPnいやいや
放射性物質ぶちまけて法律違反しまくっても東電が罰せられないのを見て、日本が法治国家じゃないことが明らかになったんだから、もう中小企業なんてやってられないでしょう
0335デフォルトの名無しさん
2014/03/21(金) 20:39:00.02ID:TvXaDyf7checking for gcc... /usr/lib64/ccache/gcc
checking whether the C compiler works... no
cuda sdkのサンプル自体は問題なくコンパイルできるのに、なんで?
0336デフォルトの名無しさん
2014/03/21(金) 20:44:28.91ID:+LUmfFPnパス通ってる?
0337デフォルトの名無しさん
2014/03/21(金) 21:48:25.87ID:ihLfAgaE頭悪そうだね、君。
0338335
2014/03/21(金) 21:49:09.23ID:TvXaDyf7$ 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へのパスなら名前だけで実行できるから通ってるはずだが・・・
0339デフォルトの名無しさん
2014/03/21(金) 21:59:45.31ID:+LUmfFPnconfigure.log があると思うので、その中にパスが見つからなくて失敗したファイルが書いてあるはず
0340335
2014/03/21(金) 23:41:57.24ID:TvXaDyf7config.comを調べたら、どうも --extra-lib-dirs の書き方が悪かったみたいで、
複数のパスはそれぞれ分けて指定する必要があるそうだ(dirs なのに)
直したら、ghc によるコンパイルのステージに到達できた。ありがと。
が、今度はコンパイルエラーで、今ちょっと調べてる。
0341335
2014/03/21(金) 23:44:56.54ID:TvXaDyf7config.log ね
0342デフォルトの名無しさん
2014/03/22(土) 01:21:32.77ID:ythPCTXl外務省も国益に沿った情報を取る能力もない。日本政府がやっていることは、
対米隷属の原則に沿って、米国に従っているだけである。
みろ、予想通りだ。
言われるがままに税金を差し出す無能中の無能、安倍晋三。
売国奴の極み。
ウクライナに1000億円支援=安倍首相、G7で表明へ
0343デフォルトの名無しさん
2014/03/22(土) 07:05:34.84ID:vGm90BMR確かに、ものすごくアタマ悪そう
0344デフォルトの名無しさん
2014/03/22(土) 07:06:22.25ID:q+OroEJ6これもまた、頭悪そうだな。
ていうか、どしてこのスレは精神病ぽいのがウロウロするのか
0345デフォルトの名無しさん
2014/03/22(土) 12:30:41.14ID:bqMr7ab4故意にインフレは可能。
インフレになると損する奴ができないというステマをしまくってるだけ。
池田信夫とか、BLOGOSメンバーの持ち回りでやってる仮想キャラの藤沢数希とかw
0346デフォルトの名無しさん
2014/03/22(土) 13:44:47.93ID:iB90GkFRインフレは個人資産を減少させるので、財産権の侵害になり、憲法違反
しかし、行政が故意にインフレにすると宣言して実際にインフレになっても国民が納得している以上、日本は立憲国家ではない
0347デフォルトの名無しさん
2014/03/22(土) 14:03:27.13ID:bqMr7ab4直接財産権を侵害するわけじゃないから問題なし。
0348デフォルトの名無しさん
2014/03/22(土) 14:27:25.55ID:iB90GkFR国民が、財産権を行政が故意に侵害しても直接じゃなければいいとか言ってるので、日本は立憲国家ではない
0349デフォルトの名無しさん
2014/03/22(土) 14:38:43.63ID:7OtHGIAM0350デフォルトの名無しさん
2014/03/22(土) 14:42:39.00ID:bqMr7ab4今持ってる財産を回して大して働かずに稼ぎ、ちまちま消費して生活してる人と、
どっちを支援したほうが社会が良くなるか、普通に考えたら分かるだろ。
0351デフォルトの名無しさん
2014/03/22(土) 14:52:46.25ID:hf34Xv/j0352デフォルトの名無しさん
2014/03/22(土) 15:50:20.21ID:TjD1bqk9いつから何もしない人が最悪だと錯覚していた?
現実には悪人がいて、悪人が増えると何もしない人の地位は相対的に上がる
錯覚に気付かないまま悪人を支援すれば、ますます悪人が増える
何もしない人は減らない
地位が上がり続けているから
0353デフォルトの名無しさん
2014/03/22(土) 16:00:46.67ID:Zm8O6+DW政治の話題は他でやるべき。
0354デフォルトの名無しさん
2014/03/22(土) 17:28:51.27ID:G9GcpSnzわざわざ隔離病棟まで出向いておいて何を言ってるのか
0355デフォルトの名無しさん
2014/03/22(土) 20:55:43.90ID:iB90GkFR前者を支援したせいで原発が爆発したけどな…
0356デフォルトの名無しさん
2014/03/23(日) 00:20:25.89ID:ZvDNEv5bどういう理屈で?
0357デフォルトの名無しさん
2014/03/23(日) 02:12:18.01ID:mpUGbMu00358デフォルトの名無しさん
2014/03/23(日) 02:45:07.18ID:emdqFUZW金持ちとか大企業とかが潤えば下々にも恩恵が行き渡るっていうやつ
実際はそいつらせっせと海外資本分散や海外移住に余念がねえのに
この後経済ヤバくなったら真っ先に日本見捨てるの目に見えてるだろ
0359デフォルトの名無しさん
2014/03/23(日) 10:05:03.70ID:tmsZ8L24だったら面白いのに
0360デフォルトの名無しさん
2014/03/23(日) 10:56:41.67ID:nJaP+3Wnマジでbotの可能性はあるなw
どっかの誰かさんが吠えてる内容とそっくりだ。
最近、ニコ動で電王戦やってるけど、将棋ソフトをHaskellで
作る猛者はいないのかな。
0361デフォルトの名無しさん
2014/03/23(日) 11:33:12.90ID:1x39r4WI仕様がいい加減
それをHaskellで作りますか
0362デフォルトの名無しさん
2014/03/23(日) 12:29:10.07ID:9EUDVluQ詰みまでの最短手数を求めよ
0363デフォルトの名無しさん
2014/03/23(日) 12:30:08.17ID:ZhYebgxz0364デフォルトの名無しさん
2014/03/23(日) 12:38:08.10ID:PZnj9CNRdiagramsパッケージ、インストールできました。
18日にarithmoiパッケージの新バージョンがリリースされてたようで、それがarray0.5に対応してました。
諦めないでよかったです〜ありがとうございました。
0365デフォルトの名無しさん
2014/03/23(日) 16:28:19.41ID:u8Q2UWt5いかにもHaskellで何も作ってなさそう
0366デフォルトの名無しさん
2014/03/23(日) 19:54:22.50ID:1vCNvCHBだからリフレとナショナリズムはセットで推進されるんだよ
0367デフォルトの名無しさん
2014/03/24(月) 17:03:58.89ID:z2fc71hr何かwork aroundないの?
0368デフォルトの名無しさん
2014/03/24(月) 17:39:19.72ID:mlkBnL/O0369デフォルトの名無しさん
2014/03/24(月) 22:58:01.32ID:11WDFqGGPython C# F# Haskell どれで作っても同じものができる予感がする
もしかして違うかと思ってHaskellを少し書くけどやっぱり同じだと思う
0370デフォルトの名無しさん
2014/03/24(月) 23:13:48.23ID:DKyXHjxn0371デフォルトの名無しさん
2014/03/24(月) 23:24:31.67ID:PhMxkisA同じモノは作れる
しかし、同じコストで作れるとは限らない
0372デフォルトの名無しさん
2014/03/24(月) 23:26:58.18ID:RhUkgqgQ処理系の実用性はどうなのよ
0373デフォルトの名無しさん
2014/03/25(火) 00:43:25.22ID:4Wj3Mfvr0374デフォルトの名無しさん
2014/03/25(火) 00:50:18.39ID:MycYc9j00375デフォルトの名無しさん
2014/03/25(火) 07:41:04.84ID:33U2nY4o0376デフォルトの名無しさん
2014/03/25(火) 07:59:25.00ID:i+zmUVEy0377デフォルトの名無しさん
2014/03/25(火) 09:04:49.57ID:4Wj3Mfvr処理系拡張とは?
0378デフォルトの名無しさん
2014/03/25(火) 10:43:17.70ID:QImWjIyD言語の肝は意味論だ。構文なんてどうでも良い。
どうでもいい奴ほど、コメントや具象構文のような、どうでもいいことにコダワる。
ワドラーの法則だ。 ttp://www.haskell.org/haskellwiki/Wadler's_Law
0379デフォルトの名無しさん
2014/03/25(火) 12:51:44.60ID:Ztktxqvz0380デフォルトの名無しさん
2014/03/25(火) 15:45:50.69ID:i+zmUVEy(コード、の本来の意味的に)
0381デフォルトの名無しさん
2014/03/25(火) 16:26:41.43ID:OPl4MOLcこれでポイントフリー信者でも静的言語を使える
ポイントフリーは定数と括弧しか書かないから構文はどうでもいい
0382デフォルトの名無しさん
2014/03/25(火) 17:51:49.68ID:F5Ikpy+q昨年実施された個人線量計による被ばく線量調査について、
内閣府が当初予定していた結果の公表を見送っていたことが分かりました
高い数値が出たため、住民の帰還を妨げかねないとの意見が強まったといいます
0383デフォルトの名無しさん
2014/03/25(火) 18:11:19.91ID:0X/z84/T意味不明なインストールエラーがたちどころに直った...
0384デフォルトの名無しさん
2014/03/25(火) 21:27:23.38ID:F5Ikpy+q福島原発事故当初の作業員の内部被ばく線量を見直した結果、
142人の線量が増えた。国は東電を行政指導。
0385デフォルトの名無しさん
2014/03/25(火) 21:42:28.56ID:srj5cVzs作業員じゃなくて、「正規社員の作業員」なら、もう規制値超えてて現場にいないんだけどね
0386デフォルトの名無しさん
2014/03/25(火) 22:03:33.25ID:to4wBgCX俺は一日の中で最初の cabal install の前には必ず update するようにしてる。
0387デフォルトの名無しさん
2014/03/26(水) 00:50:13.55ID:W8/Jkpd4「放射能汚染から子どもたちを守るために、放射能の測定・除去、健康管理、
安全な学校給食実施などの環境整備を早急に進めることについて」の請願も
自民、民主、公明、未来の反対により不採択になってしまいました。
0388デフォルトの名無しさん
2014/03/26(水) 01:58:52.30ID:NXJ9wgj7請願は提出した時点で終わりだから、受理するとか何か案を考えて、それを不採択にするなら分かるのだが
それとも請願すること自体を不採択にしたという意味だろうか?
0389デフォルトの名無しさん
2014/03/26(水) 15:55:42.36ID:oy2M5yiS0390デフォルトの名無しさん
2014/03/26(水) 17:42:09.43ID:W8/Jkpd4実際の単純な発電コストには、安全点検費、立地自治体等への交付金、
廃炉費、六ヶ所村再処理工場の操業費、もんじゅ維持費、
MOX燃料加工費、高レベル廃棄物処理費、中間貯蔵費、
核燃料輸送費、事故賠償保険料等は含まれていない。
さらに問題なのは、10万年にも及びかねない
「使用済み核燃料など高レベル廃棄物の保管料」がまるで考慮されていないこと。
どれほどのコストになるのか、現在の科学ではまったく計算もできない膨大な費用。
それらを無視して「原発電力は安価」などと主張する人は、思考停止に陥っているだけ。
0391デフォルトの名無しさん
2014/03/26(水) 18:36:45.14ID:9OApTpLOフロイド-ワーシャル法の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性能としてはゴミかな?
0392デフォルトの名無しさん
2014/03/26(水) 23:40:09.40ID:/eZI4J8U問題を知らないので外してたら申し訳ないけど、
https://devtalk.nvidia.com/default/topic/534223/simple-cuda-implementation-of-the-floyd-warshall-graph-algorithm/
の人は、問題サイズが>400ならCPUよりずっと速いって書いてる。
自分で書いたCUDAコード?
0393デフォルトの名無しさん
2014/03/27(木) 03:26:12.92ID:rg7KAbqb0394デフォルトの名無しさん
2014/03/27(木) 03:40:39.04ID:rg7KAbqb0395デフォルトの名無しさん
2014/03/27(木) 08:16:43.48ID:gtGHRTdv今のまま利権だけで食っていくのが一番美味しいの。
0396デフォルトの名無しさん
2014/03/27(木) 09:43:10.66ID:WeqaOhWi0397デフォルトの名無しさん
2014/03/27(木) 10:17:22.37ID:/i2x7oNM財布は胃袋のようなもので胃袋で味を感じることはできない
0398デフォルトの名無しさん
2014/03/27(木) 11:00:46.78ID:R9FKO6iJ(do
something
something)
(do
someting
something)
みたいな書き方が嫌いなんだけど、何かいい方法ないかな?
0399デフォルトの名無しさん
2014/03/27(木) 18:26:39.98ID:iHZ8LOyg--helpみてもよくわからない...
0400デフォルトの名無しさん
2014/03/27(木) 20:37:42.61ID:L15I1QPt(do ...) `finally` (do ...)
0401デフォルトの名無しさん
2014/03/27(木) 20:50:33.72ID:3ubCeAgd物価上昇に追いつかない
バカ中にはそれがわからない
0402デフォルトの名無しさん
2014/03/27(木) 20:51:47.18ID:3ubCeAgd相手に失礼
0403デフォルトの名無しさん
2014/03/27(木) 21:10:34.45ID:L15I1QPt計算部分は本の内容をそのままコピペしたが、グラフデータを配列に入れる部分は載っていなかったから、
その部分は自作した(当然、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性能がデータ転送、計算含めてしょぼいことは分かった。
0404デフォルトの名無しさん
2014/03/27(木) 21:12:07.82ID:WeqaOhWi0405デフォルトの名無しさん
2014/03/27(木) 21:23:20.00ID:L15I1QPt使ってるライブラリを言ってなかった。
CUDA版は accelerate-cuda を使ってる。
0406デフォルトの名無しさん
2014/03/27(木) 23:07:41.08ID:i9m+AulN東電によると、ロボットは米国製の「ウォリアー」。今月13日、原子炉格納容器のすぐ上に当たる建屋5階の汚染状況などを調べるため、複数のロボットで
床面のコンクリートなどを採取していたところ、ウォリアーが転倒した。
外部から電源ケーブルがつながっていたため、作業員は翌14日に元に戻すつもりだったが、同日朝に確認するとケーブルから電源が供給されておらず、
バッテリーが切れていた。再起動にはロボット本体のスイッチを操作する必要があるが、建屋内は放射線量が高く、回収を断念した。
ウォリアーのバッテリーは、満充電になると自動的に外部からの電源供給を停止する設定になっていたが、作業員は知らなかったという。
0407デフォルトの名無しさん
2014/03/28(金) 00:49:21.08ID:xjbmATUr0408デフォルトの名無しさん
2014/03/28(金) 00:54:12.60ID:RzSpPCQZ使うクレーンが停止したトラブルで、東電は27日、サイドブレーキをかけたまま運転した
ことが原因だったと発表した。クレーンには自動停止する機能があり、ブレーキは使わない
ルールになっていた。
東電によると、クレーンは26日に核燃料の輸送容器(キャスク)をつり上げる準備作業中に
故障ランプが点灯し停止した。調査の結果、ブレーキをかけたまま運転したため、モーターに
負荷がかかり、電流が過剰に流れて自動停止したことが分かった。前の作業者がブレーキを
かけていたという。
0409デフォルトの名無しさん
2014/03/28(金) 00:59:21.02ID:RzSpPCQZ0410デフォルトの名無しさん
2014/03/28(金) 18:30:00.15ID:RzSpPCQZ東京電力は28日、福島第1原発で廃棄物を保管する施設の補強工事をしていた協力企業の50代の男性作業員が
土砂などの下敷きになったと発表した。近くにいた作業員が救出し、病院に運ばれたが死亡した。
県警双葉署や東電が詳しい状況を調べている。
東電によると、事故は同日午後2時20分ごろ発生。作業員は深さ2メートルの穴を掘って施設の下側に入り
建物の基礎部分のくいを地中で修理していた。施設下部のコンクリートと土砂が崩れ落ち、下敷きになったという。
0411デフォルトの名無しさん
2014/03/28(金) 19:07:40.44ID:0Llxlo7P0412デフォルトの名無しさん
2014/03/28(金) 19:46:59.13ID:+FMeE+RMghc-pkg recacheするとエラーが出るのですが
どうすれば実行できますか
環境はwindows7です
0413デフォルトの名無しさん
2014/03/28(金) 19:49:39.44ID:nnm09MWSインストールするパッケージを問題ない組み合わせが見つかるまで試行してくれる
ただし(めんどくさくて詳細を調べてないが)回数制限があり、それを超えるとエラーする
この回数制限の回数を調整するオプションが--max-backjumps
0414デフォルトの名無しさん
2014/03/29(土) 16:21:11.91ID:PweE6fSU解決しました
0415デフォルトの名無しさん
2014/03/30(日) 00:08:18.27ID:nTsugq9h「廃炉や補償費用を入れると原発のコストが天井知らずになることは原発事故が証明しました。一方で再生可能エネルギーを
大量に導入する欧米では、発電コストが急速に下がっています。例えば、ドイツの太陽光発電の導入費用は2006年からの
6年間で3分の1まで低下しました。
ドイツでは『電気料金が上がったのは、再生可能エネルギー拡大のため』と言われますが、それは間違いで、大きな要因は
税金の上昇と大口需要家の賦課金(負担金)を一般家庭が払っているからです」(大林さん)
再生可能エネルギーは、「自然任せで不安定な発電だ」という批判もあるが、それについて大林さんはこう語る。
「再生可能エネルギーの先進国では、最新の気象予報システムを利用して気象変動を読み取り、供給する電力の計画を更新
しています。電気の安定供給は問題ありません」
0416デフォルトの名無しさん
2014/03/30(日) 00:09:56.06ID: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)】
0417デフォルトの名無しさん
2014/03/30(日) 00:11:12.25ID:nTsugq9hhttp://www.jcp-fukushima-pref.jp/seisaku/2007/20070724_02.html
★自民党、東京電力からの献金と引換えに原発の緩い耐震設計を認可
http://www.jcp.or.jp/akahata/aik07/2007-09-16/2007091615_01_0.html
★安部内閣、福島原発10基耐震安全性の総点検等を求める申し入れ 却下
http://www.jcp.or.jp/akahata/aik09/2010-03-01/2010030101_05_1.html
原発の津波対策をめぐっては、2006年に日本共産党の吉井英勝衆院議員が国会質問で不備を指摘しています。
5メートルの津波(引き波)によって、日本の原発の約8割にあたる43基の原発で、
冷却水が海から取水できなくなることを明らかにしました。また、原発ごとに想定されている引き波でも、
12原発が、取水不能になるうえ貯水槽もないことがわかっています。(図)
http://www.jcp.or.jp/akahata/aik09/2010-03-01/2010030101_05_1.jpg
0418デフォルトの名無しさん
2014/03/30(日) 09:57:58.80ID:YSazzIHg0419デフォルトの名無しさん
2014/03/30(日) 11:28:25.18ID:Ds5X5r+X0420デフォルトの名無しさん
2014/03/30(日) 11:36:00.63ID:DSJNeMFZいい加減スレ違いだから池田信夫スレでも行って来い
0421デフォルトの名無しさん
2014/03/30(日) 13:46:38.24ID:UMO+OpiR原発は高く、自然エネルギーも高い
だから火力発電をやってる
0422デフォルトの名無しさん
2014/03/30(日) 14:01:05.93ID:DSJNeMFZよく考えてみろよ。
太陽光発電なんか、あんなペラペラの板がノーメンテで20年も発電し続けるんだぞ。
0423デフォルトの名無しさん
2014/03/30(日) 14:02:00.75ID:DSJNeMFZ失敬
0424デフォルトの名無しさん
2014/03/30(日) 14:29:44.13ID:UMO+OpiR安くてノーメンテで20年間発電し続けているのか、そもそも発電してない上に設置してるだけで補助金もらえるから壊れててもノーメンテなのか…
0425デフォルトの名無しさん
2014/03/30(日) 17:20:28.32ID:zTQEBLpM0426デフォルトの名無しさん
2014/03/30(日) 17:50:16.77ID:VXJGPH0vor 某アルファブロガーの受け売りっていうのが(笑)
0427デフォルトの名無しさん
2014/03/30(日) 18:21:11.17ID:VXJGPH0v文字通り多様な自然エネルギーの電力への転換によって安定供給させる思想であって
単一依存は危険だから止めましょうよ、という考えに基づいている。
俺たちは情報セキュリティ技術者なんだから、こういう考え方には慣れていると思うんだがな。
0428デフォルトの名無しさん
2014/03/30(日) 18:24:24.97ID:VXJGPH0vgoogleみたいに複数のPCサーバでグリッドを組んで安定性を確保するのか、
という事に近いな。
0429デフォルトの名無しさん
2014/03/30(日) 19:52:29.29ID:a8VpV6D20430デフォルトの名無しさん
2014/03/30(日) 23:54:05.38ID:vrktFi0k放射線を浴びてニコニコするマウス……あっ
0431デフォルトの名無しさん
2014/03/31(月) 08:59:48.80ID:ZpZ1XCUT論理的思考能力が無さそうだね、君。
0432デフォルトの名無しさん
2014/03/31(月) 09:12:55.84ID:D1GO4u2R0433デフォルトの名無しさん
2014/03/31(月) 09:43:16.58ID:pd6KT+yL0434デフォルトの名無しさん
2014/03/31(月) 10:30:21.40ID:8hRrb2Di0435デフォルトの名無しさん
2014/03/31(月) 10:33:53.41ID:kJnilPLB0436デフォルトの名無しさん
2014/03/31(月) 14:49:31.74ID:EYXBoW1r0437デフォルトの名無しさん
2014/03/31(月) 15:32:31.56ID:DtbGifhU0438デフォルトの名無しさん
2014/03/31(月) 23:13:55.89ID:c9Pakk180439デフォルトの名無しさん
2014/04/01(火) 08:08:08.11ID:BhPrXSEh額にでも年収書いておけよ
0440デフォルトの名無しさん
2014/04/01(火) 08:21:21.12ID:o6SeUFuv彼女が欲しいんですか?
0441デフォルトの名無しさん
2014/04/01(火) 10:01:52.02ID:U8AR+P3VIDにhとSEX入れてる人の言うことは違うな
0442デフォルトの名無しさん
2014/04/01(火) 10:16:34.86ID:nUwV/ZGm0443デフォルトの名無しさん
2014/04/01(火) 10:18:41.49ID:Zi3KlkrJお互い頑張りましょうね
0444デフォルトの名無しさん
2014/04/01(火) 14:22:20.82ID:7UIT36DS0445デフォルトの名無しさん
2014/04/01(火) 21:41:18.03ID:dnN58haJ0446デフォルトの名無しさん
2014/04/03(木) 12:36:42.59ID:oN99KWq60447デフォルトの名無しさん
2014/04/03(木) 13:00:06.38ID:BHGNJLQRわいはそや思わへんで
0448デフォルトの名無しさん
2014/04/03(木) 13:49:51.48ID:vqOo+Z1jまたは「新しい言語を作れ」という意味ですよね
0449デフォルトの名無しさん
2014/04/03(木) 15:33:14.34ID:2LeqaWbw0450デフォルトの名無しさん
2014/04/03(木) 20:07:15.95ID:tguWcy710451デフォルトの名無しさん
2014/04/03(木) 22:21:10.55ID:DeWTdLol始まらない系と終わらない系
0452デフォルトの名無しさん
2014/04/03(木) 23:14:50.31ID:oN99KWq6一方、まだ証明されてないプログラムなら反例も何もないのでは
普通のテストケースの話?
0453デフォルトの名無しさん
2014/04/04(金) 00:35:44.30ID:tNQvf1qw始まらない系と終らない系はどちらもダメポイので、それぞれ逆にすると、始まる系と、終わる系。
一般的に言って、始まる系は良くて、終わる系はダメだと思われる。
最初に逆にしているので元に戻すと、始まる系はダメで、終わる系は良い。
終わる系に対応しているのは終わらない系なので、ソフトを作ってから反例を探すのが良いってことになる。
0454デフォルトの名無しさん
2014/04/04(金) 07:45:14.85ID:WnoVPBrfもてないって思われるよ
0455デフォルトの名無しさん
2014/04/04(金) 08:27:51.30ID:qb9wisxF0456デフォルトの名無しさん
2014/04/04(金) 18:12:26.32ID:krLBrE1L“@yami_vreco: どうすれば型システムの気持ちが理解できるのだろう…… 女の子の気持ちよりよっぽど難しいぞ……”
twitter.com/donkeyshin/status/417678104312557568
0457デフォルトの名無しさん
2014/04/04(金) 18:29:10.08ID:FLiSNy910458デフォルトの名無しさん
2014/04/04(金) 23:49:55.63ID:HRToJQcJ実用的じゃない = 芸術的だ
我々はアーティストなんだよ
0459デフォルトの名無しさん
2014/04/05(土) 07:53:45.09ID:kyv8oBYa0460デフォルトの名無しさん
2014/04/05(土) 08:04:08.87ID:lAKSmrVm0461デフォルトの名無しさん
2014/04/05(土) 08:15:41.83ID:1Y3aOpHa0462デフォルトの名無しさん
2014/04/05(土) 08:57:35.17ID:Hz/ud3nU0463デフォルトの名無しさん
2014/04/05(土) 10:36:10.84ID:Qe+1ji6L0464デフォルトの名無しさん
2014/04/05(土) 18:57:25.49ID:zkjLMqD1($ 3)
みたいに
型のセクションって無いんですか?
type Hoge a = (-> a)
0465デフォルトの名無しさん
2014/04/05(土) 19:04:16.45ID:HYSmNTOG0466デフォルトの名無しさん
2014/04/05(土) 20:25:00.03ID:vKSmYR47newtype Flip a b c = Flip (a c b)
y :: (a -> a) -> a
y = (>>=) (Fix . Flip) (flip id) . (>>=) (\ (Fix (Flip x)) -> x) . (.)
0467デフォルトの名無しさん
2014/04/06(日) 07:37:34.53ID:1LDtEblm0468デフォルトの名無しさん
2014/04/08(火) 09:24:47.02ID:8P7bllkZ0469デフォルトの名無しさん
2014/04/09(水) 17:53:42.81ID:imX5vmQ8俺はこういうコードがPerl並みに汚いと思っている。
0470デフォルトの名無しさん
2014/04/09(水) 19:46:06.98ID:RHIlKjxL厳しい人がよく汚い言葉を使うようなもの
もっと甘やかせば綺麗になる
0471デフォルトの名無しさん
2014/04/09(水) 21:50:47.68ID:ZSfNmeshこういうやつは実際には何も書いてないから気にしなくても良い
0472デフォルトの名無しさん
2014/04/09(水) 22:17:38.39ID:w8peUtsI0473デフォルトの名無しさん
2014/04/10(木) 17:39:46.92ID:KuXklLR20474デフォルトの名無しさん
2014/04/10(木) 18:17:10.97ID:rfz8xJ3Ghttp://www.haskell.org/ghc/docs/7.8.1/html/users_guide/release-7-8-1.html
Mavericks でもOKになった。
0475デフォルトの名無しさん
2014/04/10(木) 19:06:42.36ID:o52J/vwL0476デフォルトの名無しさん
2014/04/10(木) 22:05:45.63ID:/+vME4Zp0477デフォルトの名無しさん
2014/04/11(金) 00:32:29.86ID:677K7+iL残り三人誰よ
0478デフォルトの名無しさん
2014/04/11(金) 01:37:38.05ID:rYW7TpHw0479デフォルトの名無しさん
2014/04/11(金) 02:28:34.58ID:cfXJwSufshelarcyさん、maoeさん、kazu-yamamotoさん、mkothaさん。
0480デフォルトの名無しさん
2014/04/11(金) 07:46:48.84ID:9FRwZeAT0481デフォルトの名無しさん
2014/04/11(金) 07:56:55.70ID:HcQoN7rmレシピのところとか訳分からん
0482デフォルトの名無しさん
2014/04/11(金) 08:18:01.43ID:C2P6x/hr0483デフォルトの名無しさん
2014/04/11(金) 09:01:16.20ID:kK5u01Aqなんであんなに愚痴や嘲笑が蔓延してんだよ。
あれじゃ2chと一緒じゃねーか。
0484デフォルトの名無しさん
2014/04/11(金) 09:04:48.54ID:BDQYg7PF2014年4月11日 02時00分
原子力規制庁が3月、大量の機器点検漏れから運転禁止状態にある日本原子力研究開発機構の高速増殖炉原型炉もんじゅ(福井県)を保安検査した際、新たな未点検機器を見つけていたことが10日、分かった。
昨年9月の「全機器の点検が完了した」とする原子力規制委員会への報告と矛盾し、規制庁関係者は「報告が虚偽だった疑いもある」としている。内規を逸脱して点検記録を訂正した不正な処理も100カ所以上見つかった。
政府は11日にも閣議決定するエネルギー基本計画でもんじゅ存続の方針を示しているが、不祥事発覚で規制委が昨年5月に出した事実上の運転禁止命令の長期化は避けられない。
0485デフォルトの名無しさん
2014/04/11(金) 22:33:38.26ID:0EKdZWRS0486デフォルトの名無しさん
2014/04/11(金) 23:01:33.51ID:gSV7rKux2014/4/11 22:34
東京電力は11日、福島第1原子力発電所の汚染水測定でストロンチウム90などベータ線を出す放射性物質の濃度を
過小評価していた問題で、修正した測定値を発表した。昨年8月にタンクからの漏洩が発覚し、当時1リットル当たり
8千万ベクレルと発表した汚染水は、2億8千万ベクレルと大幅に上方修正した。
0487デフォルトの名無しさん
2014/04/11(金) 23:13:02.61ID:Q+1f7WyJ同音異義語が多い言語ってあまり良くないんじゃないかね
オブジェクト指向言語はみんな同音異義語が多いからHaskellも許されると思ったのかな
0488デフォルトの名無しさん
2014/04/12(土) 01:47:03.22ID:i+3ytccg0489デフォルトの名無しさん
2014/04/12(土) 02:37:13.07ID:owT3sDzh同音異義語
pole (柱)と pole (極), butter (バター)と butter (頭で突く獣),
meat と meet などのように発音が同一で意義·語源(時につづり)の異なる語をいうが,
時には homophone および homograph と同義に用いる
(研究社 新英和大辞典)
0490デフォルトの名無しさん
2014/04/12(土) 08:15:24.82ID:K+ic3Op9型クラスの多くにはインスタンスが満たすべき法則があるし、
具体的なインスタンスを想定しないコードを書くことに意味がある場合が多いので、
大抵のクラスは単なる同音異義語とは違う
同音異義語なら、言葉遊びでない限り、どの語か特定しないで使うことはないはず
0491デフォルトの名無しさん
2014/04/12(土) 09:57:03.21ID:G4Hmxrrtインスタンスを想定しないコードに意味があるというのは間違い
想定しないコードと想定するコードから構成されるシステムに意味がある
前者は有意義で後者は遊びだというような差別意識のあるシステムは腐ってる
0492デフォルトの名無しさん
2014/04/12(土) 15:23:43.50ID:K+ic3Op9あーごめん、そういう意味じゃなかった
具体的なインスタンスを想定したコードと想定しないコード、両方あると言いたかった
これが同音異義語なら、具体的なインスタンスを想定しない文は普通書かないよね
0493デフォルトの名無しさん
2014/04/12(土) 19:09:34.25ID:mW4nFtQv// 、__、ヽ }:,ト、,}l
┬r─────-┐ / / 、ヽ::::::::::::::::::::} ,イ
|| |  ̄ ̄ ̄ ̄ | | _ム'`::::::::::::::::::レ'ム,ィ
|| | || _,レ':::::j`'-、:::ィィ:::::ノ
|| | || >:::::::> 〉:::::::::::::彡
|| | || _,ノ戈;;:::::Z `フ:::::::<_
|| └───- ┘| r''" `'-、フルi::::::::::::::トゞ゙
コ┴───-┬─┘ / `ヽ / '^'ヘトハト!`ト、
 ̄|| ̄ ̄ ̄ ̄-日-| | / 〉--''''''''''''''''''''l ノ \
ヨ .||二二二二二二|_ //,/ | ___ |入_, /
 ̄〔`-、キキキキキキキキ`-| ,/ / |___| | `'/
. 二二二二二二二二二|/ |l__ /三/_|''''′
__|_,、,、/ l| /  ̄||三|
/ ̄ ̄ `''`'l |l/へ、_,||三| 、, -、
| `\`''-、 〈、 j-二==-||三| `i、_ノ
|l ``'''ニ=-──┤`Y_,,,,,,ム..ノ゙||三|、
. | l / | ノ`''{===f==i==イ=ヲ''
|| l | | | ノ |、[ ̄| | |
| l. | | l|ト,ヽ | 「''-'1 ||
_| ヽ 」--''''''''`'''''--..,,,,|| | ||
0494デフォルトの名無しさん
2014/04/13(日) 09:38:54.00ID:Kzd9zsGpこれはインスタンスを特定しない名前と特定する名前が分かれている
(>>=) x y z = (y . x) z z
これは代替案がない
ではこの名前が唯一の正解と言えるだろうか
0495デフォルトの名無しさん
2014/04/13(日) 21:48:53.17ID:+Q+XVrGcエネルギー政策では民主時代の「2030年まで原発ゼロ」とか「高校授業料無料化」などは
反故にできるのになんで「消費税増税」はそうしないんだ?
0496デフォルトの名無しさん
2014/04/13(日) 21:54:23.10ID:GRKm6mIA全員グル
0497デフォルトの名無しさん
2014/04/13(日) 22:08:28.89ID:Wi1Vhylz0498デフォルトの名無しさん
2014/04/13(日) 22:33:05.97ID:uouOJLeA0499デフォルトの名無しさん
2014/04/13(日) 22:44:04.69ID:a3ksAjp+「原発」と「消費税」の関連性に着目せよ
0500デフォルトの名無しさん
2014/04/13(日) 22:49:40.63ID:u2eiNkZKマスゴミ脳って、時系列も判らなくなるのか・・・
0501デフォルトの名無しさん
2014/04/14(月) 01:03:36.56ID:QJtT9TYQ× (>>=) = concatMap
○ (>>=) = flip concatMap
0502デフォルトの名無しさん
2014/04/14(月) 18:04:51.83ID:vfKyLR7lhttp://www.haskell.org/ghc/docs/7.8.2/html/users_guide/release-7-8-2.html
修正は以下のみのようです。
・A bug which could cause GHC to reject programs which use a type family on the right-hand side (RHS) of a type synonym has been fixed.
0503デフォルトの名無しさん
2014/04/14(月) 22:48:09.01ID:/36Kf0NN各メンバーのオフセットとサイズを一つ一つ指定して書いてると
ここだけ妙に原始的な不親切な言語を使ってるような気分になのだが…
0504デフォルトの名無しさん
2014/04/15(火) 07:15:32.09ID:8Fyu5fNmhsc2hsやc2hsは検討した?
0505デフォルトの名無しさん
2014/04/15(火) 14:14:18.00ID:3UENZW1aIIJの圏論の基礎の続きが来ない件(池渕未来氏?)と
shelarcy氏の姿を今年の初めから見ない件
僕はリアルでの繋がり全くないんですけど気になります
0506デフォルトの名無しさん
2014/04/15(火) 14:44:21.05ID:tjud3c+L0507デフォルトの名無しさん
2014/04/15(火) 16:07:23.62ID:XhXsDbY+(4月1日付で「ジオネクスト」へ商号変更)は、子会社の「ターボリナックス」において
復興支援事業を廃止すると発表しました。
2012年5月に福島除染・復興・復旧プロジェクトを発足し、除染の請負や瓦礫処理に関する
テクニカルオペレーターの派遣などを行っていたものの、一部工事の採算悪化や建設労務費・
資材の高騰など厳しい環境が続いていることに加え、本業のソフトウェア開発においては
8期連続での赤字となっていることも勘案し今回の決定に至ったようです。
今後は4月30日付で同事業を廃止する予定で、連結業績への影響については判明次第明らかに
するとのことです。
0508デフォルトの名無しさん
2014/04/15(火) 18:27:02.45ID:qyXrchh1HaskellだろうがJavaだろうが、技術者すら気にしなくなった。
0509デフォルトの名無しさん
2014/04/15(火) 19:21:16.87ID:85zvlF6R○おまえ
0510デフォルトの名無しさん
2014/04/15(火) 22:54:07.83ID:jE/QNis70511デフォルトの名無しさん
2014/04/16(水) 11:16:38.31ID:2itBsTDfオブジェクト指向を黙殺したら平和になった
しかし「オブジェクト指向は終わった」などと明言すればまたすぐに論争が始まるだろう
0512デフォルトの名無しさん
2014/04/16(水) 14:17:15.57ID:qkssiTGj0513デフォルトの名無しさん
2014/04/16(水) 17:50:31.05ID:+kqJAH21hsc2hsはghcに同梱されてるからビルドが上手く行かないってことはないと思うが
0514510
2014/04/16(水) 23:20:35.04ID:MnJgsXLR失礼しました。今確認したらhsc2hsは入ってました。
.cを渡せば.hsへ自動変換してくれるツールを想像してたのですが、.hscの文法で別途生成用ソースを書く必要があるのですね。
今は優先度あまり高くないので.hscは後で勉強することにします。
0515デフォルトの名無しさん
2014/04/17(木) 15:48:27.63ID:nS6+uKKD需給バランスを示す供給予備率は、安定供給の最低限の目安とされる3%を全社が確保、ひとまず計画停電は起きない見通しだ。
夏の需要期に原発が再稼働するかどうか見通せないため、各社は原発ゼロの状態で予測した。
東日本大震災以降、政府が節電を検討するのは夏冬合わせて7回目。
最低水準は確保しても、火力発電所の突発的な事故などで供給力不足に陥るリスクはある。
有識者委は電力管内ごとに数値目標を伴う節電要請が必要かどうかなど対策を検討し、今月中にとりまとめて政府に提言する。
有識者委員会は、大学教授や経済団体、消費者団体の幹部ら計9人で構成されている。
0516デフォルトの名無しさん
2014/04/18(金) 12:18:06.88ID:FUNF5n0d0517デフォルトの名無しさん
2014/04/18(金) 19:38:26.63ID:JnvKFIbs都路地区の自宅に戻った男性「解除は時期尚早だった。私たちはだまされてきたということだ」と話した。
0518デフォルトの名無しさん
2014/04/20(日) 14:14:49.54ID:mF22EGDYTopなんて名乗ってて恥ずかしくないの?
0519デフォルトの名無しさん
2014/04/20(日) 15:51:32.48ID:H4PlpqudHaskell使いなんてハイプを真に受けた下手の横好き
0520デフォルトの名無しさん
2014/04/20(日) 19:18:48.12ID:hToaqeE0Haskellを使う人は coder ではない
artist だ
0521デフォルトの名無しさん
2014/04/20(日) 20:51:24.17ID:5PeuKkvbhttp://maguro.2ch.net/test/read.cgi/haken/1379837466/
アーティストはこちらへ
0522デフォルトの名無しさん
2014/04/20(日) 21:58:40.53ID:Z2gsluY5もしかして、1bit脳は悪者より先に中立的な者を叩く習性があるのかな
0523デフォルトの名無しさん
2014/04/20(日) 22:58:53.11ID:X42lkXtN0524デフォルトの名無しさん
2014/04/22(火) 01:44:25.72ID:ggMWG1nb2014年04月21日 10時48分
大量の点検漏れが見つかった日本原子力研究開発機構の高速増殖炉もんじゅ(福井県)で、多数の機構職員が「もんじゅのプロジェクトを進めていく自信がない」と考えていることがわかった。
機構が全職員(約3700人)を対象にした意識調査の結果を明らかにした。機構の山野智寛理事は「もんじゅは(多くの職員にとって)人ごとで、もんじゅを支えようという意識が低い」と話している。
調査は1月末から2月初めにかけて、機構の組織改革に向けた職員の意識を調べる目的で行われた。「安全を最優先にしているか」「部署間の連携はとれているか」など27項目について聞いた。
回答の内容によって、最も肯定的な「2点」から、最も否定的な「マイナス2点」までの範囲で数値化した。約7割(約2700人)から回答があった。
このうち、「もんじゅに配属されたらプロジェクトを進める自信があるか」という項目で、もんじゅで働く職員約300人を除く約2400人の回答を数値化した結果、
マイナス0・6点となり、27項目の中で最低となった。
0525デフォルトの名無しさん
2014/04/22(火) 05:57:48.22ID:ggMWG1nb写真・図版電力9社によるパーティー券分担購入のイメージ
http://www.asahicom.jp/articles/images/AS20140422000358_comm.jpg
原発を持つ電力9社が10年以上前から、麻生太郎副総理兼財務相のパーティー券を水面下で分担して購入
していたことが朝日新聞の調べで分かった。法律の抜け道を利用し、資金源が表面化しないようにしていた。電
気料金を原資にした分担購入が判明したのは甘利明経済再生相に続き2人目。
0526デフォルトの名無しさん
2014/04/22(火) 09:10:48.32ID:AyWXPkBr0527デフォルトの名無しさん
2014/04/22(火) 10:23:52.65ID:BaoQnK1q0528デフォルトの名無しさん
2014/04/22(火) 15:18:19.64ID:R6C/retp0529デフォルトの名無しさん
2014/04/22(火) 18:12:43.64ID:BXIEaesu(透視能力でもない限り) 何が入ってるかわからない集合を憎むのは正しい
科学が憎まれるというより、それを集合として扱うことが憎まれる
集合を研究してもノーベル賞もらえないし
0530デフォルトの名無しさん
2014/04/22(火) 18:42:11.24ID:NZiiXRc2そうだけど、これならどうよ?
http://kotobukibune.at.webry.info/201312/article_19.html
0531デフォルトの名無しさん
2014/04/22(火) 19:43:07.36ID:EVSnqX2z世話になりっ放しの対象を憎むのって、厨房迄だよね。
0532デフォルトの名無しさん
2014/04/22(火) 19:58:24.04ID:uY6xOp7l要はぶつけたら壊れるってだけだろw
0533デフォルトの名無しさん
2014/04/22(火) 20:01:18.98ID:wfkJEvfo他の言語のところは平和なのに
0534デフォルトの名無しさん
2014/04/22(火) 20:16:08.12ID:NZiiXRc2世話になっているのは電気であって原発じゃない。
0535デフォルトの名無しさん
2014/04/22(火) 21:43:46.35ID:zqoeA1jsその電気の多くを作ってるのが結局は原発やないか。
0536デフォルトの名無しさん
2014/04/22(火) 21:57:31.04ID:yUmGGVT5確か今は原発は一基も稼動してなかったかと,
0537デフォルトの名無しさん
2014/04/22(火) 21:58:06.83ID:NZiiXRc2俺が買いたいのは太陽光の電気であって、原発の電気じゃない。
余計な混ぜもんすんなksって言いたい
0538デフォルトの名無しさん
2014/04/22(火) 21:59:03.87ID:zqoeA1js0539デフォルトの名無しさん
2014/04/22(火) 22:02:27.86ID:NZiiXRc2現に足りとるやんw
0540デフォルトの名無しさん
2014/04/22(火) 22:08:30.37ID:zqoeA1jsお前が死んでないから給料半分な!っていう論理やで
0541デフォルトの名無しさん
2014/04/22(火) 22:09:36.37ID:yUmGGVT5>>536
0542デフォルトの名無しさん
2014/04/22(火) 22:17:44.70ID:NZiiXRc2仮病じゃね?w
0543デフォルトの名無しさん
2014/04/22(火) 22:31:37.05ID:zqoeA1jsだから、無理してまかなえてることを足りてるとは言わへんのやでってことや。
お前が死ぬまでどんどん給料を削っていって、そんで死んでから「あ、ここで駄目なんや」っていうても駄目なんやで。
0544デフォルトの名無しさん
2014/04/22(火) 22:43:07.62ID:NZiiXRc2原発を捨てる覚悟が無いからガス発なり地熱なりを新規建造しないんだよ。
ガス発なんて本気出したら半年で作れるわ。
0545デフォルトの名無しさん
2014/04/22(火) 22:58:00.54ID:zqoeA1jsお前、今のガスがどんだけ高騰してるか知らんの?
金の問題じゃない、とかいう返しが想像できるから先に言うとくけど、
そんだけの莫大な損失があって誰も死なずに済むと思たら大間違いやで。
0546デフォルトの名無しさん
2014/04/22(火) 23:06:01.56ID:yCYGwa+V0547デフォルトの名無しさん
2014/04/22(火) 23:19:45.48ID:ADdGiblD0548デフォルトの名無しさん
2014/04/22(火) 23:23:36.24ID:NZiiXRc2S4みたいな小型原発なら六本木ヒルズの地下でも置けるぜ。
0549デフォルトの名無しさん
2014/04/22(火) 23:24:51.77ID:NZiiXRc2正直、東電関電社員給料貰いすぎなので、人件費を適正化させるために
一回潰しといたほうがいいんじゃねw
0550デフォルトの名無しさん
2014/04/22(火) 23:46:44.80ID:yCYGwa+V科学なら、核廃棄物のことも考えようね
0551デフォルトの名無しさん
2014/04/22(火) 23:59:14.64ID:qBBGURO7頭悪すぎ
0552デフォルトの名無しさん
2014/04/23(水) 00:02:53.14ID:Rps+NS4Nhttp://ecodb.net/pcp/imf_group_ngas.html
高騰しているのは日本向けのみ(爆笑)
0553デフォルトの名無しさん
2014/04/23(水) 00:04:39.14ID:gYYujDYq電気供給止まったら困るだろ?
そしたら新しい電力会社を誰かが作る。
誰も作らなくても政府が作る。
簡単な話。
0554デフォルトの名無しさん
2014/04/23(水) 00:19:50.48ID:KWyosMUN論点が分からない。
0555デフォルトの名無しさん
2014/04/23(水) 01:36:23.21ID:nT50E15G静かなるキチガイが荒らしまくってるスレだよ
だらだらスレチ会話続けてるのも全部自演だからね
0556デフォルトの名無しさん
2014/04/23(水) 01:40:45.63ID:xuT34wq8日本でHz統一すれば終わり
0557デフォルトの名無しさん
2014/04/23(水) 08:05:53.58ID:UmQQnvVq0558デフォルトの名無しさん
2014/04/23(水) 13:54:47.24ID:ByUIJjXY間接的言及ならセーフなんすかw
連鎖に引っかからないようにわざわざ>>抜いちゃってまあ
0559デフォルトの名無しさん
2014/04/23(水) 15:34:29.64ID:9N5rZKSoぼくは優しくされてる方なんで……
0560デフォルトの名無しさん
2014/04/24(木) 20:54:23.29ID:ROyAO59Q動的に変化するネットワークを扱えることがどう美味しいんだろう
0561デフォルトの名無しさん
2014/04/24(木) 22:21:35.23ID:klHYwCT70562デフォルトの名無しさん
2014/04/24(木) 22:27:09.41ID:+LMIUkJ0メモ化みたいな仕組みを作ったら古いデータを更新できなくなるってことか
それならメモ化やめればいいのに
メモ化をやめられない例がどこかにあるんだろうか
0563デフォルトの名無しさん
2014/04/25(金) 06:19:09.29ID:2yNQnT2pたとえばGUIなら、コントロールを動的に増やしたり減らしたりするコードは
一階FRPより高階FRPの方が書きやすい
0564デフォルトの名無しさん
2014/04/25(金) 07:51:47.80ID:xLbgUv1R0565デフォルトの名無しさん
2014/04/25(金) 11:59:08.18ID:gb+da3V70566デフォルトの名無しさん
2014/04/25(金) 14:11:20.70ID:BCFFJw7X0567デフォルトの名無しさん
2014/04/25(金) 16:13:16.17ID:rIfJx9880568デフォルトの名無しさん
2014/04/25(金) 19:58:51.96ID:eERjyL2U0569デフォルトの名無しさん
2014/04/25(金) 22:16:56.11ID:oLPl5R0wなるほど?
ウインドウに二枚のタブページがあって、タブで切り替えられます。
それぞれのタブページに別々のチェックボックスがあって、チェックボックスにチェックが入ってるかがBehavior Boolで表される。そしてウインドウ全体のチェック状態がBehavior (Behavior Bool)で表される、
みたいな?
0570デフォルトの名無しさん
2014/04/25(金) 23:02:30.69ID:utXVLv7z電子書籍で買ったが、積読してる。
同じ時に買った Parallel and Concurrent Program in Haskell を読了したら yesod の方を読むつもり。
0571デフォルトの名無しさん
2014/04/25(金) 23:19:38.89ID:KsFLmaPMBehavior aはイベント駆動でいうとコールバックa -> IO ()
を設定する手続き(a -> IO ()) -> IO ()に相当するんじゃないのか
0572デフォルトの名無しさん
2014/04/25(金) 23:21:11.32ID:COkI8ZxZhttp://www.amazon.com/dp/1449316972
http://www.amazon.co.jp/dp/1449316972
これのことかな? あたしゃ、オライリーは基本的に邦訳待ち。Kindle版が紙の本のほぼ半額だね…
0573デフォルトの名無しさん
2014/04/25(金) 23:38:14.69ID:8AUH9iQQ0574デフォルトの名無しさん
2014/04/26(土) 00:26:51.67ID:WgFc6mv90575デフォルトの名無しさん
2014/04/26(土) 00:41:05.15ID:ZbeqnpcSBeginning Haskel A Projrct-Based Approach
という洋書も良さげな予感がする。
入門書なんだが、実用アプリを作りながらHaskellを学べるそうだ。
Scotty でWebアプリ作る過程で Cabal でビルドして、HUnit とかでテストして、
Persistent でDBにアクセスして・・・と色々やるそうだが、
まだほんの触りしか読んでないからレビューはできん。
0576デフォルトの名無しさん
2014/04/26(土) 00:46:02.98ID:ZbeqnpcSあ、ひとつ言えることがある。
比較的平易な英語だから、意外にスルスル読める。
オライリーよりも読みやすい。
0577デフォルトの名無しさん
2014/04/26(土) 06:13:00.25ID:FCF0lvtoHFTの会社をリストラされたのか?
0578デフォルトの名無しさん
2014/04/26(土) 06:53:30.02ID:BSsIs6S60579デフォルトの名無しさん
2014/04/27(日) 00:14:10.79ID:GRHfD/J8https://www.youtube.com/watch?v=wia_sFsAf6g
UFC 152 - : ジョン・ジョーンズ vs ビクトー・ベウフォート
https://www.youtube.com/watch?v=GzmmaB1uPcU
UFC Fight Night 28 - グローバー・テイシェイラ vs. ライアン・ベイダー
https://www.youtube.com/watch?v=6ppiQx_cmLo
0580デフォルトの名無しさん
2014/04/27(日) 08:03:13.31ID:y6WnMdAKすごいHaskell本のP173で下記のコードがあるけど
forMの結果を<-で文字列のリストにできるのはなぜ?
main = do
colors <- forM [1,2,3,4] $ \a -> do
putStrLn $ "Which color do you associate with the number " ++show a++"?"
color <- getLine
return color
・・・
forMの結果はIO [String]ではなく[IO String]と思うんだけど。(書き方は正確じゃないかも)
それとも<-がその辺うまくやってくれるのかな。
0581デフォルトの名無しさん
2014/04/27(日) 09:03:36.00ID:ylxvzyc30582デフォルトの名無しさん
2014/04/27(日) 10:03:51.49ID:y6WnMdAKありがとうございます。
$の後の無名関数の返す型はIO Stringで
それをリストにするから[IO String]になると思ったんだけど。
でも、今、GHCiで定義見れる事思い出してやってみたら
forM :: Monad m => [a] -> (a -> m b) -> m [b]
でした。
理屈はいまいち分からないけど、確かに IO [String]になるんですね。
とりあえずそういうものとして先に進むわ。
0583デフォルトの名無しさん
2014/04/27(日) 10:52:32.51ID:y6WnMdAKforM :: Monad m => [a] -> (a -> m b) -> m [b]
forM = flip mapM
mapM :: Monad m => (a -> m b) -> [a] -> m [b]
mapM f as = sequence (map f as)
sequence :: Monad m => [m a] -> m [a]
sequence ms = foldr k (return []) ms
where
k m m' = do { x <- m; xs <- m'; return (x:xs) }
MonadクラスのmはIOに相当すると考えると
結局は、sequence関数がIOアクションの中身(型変数a=リストを想定してる?)を取り出して
畳み込んでreturnをつけて返すという関数なので
forM,mapMの結果はIO [〜]となるということか。
0584デフォルトの名無しさん
2014/04/27(日) 15:22:30.17ID:A9QFYw7O型推論があるから省略できるはずなのに型情報ばかり書いている気がする
なぜなのか
0585デフォルトの名無しさん
2014/04/27(日) 15:28:25.29ID:IVtivqyG0586デフォルトの名無しさん
2014/04/27(日) 19:03:00.12ID:BFDU9GzSコスト計算には直接原価と間接原価がある。原発は、今あるウランを使うだけならば直接原価は低いが、
間接原価である廃炉費用や、使用済核燃料の保管料、処理費用、工事費や人件費、地代がカウントされていない
0587デフォルトの名無しさん
2014/04/27(日) 19:05:53.66ID:y430Ql4C簿記スレいてら
諸君、Haskellの議論をしたまえ
0588デフォルトの名無しさん
2014/04/27(日) 19:31:12.45ID:AYOAUkbIおい、事故ったときのための保険代が抜けているぞ
そんな保険があるかどうかはしらんが
0589デフォルトの名無しさん
2014/04/27(日) 22:39:05.29ID:+mDXsi4c除染費用を原発のコストに加算してください
0590デフォルトの名無しさん
2014/04/28(月) 00:07:54.93ID:bH7KXvYG0591デフォルトの名無しさん
2014/04/28(月) 00:27:03.20ID:XZDH340r除染はそもそも無駄なんだよ。
たぶん汚染されて避難している区域は事実上の放棄区域となる。
0592デフォルトの名無しさん
2014/04/28(月) 09:24:22.22ID:RBaw9M6oこういうアホ右翼が日本のHaskell界の重鎮みたいになってるのは残念だなあ
Philip Wadlerの爪の垢を煎じて飲ませて改心させたい
0593デフォルトの名無しさん
2014/04/28(月) 12:03:16.63ID:Pu1rjk+Y0594デフォルトの名無しさん
2014/04/28(月) 21:24:02.06ID:bpx+iKpH原発再稼働なんてありえんことがわかるだろ
次に大阪やら名古屋やらを襲ったら日本は終わりだぞ
0595デフォルトの名無しさん
2014/04/28(月) 22:39:34.52ID:46vVBbTE従来までの基準なら、東京の一部まで避難区域だった件
0596デフォルトの名無しさん
2014/04/29(火) 09:20:50.28ID:In0h2/bA0597デフォルトの名無しさん
2014/04/29(火) 10:44:27.76ID:z73gJuz70598デフォルトの名無しさん
2014/04/29(火) 10:50:16.44ID:N05/jO5mν即+に帰れ。
0599デフォルトの名無しさん
2014/04/29(火) 11:27:33.17ID:GdpdrjH/0600デフォルトの名無しさん
2014/04/29(火) 11:31:30.61ID:N05/jO5m0601デフォルトの名無しさん
2014/04/29(火) 11:42:51.25ID:rqSQW0qu誰かを説得しないと買えない物を好きになった奴は大変だな
0602デフォルトの名無しさん
2014/04/29(火) 11:49:27.15ID:PHZKKXjJ確かに国民を説得しないと買えないわな。
0603デフォルトの名無しさん
2014/04/29(火) 13:57:04.26ID:7sHVzGXaすでにもう非難区域だ、まだ気がつかないのか?
0604デフォルトの名無しさん
2014/04/30(水) 08:28:47.05ID:IwkET6Jv0605デフォルトの名無しさん
2014/04/30(水) 09:11:12.10ID:f1RvcKlk「携帯買って貰ったけど、会話が上達しない!」って言ってるのと大差ないな。
0606デフォルトの名無しさん
2014/04/30(水) 10:30:42.85ID:M/3n2T6Z0607デフォルトの名無しさん
2014/04/30(水) 10:56:52.33ID:KCnJdsuzHaskellが数学を裏切る可能性があるかどうかは知らないけど
0608デフォルトの名無しさん
2014/04/30(水) 10:57:46.46ID:5Jam0SwU0609デフォルトの名無しさん
2014/04/30(水) 17:32:13.07ID:r5RhRmPM(n+1)というパターンは1以上の数にしかマッチしないから、単純にnに置き換えると挙動が変わる
0610デフォルトの名無しさん
2014/04/30(水) 17:38:39.38ID:zrOJ4B5Mなんというか,アプリケーションの状態を覚えておくのにはIORefとかそういうのを
使うしかない感じですか?
たとえばイベントハンドラの中で,「それまでに入力した単語のリスト」を使いたい
ので,ずっと覚えておきたいような場合なのですが
0611デフォルトの名無しさん
2014/04/30(水) 18:07:27.43ID:r5RhRmPM基本はそう
FRPを使ってIORefを隠蔽するという方法もあるにはある
0612デフォルトの名無しさん
2014/04/30(水) 19:53:16.44ID:zrOJ4B5Mなるほど,やっぱりそうですか
とりあえずIORefの使いかたを調べてみることにします
0613デフォルトの名無しさん
2014/04/30(水) 22:31:44.99ID:M/3n2T6Znの意味合いが変わってマッチされる範囲が広がるってこと?
0614デフォルトの名無しさん
2014/05/01(木) 02:45:16.33ID:g1hz7KYkimport Control.Applicative
import Data.Monoid
deriving instance Monoid d => Monoid (ZipList d)
が上手くいかないのはなんでなんです?
↓こうなる。
x = ZipList $ map Sum [1..3]
*Main> x <> x
ZipList {getZipList = [Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 3},Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 3}]}
0615デフォルトの名無しさん
2014/05/01(木) 06:18:52.93ID:OdlUKm4Fそう
>>614
GeneralizedNewtypeDerivingを使ってるから、生成されるインスタンスは
(Monoid [d])のものと同じ。リストのMonoidインスタンスのmappendは(++)だから
そのZipListのMonoidインスタンスも同じように振る舞う
0616デフォルトの名無しさん
2014/05/01(木) 17:26:54.34ID:1CCvPqt8というか,Cで言うところのGDKEventTypeに相当するのはどれなんだ?
0617デフォルトの名無しさん
2014/05/02(金) 11:29:27.63ID:8+VLjFlJなるほど!
0618デフォルトの名無しさん
2014/05/02(金) 14:11:22.51ID:cYJUy8oMCabal-1.20.0.0 のインストールでフリーズするのはそのせいですか?
0619618
2014/05/02(金) 15:20:48.51ID:tbmhEhADどうかしてました。熱で魘されてたみたいです
0620デフォルトの名無しさん
2014/05/02(金) 17:25:46.28ID:HndnJ/nGFedora でインストールしたものですが、exceptions をインストールしようとしたら最新のcabal で、「HSrts_thrが見つからない」といわれて失敗しました。
exceptionsを入れないとconduitが入らないので困ります。なるほど、確かに、
/usr/lib/ghc-7.0.4 には
libHSrts.a
libHSrts_l.a
libHSrts_p.a
libHSrts_debug.a
libHSrtsmain.a
しかありませんでした。
このバージョンのghcではconduitを諦めろと言うことでしょうか?
exceptionsはどのバージョンでも同じエラーで失敗しました
0621デフォルトの名無しさん
2014/05/02(金) 17:42:20.19ID:HndnJ/nGどのパッケージも同様のエラーがでるようになってしまいました
最新にアップデート促されるからと言って応じるとひどい目に遭うこともあるのですね
0622デフォルトの名無しさん
2014/05/05(月) 14:55:53.50ID:J8Ii3m81新しい産業は生まれずにメーカーは競争力を失って海外へシフト、景気も悪くなっていたのに、
原発を再稼働させたら景気がよくなるなんて誰が信じられるんだ。
原発再稼働してもいいとおもう皆さんでも福島原発作業員の実態や、
汚染水処理の実態、原発立地地域での避難計画がどうなっているのかとか、
そういうこともすべてひっくるめて見た上で、
他の選択肢ではなく、どうしても原発があったほうがいいと判断するのか、考えるべきだと思いますね。
つまり福島原発事故処理も、汚染水処理も誰かがやればいい、
避難計画が実行不可能でも自分たちが住んでいないからいい、
自分以外の誰かがやってくれるから危険でもいい、
と思い続けながらそれに目を塞いで生活していく、
そんな生活でも原発に賛成するのか。
0623デフォルトの名無しさん
2014/05/05(月) 15:44:58.22ID:GqplFE2u0624デフォルトの名無しさん
2014/05/05(月) 15:51:15.33ID:P6zcmRky0625デフォルトの名無しさん
2014/05/05(月) 16:07:05.80ID:4tsHniWq震災直後。メルトダウンなんてない、チェルノブイリとは違うというのが主流派で、危ない逃げろというとデマ扱いでした。
今。日本では健康被害は起きないというのが主流派で、可能性を指摘すると風評被害と言われます。
0626デフォルトの名無しさん
2014/05/06(火) 09:36:21.30ID:mAyw/16BHaskellとは何かを200字くらいで要約して説明してくれ
0627デフォルトの名無しさん
2014/05/06(火) 12:00:17.75ID:v91zIXTIハッスル、蹴る蹴る
0628デフォルトの名無しさん
2014/05/06(火) 12:04:12.56ID:M6rFFefVwget http://www.haskell.org/ -O- | pandoc -f html -t plain - | head -c200
0629デフォルトの名無しさん
2014/05/06(火) 12:10:36.82ID:maXOVsdslambdaを説明するには型がないほうが説明しやすいから
0630デフォルトの名無しさん
2014/05/06(火) 14:01:27.18ID:BpE2oBSj臣民の理性や知性を否定したところで統治が成立してる
のが皇国日本ですから。
それが嫌なら出て行って、どうぞ(´・_・`)
0631デフォルトの名無しさん
2014/05/06(火) 17:33:23.76ID:ku+c5l3s0632デフォルトの名無しさん
2014/05/06(火) 22:32:00.13ID:uftxT7AR0633デフォルトの名無しさん
2014/05/07(水) 00:04:41.89ID:t2BkERqJPlanet Haskellにフィリップ・ワドラーの政治的なポストが流れてくるのどうにかならんかね
ブログをアグリゲートしてるだけなんだろうけどさ
0634デフォルトの名無しさん
2014/05/07(水) 00:22:35.32ID:CD/iPXPa0635デフォルトの名無しさん
2014/05/07(水) 02:52:53.23ID:RdULsTQ20636デフォルトの名無しさん
2014/05/07(水) 07:26:59.28ID:IS+8ecS60637デフォルトの名無しさん
2014/05/07(水) 11:11:25.08ID:Foxxyuqg原発
(´・_・`)
ぽよ
[´・_
0638デフォルトの名無しさん
2014/05/07(水) 11:23:57.56ID:27Lql6Bk0639デフォルトの名無しさん
2014/05/09(金) 08:12:22.34ID:gmFOA17uどうせ集合論と同形な性質使わないと
役立つ定理でてこないんだから
「箱」
で別にいいだろ
0640デフォルトの名無しさん
2014/05/09(金) 08:58:21.81ID:MIjcI16e昔、大学講師がそういう物言いしてて、なんだこいつ?って思ったのを今だに憶えてる
0641デフォルトの名無しさん
2014/05/09(金) 11:18:08.48ID:gOnVNl7Y「そんなことやるバカはあんただけだ」という話の腰折りをさけるため。
0642デフォルトの名無しさん
2014/05/09(金) 14:24:47.85ID:MIjcI16e0643デフォルトの名無しさん
2014/05/09(金) 23:56:57.25ID:IjGNH9qA>「皆さんは賢いのでそんなこと無いでしょうけど」
その皆さんに教えている自分はもっと賢いのです。我を崇めよ。
という意味です。
0644デフォルトの名無しさん
2014/05/10(土) 00:57:58.02ID:lM/U6hJ60645デフォルトの名無しさん
2014/05/10(土) 03:07:02.28ID:KtszGA1Fイギリス式皮肉にカブれてるだけだと思う。
0646デフォルトの名無しさん
2014/05/10(土) 09:09:55.59ID:2IT/iqAl0647デフォルトの名無しさん
2014/05/10(土) 09:36:13.37ID:fb63lmDi皆さんは賢いのでそんなこと無いでしょうけど
0648デフォルトの名無しさん
2014/05/10(土) 13:10:12.95ID:XdpsAeNM0649デフォルトの名無しさん
2014/05/10(土) 13:31:44.34ID:AX17qFeB0650デフォルトの名無しさん
2014/05/10(土) 13:36:14.09ID:oq9GBtii文系の心理学者や精神医学者が自分たちの価値観と違うものを異常と捉えてしまったにすぎない。
精神医学自体科学的ではない。
0651デフォルトの名無しさん
2014/05/10(土) 14:20:23.69ID:AX17qFeB読解力の低さやコミュニケーション障害だけじゃなく、身体的な障害も出る。
不眠症やナルコレプシーみたいな睡眠障害とか、全身が震えたりとか。吃音みたいな症状もあるらしい。
あと、文系は科学じゃないってのもよくある勘違い。別にそういう基準で分けてる訳じゃない。
心理学も精神医学も、科学的手法によって理論が構築されている限り科学だよ。
どうせ、心理学なんてフロイトの夢占い、精神医学はロボトミー手術とかそんなイメージなんだろ?
0652デフォルトの名無しさん
2014/05/10(土) 14:54:18.91ID:fb63lmDi変化の激しいものは重視しないというイメージ
0653デフォルトの名無しさん
2014/05/10(土) 15:24:08.64ID:Z4Z1/73v神の法則は普遍的な真理だから、そもそも変化しない。
技術はその応用だから、いろいろと変化していくけどね。
で、自然科学も社会科学も科学と付くからには真理の探究が目的だと思うけど。
0654デフォルトの名無しさん
2014/05/10(土) 15:37:31.76ID:oq9GBtii医者のアスペ診断は「精神障害の診断と統計の手引き」が基準にされるんだけど、
それを読んでも文系的な価値観に支配されすぎていて、
合理的言える基準ではないように思えるよ。
一回読んでみ。
0655デフォルトの名無しさん
2014/05/10(土) 16:05:47.79ID:JfgMcZrh今、プリティプリンタの章読んでるんだけど、気になる表現が。
"代数的なプログラミング"って何?
Hoge -> Hoge みたいな関数を切ったり貼ったりするってこと?
0656デフォルトの名無しさん
2014/05/10(土) 17:24:58.55ID:Tw4/dnjJ代数的データ構造を利用したプログラミングぐらいの意味でしょ
0657デフォルトの名無しさん
2014/05/10(土) 17:41:20.10ID:DJS7XE7u精神病の原因が脳内の化学物質の均衡の崩れにあると断言しているのもかかわらず、数分の問診だけでその脳内の化学物質の状態を透視し、脳内の化学物質のバランスを変化させる薬を処方する神のような能力を手に入れた医者が科学的でないとで言う気ですか!!!
0658デフォルトの名無しさん
2014/05/10(土) 20:14:06.42ID:xm8eBSW20659デフォルトの名無しさん
2014/05/10(土) 21:05:46.09ID:704+mHMN直積: data = (コンストラクタ) (型1) (型2)
直和: data = (コンストラクタL) (型1) | (コンストラクタR) (型2)
みたいにして
0660デフォルトの名無しさん
2014/05/10(土) 23:02:58.99ID:xm8eBSW2代数的構造を持ってるね、ってこと?
代数だということを理解すると、何か見通しがよくなったりする?
0661デフォルトの名無しさん
2014/05/11(日) 01:02:05.88ID:0nP30z2edata List a = Nil | Cons a (List a)
data Tree a = Prune | Leaf a | Branch (Tree a) (Tree a)
みたいなのをGADTなんかで書き直すと Cons とか Branch とかが「代数演算」
に見えるよね.(レベルが一個上がってるので,それを記述する適切な舞台は圏になるが)
んで,こういう再帰的な構造を代数演算だと思って見ると一般代数の議論が
適用できたりする.圏論は別名「一般代数の理論」で, List と Tree に共通な議論を
取り出せたりするわけ. List や Tree と Maybe の違いは再帰があるかどうかだけど
,List や Tree に共通な性質は,実際には原始再帰関数に似た議論でまとめられる.
そういう再帰スキームの一般論を利用した型の構成もできるらしい.ekmett が
やってるらしいけどめんどくさいから調べてないけど.
List も Tree も一回作れば一生ものだし,両者に共通の性質なんか知ったことかボケ
とかいう人もいるだろうしそれはそれで全く構わないのでございます.
0662デフォルトの名無しさん
2014/05/11(日) 02:22:43.69ID:wHihFJ0Zとても面白いです!
> List と Tree に共通な議論を取り出せたりするわけ
Foldableのインスタンスだ、って話ですか?
0663デフォルトの名無しさん
2014/05/11(日) 09:53:51.34ID:XsGbOSVI1年くらい前にこのスレに貼られていたと思う
0664デフォルトの名無しさん
2014/05/11(日) 14:39:38.56ID:k80fKKRwありがとう!見つけた。
http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/
ですね。今読んでる...
0665デフォルトの名無しさん
2014/05/11(日) 15:45:43.42ID:2U9CKxmb┌|(⌒ヽ :|| ..:⌒: |┐ / ̄ ̄ ̄ ̄ ̄ ̄ ̄
|::|::ヽ.__:):||(___ノ ::|::| │
|:|: .. :|| .. |:| │
:|: .. || ..|| < >>664日本語でおk
:\ [_ ̄] /::| │
:: |\|_|_|_|_/:::| \________
__| | / / :|___
0666デフォルトの名無しさん
2014/05/11(日) 16:46:57.55ID:k80fKKRw>>665
ごめん違ったぽい。
型の直和や直積についての解説だった。
0667デフォルトの名無しさん
2014/05/11(日) 22:56:10.54ID:rTS3OJ2r知識のある人にしか見えない「見通し」は想像上の存在にすぎないのではないでしょうか
読めるかどうかはともかく誰でも実行できるソースコードを見せてほしい
0668デフォルトの名無しさん
2014/05/12(月) 02:33:27.12ID:hd8Y2m940669デフォルトの名無しさん
2014/05/12(月) 10:34:35.07ID:YzbHbLenC++の場合unionを使うなとか関数ポインタを使うなと言って
知識を追加するのではなく修正することが目的になってる
そういう目的の知識が役に立ったためしがない
関数型言語がunionや関数ポインタを捨てろと言わないのは良い事だ
0670デフォルトの名無しさん
2014/05/12(月) 12:16:04.57ID:Xc6C8x9qhttp://fox.2ch.net/test/read.cgi/poverty/1399781979/
自民党・森まさこ大臣(福島選出)「子どもが鼻血を出した、これは被ばくによる影響じゃないかと心配」
http://fox.2ch.net/test/read.cgi/poverty/1399782821/
0671デフォルトの名無しさん
2014/05/12(月) 14:46:00.28ID:aC6daDGp「Fukushima radiation alarms doctors」として特集している。
医師が福島の放射線を警告している、とのタイトルどおりに千葉県の医師が取材に応じ、
「いままでの医学的な見地からは説明がつかないようなことが起きている」と語っている。
鼻血を出したり、下痢が続いたりする症状の子供を多く診療しており、これまでには経験がなかったという。
この医師の勤務する病院は、事故現場から200キロ圏内にあるという。
また、別の専門家の言葉として「(被ばく線量の)年間20ミリシーベルトという基準が安全と話すだけの
根拠を持ち合わせているわけではない」というコメントを取り上げている。
アルジャジーラは「日本政府は政治的な便宜のために安全の制限を増やすことがでいないでいる」
と見解を述べている。
0672デフォルトの名無しさん
2014/05/12(月) 14:51:15.29ID:Thm79ILhgoto使うな
0673デフォルトの名無しさん
2014/05/12(月) 18:08:41.65ID:UVovEK8N0674デフォルトの名無しさん
2014/05/12(月) 18:18:11.63ID:zc1aRbka甘えだってはっきりわかんだよね
0675デフォルトの名無しさん
2014/05/13(火) 19:09:12.24ID:Dk+mYjc50676デフォルトの名無しさん
2014/05/13(火) 20:42:50.61ID:GCJZ7XH30677デフォルトの名無しさん
2014/05/13(火) 21:00:09.63ID:uNZnNWkX0678デフォルトの名無しさん
2014/05/13(火) 21:11:32.52ID:Dk+mYjc50679デフォルトの名無しさん
2014/05/13(火) 21:42:58.23ID:uNZnNWkXHaskellの第一人者も原発利権に洗脳されてしまって
0680デフォルトの名無しさん
2014/05/14(水) 00:29:14.54ID:mBT3+3y8_100 () = getLine >>= _200
_200 str = putStrLn str >>= _100
0681デフォルトの名無しさん
2014/05/14(水) 00:59:33.37ID:1KutiHcx0682デフォルトの名無しさん
2014/05/14(水) 01:15:35.10ID:ImlK2PCZLISP業界の言葉じゃないかな.
0683デフォルトの名無しさん
2014/05/14(水) 11:08:27.46ID:EMue53CW元々はLispに、外部表現のM式(メタな式)と、内部表現をそのままあらわしたS式(シンボリックな式)と
いうのがあったけど、みんなS式のほうしか使わなかった。
Lispはソースコードを書く時に、内部表現でそのまま書くので、それがS式
(だいたいJSONのようなもの)。
0684デフォルトの名無しさん
2014/05/14(水) 14:55:24.54ID:I18dNdh8旅館に泊まりにいってやればいいだろ
0685デフォルトの名無しさん
2014/05/14(水) 20:14:34.54ID:1KutiHcx0686デフォルトの名無しさん
2014/05/16(金) 10:12:24.08ID:kcH1ALgI0687デフォルトの名無しさん
2014/05/16(金) 14:30:37.44ID:h5WwdzaEどんな時に役に立つんだろう。
0688デフォルトの名無しさん
2014/05/16(金) 17:59:06.08ID:lP/gHzU80689デフォルトの名無しさん
2014/05/16(金) 19:12:05.68ID:CKpCYjD/一番メジャーな使用例はunboxed vectorだと思う
http://hackage.haskell.org/package/vector-0.10.9.1/docs/Data-Vector-Unboxed.html#t:Vector
あとすぐに思いつくのは、ベクトル空間を表現する型クラスで
スカラーの型を関連型として持つのとか
http://hackage.haskell.org/package/vector-space-0.8.6/docs/Data-VectorSpace.html#t:VectorSpace
0690デフォルトの名無しさん
2014/05/16(金) 20:08:51.20ID:JlJ/J3pWn+kパターンは出版年を考えて目を瞑るとしつも≫=からdo, モナドの流れが有り得ない
0691デフォルトの名無しさん
2014/05/16(金) 21:23:30.09ID:Yz3Gk9/v0692デフォルトの名無しさん
2014/05/16(金) 21:59:11.99ID:KAVwsGePモナドって複雑な型と複雑な構文が同時に出てきてみんな挫折するんだろ
C言語のポインタと同じパターン
というかCは演算子オーバーロードも型変数もないからHaskellよりは説明は簡単だよな
0693デフォルトの名無しさん
2014/05/16(金) 22:04:03.05ID:5d1LdGhmモナドは逃げだからな
0694デフォルトの名無しさん
2014/05/16(金) 22:08:29.08ID:0UUN6eOV- モナドは象
- モナドは自己関手の圏のモノイド対象
- モナドは逃げ ←NEW!
0695デフォルトの名無しさん
2014/05/16(金) 22:25:24.24ID:lP/gHzU8ただ単に IO とかの型コンストラクタが付くことから逃れられないだけ。
do記法も、Haskellっぽくない、というかいかにも手続き型っぽいというだけで、
そんなに複雑というわけじゃない。
「 <- 」と「let ... =」の違いが最初はわからないかもしれないが、どうせ型エラーで
コンパイルできないので直せばいいだけだし。
0696デフォルトの名無しさん
2014/05/16(金) 22:33:18.84ID:0UUN6eOV純粋に計算のあり方から見つめ直そうとする姿勢が『逃げ』だって言えるのですか?
ピュアな心の持ち主だけが使用している言語なんですよ!
0697デフォルトの名無しさん
2014/05/16(金) 22:33:19.80ID:Yz3Gk9/v0698デフォルトの名無しさん
2014/05/17(土) 01:06:54.06ID:M+FwDbB40699デフォルトの名無しさん
2014/05/17(土) 01:09:09.14ID:2J9FJ9xU1)
push型のFRP == イベントドリブン
でいいんだっけ?
2)
Conduitはpull型のFRP
とみなしていいのかなあ?
時間の関数(ストリーム)を使って別の時間の関数を作るプログラミング、がFRPだと思ってるんだけど、それなら、
3)
FRPを使わないでGUI/CUIとかのインタラクティブなプログラムを作る方法があるのか?
イベントストリームを変換してイベントストリーム(IOモナド)を作るのはFRPに含まれるよね。
0700デフォルトの名無しさん
2014/05/17(土) 01:11:27.76ID:2J9FJ9xUあ、いや、単にループ回してその時のキーやらマウスやらのOn/Offをとってくればいいのか。
0701デフォルトの名無しさん
2014/05/17(土) 10:37:55.38ID:WqKLdRxNpull型は二刀流
push型は最初から選択肢が一つしかない
0702デフォルトの名無しさん
2014/05/17(土) 11:11:13.17ID:5rfRrY80ttp://lost_dog.bitbucket.org/story/arrow_00.html
昨年末のアドベントカレンダーで知ってから
もうずっと僕のブラウザのタブに常駐してる記事です
0703デフォルトの名無しさん
2014/05/17(土) 13:04:12.14ID:WqKLdRxNm a -> (a -> m ()) -> m () (push型)
m a -> (a -> m b) -> m b (push型??)
0704デフォルトの名無しさん
2014/05/17(土) 18:48:47.91ID:O0NdFxWBありがとう。
混乱してるんだけど、型の違いだけではpush/pullは判別できないのでは?
m a -> (a -> m ()) -> m () のmはモナドであり得る。Conduitもモナドだけど、pull型だよね。下流がストップすれば全体が止まるし。
0705デフォルトの名無しさん
2014/05/17(土) 22:35:50.75ID:0z7Lzi4k理想は、
Controlを押しながら関数をクリックする
→ 定義元のファイルが開かれる
Controlを押しながら関数をマウスオーバーする
→ 定義内容がポップアップされる
0706デフォルトの名無しさん
2014/05/17(土) 23:41:44.20ID:SKhLSDaA0707デフォルトの名無しさん
2014/05/17(土) 23:51:10.49ID:6fCCnAU/今のところ無いですね。
トップレベルと、ある関数内と両方で同名の関数が定義されることもあるので、
特定するにはクリックされた関数のコンテキストも把握しなければなりません。
また、クリックされた関数が型クラスで定義された関数だった場合、
型クラスが定義されたファイルが表示されてもあまり嬉しくないでしょうね。
インスタンスが定義されたファイルが表示されないと役に立たないかも。
単に grep するだけではダメで、なかなか難しそうです。
0708デフォルトの名無しさん
2014/05/18(日) 00:19:07.55ID:/b4utTTg0709デフォルトの名無しさん
2014/05/18(日) 01:28:02.75ID:oFqJpTun下記のように作ったんだけど、組み合わせのリストを作るのに苦労した。
もっとうまいやり方ありません?
checkComb:: Int -> Int -> [Int] -> String
checkComb _ _ [] = "No"
checkComb 0 _ _ = "No"
checkComb n m k = if elem m sumList then "Yes" else "No"
where cb = makeCombList n [([], k)]
sumList = [foldl (+) 0 (fst l) | l<-cb]
makeCombList :: Int -> [([Int],[Int])] -> [([Int],[Int])]
makeCombList n input
| n == 0 = input
| otherwise = makeCombList (n-1) (foldr (++) [] (map f input))
where f it = [(x:(fst it), List.delete x (snd it)) | x<-(snd it)]
0710デフォルトの名無しさん
2014/05/18(日) 06:43:48.30ID:buy2qAivべき集合
powerSet :: [Int] -> [[Int]]
powerSet [] = [[]]
powerSet [x] = [[],[x]]
powerSet (x:xs) = (fmap (x:) (powerSet xs))++(powerSet xs)
べき集合の中から長さがnのものだけ抜き出す
comb :: Int -> [Int] -> [[Int]]
comb n k = filter ((n ==) . length) (powerSet k)
0711デフォルトの名無しさん
2014/05/18(日) 11:58:12.01ID:oFqJpTun後でもっと自然に再帰的に書けると思って変更してみた。
checkComb:: Int -> Int -> [Int] -> String
checkComb _ _ [] = "No"
checkComb 0 _ _ = "No"
checkComb n m k = if elem m sumList then "Yes" else "No"
where cb = makeCombList n k
sumList = [foldl (+) 0 l | l<-cb]
makeCombList :: Int -> [Int] -> [[Int]]
makeCombList 0 input = [[]]
makeCombList 1 input = [[a] | a<-input]
makeCombList n input = concat $ map f input
where f a = map (a:) $ makeCombList (n-1) (Data.List.delete a input)
けど、710の方が簡潔ですね。
べき集合のリストを作る→必要な分だけ取り出す みたいな感じにする方が、
遅延評価があるhaskellらしいプログラムになるのか。(計算量は同じ?)
0712デフォルトの名無しさん
2014/05/18(日) 13:27:38.52ID:n3a7hEA1福島県の全ての子どもを対象に東京電力福島第1原発事故による放射線の影響を調べる
甲状腺検査で、対象者の約8割の結果がまとまり、がんの診断が「確定」した人は県が今年2月に
公表した数より17人増え50人に、「がんの疑い」とされた人が39人(前回は41人)に上ることが
17日、関係者への取材で分かった。
県内の震災当時18歳以下の約37万人を対象に県が実施。今年3月までに1巡目の検査が終わり、
4月から2巡目が始まっている。
チェルノブイリ原発事故では4〜5年後に子どもの甲状腺がん増加が確認された。このため県は、
今後がんが増えるかどうかなど、放射線の影響を調べる。
0713デフォルトの名無しさん
2014/05/18(日) 16:12:15.36ID:n3a7hEA13号機の格納容器から汚染水が外側の部屋に漏れているのを確認したことを明らかにした。
格納容器から漏えい場所が見つかったのは初めてという。
報道によると、遠隔操作のカメラを使って格納容器の損傷を調べていたところ、配管の
貫通部から汚染水が主蒸気隔離弁室に流れていることが分かった。東電では、漏えいを
防ぐ方法を検討している。
0714デフォルトの名無しさん
2014/05/18(日) 16:34:53.12ID:SzX9bT/K本当はもっと前から分かってたのか
0715デフォルトの名無しさん
2014/05/18(日) 18:33:08.85ID:kn4gKRfNみたいなことする関数ってできませんか?
0716デフォルトの名無しさん
2014/05/18(日) 22:33:59.57ID:voNRJSfJTamplate Hskell ならできる。
0717デフォルトの名無しさん
2014/05/18(日) 22:34:29.81ID:voNRJSfJ0718デフォルトの名無しさん
2014/05/19(月) 20:16:10.64ID:BoGFvzXu0719デフォルトの名無しさん
2014/05/20(火) 00:19:10.48ID:SULw6GdI0720デフォルトの名無しさん
2014/05/20(火) 16:05:18.64ID:0r1sm+vf東京電力は20日、福島第1原発で汚染水から放射性物質を吸着して大幅に減らす装置「ALPS」(アルプス)で処理水が白濁するトラブルが見つかり、処理を停止したと発表した。
アルプスは3系統あるが、トラブルが確認されたのは唯一処理を継続していた系統で、汚染水処理ができない状態となった。
東電によると、20日午前、アルプスの1系統で処理水が白く濁り、カルシウム濃度が通常より上昇していることが判明。
同9時に処理を停止した。カルシウムは汚染水の処理工程で発生するが、濃度上昇の原因は調査中で、東電は「処理再開は6月以降とみられる」と話している。
別の1系統でも17日に同様のトラブルが確認され、処理を停止。さらにもう1系統は3月に汚染水処理が十分できていないことが判明し、長期停止している。
(2014/05/20-11:02)
0721デフォルトの名無しさん
2014/05/20(火) 18:33:27.38ID:uUrwDuXd東京電力福島第一原発所長で事故対応の責任者だった吉田昌郎(まさお)氏(2013年死去)が、
政府事故調査・検証委員会の調べに答えた「聴取結果書」(吉田調書)を朝日新聞は入手した。
それによると、東日本大震災4日後の11年3月15日朝、第一原発にいた所員の9割にあたる約650人が
吉田氏の待機命令に違反し、10キロ南の福島第二原発へ撤退していた。
その後、放射線量は急上昇しており、事故対応が不十分になった可能性がある。
東電はこの命令違反による現場離脱を3年以上伏せてきた。
0722デフォルトの名無しさん
2014/05/21(水) 18:35:42.85ID:GPz3hjgvGov’t: Fukushima released up to 181 Quadrillion Bq of cesium, Chernobyl was 105 Quadrillion ?
Radioactive material to flow from Japan “for years to come” ? Fukushima radionuclides have now
spread “throughout N. Pacific”
福島のセシウム放出量は18.1京ベクレル
チェルノブイリは10.5京ベクレル
http://enenews.com/wp-content/uploads/2014/05/CCC_Cs.jpg
http://enenews.com/govt-report-fukushima-already-released-181-quadrillion-bq-cesium-chernobyl-estimated-105-quadrillion-radioactive-material-continue-flowing-ocean-years-fukushima-radionuclides-spread-north-pac
0723デフォルトの名無しさん
2014/05/21(水) 19:22:05.12ID:0Qr6kuW3放射能で死んだ日本以外の国は存在しない
海の向こうを見たことがあるか?
0724デフォルトの名無しさん
2014/05/22(木) 18:56:41.82ID:RtFeOXjE0725デフォルトの名無しさん
2014/05/22(木) 22:41:56.69ID:QG5wom9Iプログラムに共通語は存在しない
0726デフォルトの名無しさん
2014/05/22(木) 23:23:20.51ID:w9hbIsND0727デフォルトの名無しさん
2014/05/26(月) 01:45:11.93ID:zggjVIna0728デフォルトの名無しさん
2014/05/26(月) 01:52:02.96ID:Ym7qHkA10729デフォルトの名無しさん
2014/05/26(月) 10:21:46.24ID:qepW6hju原発再稼働のごり押しを目指す政府にとって、よほどまずい内容が含まれているのだろう。菅官房長官が、いわゆる「吉田調書」について、
“故人の希望”を理由に開示を拒否した。わざわざ吉田元所長が非開示を求めた「上申書」を首相官邸のホームページにアップし、政府の対応を正当化したのだ。
吉田調書は、福島第1原発の吉田昌郎元所長(故人)が、政府の事故調査・検証委員会に証言した記録である。
内容をすっぱ抜いた朝日新聞によると、事故直後に所員の9割が吉田所長の待機命令を無視して撤退していた。
最後の命綱である非常用復水器について、熟知している人も発電所内でいなかったという。本店のサポートもなかったとされる。
未曽有の大惨事に現場は右往左往したのだ。東電の危機管理は大甘で、事故対応はメタメタだったことになる。
吉田元所長の意向がどうであれ、事故時の生々しい様子は原発を抱える自治体や住民、国民にとって重要な情報だ。
政府の責任で開示するのが当たり前だろう。元法大教授の五十嵐仁氏はこう指摘した。
「実際の事故状況について得られた情報は、政府や東電のものではありません。国民のものです。非開示は許されません。
当時の吉田元所長は東電の社員です。東電に不利な情報は明かしたくなかったかもしれないし、部下に責任が及ぶような事実も公表したくなかったのかもしれません。
でも、そのときに何が起きたのか、企業や所員はどう行動したのかも含めて、元所長の聴取内容は再発防止に欠かせない重大な情報。
亡くなった人を盾にして公表を拒むのは許されません」
0730デフォルトの名無しさん
2014/05/26(月) 21:00:57.52ID:xTeESHXF最終変更日時 2011年5月20日
福島第一原発問題で菅首相の唯一の英断と言われている「3月12日の海水注入の指示。」が、実は全くのでっち上げである事が明らかになりました。
複数の関係者の証言によると、事実は次の通りです。
12日19時04分に海水注入を開始。
同時に官邸に報告したところ、菅総理が「俺は聞いていない!」と激怒。
官邸から東電への電話で、19時25分海水注入を中断。
実務者、識者の説得で20時20分注入再会。
実際は、東電はマニュアル通り淡水が切れた後、海水を注入しようと考えており、実行した。
しかし、 やっと始まった海水注入を止めたのは、何と菅総理その人だったのです。
この事実を糊塗する為最初の注入を『試験注入』として、止めてしまった事をごまかし、そしてなんと海水注入を菅総理の英断とのウソを側近は新聞・テレビにばらまいたのです。
これが真実です。
菅総理は間違った判断と嘘について国民に謝罪し直ちに辞任すべきです。
http://www.s-abe.or.jp/topics/mailmagazine/2291
0731デフォルトの名無しさん
2014/05/26(月) 21:38:31.58ID:2UEmocIj番号じゃなくて本文を引用した方がいいか
0732デフォルトの名無しさん
2014/05/27(火) 20:26:07.60ID:5fWS9V5D0733デフォルトの名無しさん
2014/05/29(木) 06:00:49.24ID:ZNGf91YT0734デフォルトの名無しさん
2014/05/29(木) 18:59:34.94ID:5aXiT05J無名関数はマルチパラダイム
もはやFunctionalではない
0735デフォルトの名無しさん
2014/05/29(木) 19:36:36.97ID:niR7CVNx0736デフォルトの名無しさん
2014/05/29(木) 23:03:49.49ID:ie7ojQhiプロジェクトを構成する考え方が違うので同じように使えるものはないが、
依存を解決したりビルド手順を記述したりするものはあるので、
お前が言う「みたいな」がどの程度 lein と似通ったものを求めているのかわからん。
要は Haskell は Clojure ではないので同じモデルを求めるなってこと。
0737デフォルトの名無しさん
2014/05/30(金) 00:46:37.25ID:hfZBGh9N0738デフォルトの名無しさん
2014/05/30(金) 07:04:37.26ID:I4LoDGR/0739デフォルトの名無しさん
2014/05/30(金) 07:08:24.44ID:HdD7Q1cnそれでよくプログラマやってられるな
0740デフォルトの名無しさん
2014/05/30(金) 08:36:43.80ID:MZkzM/kU0741デフォルトの名無しさん
2014/05/30(金) 08:38:13.51ID:I4LoDGR/ごめん
0742デフォルトの名無しさん
2014/05/30(金) 08:51:28.96ID:6kp6gpd90743デフォルトの名無しさん
2014/05/30(金) 10:03:57.91ID:/L7Vfi360744デフォルトの名無しさん
2014/05/30(金) 11:02:38.16ID:RlkBZt/D0745デフォルトの名無しさん
2014/05/30(金) 11:22:06.16ID:Qr5uihA3既に名前のあるものを出して同じものがもう一個欲しいっていうのは駄目だな
0746デフォルトの名無しさん
2014/05/31(土) 06:18:28.99ID:IlpUUsWdってあり?
hoge = fmap foo bar
にすべき?
0747デフォルトの名無しさん
2014/05/31(土) 06:31:32.15ID:bxo3vwux自分は前者だな
0748デフォルトの名無しさん
2014/05/31(土) 11:17:24.32ID:9bcWOChgって当たり前なのかもしれないけど、逆引きはしたいよね。
0749デフォルトの名無しさん
2014/05/31(土) 13:18:36.82ID:immCQ/Gz言語と密結合なツールは使いたくない
0750デフォルトの名無しさん
2014/06/01(日) 06:21:04.25ID:cnevXHrM0751デフォルトの名無しさん
2014/06/01(日) 06:46:17.69ID:KN1pzeqJ2014.05.29
安倍首相の福島訪問当日も、"東京大停電"の日もコースで「ナイショーッ!」。被災者の苦しみなど「どこ吹く風」
數土さんは社長退任後、相談役に退いたが、原発事故の1年後の2012年6月に社外取締役に就任。
役員会でも発言力を持ち、今年2014年4月にはと取締役会長に選任された。
數土文夫会長は「ビジネスは食うか食われるかの戦争」だと公言し部下にはかなり厳しい反面、自分にはメチャクチャ甘い。
大のゴルフ好きで自宅もゴルフ場の近くに建てるなど、趣味の為に生きている。
東京電力会長就任後は、毎週末必ずゴルフで豪遊していると言う。
安倍晋三首相(59)が福島の各地を視察している間も數土文夫会長はずっとゴルフ三昧を続けている。
会長に就任してから完全に歯止めが利かなくなったようだ。
しかも、ゴルフ場通いは自宅近くなのに、自家用車ではなく運転手つき高級送迎車を使用。
それだけではない、北海道にも何度もゴルフ旅行に行っている。
ハイヤーを手配すれば一回で10万以上の距離を例の運転手つき高級送迎車で往復する。
東京電力広報部によると、「会長のゴルフはプライベートで、会社が費用を負担した事実はない。
出身校の北海道大学の役員として行事に参加する際も出張費は負担していない。安倍首相が福島県を視察されるのも事前に知りませんでした。」と言う。
0752デフォルトの名無しさん
2014/06/01(日) 15:20:19.94ID:iF6nhgL2たたく相手を間違えている,というかこれがステルスマーケティングというやつか?
0753デフォルトの名無しさん
2014/06/01(日) 15:46:39.80ID:pSHhxuJJアメリカの犬なんだから、アメリカを叩くべきだよね
0754デフォルトの名無しさん
2014/06/01(日) 19:04:57.16ID:P43QJ21q0755デフォルトの名無しさん
2014/06/01(日) 22:51:53.14ID:cnevXHrM"連続的な時間からの関数"?
単に関数でいいじゃない。
0756デフォルトの名無しさん
2014/06/02(月) 00:06:38.62ID:tzGWF5Ie変数は定義するけど関数は定義したことがないような人間でも使えるんだよな
そういう人のためには通常の関数よりも
変数のような外見をもつ関数を作りたいんじゃないか
0757デフォルトの名無しさん
2014/06/02(月) 10:28:30.37ID:cmZR0KFC必要性はない。
必要性はなくともモナドになるならモナドにする利点はある。
>>755
Haskell の関数にすると時間が経つごとに過去を全て計算し直すことになる。
0758デフォルトの名無しさん
2014/06/03(火) 01:08:47.01ID:os8D+C/kなるほど。ありがとうございます。
そうなると、どうやってキャッシュしてるのか、いつ捨ててるのか、が気になりますね。
Reactiveの実装、読んでみようかな。
0759デフォルトの名無しさん
2014/06/03(火) 23:36:26.25ID:vQrWAfkeHaskell風らしいぞ
0760デフォルトの名無しさん
2014/06/03(火) 23:47:58.90ID:aVTw0SuG0761デフォルトの名無しさん
2014/06/03(火) 23:52:32.55ID:vQrWAfkeよくこんな的外れな発言できるよな、そこだけすげーわ
0762デフォルトの名無しさん
2014/06/04(水) 01:07:25.13ID:zW2IOeMv0763デフォルトの名無しさん
2014/06/04(水) 01:14:17.16ID:k8B3eImo0764デフォルトの名無しさん
2014/06/04(水) 04:33:26.94ID:kTXVUqyW0765デフォルトの名無しさん
2014/06/04(水) 13:16:08.88ID:H9m/5fkb専用スレあるから、そっちでやってくれ。
http://peace.2ch.net/test/read.cgi/gamedev/1024430365/l50
0766デフォルトの名無しさん
2014/06/04(水) 20:43:50.75ID:u9+TRf9Nマシン語?
CPUの歓声?
何一つ理解できないんだけど俺がアホなの?
0767デフォルトの名無しさん
2014/06/04(水) 22:04:22.34ID:/9qBSbkx何に似てるかと聞かれれば、俺ならVBと答える。
0768デフォルトの名無しさん
2014/06/04(水) 23:16:55.56ID:k217Pn8ELisp方言よりも酷い
0769デフォルトの名無しさん
2014/06/06(金) 02:20:01.51ID:UgiouvQd0770デフォルトの名無しさん
2014/06/06(金) 10:15:20.07ID:y0dWYbOFCoqを使って見つけたらしい。
0771デフォルトの名無しさん
2014/06/06(金) 10:28:04.28ID:9a2/hTZyそのDLLにPathが通ってないと以下のようなエラーメッセージが出ます。
Loading package AAAA-1.234 ... ghc.exe: aaaa: 指定されたモジュールが見つかりません
<command line>: can't load .so/.DLL for: aaaa.dll (addDLL: could not load DLL)
このPath(DLL)をcabalファイルで設定(指定)することは可能でしょうか?
何か参考になりそうな資料があれば教えてください。m(_ _)m
0772デフォルトの名無しさん
2014/06/06(金) 22:41:13.71ID:uHf6gLUIサンク? とかいうのが関係してるらしいのですが…
f1 = trace "f1"
f2 = trace "f2" 1 -- once.
f3 n = trace "f3" n
f4 = trace "f4" (+1) -- once.
f5 n =(trace "f5" (+1)) n
main = print $
f2 + f2 + f3 0 + f3 0
+ f1 0 + f1 0 + f4 0 + f4 0
+ f5 0 + f5 0
{--
*Main Debug.Trace> :main
f2
f3
f3
f1
f1
f4
f5
f5
6
--}
0773デフォルトの名無しさん
2014/06/07(土) 01:16:00.09ID:CyKk6S7N0774デフォルトの名無しさん
2014/06/07(土) 02:14:42.19ID:j0miTLyxありがとうございます。もう少し詳しく教えてもらえると助かります。
例えば上記の例で、f4がメモ化するのに、f1,f3,f5がメモ化しないのはなぜでしょうか
0775デフォルトの名無しさん
2014/06/07(土) 10:18:21.51ID:lm5AXLzx重要なルールは二つ
・変数に束縛された式は最大一回しか評価されない(いわゆるメモ化)
・ラムダ式の内部は、そのラムダが呼ばれるたびに毎回評価される
あとは、たとえば
f3 n = trace "f3" n
が
f3 = \n -> trace "f3" n
の略記であることに注意すれば全部説明できるはず
0776デフォルトの名無しさん
2014/06/07(土) 13:08:20.64ID:Uu6v8sgzhttp://iup.2ch-library.com/i/i1212322-1402094768.jpg
↓
http://headlines.yahoo.co.jp/hl?a=20140607-00000018-spnannex-ent
全国ニュースだと死因は隠蔽された模様
0777デフォルトの名無しさん
2014/06/07(土) 13:11:01.70ID:CyKk6S7Nローカル変数は寿命が短いのでメモ化してもあまり意味がない
0778デフォルトの名無しさん
2014/06/07(土) 13:19:02.78ID:u3dUy4Sv0779デフォルトの名無しさん
2014/06/07(土) 17:53:41.30ID:Uu6v8sgz0780デフォルトの名無しさん
2014/06/07(土) 17:54:19.44ID:Uu6v8sgz0781デフォルトの名無しさん
2014/06/07(土) 18:07:03.14ID:k+hkHDsP頭の体操?
0782デフォルトの名無しさん
2014/06/07(土) 18:45:23.47ID:nkXCN2MU0783デフォルトの名無しさん
2014/06/07(土) 18:46:50.89ID:CyKk6S7N0784デフォルトの名無しさん
2014/06/08(日) 09:32:02.20ID:7fEsoHXD検索逃れを図る
http://www.nsr.go.jp/committee/yuushikisya/tokutei_kanshi_wg/20140124.html
0785デフォルトの名無しさん
2014/06/08(日) 09:37:57.65ID:7fEsoHXD東京電力が2011年度までの4年間に、核燃料サイクルの研究推進を目的とする
東京大の講座に計約1億円を寄付していたことが7日、東大への取材で分かった。
講座は東大大学院原子力国際専攻が設置し、政府が原子力規制委員会の新しい
委員候補として国会に提示した田中知教授が担当していた。
時事通信が情報公開請求で入手した東大の資料などによると、東電から08年4月、
「核燃料サイクル社会工学寄付講座」向けに、12年度までの5年間に計1億5000万円
を提供すると申し出があった。東大は毎年度3000万円を受け取ることになり、使途は
田中教授を含む専攻内のメンバーで議論して決めたという。(2014/06/08-02:32)
0786デフォルトの名無しさん
2014/06/09(月) 16:44:42.03ID:UnHITOXV凍土壁がうまくいってもいかなくても、「賞味期限」は7年ほどしか見込まれていない。
7年を超えて使うには、腐食が予想される凍結管の交換などが必要になる。そもそも維持コストなどからも半永久的に
使える性格の設備ではない。さらに凍土壁を設置してからでは、施行スペースが狭くなり、恒久的な施設の建設が難しくなる恐れもある。
0787デフォルトの名無しさん
2014/06/09(月) 21:14:44.33ID:Q9Km/gjsフリーソフトの検索エンジンYaCyを動かしてみました
http://www.suri.cs.okayama-u.ac.jp:8090
設定
http://d.hatena.ne.jp/niitsuma/20100416/1271403446
0788デフォルトの名無しさん
2014/06/09(月) 21:48:24.84ID:+qSjsixv0789デフォルトの名無しさん
2014/06/10(火) 08:29:20.78ID:6u9XrF7pまだ原発の話題が続いてるとは思わなかった
感服しました
0790デフォルトの名無しさん
2014/06/10(火) 08:51:58.29ID:fSq5srf6特定スレから逃げて来てるだけなので、放置推奨。
0791デフォルトの名無しさん
2014/06/10(火) 09:02:09.00ID:Oe/erEcT漏れが見つかったのは、去年10月の台風でたまった雨水を集めておいたタンクです。
その後、天板の開口部から雨水が入って水かさが増え、約3.4tが地面に漏れていました。
漏れた水には、ストロンチウムなどの放射性物質が1リットルあたり約1万ベクレル含まれていましたが、
東京電力は、タンク内の雨水は放射性物質の濃度が低いと思い込んでいました。
このため、タンクを囲むせきの弁を開けたままにしていたうえ、3月からパトロールもせず、
2日に原子力規制庁の検査官が見つけるまで気付きませんでした。
0792デフォルトの名無しさん
2014/06/10(火) 14:44:33.47ID:xvWcA0D6仲良く使ってね
0793デフォルトの名無しさん
2014/06/10(火) 15:16:57.91ID:ntAaSbHT実は政治家だったり?
0794デフォルトの名無しさん
2014/06/10(火) 19:59:18.60ID:imvmVQBtいまのところ、東電災害がHaskellプログラミングできなくなる原因となるモノNo1だしな…
0795デフォルトの名無しさん
2014/06/11(水) 00:39:52.64ID:l9N9rB9y強粘着の人でも7年続いた人は見たことないby otsuneらしいので頑張って欲しいと思っている
0796デフォルトの名無しさん
2014/06/11(水) 04:54:14.25ID:o2OaGDZjじつは東電ネタはここで仕入れているんだ‥
まあがんばってくれ
0797デフォルトの名無しさん
2014/06/11(水) 09:50:18.31ID:MfoulXo9ここのみんなはもうあの世に行っているのか
0798デフォルトの名無しさん
2014/06/11(水) 16:27:05.67ID:xtsMXPF60799デフォルトの名無しさん
2014/06/11(水) 18:17:15.61ID:NwCCd7Zq0800デフォルトの名無しさん
2014/06/11(水) 21:22:41.59ID:3Lt6Ett50801デフォルトの名無しさん
2014/06/12(木) 02:04:17.46ID:q3Ov8bFiこのスレは萌魚姉妹だ
0802デフォルトの名無しさん
2014/06/12(木) 07:42:48.82ID:UzkPyWfj2ちゃんの上にも七年
0803デフォルトの名無しさん
2014/06/12(木) 10:22:50.84ID:n/H2yXbk0804デフォルトの名無しさん
2014/06/12(木) 11:43:53.89ID:1OrKr6xAhttp://www.ourplanet-tv.org/?q=node/1793
東京電力福島第一原子力発電所による健康影響を調べている
福島県民健康調査の検討委員会で10日、甲状腺がんに関する専門部会が開催され、
スクリーニング検査によって、多数の子どもが甲状腺手術を受けていることについて、
前回に引き続き過剰診療につながっているかどうかで激論となった。
議論の過程で、手術している子どもに、リンパ節転移をはじめとして深刻なケースが多数あることが明らかになった。
福島県民健康管理調査では、原発事故が起きた当時18歳以下だった子ども36万人を対象に
甲状腺の超音波診断が行われている。事故から3年目となる今年の3月末までに、
対象となる子どものうち約29万人が受診。2次検査で穿刺細胞診を受けた
子どものうち90人が悪性または悪性疑いと診断され、51が摘出手術を実施。50人が甲状腺がんと確定している。
専門部会では、疫学を専門とする東京大学の渋谷健司教授が、この結果について、
スクリーニング効果による過剰診断が行われている可能性があると指摘。
また、放射線影響との因果関係を論ずるためには、比較対照群を設けるなど、制度設計の見直しが必要であると主張した。
これに対し、手術を実施している福島県立医大の鈴木真一教授は、
「過剰診療という言葉を使われたが、とらなくても良いものはとっていない。手術しているケースは過剰治療ではない」と主張。
「臨床的に明らかに声がかすれる人、リンパ節転移や肺転移などがほとんど」として、
放置できるものではないと説明した。(動画の52分40分頃)
渋谷教授は「しかし、健診して増えたのなら、過剰診断ではないか。リンパ節転移は何件あるのか」と追及すると、
鈴木教授は「取らなくてよいがんを取っているわけではない」と繰り返しつつも、
「ここで、リンパ節転移の数は、ここでは公表しない」と答えた。(1時間35分頃)
0805デフォルトの名無しさん
2014/06/12(木) 13:18:54.39ID:Vt4laRAt0806デフォルトの名無しさん
2014/06/12(木) 15:10:19.66ID:8Zncvrg7そもそも良いか悪いかを気にする意味がわからない
0807デフォルトの名無しさん
2014/06/12(木) 17:03:00.73ID:5zVrIC7x0808デフォルトの名無しさん
2014/06/12(木) 21:13:39.96ID:UD8o8OUG0809デフォルトの名無しさん
2014/06/12(木) 21:55:51.84ID:LeaRjTtZ0810デフォルトの名無しさん
2014/06/14(土) 11:25:20.10ID:IWJ9lg64危険な事実が透けて見えるから人気がある
批判の声が大きいほど重箱の隅までよく見える
敵に逆らわず敵を利用できるやつは強い
0811デフォルトの名無しさん
2014/06/14(土) 18:27:55.89ID:X7Zm6ITp0812デフォルトの名無しさん
2014/06/15(日) 16:10:49.15ID:4dnC9vXA0813デフォルトの名無しさん
2014/06/15(日) 16:48:31.43ID:ff3DF+/Uhttp://enchantmoonstrokes.appspot.com/#52021019350840f7400ea0bc150d6562d0cb0e30a35b740ca
しかし突っ込みどころが多すぎてなかなか楽しい図だなw
0814デフォルトの名無しさん
2014/06/15(日) 17:16:40.51ID:BWS0xqiu0815デフォルトの名無しさん
2014/06/15(日) 17:29:15.50ID:e7vXG3hhゴミLisperの集金プロジェクトだし
0816デフォルトの名無しさん
2014/06/15(日) 18:03:26.77ID:IvInZJ3n0817デフォルトの名無しさん
2014/06/15(日) 20:15:34.57ID:srFKoKRjコンビネータとプリミティブと、ビルディングブロックって全部同じ意味ですか?
0818デフォルトの名無しさん
2014/06/15(日) 20:54:34.34ID:wjE+lkrGバスという概念をしらないのかねえ
0819デフォルトの名無しさん
2014/06/15(日) 22:21:40.55ID:QhTFjgfY0820デフォルトの名無しさん
2014/06/15(日) 22:32:13.37ID:e7vXG3hh自分でPMやって採択してスーパークリエーターになってた
早く死ねばいいのに
0821デフォルトの名無しさん
2014/06/16(月) 16:35:52.76ID:7he4xSgp0822デフォルトの名無しさん
2014/06/16(月) 21:23:47.94ID:AQ6Cimo30823デフォルトの名無しさん
2014/06/16(月) 21:24:24.61ID:dyNK9zKr小保方と同類だわ
0824デフォルトの名無しさん
2014/06/16(月) 22:13:46.67ID:mpghpm4/0825デフォルトの名無しさん
2014/06/17(火) 09:33:48.80ID:5Pd4j/360826デフォルトの名無しさん
2014/06/17(火) 14:22:53.10ID:FhHXKJAE0827デフォルトの名無しさん
2014/06/18(水) 01:45:30.31ID:CoJ8AUTs国際的に活躍できないやつらがワールドカップと関係ない「酸っぱい葡萄」について語るのに価値がない事わかってないないんだな
0828デフォルトの名無しさん
2014/06/18(水) 01:46:59.17ID:CoJ8AUTsたかが、すき屋のバイトが賃上げ交渉とか何様だよ。
まず金持ちになってから、そういうことを言え
0829デフォルトの名無しさん
2014/06/18(水) 02:41:14.17ID:iibJjGaAま、やっぱ関数型だよね、と言えるような例。。。
あるわけないか。
じゃあ、わざわざ慣れてる手続き型言語から
分かりにくい関数型言語に移る理由なんてないよね
0830デフォルトの名無しさん
2014/06/18(水) 02:56:45.63ID:oQ+kAST1チェルノブイリと似ている
日本では100万人に1〜2人がなるとされる小児甲状腺がん。それが、東日本大震災から3年が経った福島県では、
震災当時18歳以下だった子どもの50人に甲状腺がんが見つかり、既に摘出手術を受けている。
その割合は6000人に1人と、チェルノブイリ原子力発電所の事故後に急増した1万人に1人を越えている。
しかも、福島で見つかった50人の小児甲状腺がんのうち、49人が「乳頭がん」である。
甲状腺がんにはいくつかの種類があるが、チェルノブイリでも「放射線誘発性の甲状腺がんはすべて乳頭がん」だったという。
これは福島県「県民健康調査」検討委員会の座長も務め、いまも首相官邸の「原子力災害専門家グループ」に名を連ねる
山下俊一福島県立医科大学副学長、長崎大学理事・副学長が断言している(『日本臨床内科医会会誌・第23巻第5号』「放射線の光と影:世界保健機関の戦略」より)。
0831デフォルトの名無しさん
2014/06/18(水) 03:09:28.21ID:P715oYFj0832デフォルトの名無しさん
2014/06/18(水) 06:04:30.10ID:HI21GK+g構文木を操作するプログラム。
COBOL meets Haskellで紹介されてたようなプログラムは
代数的データ型が無い言語だとvisitor地獄になる。
0833デフォルトの名無しさん
2014/06/18(水) 07:07:48.43ID:1LbYTDhb敵が自分の考えと真逆だろうってのは舐めすぎやで
0834デフォルトの名無しさん
2014/06/18(水) 07:15:38.17ID:xLz1oUic関数型でないとダウンキャストを禁止するのが難しい
静的型付けを推進した結果が関数型だよ
0835デフォルトの名無しさん
2014/06/18(水) 08:08:41.77ID:vmKH/b+w0836デフォルトの名無しさん
2014/06/18(水) 08:11:18.88ID:1LbYTDhb0837デフォルトの名無しさん
2014/06/18(水) 08:16:26.02ID:pVjQ2kqQ0838デフォルトの名無しさん
2014/06/18(水) 12:21:38.05ID:csAcA5GD0839デフォルトの名無しさん
2014/06/18(水) 17:26:36.61ID:0I/Jlq+B予選落ちなの?
0840デフォルトの名無しさん
2014/06/18(水) 20:58:19.90ID:xLz1oUic面倒なことを機械にやらせるのが取り柄なのに
わざわざ人間がやる理由を説明してください
0841デフォルトの名無しさん
2014/06/18(水) 21:18:33.71ID:yaEtSQuE0842デフォルトの名無しさん
2014/06/18(水) 22:49:04.33ID:1LbYTDhb0843デフォルトの名無しさん
2014/06/18(水) 23:19:07.71ID:K2PaBBH0手続き型言語だと、Pascal族の可変レコード(variant record)が相当するデータ型だね
ただし可変レコードはそれほど積極的にはプログラミングには活用されてこなかった
実際Pascalによる連結リストやツリーの実装では、可変レコードを使わずに
普通の(=直積としての)レコードとポインタを使っていた
これに対して、ML/Haskellといったモダンな関数型言語だと代数型は必須の地位にある
これは、関数型言語が産業界から離れていたた為に、形式的なデータ型体系の研究成果が
いち早く反映されやすかったという歴史的理由があるものと推測される
近頃話題のSwiftでは、Pascalの可変レコードに相当する enumeration type が復活した
しかもPascal時代には欠けていたパターンマッチや網羅性検査を伴って....
ラムダ式に相当する closure の採用も含め、過去には関数型言語の専売特許と思われていた
言語とデータ型に関する最新の研究成果は、これから次々と手続き型へ反映されていくだろう
>>838
イミュータブル(immutable, 不変性)だと型理論が面倒という意見は初めて聴くが、
何を言いたいのだろうか?
0844デフォルトの名無しさん
2014/06/19(木) 00:02:44.75ID:hB3rUSHTLinuxでemacs使ってます、でも良いんだけどさ、
真に世の中でもっと使われるためには、
C言語、C++言語などの手続き型言語におけるWindowsのVisual Studioみたいに、
統合環境を使えるようにならなきゃ、なかなか普及しないんじゃないのかな。
ってか、そういうの、もうあるの?
0845デフォルトの名無しさん
2014/06/19(木) 00:03:56.67ID:hB3rUSHTまあプログラミングを支援してくれるような機能を持ったもの
0846デフォルトの名無しさん
2014/06/19(木) 00:39:49.60ID:lx9ViyH6Leksah ってのが昔あったよ。
0847デフォルトの名無しさん
2014/06/19(木) 00:40:02.52ID:HqKe0mSEhttp://www.mew.org/~kazu/proj/ghc-mod/en/
シンボルの補完とか、GHC/hlintが出すエラー箇所の
ハイライトしてくれる。
0848デフォルトの名無しさん
2014/06/19(木) 00:41:55.99ID:O3OgDHbb0849デフォルトの名無しさん
2014/06/19(木) 01:22:50.24ID:vta/TNRIWindowsでGUIのプログラムを簡単に作れて、
補完機能付きでデバッガ機能付きの統合環境がないと
世の中的にはなかなか普及しないでしょ。
やっぱ、まだまだHaskellはハッカーのものだね
0850デフォルトの名無しさん
2014/06/19(木) 01:27:36.82ID:vta/TNRIお、今ググってみたら、なんとなく良さげだけど、
Leksahを使ってる人の感想を聞きたい。
実用プログラム作成に耐えられる?
0851デフォルトの名無しさん
2014/06/19(木) 01:30:14.36ID:vta/TNRIhttp://leksah.org/
を見る限り、最近開発されてないみたいだな。
期待薄か。
0852デフォルトの名無しさん
2014/06/19(木) 01:40:40.41ID:eEuAJf0IVBの方がよっぽど頑張ってたんじゃないの
0853デフォルトの名無しさん
2014/06/19(木) 01:46:32.37ID:rmnCM2vO0854デフォルトの名無しさん
2014/06/19(木) 01:50:32.69ID:z06JgH3Dああいう統合環境系のキラーアプリは絶対必要。
コード補完、デバッガ、リファクタリング、GUI作成支援みたいな。
0855デフォルトの名無しさん
2014/06/19(木) 01:56:31.53ID:z06JgH3D使いやすさはどうですか?
コード補完くらいはできるんですか?
0856デフォルトの名無しさん
2014/06/19(木) 01:59:08.24ID:z06JgH3Dhttp://www.sublimetext.com/3
0857デフォルトの名無しさん
2014/06/19(木) 08:47:33.86ID:eEuAJf0I必要とは必要最低限を目指すときに使う言葉
広く拡散させたいときに使うべき言葉ではない
0858デフォルトの名無しさん
2014/06/19(木) 08:59:45.09ID:nGqFEu9y日本語習い始めか。
0859デフォルトの名無しさん
2014/06/19(木) 11:56:00.32ID:0uNAMSFQオレゴン州立大学の調査によると、2011年に福島第1原子力発電所で事故が発生したあと、
オレゴン州沖で捕獲されたビンナガマグロに含まれる放射性物質の量が3倍に増えた。
学者たちは、ビンナガマグロに含まれるセシウムは深刻に懸念する量ではないとしているが、
放射性物質の濃度が最も高い海水はまだ米国沿岸部に到達していないため、今後状況は悪化するとの見方を示している。
学者たちは、放射性物質による海水汚染は拡大し、汚染による主な被害は今後顕在化すると指摘している。
0860デフォルトの名無しさん
2014/06/19(木) 12:23:52.17ID:wfyUZ16B専門用語はキッチリ使わなければならない、ということがわからないおまえがド素人。
0861デフォルトの名無しさん
2014/06/19(木) 16:39:16.40ID:YO54wxvl0862デフォルトの名無しさん
2014/06/19(木) 17:34:12.23ID:DzyZDFM0http://www.infoq.com/jp/news/2013/09/fp-haskell-ide
GUI作成支援は必要だけど、従来のRADツール的なものはHaskellにはマッチしないんじゃないかなあと思う。
自分はXcodeでiOS用のGUIアプリを作るけど、最近は、デバイスが多様になった上に画面が限られるから、ウィジェット的なものは役に立たなくなってきていると感じる
(画面上のある位置のボタンがアプリの状態遷移にしたがって、よく似ているけど若干機能と見た目が異なるボタンにすげ変わる等)。
ウィジェットをポチポチ貼り付けてアプリ組むのは、言うとおり初心者には優しいけど、もうスケールしない気がする。
そういう「スナップショット」に気を取られるよりは、FRPとか制約プログラミングとかを駆使して、時間に対するリッチな演算を振り回したい。
でもビジュアライザ的なものはほしいね。Swiftみたいな。
0863デフォルトの名無しさん
2014/06/19(木) 18:53:58.27ID:BRW9+QBS応援します
0864デフォルトの名無しさん
2014/06/20(金) 02:03:40.99ID:E8cnq9WH補完はクソだからフォークして俺仕様に改造中
SublimeTextは催促気にしなきゃ無料でも使えるよ
0865デフォルトの名無しさん
2014/06/20(金) 02:24:58.57ID:PPs4J8EBどうして Emacs が老害と言われながらも滅びないかというのは、狂信的なまでに自由を守ろうとする姿勢があるからだよ。
0866デフォルトの名無しさん
2014/06/21(土) 00:18:06.81ID:OWwW+MDA必要ない方が滅びるまで戦わせたいんじゃないか
0867デフォルトの名無しさん
2014/06/21(土) 05:08:15.73ID:eOaRUXjc0868デフォルトの名無しさん
2014/06/21(土) 10:30:34.59ID:UQCfn4i5対して、Haskellはガチガチの静的言語
0869デフォルトの名無しさん
2014/06/21(土) 10:47:35.14ID:UJNwDYla0870デフォルトの名無しさん
2014/06/21(土) 13:21:28.22ID:P7AT9cREエラーが出るのが実行時かコンパイル時かという違いだけで、
型が合わなきゃまともに動かないのは同じだよ。
Common Lisp は型を明示することも出来るけど、
それは型チェックのためのものじゃなくてコンパイラに最適化のヒントを与えるためだったりするし、
宣言した型に特化したコードにコンパイルするので宣言通りでない型のオブジェクトがくると SEGV ったりしやすくなる。
緩いと言えば緩いのかもしれないけど、処理系のチェックが入らない分だけプログラマにとってはハードな部分もある。
0871デフォルトの名無しさん
2014/06/21(土) 15:02:17.79ID:HjckRdkP0872デフォルトの名無しさん
2014/06/21(土) 15:42:40.48ID:P7AT9cREそのために必要なプロファイラや逆アセンブラも充実してる。
動的型だから事前にどんな型のオブジェクトが渡されるかわかんないけど、
プログラマは知っているという前提で型の特定はプログラマが宣言するという形でさせる。
プログラマがチューニングするための道具を提供するという方向で進化したから、
歴史が長い割に処理系がやってくれる最適化はそれほど強力ではなかったりする。
そんなわけで、動かしながら改良するというやり方なんで、
型が合わない場合も含めて問題に気付き易いし、
どうしてもよくわかんなくなったら戻ってやり直しすればいい。
ようするに開発手順も含めて考えないと評価できんぽよ。
0873デフォルトの名無しさん
2014/06/21(土) 17:25:24.32ID:TAnR95o5今時、バカしか使わない
0874デフォルトの名無しさん
2014/06/21(土) 17:30:33.55ID:CVhP+9550875デフォルトの名無しさん
2014/06/21(土) 23:40:35.31ID:eD9on+QL0876デフォルトの名無しさん
2014/06/22(日) 17:08:13.98ID:6I+RmjBI孫にあげるのはもちろんCommon Lisp。
なぜなら、 彼もまた、特別な存在だからです。
0877デフォルトの名無しさん
2014/06/22(日) 18:27:09.89ID:qJOhdZ+nghciしたい。
$ cabal repl
うんうん。
ghc-pkgしたい。
$ cabal sandbox hc-pkg
うんうん。
runghcしたい。
$ runghc -- -package-db --ghc-arg=.cabal-sandbox/x86_64-osx-ghc-(バージョン)-packages.conf.d hogehoge.hs
FFFFFFFFFFFFFFFFUUUUUUUUUUUUUUUUUUUUU !!!!!!!!!!!!!!!
0878デフォルトの名無しさん
2014/06/23(月) 04:58:13.18ID:BRygHKIq配管部品の腐食などがあった1系統の処理ラインの運転を再開したと発表した。
これにより、3系統全ての修理が完了し、3か月ぶりにフル稼働が可能になった。
東電によると、3月から3系統でパッキンの劣化が相次いで判明。
今回の系統も5月20日に運転を停止した。さらに、パッキンの交換に合わせて点検した際、
配管部品の腐食も見つかっていた。
3系統を同時運転した場合、最大で1日750トンの汚染水処理が可能になるという。
0879デフォルトの名無しさん
2014/06/24(火) 14:06:21.06ID:zYgA6f0qcabal runじゃだめなんか
0880デフォルトの名無しさん
2014/06/24(火) 14:15:24.18ID:sPjboWJlありがとう
0881デフォルトの名無しさん
2014/06/26(木) 03:21:45.68ID:r889u4vnみたいなのを見かけたんですが、
~は何でしょうか?
0882デフォルトの名無しさん
2014/06/26(木) 04:38:59.61ID:r889u4vn自己解決しました
0883デフォルトの名無しさん
2014/06/26(木) 04:44:05.11ID:HGEq4Pwzhttp://en.wikibooks.org/wiki/Haskell/Laziness#Lazy_pattern_matching
0884デフォルトの名無しさん
2014/06/27(金) 00:05:47.28ID:AcYESNoq解決したなどと言いましたが、イマイチよく解っていません。
comonad-random のソースを読んでいました。問題の部分を抜粋します。
newtype Three a = Three (a, a, a)
instance Functor Three where
fmap f (Three ~(x, y, z)) = Three (f x, f y, f z) ― ★
newtype Rand a = Rand { unRand :: Cofree Three a }
mkRandWith :: RandomGen g => (g -> (a, g)) -> g -> Rand a
mkRandWith f g = let ~(x, g') = f g ― ◆
~(l, r) = split g
in Rand . cofree x . fmap (unRand . mkRandWith f) . Three $ (l, g', r)
★と◆で遅延パターンが使われていますが、どのような効果があるのか解りません。
0885デフォルトの名無しさん
2014/06/27(金) 01:14:44.86ID:5vxPLA2O教えてください。
0886デフォルトの名無しさん
2014/06/28(土) 22:29:45.36ID:DAhf0dEpSwiftで脱アルゴリズム!
iOS開発を関数型(宣言型)プログラミングへパラダイムシフトしてみる【脱アルゴリズム宣言@】
0887デフォルトの名無しさん
2014/06/28(土) 23:54:15.25ID:ago1EUHohttp://peace.2ch.net/test/read.cgi/tech/1403215505/l50
0888デフォルトの名無しさん
2014/06/30(月) 07:25:06.92ID:caVPkcbX0889デフォルトの名無しさん
2014/07/02(水) 01:47:40.62ID:DtJpCnwF日英で情報少なめでよく分からない
0890デフォルトの名無しさん
2014/07/02(水) 01:50:42.90ID:dUEreE3e0891デフォルトの名無しさん
2014/07/02(水) 04:14:06.25ID:pvcw+m7M一部の金融系企業で使われているという話はたまに出てる
なぜ金融でhaskellなのかはよくわからない
0892デフォルトの名無しさん
2014/07/02(水) 07:55:16.32ID:r/neFbJKそしてアプリケーションは広義の言語処理系
後は分かるな
0893デフォルトの名無しさん
2014/07/02(水) 08:22:13.09ID:OVi3MAaH0894889
2014/07/02(水) 09:10:32.60ID:DtJpCnwFありがとう
0895デフォルトの名無しさん
2014/07/02(水) 09:34:22.08ID:358Di0VN0896デフォルトの名無しさん
2014/07/02(水) 10:33:42.96ID:ZwWDQ8Ut0897デフォルトの名無しさん
2014/07/02(水) 10:53:35.74ID:TuvmmrAmindent情報管理はどうやってるのかな?
0898デフォルトの名無しさん
2014/07/02(水) 13:10:32.93ID:r/neFbJK0899デフォルトの名無しさん
2014/07/02(水) 13:28:26.41ID:TuvmmrAm0900デフォルトの名無しさん
2014/07/02(水) 13:34:10.57ID:fsGIUKKD文脈自由文法的には曖昧さということになる構文規則でも、
PEGだと、「失敗したら次いってみよう」という規則として通っちゃうから。
0901デフォルトの名無しさん
2014/07/02(水) 13:34:29.43ID:0D3KAMsPそれなりに実用的な C++処理系もあるんだべな
0902デフォルトの名無しさん
2014/07/02(水) 14:02:08.40ID:TuvmmrAmPEGもエディッタの色付けとかインスペクションといった局面での利用には
有益なんじゃないかなと思うんですよ。
haskellみたいにindent修飾がある場合には、馬鹿正直に毎回ファイル
先頭からパースしなくてもよいわけだし。
0903デフォルトの名無しさん
2014/07/02(水) 14:19:38.99ID:0D3KAMsPつまり規則の並び順を慎重に判断しないと思わぬ結果が出る?
0904デフォルトの名無しさん
2014/07/02(水) 14:26:04.94ID:TuvmmrAm弱点というほどのことでもないよな
伝統的なBNF表記との間で違和感あって嫌だわっていってるだけじゃないの
0905デフォルトの名無しさん
2014/07/02(水) 14:28:21.36ID:TuvmmrAm痛い目合うよってならわかる
0906デフォルトの名無しさん
2014/07/02(水) 15:02:57.60ID:fsGIUKKD望ましいのか、ということを問題にしたいんだけど。今のところ良いとも悪いとも結論は
出てないと思ったけど。
0907デフォルトの名無しさん
2014/07/02(水) 15:18:17.93ID:41xv+lM1そこまでたどりつかずに終わるか・・・
0908デフォルトの名無しさん
2014/07/02(水) 15:58:21.66ID:TuvmmrAm0909デフォルトの名無しさん
2014/07/02(水) 19:18:41.80ID:0Vfv6EUn0910デフォルトの名無しさん
2014/07/02(水) 20:26:36.14ID:ytBI8ViPだがyieldは巻き戻せないという欠点がある
でも巻き戻せなくて良いなら遅延リストは要らない
0911デフォルトの名無しさん
2014/07/03(木) 21:27:28.58ID:XNivIYtT0912デフォルトの名無しさん
2014/07/03(木) 21:30:05.86ID:XNivIYtTfib : tfib = 1 : 1 : zipWith (+) fib tfib
みたいなのは巻き戻しが必要な場合?
あと遅延木だとyieldでできなくない?
0913デフォルトの名無しさん
2014/07/03(木) 23:52:41.26ID:jJ4uqouhPEGは構文解析も字句解析も両方やるから曖昧な文法は必要
0914デフォルトの名無しさん
2014/07/04(金) 09:40:59.63ID:1XmpEr3o「マッチした順番にreduceするよ」としたのがPEGとかだという話なのではなくて?
0915デフォルトの名無しさん
2014/07/04(金) 10:09:17.82ID:zVzkDLEa入力のambiguityに対応するのが、パーサー側の結合優先度(associativity)表記ですよね。
0916デフォルトの名無しさん
2014/07/04(金) 11:09:44.27ID:s+xY96IIyacc(とか)のそれを指しているのなら、構文規則を細かく書かずに楽をするためのものが、
優先度と結合の指示だけど? (蛇足: 優先度と結合性を混同しないほうがいいと思う)
0917デフォルトの名無しさん
2014/07/04(金) 11:33:36.58ID:W1ogoEHLその制約は、イベントハンドラの実行後にイベントがキャンセルされるリスクが0という
実用的な意味があると思う
イベントハンドラを使わない正規表現にはその制約はない
0918デフォルトの名無しさん
2014/07/04(金) 11:41:35.75ID:s+xY96IIその場合バックトラックで一旦マッチした対象にキャンセルがかかることもありうる。
0919デフォルトの名無しさん
2014/07/04(金) 23:43:59.99ID:XQpVo4pk行われていないのに、完了届が出ていたと明らかにした。市はほかの地域でも、除染を
実施していない場所がないか確認するため、調査委員会を設置し、初会合を開いた。
記者会見した仁志田市長によると、市は保原地域など市内の一部の除染を、除染業者で
構成する伊達市除染支援事業協同組合に約2億2800万円で委託していた。
5月下旬、市民から除染が行われていないとの情報が寄せられ、市が確認したところ、
保原地域の側溝に、本来なら取り除かれているはずの泥が残っているのが見つかった。
0920デフォルトの名無しさん
2014/07/05(土) 18:04:48.59ID:AQzeVjis0921デフォルトの名無しさん
2014/07/06(日) 21:21:41.11ID:YccAFscWHaskellコンパイラの製作
0922デフォルトの名無しさん
2014/07/07(月) 08:10:18.64ID:Qa/qXw+L0923デフォルトの名無しさん
2014/07/07(月) 10:12:07.62ID:4pdmPZH6定評とはいえ機械で検出できないものを簡単に信じるわけにはいかない
0924デフォルトの名無しさん
2014/07/07(月) 10:18:34.53ID:n/CZjLr0C90以前と互換性がない、みたいな妙な仕様を検出するような
Cコンパイラと違って、Haskell にはそう変な仕様変更とかないからじゃね?
0925デフォルトの名無しさん
2014/07/08(火) 14:17:24.97ID:i5aWLXSQhttp://up3.null-x.cc/poverty/img/poverty175080.png
http://up3.null-x.cc/poverty/img/poverty175087.png
0926デフォルトの名無しさん
2014/07/11(金) 18:35:38.91ID:EPH96Rn+repeat' n = let ns = n : ns in ns
前者の時間計算量がO(n^2)なのは解るんだけど、
後者がO(n)なのがサッパリわからん。たすけて
0927デフォルトの名無しさん
2014/07/11(金) 18:52:46.54ID:EPH96Rn+バグが...
前者は
repeat x = x : repeat x
で、
f x n = repeat x !! n
とした時に、
f x = O(n^2)
になる、という意味です。
0928_
2014/07/11(金) 19:55:11.50ID:qKXg1wLLhttp://www.haskell.org/ghc/download_ghc_7_8_3
0929デフォルトの名無しさん
2014/07/11(金) 22:03:31.79ID:TESpRPH5どっちもO(n)に見える
0930デフォルトの名無しさん
2014/07/12(土) 00:13:49.52ID:CKeavNXA0931デフォルトの名無しさん
2014/07/12(土) 04:39:42.58ID:31AX+WySごめんなさい、間違ってた。
前者も後者も時間計算量はO(n)です。
違うのは空間計算量でした。
前者がO(n)
後者がO(1)です。
0932デフォルトの名無しさん
2014/07/12(土) 16:01:01.80ID:I4WDz0FDよっぽど重い症状があるときだけ病名を考える
ありとあらゆるものに名前をつけるのは間違い
0933デフォルトの名無しさん
2014/07/12(土) 16:28:30.00ID:MY8N5nOk空間計算量は両方O(1)だと思う
メモリ確保量は前者がO(n)で後者がO(1) (後者は循環リストになるので)
0934デフォルトの名無しさん
2014/07/12(土) 20:14:09.79ID:31AX+WySありがとうございます。勉強になります。
0935デフォルトの名無しさん
2014/07/13(日) 10:11:52.31ID:CmWNEUXUexport情報が記述されたincludeファイルを辿ると#include <new>と書かれている
ところがあり、CPPはそんなヘッダは知らんとエラーを出していた。
もともとSDKの内部はC++で記述されていて、それをCでラップしているようだ。
で、このSDKを使うために俺はどうしたらいい?
SDK側のソースは触りたくないから、やっぱ自分でもう一度Cでラップするのがいい?
お前ら、教えやがって下さい。 m(_ _)m
0936デフォルトの名無しさん
2014/07/13(日) 11:14:37.47ID:gdFIvNxmforeign importを使うだけならCのヘッダを読む必要はないはずだけど、
何か別のもの(hsc2hsとかc2hsとか)使ってる?
0937デフォルトの名無しさん
2014/07/13(日) 11:40:42.26ID:CmWNEUXUhsc2hsを使ってます。
関数が引数にenumで定義された値を取るので
#{emum }を使って変換してます。
0938デフォルトの名無しさん
2014/07/13(日) 12:32:54.50ID:ZgFabK0L何かうまい方法はありませんか?
0939デフォルトの名無しさん
2014/07/14(月) 06:30:30.44ID:GNzEXKnI0940デフォルトの名無しさん
2014/07/14(月) 11:52:03.40ID:5YfIvfvaつまり文字列処理が簡単に書けるだけで価値が高い
逆に文字列を嫌うだけで価値が落ちる
0941デフォルトの名無しさん
2014/07/14(月) 16:21:20.39ID:6ULpIvLU福島第一原発で現在、構内の一部が停電し、東京電力が原因を調べている。
東京電力によると、福島第一原発できょう午前7時半頃、停電を知らせる
警報が鳴り、廃炉作業にあたる関連会社の事務所などが停電しているという。
この影響で、構内の信号機や作業員が待機する場所のエアコンなどが停止し、
廃炉作業が一部でストップしている。
停電はいまも続いていて、東京電力が現在、停電の原因や作業への影響を
調べている。
なお、原子炉の冷却や使用済み燃料プールの冷却は続いているという。
0942デフォルトの名無しさん
2014/07/15(火) 01:24:32.68ID:+POje087東京電力福島第1原発で昨年8月のがれき撤去時に放射性物質が飛散し、20キロ以上離れた福島県南相馬市の水田を汚染した可能性がある問題で、東電は14日
同原発からの放射性セシウムの総放出量を最大4兆ベクレルと試算していたことを明らかにした。しかし「かなり大づかみな計算」として公表せず、市にも伝えていなかった。
【ニュースの一報】がれき撤去で放射性物質飛び水田汚染か
東電によると、敷地内や同県双葉、浪江町のモニタリングポストで実測した空間放射線量の上昇度合い、気象データを基に放出量を試算。
がれき撤去で放出されたのは1時間当たり1000億〜1兆ベクレルで、放出時間は計4時間と推定した。
4兆ベクレルは、事故後の福島第1原発から1日に放出される放射性セシウムの1万倍以上に上る。
南相馬市には、セシウムが最大で1平方センチ当たり0・04ベクレルが沈着したと見積もった。東電は「極めて微量な放射性物質が南相馬まで到達した可能性は否定できない」と説明しつつも
同市のコメから基準値(1キロ当たり100ベクレル)を超えるセシウムが検出されたこととの因果関係については「事故直後の放射性物質によるものかもしれず、断定できない」としている。
東電は農水省の要請で、この試算を実施。4月に農水省に結果を伝え、6月には県にも情報提供したという。【岡田英】
0943デフォルトの名無しさん
2014/07/15(火) 18:12:14.88ID:NQnq8tN3そのAPIがCで使えるようになってるなら、ヘッダからnewをインクルードしてるのはおかしい気がする
間違ったヘッダをincludeしてるとか、何か#defineが必要とされてるけどやってないとか、そんなんじゃないか
そうじゃないなら、手で一個ずつ関数をインポート(定数は自分でラップ)するしかなさそう
0944937
2014/07/15(火) 19:12:00.42ID:D9/XfTklSDKのドキュメントに↓こんなん書いてありました。
All of the Sensor interfaces have been organized into a C API.
This makes it easy to bindfrom other languages.
でも、Windows版はSDKもサンプルアプリもVC++でビルドすることが
前提っぽいです。
SDKを使うときに読み込むインクルードファイルはひとつしか無いので
間違えようがないです。
(このインクルードファイルを辿ると<new>が出てきます)
ということで、今のところ安全・お手軽コースは閉ざされている状況です。
0945デフォルトの名無しさん
2014/07/15(火) 20:26:59.76ID:XklZu7PI<new>を使うってことはC++として読んでるよね
>organized into a C API.
てあるくらいだからCリンケージで使わないとだめっしょ
0946デフォルトの名無しさん
2014/07/16(水) 00:30:51.44ID:FEyT2AKyhttp://qiita.com/kenokabe/items/13ea8d2da6adce1b3b9a
0947デフォルトの名無しさん
2014/07/16(水) 09:27:57.70ID:r8bEuswLこのオーダーはディスオーダー
0948デフォルトの名無しさん
2014/07/17(木) 18:05:59.32ID:OwewtTT7東京電力・福島第一原発で去年8月に行ったガレキ撤去作業で、放射性物質が原発から50キロ先まで飛散し
ていた可能性が高まった。
調査したのは京都大学大学院の小泉昭夫教授の研究グループ。福島第一原発でのガレキ撤去作業の影響
を調べるため、南相馬市や相馬市で大気中に含まれる放射性セシウムの濃度を調べた。その結果、去年8月1
5日から22日に行った調査で原発から20キロ以上離れた福島・南相馬市原町区では通常の約30倍、さらに北
西で原発から約50キロ離れた福島・相馬市玉野地区では通常の6倍の放射性セシウムが大気中から検出され
たという。
これは当時、第一原発3号機で行われたガレキ撤去作業が原因として考えられることが県や国の調査で明らか
になっている。また、飛散した放射性セシウムが南相馬市で栽培されたコメの一部に付着し、その影響で食品の
基準値を超えた可能性があることも指摘されている。
さらに、福島大学の調査では、原発から60キロ先の宮城県にも放射性物質が飛散していたことも明らかになっ
ている。
福島大学・渡辺明特任教授「(宮城県)丸森町や福島大学でも観測しているのですが、8月19日を含む観測
日の中には100倍程度、大気中濃度が高くなっている」
0949デフォルトの名無しさん
2014/07/19(土) 19:47:02.54ID:Ms5qZOBjとよく言われるけど
haskellでやろうとすると型クラスだらけになるよね?
0950デフォルトの名無しさん
2014/07/19(土) 19:51:11.71ID:8d9VHwcw0951デフォルトの名無しさん
2014/07/19(土) 23:15:48.55ID:TTgRY+N30952デフォルトの名無しさん
2014/07/19(土) 23:25:42.55ID:CYaLXUjddata X = X [Int] deriving Show
で、
main = print $ (X.sort) [3,2,1]
とかするとコンパイルエラーになる。sort.sortはいけるのに。
0953デフォルトの名無しさん
2014/07/20(日) 01:21:18.32ID:BpJ/7kV/パターンマッチが使えなくて面倒くさい
0954デフォルトの名無しさん
2014/07/20(日) 08:28:48.31ID:gTbfeET4↑わかる
関数ではなくインターフェースに対してプログラミングせよ
↑まあわかるが同じことを二回言ってる冗長さを自覚するべき
0955デフォルトの名無しさん
2014/07/20(日) 08:33:15.98ID:lm5VXmF/そこでPatternSynonyms
0956デフォルトの名無しさん
2014/07/20(日) 09:56:15.41ID:lm5VXmF/そのとおり
0957デフォルトの名無しさん
2014/07/23(水) 10:29:07.64ID:BPKAOiPQPatternSynonymsの解説おなしゃす
0958デフォルトの名無しさん
2014/07/23(水) 16:47:48.18ID:99WHXhng●「放射線に負けないからだをつくろう」
福島市が東京電力福島第一原発事故による放射線の健康への影響を避ける方法を住民に示すホームページ(HP)に、
「放射線に負けないからだをつくろう」との表題を付けたことに「非常識だ」などと多くの批判が集まった。市は表題を「放
射線の影響を受けにくい生活をしましょう」に変えた。
市放射線健康管理室によると、同室は「放射線に負けないからだをつくろう」と題し、食生活や習慣の注意点を示した
PDF版チラシを8日、HPに掲載。食品を選ぶときは産地や品目が偏らないよう▽体にたまった不要なものは早く排泄
(はい・せつ)する▽ヨウ素を含む昆布やひじきを食べる――などと呼びかけた。
これに対し、「放射線に勝つ体などあるか。非常識だ」「除染も終わらず、子どもたちを放射線被曝(ひ・ばく)させなが
ら無責任。低線量被曝の危険をごまかすもの」といった批判が電話などで市に寄せられた。市は集計していないが、同室
の担当者は「私だけで電話を10件は受けた」と言う。インターネット上でもツイートやコメントが批判を中心に数千回くり
返されている。
市の放射能対策アドバイザーを務める石井慶造・東北大教授(放射線工学)も取材に「そんな表現は間違いだ。放射線
は物理的なもので、被曝を避けるためには、放射性物質を遠ざけるか、封じ込めるか、被曝する場所での滞在時間を減
らすのが原則。体を鍛えるような話とは次元が違う」と話す。
同室は、18日夜にHPの表題を変更し「誤解を招く表現がありましたことを心よりおわび申し上げます」とHP上で謝罪。
元の表題のままのPDF版チラシも、作り直すことを検討しているという。
0959デフォルトの名無しさん
2014/07/23(水) 23:37:44.80ID:kgqXmqTb"Associated pattern synonym"ってまだ実装されてない?
0960デフォルトの名無しさん
2014/07/24(木) 06:42:43.15ID:eP3D9BBWたとえばVectorに対してリストっぽくパターンマッチしたいなら、
uncons :: Vector a -> Maybe (a, Vector a)
という関数を用意して、
pattern Cons x xs <- (uncons -> Just (x, xs))
pattern Nil <- (uncons -> Nothing)
とすればCons、Nilというパターンを定義できて、
それぞれVector版の(:)、[]のように使えるようになる
(この定義の右辺ではViewPatternsを使ってる)
>>959
されてない
パターン定義の右辺からクラスのメソッドを参照すれば似たようなことはできる
0961デフォルトの名無しさん
2014/07/24(木) 08:58:31.23ID:eJFQM1Z80962デフォルトの名無しさん
2014/07/24(木) 16:15:43.47ID:Wdk+3F9aなるほど!
0963デフォルトの名無しさん
2014/07/24(木) 17:45:37.34ID:3PafKky9deepUncons un x = f (un x) where {
f Nothing = []; f (Just (y,z)) = y : f (un z)
}
リストに変換してパターンマッチすればよい
そもそも型クラスだらけにならない
0964デフォルトの名無しさん
2014/07/24(木) 18:23:30.94ID:Wdk+3F9adeepUncons = unfoldr ?
0965デフォルトの名無しさん
2014/07/24(木) 19:05:02.14ID:3PafKky90966デフォルトの名無しさん
2014/07/24(木) 20:56:31.43ID:TORgOaiDrefold = rereduce = reinject = reaccumulate ?
0967デフォルトの名無しさん
2014/07/25(金) 01:42:34.75ID:Zq0/yg1Wの原料を
海に流して捨ててるのか
80年、充電なしで動き続けるプリウスとか欲しい
捨てるならくれよ
0968デフォルトの名無しさん
2014/07/25(金) 01:46:49.48ID:S+8bjftN0969デフォルトの名無しさん
2014/07/25(金) 02:25:37.16ID:bB6D8lBK>>966
えっそんな関数Haskellに無いですよね?
hoogleで出てこないです。(そしてhayooは何故か死んでる...)
0970デフォルトの名無しさん
2014/07/25(金) 02:32:41.93ID:bB6D8lBKみたいな原則は、あんまし気にしなくていい、ってことですかね?
0971デフォルトの名無しさん
2014/07/25(金) 02:36:51.45ID:S+8bjftN0972デフォルトの名無しさん
2014/07/25(金) 02:41:16.19ID:gWLwx6w90973デフォルトの名無しさん
2014/07/25(金) 07:25:40.27ID:kKsAJEGj遅延評価関係なくね?
できるだけ抽象に依存するのはどんな言語でも大切
0974デフォルトの名無しさん
2014/07/25(金) 08:20:30.14ID:m3b5H16L0975デフォルトの名無しさん
2014/07/25(金) 10:47:08.67ID:ExzvMZXtHaskellでは関数がfirst class objectなんだから、2行目は1行目の
> 定数ではなく変数に対してプログラミングせよ
と同じことになるよねと解釈したけど
0976デフォルトの名無しさん
2014/07/25(金) 20:36:28.81ID:bB6D8lBK>>975
Vector a を [a] に変換して使うのには(遅延評価のおかげで)定数オーダーの時間コストしかかからないけど、
オブジェクト指向で言うところの具象オブジェクトAを具象オブジェクトBに変換するのには、オブジェクトAの抱えてるデータをコピーしなければならないから、時間・空間の両面でコストがかかる。
オブジェクト指向ではインターフェイス(純粋仮想クラス)を使うことでこの問題を解決することが出来る。
できるだけ抽象に依存すべき、っていうのは正しい。
オブジェクト指向での設計は、まずインターフェイスを作ってからそれを実装する、って流れがベターだけど、
Haskellでの設計は、型クラスを最初に作るのがよい、ってわけじゃないと思う。
0977デフォルトの名無しさん
2014/07/25(金) 20:56:09.87ID:bB6D8lBK自分は
対象の問題領域を大まかに定めて、
・その問題を表現できる操作群を考える
・その操作群において閉じている代数的データ型Hogeを作る
・操作が満たすべきルール、Hoge則を考える
パフォーマンスが低いなって思ったら、Hoge則を外れないように、Hoge型の定義と操作の定義を修正する。
あるいは、
対象の問題領域を別の問題領域に帰着させる。リストとか、ツリーとか。グラフとか。
んで、がんばって糊を作る。
0978デフォルトの名無しさん
2014/07/25(金) 21:09:28.62ID:ohjVzf57Haskell の ad-hoc 型多相における「型クラスとインスタンス」とを
ごっちゃに理解している気がする
名前が似ているから、最初はしゃあないのかもしれんが....
0980デフォルトの名無しさん
2014/07/25(金) 21:21:46.57ID:bB6D8lBK型クラス≒(オブジェクト指向の)インターフェイス
ととらえています。
既存のデータ型を型クラスのインスタンスにできるけど、それが何の意味を持つのかがよくわかりません。
0981デフォルトの名無しさん
2014/07/25(金) 21:22:34.96ID:sd8J0dh9いずれも青森(下北半島)のサルより有意に少ない。Scientific Reportsに論文掲載
0982デフォルトの名無しさん
2014/07/25(金) 21:31:20.15ID:ohjVzf57オブジェクト指向にしても関数型にしても、
対象領域を抽象的なモデルとして定義することが重要なのは同じ
その具体的な設計手法で基本になるのが、オブジェクト指向では
・各クラスの持つ属性と操作、および
・汎化/集約/合成といったクラス間における関連
の定義であるし、関数型(Haskell)では代数的データ型の定義(>>977)になる
インターフェイスやら型クラスやらは、これに付随するオマケみたいなもの
0983デフォルトの名無しさん
2014/07/25(金) 21:52:08.58ID:bB6D8lBKなんか理解のレベルに差がある感じですね…
俺は今まで愚直に
抽象=インターフェイス,型クラス
と考えてたけど、言われると確かに、抽象的なモデルをオブジェクト指向で具象クラスにすることはよくありますね。関数型では、"対応関係"をインデックスで表現することも関数にすることも、Mapにすることもあるし。
なるほど。
0984デフォルトの名無しさん
2014/07/25(金) 22:39:41.25ID:EdDXcyM7動的にしても静的にしても同じ、みたいな漠然とした視点で理解できるわけがない
0985デフォルトの名無しさん
2014/07/25(金) 23:19:10.20ID:bB6D8lBK> 型クラスは静的型付けに特化した機能
そうなんですか?
0986デフォルトの名無しさん
2014/07/25(金) 23:55:14.90ID:ohjVzf57まず、>>982 で「代数的データ型」という言葉を使ったけど、
なぜ代数とか代数的と呼ばれているのか?について
数学では対象領域を方程式という「抽象的なモデル」として定義し、
実数という代数上で交換則や分配則といった法則(代数則)を駆使して解を導く
これと同様に、プログラミングでも対象領域をデータ型という「抽象的なモデル」で
定義し、ある代数上でモナドやファンクタなどの法則を駆使して
最終的なプログラムを導こうという発想が、Haskell プログラミングの根底にある
(そして、それを支える基盤が圏論(カテゴリ理論)になるけど、ここでは触れない)
ここで、数学の実数が形式的に(=厳密に)定義されているように、
プログラムのデータ型にも形式的に構成されていなければならない
代数的データ型は直積/直和とそれらの再帰だけから構成されるデータ型である
たとえば「リストとは data List = Nil | Cons a (List a) と定義される
モノイド(単位的半群)と呼ばれる代数である」と Haskell プログラマは認識する
オブジェクト指向のクラスやインターフェイスも「抽象的なモデル」であるが、
その定義は曖昧であり(=形式的ではなく)、人によってその定義も異なる
それに対して関数型(とりわけ Haskell)では、代数という「抽象的なモデル」を扱うという
点では同じだけど、代数には数学的な形式性が存在する、という決定的な違いがある
0987デフォルトの名無しさん
2014/07/26(土) 00:18:17.02ID:0F69u8U5関数に関数を直接渡すと型の制約が厳しくなる場合がある
なので直接渡さないために型クラスを使う
動的型ではそういうことが起きないので型クラスは不要
f :: (a -> b -> a) -> b -> b -> a -> a -- 制約が強すぎる
f op g h m = (m `op` g) `op` h
f' :: Monad a => (b -> a b) -> (b -> a b) -> a b -> a b -- 制約が強すぎる
f'= f (>>=)
f'' :: Monad a => (b -> a c) -> (c -> a d) -> a b -> a d
f'' g h m = (m >>= g) >>= h
0988デフォルトの名無しさん
2014/07/26(土) 06:30:19.62ID:2pFfpHjCゾッとした… 教えてもらわなきゃずっと気づかなかったかも。
そのような理解は何で学べますか? Real World Haskellには載ってなかったです。。
>>986
なるほど。
> 代数的データ型
直和、直積、…関数も?
形式的に表現できる、というのは曖昧よりは良さそうに聞こえるのですが、プログラマが得る実際的なメリットにはどのようなものがありますか?
リファクタリングは捗りそうな気がします。
改変前後のモデルの透過性を厳密に保証できそう(ネットで誰かがisomorphicがどうのっていってたけど、この意味?)。
0989デフォルトの名無しさん
2014/07/26(土) 08:06:35.33ID:dmevS6ur興味深いが分かるような分からんような…ちょっと解説ヨロ。
0990デフォルトの名無しさん
2014/07/26(土) 09:15:11.79ID:fHFra4AS0991デフォルトの名無しさん
2014/07/26(土) 11:45:04.20ID:eYlFAfAR●Haskellによる並列・並行プログラミング
Simon Marlow 著
山下 伸夫、山本 和彦、田中 英行 訳
336ページ
定価3,888円(税込)
ISBN978-4-87311-689-1
0992デフォルトの名無しさん
2014/07/26(土) 13:51:02.80ID:UWx4nT5d原書はなかなかステキな本ですよ。
並列化のテクニックや具体例だけでなく、検証方法も解説されています。
具体例はRWHよりは抽象的で小粒ですが、コードは最新のghcでちゃんと動きますw
(ほんの一部、ライブラリの廃統合による修正があったかな・・・)
RepaやCUDAの使い方も学べるので、その辺りに興味ある人にも良いと思います。
Haskell+CUDAなんてネット上でもなかなか情報ないですしね。
0993デフォルトの名無しさん
2014/07/26(土) 15:40:30.83ID:MZnkcpUjおもしろいゲームシナリオの作り方も気になった
0994デフォルトの名無しさん
2014/07/26(土) 19:32:27.79ID:7tW4RhS5http://hayoo2.fh-wedel.de/examples
0995デフォルトの名無しさん
2014/07/26(土) 22:02:58.01ID:6oJGfVg8市が焼却灰を建設資材化する業者に試験的に搬出し始めたことが分かった。
市は「資材に混ぜて薄めるため、放射性廃棄物として扱う必要がないレベルになり、安全と確認している」としているが、発表していない。
毎日約四十トン発生する焼却灰は以前はセメント原料として業者に再利用されていたが、原発事故で停止。
二カ所の汚泥資源化センターに保管されている量は約三万四千五百トン(六月末現在)になり、置き場所は限界に達している。
市は新たに発生する焼却灰を南本牧廃棄物最終処分場(中区)の陸地部分に埋め立てる計画だが、住民や港湾関係者の反対で実現していない。
保管している焼却灰の放射性物質濃度は、二〇一一年六月に測定された一キログラム当たり六四六八ベクレルが最高。
国の基準の一キログラム当たり八〇〇〇ベクレルより低く、最近発生しているものは同数百ベクレルに下がっている。
市によると、業者から「三〇〇〜五〇〇ベクレルなら建設資材に使える」と提案があり、今月十八、二十四日に各約九トンを南部汚泥資源化センター(金沢区)から搬出した。
二十五日にも搬出し、八月中旬からは毎日十トンずつ来年三月末まで運び出す予定。市が負担する処理経費は一トン当たり約三万円となる。
市下水道施設管理課は「震災直後から保管している焼却灰は無理だが、日々発生している新たな焼却灰は処理できる可能性がある」としている。
0996デフォルトの名無しさん
2014/07/27(日) 01:33:13.28ID:nWpSye7P「はやくしろ」が訛ったものっぽい
0997デフォルトの名無しさん
2014/07/27(日) 04:16:27.80ID:x3Ph06q+これ訳してる人ってプログラミングHaskellでモナドの説明端折りまくってた人?
0998デフォルトの名無しさん
2014/07/27(日) 05:00:01.92ID:C65OpwQE0999デフォルトの名無しさん
2014/07/27(日) 06:59:44.90ID:WvCYfOuyclass SigFoo a where { foo :: a -> String }
data StructBar = Bar
instance SigFoo StructBar where { foo Bar = "foobar" }
1000デフォルトの名無しさん
2014/07/27(日) 10:18:18.70ID:ZUBJK7Xm(* sug.sml *)
signature SigFoo = sig
val foo : 'a -> string
end
structure StructBar : SigFoo = struct
fun foo bar = "foobar"
end
$ sml sig.sml
Standard ML of New Jersey v110.76 [built: Fri Jul 12 16:57:10 2013]
[opening sig.sml]
signature SigFoo = sig val foo : 'a -> string end
structure StructBar : SigFoo
-
10011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。