- 1 名前：デフォルトの名無しさん mailto:sage [2005/09/30(金) 01:34:05 ]
- C/C++＞＞＞＞(越えられない壁)＞＞＞Haskell
- 684 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:10:54 ]
- 論文じゃあるまいし。
揚げ足取りなんかやってるから単位も危なくなるんだぞ？
- 685 名前：デフォルトの名無しさん [2008/01/05(土) 22:25:42 ]
- >>683-684
せっかくぐぐって終息させてやろうとしてるのに馬鹿だねおまえはｗ
黙ってれば終わったのに。
晒しage
- 686 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:27:36 ]
- これが関数型使って気取ってる池沼の実態ですｗｗｗｗｗｗ
ばか
- 687 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:30:06 ]
- 使えもしないのに関数型に憧れてんなＹＯ！
Haskell使いｷﾓｽｗｗｗｗｗｗ
- 688 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:34:13 ]
- スレタイ通りのオナスレageんな
- 689 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:37:08 ]
- クソ言語が普通とか言ってんなよ。所詮、脳内オナニー。
- 690 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:39:26 ]
- 恥ずかしいスレ名をアゲんな、変体どもがぁ。
Haskellはプログラム板の恥だな。
- 691 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:43:34 ]
- スレの削除依頼出せ．ｷﾓｲんだよお前等
- 692 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:46:01 ]
- まあ、重複スレなのでこちらを削除しても問題ありませんね。
- 693 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:57:22 ]
- ↑さんざん恥をかいたのでスレ削除して欲しい張本人がこう申しておりますｗ
- 694 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 22:59:01 ]
- Haskell使ってる人って頭が良いイメージだったけどｗ
- 695 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:01:32 ]
- なかなか笑わせてもらった
- 696 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:18:12 ]
- 「Haskell」＝「Arrow」＋「普通」
- 697 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:20:35 ]
- 普通ってｗｗｗｗ
「プログラム」＝「データ構造」＋「アルゴリズム」
ってWirth先生が言ってたぞ。
- 698 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:21:56 ]
- >>697
先生のゆーとーり世代
- 699 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:21:57 ]
- アローだってデータ構造だろうに。
- 700 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:23:22 ]
- 普通のアルゴリズムなんて定義できんだろ。
- 701 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:24:32 ]
- 普通のどこが気に入らないんだろう
- 702 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:25:43 ]
- アローに付随したアルゴリズムに定石でもあるのか？そんな本見たことねーぞ。
むしろ教えろゴルァ！
- 703 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:28:27 ]
- アローの定石と言えるかわからないけどバード先生の本には載ってる
- 704 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:35:36 ]
- Rahbi ＆ Lapalme にはモナドの説明が無いけど、
Introduction to Functional Programming Using Haskell
Richard Bird
こっちには載ってるのか。
- 705 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:39:06 ]
- アロー程度がちょちょいと説明できないようじゃHaskell使いこなせてると言えないよね。
- 706 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:40:25 ]
- アローって簡単？
- 707 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:46:49 ]
- >>706
ふ・つ・う ｗｗｗｗｗ
お頭が弱いとアローがbrainf*ckみたいに見えるらしいけど、可換図式みたいで判りやすいよ。
ハッキリ言って簡単。基礎的な数学力があればだけど。圏論ぐらいは出来ないと無理かな。
- 708 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:48:02 ]
- >>707
> ハッキリ言って簡単。基礎的な数学力があればだけど。圏論ぐらいは出来ないと無理かな。
どうやら、arrowでプログラミングしたこともないことがよくわかった。
- 709 名前：デフォルトの名無しさん mailto:sage [2008/01/05(土) 23:55:34 ]
- アマゾンみたらバードの本にはモナドとかアローについて書いてあるらしい。
でも翻訳はMirandaについてでモナドとか載ってなさげだねぇ。
- 710 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:10:55 ]
- Arrowって、Kleisli 圏とか Premonoidal 圏みたいなもんか。たしかに図を描けばなんてことなさげ。
- 711 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:16:47 ]
- >>708
はいはい。あーarrowはむずかしいいや。brainf*ckみたいにみえるなあｗ
- 712 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:21:36 ]
- 教訓
・ オブジェクト指向と関数型は共存出来ない。
・ 「Haskell」＝「Arrow」＋「普通」 （ただしArrowはbrainf*ckである）
- 713 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:29:02 ]
- >>712
なにそれ？Haskell全否定じゃん。
- 714 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:31:52 ]
- 708は口調ですぐわかるな。アンチなら使わなきゃｲｲｼﾞｬﾝ。
- 715 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:51:13 ]
- アローって意味的にはモナドなんかよかよっぽど理解できるだろ。
要するに計算の合成を定義すればいいだけ。
フリーダムすぎて使い方を迷うところはあるけど……圏論の知識とかいるか？
- 716 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 00:59:29 ]
- >>715
いらない。
- 717 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:00:54 ]
- arrowでプログラミングするのに数学も圏論の知識も微塵も必要ない。
- 718 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:01:02 ]
- >>715
あれば簡単ってことなんじゃないの？おれ圏論知らないけどさｗ
- 719 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:03:26 ]
- >>715
アローってモナドの一般化したやつじゃん。ほとんど同じだろ。
アローが関数を受け持って、モナドが値を受け持つ箱みたいなイメージ。
違ったっけ？
- 720 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:07:59 ]
- >>717
それは極論だろ。ＳコンビネータとかＢコンビネータとかＹコンビネータを適用するとき副作用があるのか分からなくてﾄﾞｷﾄﾞｷする。
数学知ってたらこういうことがさらっと出来ていいんだろうなと思う。
- 721 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:10:19 ]
- Haskellじゃなくてもいいようなプログラムなら数学の知識はいらないとは言えるｗ
- 722 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:13:48 ]
- 結局、Haskellを何に利用しているかでアローの難易度も違って見えるんだろうね。
- 723 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:21:50 ]
- いらない・無意味・微塵も必要ない
- 724 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 01:28:42 ]
- 普通
- 725 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 04:40:35 ]
- arrow関連で卒論書きたいんですが、受けはいいでしょうか？
- 726 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 13:30:28 ]
- >>719
値を受け持つ箱と考えるより、monadic function(a->m b)の形式で計算を纏めていく戦略と考えたほうが
理解しやすいかもしれん。monadic valueそのものをモナドだと思ってしまうとよくわからんなるんじゃない？
- 727 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 15:41:27 ]
- >>717
ならこのスレに来るな。ここはクマーが圏論を説明してくれた偉大なスレだ。
- 728 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 15:44:29 ]
- >>720
数学の知識がなくてもSコンビネータとかBコンビネータとかYコンビネータが
何を意味しているのかだけ知っていればどきどきすることはありません。
- 729 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 15:54:07 ]
- >>728
意味が良くわからない。ＡＡで説明してくれ。たのむわ。
- 730 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 16:07:19 ]
- /-─-,,,_: : : : : : : : :＼
/ '''-,,,: : : : : : : :i
/、 /: : : : : : : : i ＿＿＿＿＿＿＿＿
r-、 ,,,,,,,,,,、 /: : : : : : : : : :i ／
L_, , 、 ＼: : : : : : : : :i ／ 圏論持ち出したら
/●) (●> |: :__,=-、: / ＜ 負けかなと思ってる
l ｲ '- |:/ tbﾉﾉ ＼ ニート（24・男性）
l ,`-=-'＼ `l ι';/ ＼
ヽﾄｪ-ｪｪ-:） -r' ￣￣￣￣￣￣￣￣
ヾ＝-' ／
- 731 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 16:26:09 ]
- >>730
博士課程のニーとですがなにか
- 732 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 16:39:00 ]
- 数学の知識無しでアローをＡＡで説明出来んじゃなかったの？
しったかかｗ ｸﾏｰｋｔｋｒ
- 733 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:23:29 ]
- スレの流れに
水を差すようで申し訳ないんだが
ちょっと質問
>>720
にある「（対称）前モノイダル圏」って
よく意味が解らない
対称モノイダル圏の条件を弱めたものらしけど
対称モノイダル圏だとなにか不味い事でもあるのですか
- 734 名前：733 [2008/01/06(日) 17:25:08 ]
- >>720
でなく
>>710だた
- 735 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:38:01 ]
- アローなんて簡単だろ
ほれ、これがアローだ
→
- 736 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:51:02 ]
- これの事でしょうか？ﾊｧﾊｧ
／⌒ヽ⌒ヽ
Ｙ
八 ヽ
（ __／/. ヽ,, ,）
丶1 八. !/
ζ, 八. j
i 丿 ､ j
| 八 |
| ! i ､ |
| i し " i '|
|ﾉ ( i i|
( '~ヽ ! ‖
│ i ‖
| ! ||
| │ |
| | | |
| | | |
| ! | |
| | ‖
／ ヾ
- 737 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:53:24 ]
- ＡＡ職人がいなくなってつまんなくなったね。
- 738 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:54:47 ]
- AA職人というか、コピペで説明してただけだろ？
- 739 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:57:34 ]
- その「説明してただけ」すら出来ないコピペ厨ｗ
- 740 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:58:38 ]
- たしかに1年でレベルが落ちたのは否定できんなｗ
- 741 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 17:59:42 ]
- 単にスレが捨てられただけでは？
- 742 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 18:00:42 ]
- いまどきarrowなんてみんな知ってて、いまさら説明の余地もない。
新しいネタ探して来い
- 743 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 18:14:58 ]
- >>742
こら！みんなが矢印とかちんぽを無視したからって怒るでないｗ
- 744 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 18:17:28 ]
- ｸﾏｰってもう一年前の話か。上のほう見たら２つもあるね。
- 745 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 18:19:22 ]
- >>742
↑とアローの説明が出来ないｸｽﾞが取り乱しております
- 746 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 21:27:48 ]
- >>728
コンビネータ理論を知っていれば十分で数学の知識を前提としないって？おいおい。
支離滅裂だぞ。
- 747 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 21:44:24 ]
- >>746
数学の基礎的な知識はそれほど必要ないだろ。
「それだけ」知ってればいいんだから。
- 748 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 21:55:31 ]
- >>747
基礎の意味が違うでしょ。コンビネータ理論は数学基礎論であって、数学の基礎知識じゃない。
しかも副作用についての知識は、いくつかのコンビネータを知ってるではすまない。
他にも山のようにある関数について、一つ一つ個別に知ってるよりも理屈を知ったほうが当然良い。
- 749 名前：デフォルトの名無しさん mailto:sage [2008/01/06(日) 23:51:52 ]
- λλλλλ...
↑アロー・モナド・コンビネータ理論について行けず、肩を落として帰るプログラマの群れ
- 750 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 00:08:05 ]
- 正直arrowとかどうでもいい
それよりhere documentを入れてくれ
- 751 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 00:29:30 ]
- >>750
ttp://cvs.haskell.org/Hugs/pages/users_guide/here-documents.html
- 752 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 20:07:34 ]
- >>733
くわしくはこのページが参考になる。
ttp://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=*%5B%A5%E2%A5%CA%A5%C9%5D
John Power & Edmund Robinsonによれば：
* TのKleisli圏C_Tがプレモノイド圏となる ⇔ Tは強度を持つ
* TのKleisli圏C_Tがモノイド圏となる ⇔ Tは可換強度を持つ
これはKleisli圏のプレモノイド構造と強度が1対1に対応しているということで、モノイド圏では都合が良くない。つまり、
プレモノイド圏となる⇒・・・⇒モナドの作用乗法
というのがwell-definedになるということを狙ってる。たしかにモナドって数学的な基礎知識無しでも使えると確信しましたか？
- 753 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 20:44:58 ]
- 当然だけど、アローについても同様の議論が展開できる訳です。まあ、アローなんかどうでも良いんでしたね。
- 754 名前：デフォルトの名無しさん [2008/01/07(月) 22:52:18 ]
- モノイド圏とモノイダル圏て何が違うの？
- 755 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 23:07:53 ]
- >>752
乙。>>710あたりが言ってた図を書くって「ペースティング図、スタック図（Santiago graphical notation）、ストリング図で描く･･･」てことか。
おれも>>735みたいなのをアローと思ってたｗ
- 756 名前：デフォルトの名無しさん mailto:sage [2008/01/07(月) 23:13:13 ]
- >>754
Monoidal Category = モノイド圏
>>733しかモノイダル圏という日本語は使っていないと思う。普通、モノイド圏と呼ぶ。
- 757 名前：デフォルトの名無しさん [2008/01/07(月) 23:44:59 ]
- >756 thx
ところで、圏でのモナドは分かるんですが、
プログラム言語のモナドって何なんですか？
- 758 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 00:30:05 ]
- 検索しましたら次の資料が見つかり自己解決しました。
www.ipsj.or.jp/07editj/promenade/4703.pdf
- 759 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 00:33:47 ]
- >>757
ほい
ttp://www.sampou.org/haskell/tutorial-j/monads.html
HaskellのモナドはMonadという型クラスのインスタンスれす。
Monadクラスは2つのクラスメソッドを持っていて、その２つがモナド則（3ホーソクありゅ）を満たしてﾏｰｽ。
よく使うモナドはIO, Maybe, Listあたりでしょう。どれも「演算」を繋ぐという感じに使いﾏｰｽ。
この3行を見たらリンク先にJUMP！
２つのクラスメソッドは、最初のうちは『>>=』が『｜』（ﾊﾟｲﾌﾟ）に対応、『return』が『cat』に対応すると覚えておけば良いかもネ！
（Jonesはわざとﾊﾟｲﾌﾟっぽくしたらしいﾈ）
モナドの構文は３つ。doとletとifだけ。
演算をモナド的に定義して繋ぐと、新しい特徴を参照透過的にモナドに結びつけることが出来ちゃう。
しかもモナド則３が保証するように「組み立て順序が自由」で、長くつながったモナドの鎖のどこを切ってもモナドになるョ。
これがモナドがもたらすモジュール化という効能だよーん。
- 760 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 01:11:34 ]
- >759 おおDankeです
プログラムにはなかなか深い数学が隠れているんですね。
いまふと思ったんですが、物理に出てくる量子化という
概念も、もしかするとモナドに関係あるかも知れません。
モジュラリティが何を意味するのかよく考えてみます。
- 761 名前：デフォルトの名無しさん [2008/01/08(火) 21:02:22 ]
- ここの説明もなかなかおもしろいよ。
blogs.dion.ne.jp/keis/
- 762 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 21:15:53 ]
- >>761
宣伝乙
- 763 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 21:40:15 ]
- >>759
doとletは分かるけど、ifってモナドと関係あったっけ？
- 764 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 23:36:51 ]
- >>761
説明が間違ってるところ大杉。
自分でモナドを作る時、どうするつもりかと思った。
- 765 名前：デフォルトの名無しさん mailto:sage [2008/01/08(火) 23:45:48 ]
- >>763
do と if を一緒に使う話じゃないかな。有名な「一行で書け」ってやつ。
- 766 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 00:55:16 ]
- >>761
パクったはいいが、意味を理解してなかった、ってところか。
- 767 名前：デフォルトの名無しさん mailto:sage [2008/01/09(水) 09:22:24 ]
- >>761ってそんなに間違いが多いのか〜
どこからパクったのか分かりますか？
- 768 名前：デフォルトの名無しさん mailto:sage [2008/01/13(日) 07:49:24 ]
- この年末年始のプログラマの休暇に
ここのスレが結構盛り上がっていたな
- 769 名前：デフォルトの名無しさん [2008/01/13(日) 08:07:15 ]
- プログラマは休暇にHaskellの勉強か
みんな偉いな
- 770 名前：デフォルトの名無しさん [2008/01/13(日) 10:35:26 ]
- どのへんがまちがってるの？
- 771 名前：デフォルトの名無しさん mailto:sage [2008/01/13(日) 17:53:03 ]
- 勘違いしてるだけなんじゃない？
- 772 名前：デフォルトの名無しさん [2008/01/18(金) 04:18:25 ]
- なんだかんだ言って、本当はぜんぜん分かってない奴がほとんどだろｗ
- 773 名前：デフォルトの名無しさん mailto:sage [2008/01/18(金) 09:45:24 ]
- まぁ仲間は多いと思っておきたいところだよな。
- 774 名前：デフォルトの名無しさん [2008/01/18(金) 15:35:54 ]
- >>761の間違いを早く指摘して欲しいもんだなｗ
- 775 名前：デフォルトの名無しさん mailto:sage [2008/01/18(金) 15:37:06 ]
- >>774
そういってＰＶ稼ぐ魂胆だろ
自演乙
- 776 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 15:18:10 ]
- こんなとこで宣伝したところで何PV増えるというのか
- 777 名前：デフォルトの名無しさん [2008/01/19(土) 18:53:04 ]
- >>775
そうやって自分が理解できてないのを誤魔化そうって魂胆だろ。
まずは>>761の間違いを指摘してみろよ。話はそれからだなｗ
- 778 名前：デフォルトの名無しさん mailto:sage [2008/01/19(土) 21:02:10 ]
- ひとり暴れているのがいるみたいだね。誰も話したくないからって理解できないんだろうか。
- 779 名前：デフォルトの名無しさん mailto:sage [2008/01/20(日) 13:31:52 ]
- いったいどこからパクったのか教えてくれよ。
- 780 名前：デフォルトの名無しさん mailto:sage [2008/01/20(日) 13:54:12 ]
- >>779
どうでもいい
- 781 名前：デフォルトの名無しさん [2008/01/20(日) 18:21:29 ]
- どうでもよくないな。それによって>>761が間違いかどうか判断できるだろ。
- 782 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 20:01:14 ]
- その判断がどうでもいいと言っているんだよ
- 783 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 20:35:14 ]
- 1/8を最後にパッタリ流れが止まったのはなぜかな？
- 784 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 20:41:46 ]
- ヒント 自演
|
 |
