[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
関数型プログラミング言語Haskell Part22 http://echo.5ch.net/test/read.cgi/tech/1364009659/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
2: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:21.00 関連書籍 ・Introduction to Functional Programming Using Haskell (2nd ed.) ttp://www.amazon.co.jp/exec/obidos/ASIN/0134843460/ ・Haskell: The Craft of Functional Programming ttp://www.amazon.co.jp/exec/obidos/ASIN/0201342758/ ・The Fun of Programming ttp://www.amazon.co.jp/exec/obidos/ASIN/0333992857/ ・The Haskell School of Expression: Learning Functional Programming Through Multimedia ttp://www.amazon.co.jp/exec/obidos/ASIN/0521644089/ ・入門Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/4839919623/ ・ふつうのHaskellプログラミング ttp://item.rakuten.co.jp/book/4052963/ ・Programming in Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/0521692695/ ・Real World Haskell ttp://www.amazon.co.jp/exec/obidos/ASIN/0596514980 ・関数プログラミングの楽しみ ttp://www.amazon.co.jp/exec/obidos/ASIN/4274068056 ・すごいHaskellたのしく学ぼう! ttp://www.amazon.co.jp/dp/4274068854 http://echo.5ch.net/test/read.cgi/tech/1364009659/2
3: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:22.00 関連リンク ・GHC Wiki ttp://hackage.haskell.org/trac/ghc/wiki/TitleIndex ・A History of Haskell ttp://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/ ・関数型関連の用語集 ttp://sky.zero.ad.jp/~zaa54437/programming/concepts/ ・本物のプログラマはHaskellを使う ttp://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/?ST=ittrend ・Haskell API search Engine ttp://www.haskell.org/hoogle/ 【簡単な使い方】 １．検索バーに関数名を入れて検索 例 map ２．検索バーに型名を入れて検索 例 (a -> b) -> [a] -> [b] ・Real World Haskell ttp://book.realworldhaskell.org/read/ ・Learn You a Haskell for Great Good! ttp://learnyouahaskell.com/chapters http://echo.5ch.net/test/read.cgi/tech/1364009659/3
4: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:23.00 私がこの世界に求める優しさのすべて― それがHaskellなんだと。 あぁ この世界の女性がみんなHaskellになったら なんてすてきな世界なんだろうと考えました。 レトルトカレーしか作れぬお前がHaskellになったところで そ れ は H a s k e l l で は な い ! http://echo.5ch.net/test/read.cgi/tech/1364009659/4
5: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:24.00 さすがキチガイだな Haskellにはチンポ入れる穴がないだろ http://echo.5ch.net/test/read.cgi/tech/1364009659/5
6: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:25.00 チンコ入らないこともなさそう http://hackage.haskell.org/trac/ghc/wiki/Holes http://echo.5ch.net/test/read.cgi/tech/1364009659/6
7: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:26.00 927 デフォルトの名無しさん [] 2013/03/24(日) 13:57:24.26 ID: Be: 15分で始めるScala http://xerial.org/scala-cookbook/recipes/2012/11/29/scala-in-15-minutes/ ↑ 東大の先生は、Scala使ってDNA解析をガンガンぶん回しているというのに、 おまえらみたいな低脳は、いつまでもたっても、言語がどーのこーので、ちっとも前に進まないな。 928 デフォルトの名無しさん [sage] 2013/03/24(日) 15:33:58.26 ID: Be: そういうレスはHaskellスレに書いたほうがウケる http://echo.5ch.net/test/read.cgi/tech/1364009659/7
8: デフォルトの名無しさん [] 2013/03/23(土) 12:34:27.00 このスレッドは天才チンパンジー「アイちゃん」が 言語訓練のために立てたものです。 アイと研究員とのやり取りに利用するスレッドなので、 関係者以外は書きこまないで下さい。 京都大学霊長類研究所 http://echo.5ch.net/test/read.cgi/tech/1364009659/8
9: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:28.00 いくらクソ言語のクソスレだからってあんまりだ…… http://echo.5ch.net/test/read.cgi/tech/1364009659/9
10: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:29.00 http://d.hatena.ne.jp/nushio/touch/20120517 http://th.nao.ac.jp/meeting/rironkon11/oral-files/muranushi.pdf 御使い乙、代わりにこれをあげよう http://echo.5ch.net/test/read.cgi/tech/1364009659/10
11: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:30.00 >>7 scalaなんかで解析してるから進みが遅いんだな・・・ http://echo.5ch.net/test/read.cgi/tech/1364009659/11
12: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:31.00 貴様は一生機械語でカイてろ http://echo.5ch.net/test/read.cgi/tech/1364009659/12
13: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:32.00 Haskellって遅延評価じゃん？ この言語で作ったGUIも遅延評価になるの？ GUIが遅延評価になるってのが自分で言っててよくわかんないんだけど 2chブラウザなんか作ったとして、スレッドを読み込んだ時点で 先の方のレスはまだ表示させる必要ないから データの解釈とレンダリングは必要になる(実際にそのレス番に着く)までしないとかさ そういう、特に工夫しなくてもデフォルトで遅延評価になってることを類推するじゃん？ http://echo.5ch.net/test/read.cgi/tech/1364009659/13
14: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:33.00 >>13 特殊な裏ワザを使わなければ遅延評価 ただし、評価生成されるのは、「表示」じゃなくて「表示するプロセス」 http://echo.5ch.net/test/read.cgi/tech/1364009659/14
15: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:34.00 >>13 gtkとか使う場合、描画タイミングとかはwidgetにお任せだよ。 http://echo.5ch.net/test/read.cgi/tech/1364009659/15
16: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:35.00 むむむ http://echo.5ch.net/test/read.cgi/tech/1364009659/16
17: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:36.00 誰も使わない http://echo.5ch.net/test/read.cgi/tech/1364009659/17
18: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:37.00 >>12 君はいつもそういう極論しか言えないよね http://echo.5ch.net/test/read.cgi/tech/1364009659/18
19: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:38.00 ただの報告だけど、いまHaskell使ってGPU用のCのコードを自動生成してる 並列計算 http://echo.5ch.net/test/read.cgi/tech/1364009659/19
20: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:39.00 突然どうした http://echo.5ch.net/test/read.cgi/tech/1364009659/20
21: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:40.00 >>18 >>11 の暴論っぷりはスルーかいw http://echo.5ch.net/test/read.cgi/tech/1364009659/21
22: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:41.00 参照は透ける――Haskell！ よし http://echo.5ch.net/test/read.cgi/tech/1364009659/22
23: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:42.00 Haskellって言語としての出来はともかく標準ライブラリは変だよね なんでApplicativeのpureとMonadのreturnが分かれてるんだ 歴史的経緯は分かるんだけど、Applicativeを導入するときにpureじゃなくてreturnって名前にすりゃよかったじゃん http://echo.5ch.net/test/read.cgi/tech/1364009659/23
24: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:43.00 (」・ω・)」はぁ〜 (/・ω・)/ 透けるぅー！ http://echo.5ch.net/test/read.cgi/tech/1364009659/24
25: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:44.00 >>23 return の方がおかしいと思うのは俺だけか？ http://echo.5ch.net/test/read.cgi/tech/1364009659/25
26: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:45.00 >>23 歴史的経緯が分かってて、その提案なの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/26
27: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:46.00 MonadとClannadの違いについて教えてください http://echo.5ch.net/test/read.cgi/tech/1364009659/27
28: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:47.00 >>27 違いについて質問しようと思った経緯を教えて欲しい。 それによって返答が違う。 たとえば、＊＊や〜〜などの共通項を見つけたが、 あまりにも似すぎているために、逆に違いがあるのか気になった、とか。 スレチだったりバカな理由なら以後は無視する。 http://echo.5ch.net/test/read.cgi/tech/1364009659/28
29: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:48.00 Monadは隠蔽でClannadは人生 http://echo.5ch.net/test/read.cgi/tech/1364009659/29
30: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:49.00 クラナッハはハウスバルドゥンクの師匠に当たるのかな。 http://echo.5ch.net/test/read.cgi/tech/1364009659/30
31: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:50.00 レーベンシュタイン距離……？ http://echo.5ch.net/test/read.cgi/tech/1364009659/31
32: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:51.00 モナドは文脈依存 http://echo.5ch.net/test/read.cgi/tech/1364009659/32
33: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:52.00 Keyは登場人物がキチガイだらけの糞 http://echo.5ch.net/test/read.cgi/tech/1364009659/33
34: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:53.00 Haskell頭文字がHだからってエロゲの話しなくていいから 今ホットなライブラリの話でもしててくれ http://echo.5ch.net/test/read.cgi/tech/1364009659/34
35: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:54.00 ホットというか、新しいプラットホーム入れたらライブラリがけっこう移動しててビビッた http://echo.5ch.net/test/read.cgi/tech/1364009659/35
36: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:55.00 >>30 ハンス・バルドゥンクだろう。グリーンの使い方の名手として 知られたらしいが、あまり発色の良いものは残っていないらしい。 http://echo.5ch.net/test/read.cgi/tech/1364009659/36
37: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:56.00 美術をテーマにしたHaskellプログラムは見たことがないな。Prologだと、 1980年代前半から古典主義建築のオーダーだとか、ファサードの研究に 結構利用されていたのだが。 http://echo.5ch.net/test/read.cgi/tech/1364009659/37
38: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:57.00 なにそれ詳しく知りたいです http://echo.5ch.net/test/read.cgi/tech/1364009659/38
39: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:58.00 >>38 84-5年頃だから前半ではなくて中頃だった。建設省建築研究所での Prolog-KABAを使った研究が有名。浮動小数点数も扱えない処理系で 何ができたかは疑問ですが。 それとは全く別の話だが、こちらは海外でPrologのプログラミングで 黄金分割の研究をしたものもあった。 http://echo.5ch.net/test/read.cgi/tech/1364009659/39
40: デフォルトの名無しさん [sage] 2013/03/23(土) 12:34:59.00 >>37 GitHubにはあると思うけど。 http://echo.5ch.net/test/read.cgi/tech/1364009659/40
41: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:00.00 綺麗に書かれたコードはそれ自体が美術です http://echo.5ch.net/test/read.cgi/tech/1364009659/41
42: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:01.00 クヌースは文芸と言っていた http://echo.5ch.net/test/read.cgi/tech/1364009659/42
43: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:02.00 "The Art of ~" シリーズがベストセラーを連発していてすっかり世俗化した。 http://echo.5ch.net/test/read.cgi/tech/1364009659/43
44: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:03.00 hoge :: a -> Maybe b とするべきか hoge :: a -> b として境界条件外はundefinedするべきか よく迷うけど指針ってありますか？ (b自体はMaybe型じゃないとして) http://echo.5ch.net/test/read.cgi/tech/1364009659/44
45: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:04.00 それは、戻り値が境界条件外だった場合に「何がしたいか」によると思うんだが http://echo.5ch.net/test/read.cgi/tech/1364009659/45
46: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:05.00 すまん、戻り値がじゃなくて引数が、ね 境界条件外だった場合に、その事を何かに伝達したいのなら Maybe b の方が良いだろうし http://echo.5ch.net/test/read.cgi/tech/1364009659/46
47: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:06.00 Nothingってどのくらいメモリ食うの？ Left "" はその何倍食うの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/47
48: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:07.00 >>44 数学の関数として考えるとき、定義域(domain)に未定義はあり得ない 引数が定義域の範囲の外にあるなら、それは例外として処理すべき http://echo.5ch.net/test/read.cgi/tech/1364009659/48
49: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:08.00 そう言う実コードの役に立たない知識はどうでもいいです http://echo.5ch.net/test/read.cgi/tech/1364009659/49
50: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:09.00 Types And Programming Languages って、ついに翻訳されたんだな http://www.amazon.co.jp/dp/4274069117/ くっそ高いけど http://echo.5ch.net/test/read.cgi/tech/1364009659/50
51: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:10.00 >>50 ですよねぇ。価値ある情報が無料じゃないのは許されないと思います。 http://echo.5ch.net/test/read.cgi/tech/1364009659/51
52: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:11.00 >>49はモデル化できないks http://echo.5ch.net/test/read.cgi/tech/1364009659/52
53: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:12.00 >>48 有理関数（分母と分子が多項式になってる分数で定義される関数）なんかは、 分母がゼロになるところを定義域から外すようにすると、有理関数 を定義するのに先立って分母がゼロになるところを求めておいてそれを 除外したところを定義域とするようにしないといけないのであり得ませんね http://echo.5ch.net/test/read.cgi/tech/1364009659/53
54: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:13.00 TaPL立ち読みしたけど、クソむずそうで興味持てなかったわ http://echo.5ch.net/test/read.cgi/tech/1364009659/54
55: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:14.00 >>50 英語版買ったばかりなのに........ http://echo.5ch.net/test/read.cgi/tech/1364009659/55
56: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:15.00 オーム社の関数型言語への入れこみっぷりはちょっとおかしい ラムダ社に社名変更すべき http://echo.5ch.net/test/read.cgi/tech/1364009659/56
57: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:16.00 >>50 まじで。偉業だな。 大学一年の推薦図書決定だなw http://echo.5ch.net/test/read.cgi/tech/1364009659/57
58: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:17.00 >>52 そんなに気に障ったの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/58
59: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:18.00 Haskeller様はコードなんて書かないからいいんだよ http://echo.5ch.net/test/read.cgi/tech/1364009659/59
60: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:19.00 たまには書くわ！ばかにするな！ http://echo.5ch.net/test/read.cgi/tech/1364009659/60
61: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:20.00 >>53 高次多項式の零点を求めることになるから、それは一般に計算不可能 関数の計算が問題にする時点で正則関数に限定されており、つまり、分母に零になった時点で例外にしなければならない 特異点を例外にしないのは、高階関数や数式処理をする場合だけにすべき http://echo.5ch.net/test/read.cgi/tech/1364009659/61
62: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:21.00 「高階関数や数式処理」ってなんだよ…… http://echo.5ch.net/test/read.cgi/tech/1364009659/62
63: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:22.00 >>62 高階関数＝積分 数式処理＝通分 http://echo.5ch.net/test/read.cgi/tech/1364009659/63
64: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:23.00 TaPL日本語、期待してたんだが、ちょっと訳が直訳気味だな。 これだと原語のほうが読みやすいぞ。 超訳よりはマシだが、もうちょいこなれた日本語にできんかったんかね？ http://echo.5ch.net/test/read.cgi/tech/1364009659/64
65: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:24.00 >>61はこの前暴れてたやつだろ http://echo.5ch.net/test/read.cgi/tech/1364009659/65
66: デフォルトの名無しさん [] 2013/03/23(土) 12:35:25.00 数式が全部文字に置き換えられたモノから数式に戻して計算する関数を作りたいと思います。 例えば、[ Kazu 0.1, Tasu, Kazu 2.1, Hiku, Kazu 3.0, Kake, Kazu 2.9, Waru, Kazu 0.9]があって、 これを戻すと 0.1 + 2.1 - 3.0 * 2.9 / 0.9 -> -7.46 みたいに結果をだしたい。 http://echo.5ch.net/test/read.cgi/tech/1364009659/66
67: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:26.00 "0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列を作ったとして、それをどうやって計算するつもりなのよさ http://echo.5ch.net/test/read.cgi/tech/1364009659/67
68: デフォルトの名無しさん [] 2013/03/23(土) 12:35:27.00 引くは "-"に、足すは”＋”にしてどうにかできない？ KazuとかHikuなど data Keisan = [Moji]みたいにして？ http://echo.5ch.net/test/read.cgi/tech/1364009659/68
69: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:28.00 >>68 Prologだと以下のような定義となる。Haskellだってあるでしょ。 数式が全部文字に置き換えられたモノから数式に戻して計算する(_リスト,_式,結果) :- 演算子を置換する(_リスト,_演算子を置換されたリスト), atomic_list_concat(_演算子を置換されたリスト,' ',_式文字列), atom_to_term(_式文字列,_式,_), _結果 is _式. http://echo.5ch.net/test/read.cgi/tech/1364009659/69
70: 69 [sage] 2013/03/23(土) 12:35:29.00 ごめん間違えた。 数式が全部文字に置き換えられたモノから数式に戻して計算する(_リスト,_式,_結果) :- 結果の前のアンダースコアが落ちていました。これだとfailしてしまいます。 http://echo.5ch.net/test/read.cgi/tech/1364009659/70
71: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:30.00 ParsecのtokenPrim使おう http://echo.5ch.net/test/read.cgi/tech/1364009659/71
72: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:31.00 結果を出すのはこんな感じかな ttp://pastebin.com/200nZjPm http://echo.5ch.net/test/read.cgi/tech/1364009659/72
73: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:32.00 マセマティカみたいに文字式のままとか、対数関数を log 6 を log 2 + log 3みたいにちゃんと扱ってくれるライブラリないの？ logで猛烈に四則演算繰り返すと絶対非負であることが証明できる演算が負になっちゃったりして困るの エントロピー関連の計算でさもありなんでしょ？ http://echo.5ch.net/test/read.cgi/tech/1364009659/73
74: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:33.00 これかな。 ttp://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Computer_Algebra あんまないのか？ それっぽいキーワードで検索すると他にも出てくるけど、これでキマリ、みたいなのはないっぽい。 http://echo.5ch.net/test/read.cgi/tech/1364009659/74
75: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:34.00 フリーかつ言語ライブラリとしてまともに使える 数式処理システムはpythonのsympyぐらいでは 他言語じゃhaskell含めて寡聞にして聞かないわ http://echo.5ch.net/test/read.cgi/tech/1364009659/75
76: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:35.00 NumPyとかSymPyとかそのへんはやたら定評があるのなPython。 http://echo.5ch.net/test/read.cgi/tech/1364009659/76
77: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:36.00 Pythonさんが最強の言語だな http://echo.5ch.net/test/read.cgi/tech/1364009659/77
78: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:37.00 MissingPyで成果だけ横取りしたらええんや！ http://echo.5ch.net/test/read.cgi/tech/1364009659/78
79: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:38.00 数式処理は作る過程が目的だからな… 昔は演習の時間にschemeで数式処理システムを作らされてた Haskellだとスマートに作れそうな気がするんだけどな http://echo.5ch.net/test/read.cgi/tech/1364009659/79
80: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:39.00 みんな、>>79が作るってよー http://echo.5ch.net/test/read.cgi/tech/1364009659/80
81: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:40.00 schemeなら和田本に数式処理の微分まで載ってる http://echo.5ch.net/test/read.cgi/tech/1364009659/81
82: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:41.00 その分野は最強はMathematicaだろ。 作ってる奴の頭が良すぎる。 http://echo.5ch.net/test/read.cgi/tech/1364009659/82
83: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:42.00 Maximaとか？ http://echo.5ch.net/test/read.cgi/tech/1364009659/83
84: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:43.00 グラフで表示するために特異点求める研究してて、論文で特異点の説明でその特異点を図示するためにMathematica使ってたのは良い思い出 http://echo.5ch.net/test/read.cgi/tech/1364009659/84
85: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:44.00 79氏の伝説が今、爆誕！ http://echo.5ch.net/test/read.cgi/tech/1364009659/85
86: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:45.00 モナド戦争しようぜ http://echo.5ch.net/test/read.cgi/tech/1364009659/86
87: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:46.00 Functor〜モナド考えたやつ誰だよ頭いいな 1日経ってもまだ理解できない http://echo.5ch.net/test/read.cgi/tech/1364009659/87
88: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:47.00 >>87 一日で理解できたら相当頭いい。 あと、いろんなものがモナドになってるけど、「いろいろなものが経験的にモナドで表せる」だけで モナド最強無敵完璧究極とかは明確に間違い。 モナドで不足するところを補うためにあとから色々アイデアが出てる。 圏論的な意味でモナドはかなり良い抽象化であるにもかかわらず 関数型言語ではなぜそれが不十分な抽象化であり得るか： Hask圏が「ふつうの圏」ではなく豊穣圏の一種だから、だと思われる。 http://echo.5ch.net/test/read.cgi/tech/1364009659/88
89: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:48.00 寝ぼけていい加減な事書いてしまった。 http://echo.5ch.net/test/read.cgi/tech/1364009659/89
90: デフォルトの名無しさん [] 2013/03/23(土) 12:35:49.00 いい加減なことだったのかよ読んじゃったよ！ http://echo.5ch.net/test/read.cgi/tech/1364009659/90
91: 88 [sage] 2013/03/23(土) 12:35:50.00 いやさ、「豊穣圏だから」って言い方がなんか投げやりだなって。 先に現象があるのであって、「豊穣圏だから」って言い方だと先に理論が あるみたいな言い方で極めて質が悪い。 http://echo.5ch.net/test/read.cgi/tech/1364009659/91
92: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:51.00 それに、Haskは豊穣圏ではあるけど豊穣圏の中でも最も単純なタイプだ。 だれか夏コミで書いてたけど。豊穣圏などという大砲を持ちだして雀を撃つような 真似は良くない。 http://echo.5ch.net/test/read.cgi/tech/1364009659/92
93: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:52.00 自分もいまApplicative Functorやってるんだけどよくわからないな 多少手を動かして「普通の型を関手の世界に持ち上げる」とか「文脈を注入する」 という言葉の上での感覚は掴んだけど 例えばこのへんhttp://d.hatena.ne.jp/shunsuk/20101215/1292414064で関数合成 (fmap f g) == f ・ g できることすら気づいていなかった自分の頭の硬さにおののく http://echo.5ch.net/test/read.cgi/tech/1364009659/93
94: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:53.00 よーわからんから:tに頼りまくって試してみてる http://echo.5ch.net/test/read.cgi/tech/1364009659/94
95: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:54.00 GoFのデコレーションパターン見たいなものなのかなとか思いつつおやすみ http://echo.5ch.net/test/read.cgi/tech/1364009659/95
96: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:55.00 ぼくはこんな概念を覚えたよ自慢、うざっ http://echo.5ch.net/test/read.cgi/tech/1364009659/96
97: デフォルトの名無しさん [] 2013/03/23(土) 12:35:56.00 >>72 初心者なので考えてもまだ理解できない。 今はなんとかこれで出来ないかと苦戦中。 type Keisan = [Moji] data Moji = Kazu Double | Tasu | Hiku deriving (show) -- only Tasu or Hiku in a list [Kazu 0.0, Tasu, Kazu 1.0, Hiku, Hiku, Kazu 0.5] -- == [0.0 + 1.0 - -0.5] -> [Kazu 0.5] tokenizer :: Keisan -> Moji tokenizer shiki = Kazu (convMoji shiki) convMoji :: (Ord a) => Moji -> a convMoji moji | moji == Tasu = + | moji == Hiku = - | moji == (Kazu x) = x http://echo.5ch.net/test/read.cgi/tech/1364009659/97
98: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:57.00 >>97 プログラミング以前に、まず問題を分けて。 1. [Kazu 0.1,Tasu,Kazu 2.1,Hiku,Kazu 3.0,Kake,Kazu 2.9,Waru,Kazu 0.9] というデータから、 "0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列を作ること。 2. [Kazu 0.1,Tasu,Kazu 2.1,Hiku,Kazu 3.0,Kake,Kazu 2.9,Waru,Kazu 0.9] というデータから、 -7.466666666666666 という値を求めること。 3. "0.1 + 2.1 - 3.0 * 2.9 / 0.9" という文字列から、 -7.466666666666666 という値を求める、というのがやりたいことなの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/98
99: デフォルトの名無しさん [] 2013/03/23(土) 12:35:58.00 ええ、そうです。 http://echo.5ch.net/test/read.cgi/tech/1364009659/99
100: デフォルトの名無しさん [sage] 2013/03/23(土) 12:35:59.00 >ぼくはこんな概念を覚えたよ自慢、うざっ ぼくはこんな嫌味を覚えたよ自慢、うざっ http://echo.5ch.net/test/read.cgi/tech/1364009659/100
101: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:00.00 そこまでムカついたのか http://echo.5ch.net/test/read.cgi/tech/1364009659/101
102: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:01.00 場外乱闘がはじまるですか？ http://echo.5ch.net/test/read.cgi/tech/1364009659/102
103: デフォルトの名無しさん [] 2013/03/23(土) 12:36:02.00 クズ共食いつきいいな http://echo.5ch.net/test/read.cgi/tech/1364009659/103
104: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:03.00 おいおい、落ち着いてhaskellの話しようぜ http://echo.5ch.net/test/read.cgi/tech/1364009659/104
105: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:04.00 Haskellのコードリーディングって難しくない？ たとえばFRPライブラリ reactivce の特徴である Sink と Event の仕組みや実際の振る舞いについて調べたいとする。 というのも、makeEvent 関数でタプル (sink, event) を作ると、 あたかも、プログラム内のある場所で sink を評価すると、 全く別の場所にある event が反応したかのように表面上は振る舞って、 なかなか興味深い。 だが、とりあえず Sink a の型を見ても a -> Action としか分からない。 makeEvent 関数のソースを見ても、いきなり (fmap.fmap) が出てくるし。 こういう場合は、adaptE 関数から順に自分で簡約しながら見ていく方が良いのかな。 （reactive のチュートリアルでは皆 adaptE 関数から実際の計算が始まる） C/C++ だと比較的大きな機能がまとまって書かれているけど、 Haskell だと非常に細かい機能が関数呼び出しという数珠繋ぎで表現されていて、 それらがソース中のバラバラの場所に書かれていたりするから、 なかなか C/C++ と同じ要領ではコードリーディングしにくい。 Haskell としてコードが洗練されているほど、振る舞いが追いにくい印象。 もしかしたら、同じようにできるのかも知れんが、何かコツでもあるのかな。 http://echo.5ch.net/test/read.cgi/tech/1364009659/105
106: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:05.00 使って不便だと思うなら、それは無価値だということだ。 わざわざ取り組む必要もない。 http://echo.5ch.net/test/read.cgi/tech/1364009659/106
107: 105 [sage] 2013/03/23(土) 12:36:06.00 >>106 なぜそのようなことを言うのでしょうか。 不便なんて思っていません。 使いたいから使っています。 仕組みを理解したいからコードリーディングに挑戦しています。 http://echo.5ch.net/test/read.cgi/tech/1364009659/107
108: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:07.00 >>105 出たなうんこ野郎 こいつは屁理屈こねるために質問してくる 相手するだけ無駄 http://echo.5ch.net/test/read.cgi/tech/1364009659/108
109: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:08.00 屁理屈やら討論やらまったり会話が何でもありの掲示板で屁理屈批判とか。 それに105が屁理屈とも思わんし。言ってることが理解できないけどさ。 http://echo.5ch.net/test/read.cgi/tech/1364009659/109
110: デフォルトの名無しさん [] 2013/03/23(土) 12:36:09.00 悔しかったの？ｗ http://echo.5ch.net/test/read.cgi/tech/1364009659/110
111: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:10.00 単芝で煽ったつもりになってるとか君も青いな http://echo.5ch.net/test/read.cgi/tech/1364009659/111
112: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:11.00 >>92 コミケでHaskellの本売ってるの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/112
113: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:12.00 >>105 それ、Haskellの問題つーより宣言型の問題な http://echo.5ch.net/test/read.cgi/tech/1364009659/113
114: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:13.00 >>112 いわゆる技術系サークルってのはあって電子工作やらプログラミングやら扱ってる本 書いてるね。Haskellはあったかなぁ？？ http://echo.5ch.net/test/read.cgi/tech/1364009659/114
115: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:14.00 簡約λカ娘のことじゃねーの 思い出しついでにちょっとサイト見に行ったら新刊イカ娘と関係なくなってるじゃねえか http://echo.5ch.net/test/read.cgi/tech/1364009659/115
116: デフォルトの名無しさん [] 2013/03/23(土) 12:36:15.00 g :: [Int] -> [Int] -> Int g (x:xs) (y:ys) | (x:xs) == [] && (y:ys) == [] = 1 | otherwise = x*y + g xs ys 処理終わらない。助けて http://echo.5ch.net/test/read.cgi/tech/1364009659/116
117: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:16.00 >>116 それだと、空リストら適用した時点で例外が起きるんだが 「処理終わらない」の意味をもう少し明確に述べてみ http://echo.5ch.net/test/read.cgi/tech/1364009659/117
118: デフォルトの名無しさん [] 2013/03/23(土) 12:36:17.00 Non-exhaustiveになるんです。 多分間違い : (x:xs) == [] && (y;ys) == [] = 0? g [1,2,3:[]] [4,5,6:[]] -> (1*4 + 2*5 + 3*6 + []* [] ) -> 32になるはず http://echo.5ch.net/test/read.cgi/tech/1364009659/118
119: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:18.00 g _[]=0 g[]_=0 g(x;xs)(y:ys)=x*y+g xs ys http://echo.5ch.net/test/read.cgi/tech/1364009659/119
120: デフォルトの名無しさん [] 2013/03/23(土) 12:36:19.00 ありがとうございます。けど、なんで上のガードが出来なかったのだろうか？ http://echo.5ch.net/test/read.cgi/tech/1364009659/120
121: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:20.00 []は(x;xs)にマッチしない http://echo.5ch.net/test/read.cgi/tech/1364009659/121
122: デフォルトの名無しさん [] 2013/03/23(土) 12:36:21.00 ああ、本当だ。 (x:xs)はすでに何かあるから[]ではないと言うことですね。 納得しました。 http://echo.5ch.net/test/read.cgi/tech/1364009659/122
123: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:22.00 ttp://akiradeveloper.hatenadiary.com/ http://echo.5ch.net/test/read.cgi/tech/1364009659/123
124: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:23.00 >>118＝122 [1,2,3:[]] こんなリストはねえ。1:2:3:[]か、[1,2,3]だボケ んで、後者は前者の糖衣構文 (xs)であれば[]もマッチする (x:xs)に[]がマッチしない理由は、「何かあるから」ではなく、[]が値コンストラクタ ":" を使ってないから。 http://echo.5ch.net/test/read.cgi/tech/1364009659/124
125: デフォルトの名無しさん [] 2013/03/23(土) 12:36:24.00 質問、 ave関数でなぜかIntが返されます。[1.0, 2.0, 3.0]ならばsumはで、lengthは3なので戻りは1.0のはずなのですが。 value :: [Float] -> Float value list = case (list) of (x:xs) -> (x/(ave list)) : value xs [] -> 0 ave :: [Float] -> Float ave (x:xs) = ( sum (x:xs) / (length (x:xs) )) http://echo.5ch.net/test/read.cgi/tech/1364009659/125
126: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:25.00 型あわせろボケ http://echo.5ch.net/test/read.cgi/tech/1364009659/126
127: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:26.00 ラムダの記号が円マークでかっこ悪いのは日本への嫌がらせなの？ Haskell作者しぬの？ http://echo.5ch.net/test/read.cgi/tech/1364009659/127
128: デフォルトの名無しさん [sage] 2013/03/23(土) 12:36:27.00 どっちかというと問題があるのはREVERSE SOLIDUSがYEN SIGNに見える日本人の方では http://echo.5ch.net/test/read.cgi/tech/1364009659/128
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.035s