日々の仕事に嫌気がさした時に、Coqで遊ぶと仙人の気分に浸れるかもしれません

yagitoshiro のブックマーク 2013/12/17 16:11

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/173705350/comment/yagitoshiro" data-user-id="yagitoshiro" data-entry-url="https://b.hatena.ne.jp/entry/s/yuumi3.hatenablog.com/entry/20131217/1387263737" data-original-href="https://yuumi3.hatenablog.com/entry/20131217/1387263737" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fyuumi3.hatenablog.com%2Fentry%2F20131217%2F1387263737" data-user-icon="/users/yagitoshiro/profile.png">『マルレク第七回テーマ：「型の理論」と証明支援システム -- COQの世界 』に行ってきました - yuumi3のお仕事日記</a><br><p style="clear: left">日々の仕事に嫌気がさした時に、Coqで遊ぶと仙人の気分に浸れるかもしれません</p><a class="datetime" href="https://b.hatena.ne.jp/yagitoshiro/20131217#bookmark-173705350"><span class="datetime-body">2013/12/17 16:11</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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