コメント一覧は非表示に設定されています。
(詳しくはこちら)
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Modeling quantum computing in haskell http://www.cs.indiana.edu/~sabry/papers/quantum.pdf ( ゚д゚) ... Modeling quantum computing in haskell http://www.cs.indiana.edu/~sabry/papers/quantum.pdf ( ゚д゚) _(__つ/ ̄ ̄ ̄/_ \/ /  ̄ ̄ ̄ ( ゚д゚ ) _(__つ/ ̄ ̄ ̄/_ \/ / 別に、こんなん探してたわけではないんだけど、偶然見付けてなんか笑ってしまった。ちなみに読んでない。sabryって、確かFelleisenと、call/ccの公理つくったりしてたような気がする。最近は、量子プログラミング(?)の論文を何本か書いてるようで http://www.cs.indiana.edu/~sabry/ ぐぐったら、quantum programming languageみたいなキーワードで研究してるひとは結構いるっぽい。Sabryの論文が、量子回路ベースなのに対して、簡単な高級言