『prakashfest』へのコメント

Quantum Curry-Howardってあるんかなって調べたらがっちりしたのでてきた

pandaman64 のブックマーク 2017/11/17 02:54

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/349201859/comment/pandaman64" data-user-id="pandaman64" data-entry-url="https://b.hatena.ne.jp/entry/www.cs.ox.ac.uk/pf2014/Programme/Ross%20Duncan.pdf" data-original-href="http://www.cs.ox.ac.uk/pf2014/Programme/Ross%20Duncan.pdf" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fwww.cs.ox.ac.uk%2Fpf2014%2FProgramme%2FRoss%2520Duncan.pdf" data-user-icon="/users/pandaman64/profile.png">prakashfest</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%2A%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0">*プログラミング</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E9%87%8F%E5%AD%90%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF">量子コンピュータ</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A8%88%E7%AE%97%E6%A9%9F%E7%A7%91%E5%AD%A6">計算機科学</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E9%87%8F%E5%AD%90%E6%83%85%E5%A0%B1">量子情報</a>]</li></ul><br><p style="clear: left">Quantum Curry-Howardってあるんかなって調べたらがっちりしたのでてきた</p><a class="datetime" href="https://b.hatena.ne.jp/pandaman64/20171117#bookmark-349201859"><span class="datetime-body">2017/11/17 02:54</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

prakashfest

www.cs.ox.ac.uk2017/11/17

Ross Duncan ● PrakashFest ● Oxford 2014 The non-logic of quantum computation OR: How I learned to live without propositions-as-types Ross Duncan Mathematically Structured Programming Group Universi...

2 人がブックマーク・1 件のコメント

他のコメントを読む

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