『2009年度後期・数理解析・計算機数学 III』へのコメント

Coq講義メモ　あとで見る Garrigue先生

*Study
coq

rakk のブックマーク 2010/03/30 14:05

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/20384425/comment/rakk" data-user-id="rakk" data-entry-url="https://b.hatena.ne.jp/entry/www.math.nagoya-u.ac.jp/~garrigue/lecture/2009_AW/" data-original-href="http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2009_AW/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.math.nagoya-u.ac.jp%2F~garrigue%2Flecture%2F2009_AW%2F" data-user-icon="/users/rakk/profile.png">2009年度後期・数理解析・計算機数学 III</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%2AStudy">*Study</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/coq">coq</a>]</li></ul><br><p style="clear: left"> Coq講義メモ　あとで見る Garrigue先生</p><a class="datetime" href="https://b.hatena.ne.jp/rakk/20100330#bookmark-20384425"><span class="datetime-body">2010/03/30 14:05</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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