関数プログラミング実践入門という本を書きました - ぼくのぬまち 出張版

2014/11/08 117 users Haskell 単行本 作者 2014-11-08 メーカー

2014-11-08 関数プログラミング実践入門という本を書きました 是非手に取ってみて下さい．よろしくおねがいします．関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus)作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見るAgdaとかHaskell ... 続きを読む

[Agda][Haskell] Haskeller向け　Agdaの紹介 - いじわるだねっ

2013/12/02 21 users Haskell ボク 理論 ログポ 少年ジャンプ

Theorem Prover Advent Calendar 2013 2日目の記事です。だがちょっと待ってほしい。よくよく考えたら、ぼくは理論とか技術とか難しい話はできなかったので、Haskeller向けにAgdaの勉強に使えそうな情報を並べて逃げることにしました。Haskellを覚えたらある日、プログラマー王に俺はなる！と思い立ったとします。これが少年ジャンプであれば、適当に船に乗って、ログポ... 続きを読む

Agda による圏論入門

2013/08/22 68 users Record Reasoning level 要約 圏論入門

Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 Agda の入門の要約 Agda の入門　 Agda の集合の Level　 Agda の record 　 Agda のReasoning 　 Caategory module と圏の入門 自然変換 IdentityFu... 続きを読む