ch1248 のブックマーク / はてなブックマーク

ch1248 のブックマーク 2014/10/21 23:55

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/158738562/comment/ch1248" data-user-id="ch1248" data-entry-url="https://b.hatena.ne.jp/entry/s/ie.u-ryukyu.ac.jp/~kono/lecture/software/Agda/index.html" data-original-href="https://ie.u-ryukyu.ac.jp/~kono/lecture/software/Agda/index.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fie.u-ryukyu.ac.jp%2F~kono%2Flecture%2Fsoftware%2FAgda%2Findex.html" data-user-icon="/users/ch1248/profile.png">Agda による圏論入門</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/math">math</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/functional">functional</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/programming">programming</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%AB%96">論</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%2A%E8%B3%87%E6%96%99">*資料</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/ch1248/20141021#bookmark-158738562"><span class="datetime-body">2014/10/21 23:55</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

Agda による圏論入門

ie.u-ryukyu.ac.jp/~kono2013/08/22

Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門...

68 人がブックマーク・3 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

Agda による圏論入門

はてなブックマーク

公式Twitter

はてなのサービス