特集−量子コンピュータ（２）

特集−量子コンピュータ（１）からの続き

５．西村治道（量子計算）
　　或る理論計算機科学の研究者から見た量子コンピュータ研究の歴史（11p ☆☆☆）
量子計算のはじまりを詳しく説明している。(1)ファインマン 1982 物理系のシュミレーションと量子力学，(2) ドイッチュ 1985 量子チューリング機械，(3) ドイッチュ・ジョザ  1992 量子アルゴリズム，(4) バジラニ・ベルンシュタイン 1993 量子計算量理論と万能量子チューリング機械，(5) ヤオ 1994 量子回路，(6) サイモン 1994 サイモンの量子アルゴリズム，(7) ショア 1994 ショアの量子アルゴリズム（素因数分解と離散対数），(8) グローバー 1996 グローバーのアルゴリズム（オラクル），このあたりから2000年をピークとする第１次量子計算ブームがくるわけだ。西村さんは名大の情報学研究科，情報文化学部のひと。

６．佐藤文隆（理論物理学）
　　ｈのない量子力学（2p ☆☆）
　　機器が作る世界
佐藤さんの量子力学に関する本も最近買ってはみたけれども・・・あまりおもしろくなかった。今回の論説で印象に残ったのは，量子力学の教科書の話だ。従来型のシュレーディンガー方程式と原子構造から解きほぐすものではなく，状態ベクトルから出発しコヒーレント表示の重要性を指摘している現代的な量子力学の教科書がお薦めされていた。例えば，桜井純，ペレス，アイシャム，北野正雄などの教科書など。

７．北島雄一郎（科学哲学）
　　情報の観点からみた量子力学（11p ☆☆☆）
Clifton Bub Halvorson によるCBH定理（2003）に焦点を当てている。運動物体の電気力学の議論で，アインシュタインがエーテルの性質に基づく構成的なアプローチから，原理的なアプローチ（すべての慣性系で物理法則は同じ形になる）をとったのと同様に，量子力学を微視的な粒子や波動についての理論から，情報理論的な原理に基づいた理論に転換するという方針で，CBH定理が導入された。そのために導入されるC*代数の枠組みがどこからきたのかが問題になっていると，参考文献をあげながら丁寧に議論していた。結局CBH定理はよくわからなかった。北島さんは科学哲学の人だけれど，京大工学部原子核工学修士出身なので，理系のセンスは十分。

８．丸山善宏（圏論的統一科学／現代の自然哲学）
　　圏・量子情報・ビッグデータの哲学（13p ☆☆☆☆☆）
　　情報物理学と量子認知科学から圏論的形而上学と量子ＡＩネイティブまで
この現代思想の特集号で一番おもしろかったのが，この論説である。専門分野の表記がぶっとんでますね。丸山さんは京大の白眉センターの助教。京大総人(理)→京大文修士→オックスフォード大計算機科学科量子情報Ｇ博士課程という経歴だ。参考文献があがっていないが，思わず調べたくなるような話題が連なっていた。ハーディのパラドックスから量子論の五公理（確率性・単純性・部分空間・合成性・連続性 2001）がひとつ。量子論理と作用素代数が量子論の２つの異なった定式化であり，量子論の情報論的定式化・情報論的再構成は実質的にこの2001年のハーディの研究から始まったという認識だ。さらに著者は，圏論的量子力学が2008年のアブラムスキーとクックの論文から始まり，論理と計算の圏論的意味論の技術が物理に応用されたとしている。このあたり，圏論を勉強していないのでまったくわからないけれど，なんだか面白そうなのだ。さらに，ペンローズの量子脳理論に話が及ぶ。普通の人は簡単にトンデモだとして斬って捨てるところなのだが，丸山は，ペンローズの話を換骨奪胎して量子認知科学の話へと繋げる道を示唆して見せる。最後に日本の現状への警鐘を鳴らしているが，量子ネイティブにもＡＩネイティブにも圏論ネイテイブにもなりそこねた旧人類はどうしたらいいのだろう。