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

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

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