特論12の参考資料
以下の資料を参考にして、講義の準備をしている。
- （受講に際して、購入の必要はない。）
- 中原幹夫「量子計算入門」物性研究83-6, p699-786. web にあり。例が適切。随所にある短いコメントも初学者（＝私）にとって親切であり、とても良い。願わくば、目次があると良い。
- 縫田光司「量子計算、量子アルゴリズムと有限群の表現論」2009年度表現論シンポジウム報告集。12ページ。web にあり。数学者が数学者に向けて書いたものであり、他の本などでもやもやしてわかりづらく思う点が、ズバリ解消されている。この短い論説だけでは説明が足りないと思うが、他の分野向け（情報科学者向け、工学者向け、物理学者向け）の本と併用して読むと良い。
- 上坂吉則「量子コンピュータの基礎数理」コロナ社、2000年。数学的な箇所が数学者に読みやすいような印象を受ける。なぜだろう？
- 宮野健次郎、古澤明「量子コンピュータ入門（第２版）」日本評論社, 2016年。なお、初版は2008年。他の本よりも平易。その分、例えば Shor のアルゴリズムでは 15=5*3 の分解のみ（すなわち、素因子が全てフェルマー素数）の場合のみを紹介している。
- 西野哲朗「量子コンピュータ入門」東京電機大学出版局、1997年。例えば p116 の式が書かれていることなどはいい印象を持った。ただし mod 2 ではなくてもっと大きな数字にしたほうがよかったとは思うが。1 = -1 mod 2 なので、式(a)=式(d) になっちゃうので。
- Nielsen, Chuang 「量子コンピュータと量子通信II 量子コンピュータとアルゴリズム」オーム社、2005年。定本のようであり、確かにしっかりとした記述がなされている。
- 阿部英介、古田彩、山口文子 「量子コンピュータ授業」慶應大学、YouTubeに動画あり、web にスライドあり。スライドでこのスピードの講義は初学者にはきついんじゃないかなあと思うけど、わからないところは何度も見返せるという状況であればあり得ると思います。なお、個人的には数学よりも、第８回「黎明期の歴史」が面白かった。
補足：
- web 上の資料はリンクを貼ることもできるのだが、すぐにリンク切れになる。著者やタイトルなどで検索するとすぐにヒットするので手間はかかるが検索してほしい。
- この講義の力点（強調点）は、多くの既存資料とは必ずしも一致しないが、その中でも比較的近いものを上では挙げた。
一方で、読んではみたものの、この講義ではあまり使わない資料を以下にリストする。（これらの資料に問題があるのではなく、この講義の方向性や講義の時間的な制約との絡みで。）
- 日経サイエンス2018年４月号「特集 量子コンピューター 米国の開発最前線を行く」p32-45。実装の（最新の）現状については講義では扱わない。ただし、教養として知っておくこと、主要な素材や人物についてコンサイスにまとめられているので講義は扱わないものの、自学の価値は十分にある。
- Yu. I. Manin, Classical computing, quantum computing, and Shor's factoring algorithm, arXiv 9903008. 同年のブルバキセミナーのためのノート。文献を入れて27ページの分量。話題が多く、しかもフォーカスが「広い」。したがって、それぞれの話題への数学的な掘り下げの記述の分量は足りていない。ブルバキセミナーという時間的な制約もあっただろうし、ブルバキセミナーの聴衆であれば常識で補えるのであろうが、ここから入門をスタートするのは現実的でなかろう。
- 細谷暁夫「量子コンピュータの基礎 第２版」別冊数理科学SGCライブラリ69巻、サイエンス社、2009年。初版は1999年、SGCライブラリ第4巻。今日借りてきたのでこれから中身を読むが、「はじめに」からしてとびきり面白い。『私の考えでは、その論理構成に猫などはどうでもよく、抽象的で透明な数学的枠組みが必要であると考えて、、、』。ちゃんと読んだら講義で使います。
- ベルマン他「入門 量子コンピュータ」パーソナルメディア、2002年。なお、Shor のアルゴリズムは第６章（全部で２ページ）ならびに訳者あとがきのp182 に触れられている。訳者あとがきに描かれている(p187)「本書は29章に細かく分けられているので、それらの関連性について少し補足しておきたい。」がもう少し初学者に配慮のあるものであると良いように思う。この部分や序 piii を手掛かりにこの本の大まかな構成をまとめる（例えば全体を5つのパートに分ける）ことができれば、むしろ初学者卒業と言えるだろう。
- ウィリアムズ他「量子コンピューティング」シュプリンガージャパン、2000年。これもこれから読む。以下は瑣末なこと：p128, line -1「$q$ が小さな素因子を持たねばならない」は、「$q$ の素因子はどれも小さい」という意味。この周辺では、p121 の$n=pq$ という設定と、p129 の本文の連分数による近似での $p/q$ と、p129 の表１のStep 1 の $q$ と、３種類の異なる $q$ が用いられている。ここの $q$ は３つ目の $q$ の意味で使われているが、多くの本では、$N$ など、別のアルファベットが使われている。 著者まえがきに「本書は、量子コンピューティングに関する初めての本である。」と書かれている。また、CD-ROM が付録として付いている。
- マーミン「量子コンピュータ科学の基礎」丸善出版、2009年。これもこれから見る。
- 松枝宏明「量子系のエンタクグルメントと幾何学」森北出版、2016年。講義のレベルに比べて詳細に過ぎるため。
1758
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
