モナド則だけ見つめていたい - LT駆動開発14 | そんなこと覚えてない

2015/05/03 26 users モナド Haskell Qiita ポッ 関数

LT駆動開発14に参加した。 ゼノブレイドクロス発売記念でモナドの話をしといた。 Stateモナドを簡約して、Stateモナドを説明しようとおもったけどうまくいかなくてボツになりました。 Haskell - Stateモナドを手で簡約してみたりしていた - Qiita そんなわけでHaskell/圏論 - Wikibooksを元ネタにモナド則を辿ってみました。 a -> M bって型の関数を並べる... 続きを読む

Haskell/カリー=ハワード同型 - Wikibooks

2012/06/28 39 users Haskell 定理 カリー 数学 本質

カリー=ハワード同型(Curry-Howard isomorphism)は数学の一見無関係に思えるふたつの領域、型理論と構造論理を結びつける実に驚くべき関係である。 [編集] 導入 これよりカリー=ハワード同型は単に C-H と表記する。C-H が示しているのは、定理の本質を反映するような型を構築し、それからその型を持つ値を見つけさえすれば、どんな数学的定理をも証明することができる、ということだ。... 続きを読む

Wiki、教科書業界に宣戦布告--新プロジェクト「Wikibooks」を立ち上げ - CNET Japan

2005/09/30 126 users ama 宣戦布告 ボロボロ WIKI 古本

Wiki、教科書業界に宣戦布告--新プロジェクト「Wikibooks」を立ち上げ Daniel Terdiman（CNET News.com） 2005/09/29 13:17   昔の生物の教科書が必要になったのに、大学で使用していたぼろぼろのテキストが見つからない場合、次のような行動をとることが考えられる。 まず、大学の書店へ足を運んで、古本を1冊もらってくることが考えられる。あるいは、Ama... 続きを読む