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

dowhile のブックマーク 2017/07/23 17:54

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/342283430/comment/dowhile" data-user-id="dowhile" data-entry-url="https://b.hatena.ne.jp/entry/www.a-k-r.org/pub/2017-07-23-proofsummit-akr.pdf" data-original-href="http://www.a-k-r.org/pub/2017-07-23-proofsummit-akr.pdf" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.a-k-r.org%2Fpub%2F2017-07-23-proofsummit-akr.pdf" data-user-icon="/users/dowhile/profile.png">CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017</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/programming">programming</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/ocaml">ocaml</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/c">c</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/dowhile/20170723#bookmark-342283430"><span class="datetime-body">2017/07/23 17:54</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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