研究課題
基盤研究(B)
現在のコンピュータの限界を超えるモデルとして量子計算を対象とし、そのパワーの源である量子相関を解析した。古典力学では現れない相関をもたらす量子相関について、離散最適化の観点からカット多面体を軸とする方法、連続最適化の観点から量子最大破れを解析し、また計算量の観点から対話型証明系との同値性を示し、量子相関の体系的に解明した。さらに量子計算モデル及び量子情報の研究へ展開をはかり、離散・連続の幾何構造を解明した。
すべて 2011 2010 2009 2008
すべて 雑誌論文 (11件) (うち査読あり 10件) 学会発表 (9件)
Proceedings of 2010 International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2010)
ページ: 189-198
ページ: 23-32
Pacific Journal of Optimization Vol.5
ページ: 211-224
Mathematical Programming Vol.112, No.2
ページ: 303-325
Proceedings of the Japan-Korea Workshop on Algorithms and Computation (WAAC 2008)
ページ: 28-35
Generalized Voronoi Diagram : A Geometry-Based Approach to Computational Intelligence((M. L. Gavrilova, ed.), Springer)
ページ: 67-108
Proceedings of the 5th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2008)
ページ: 123-132
Proceedings of the 8th Asian Conference on Quantum Information Science Vol.1
ページ: 127-128
Proceedings of the 8th Asian Conference on Quantum Information Science
ページ: 165-166
Proceedings of the Kyoto RIMS Workshop on Computational Geometry and Discrete Mathematics
ページ: 6-9
ページ: 10-13