大学院情報学研究科
情報文化学部 自然情報学科
2023/10/06 更新
博士(学術) ( 2001年3月 名古屋大学 )
量子計算
計算複雑さ
量子計算量理論
名古屋大学・准教授
2012年4月 - 現在
国名:日本国
大阪府立大学・講師
2006年4月 - 2012年3月
国名:日本国
京都大学・特任助手
2005年10月 - 2006年3月
国名:日本国
科学技術振興機構今井量子計算機構プロジェクト・研究員
2004年7月 - 2005年9月
国名:日本国
名古屋大学 人間情報学研究科
- 2001年3月
国名: 日本国
名古屋大学 理学部
- 1994年3月
国名: 日本国
日本数学会
情報処理学会
量子情報技術研究会 委員
2012年11月 - 2014年11月
量子情報技術研究会 幹事
2010年11月 - 2012年11月
コンピュテーション研究会 専門委員
2008年6月 - 2014年5月
日本数学会数学基礎論および歴史分科会 運営委員
2007年10月 - 2010年9月
量子情報技術研究会 委員
2006年11月 - 2010年11月
Distributed Quantum Interactive Proofs 査読有り
Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
Leibniz International Proceedings in Informatics 254 巻 頁: 42:1 - 42:21 2023年3月
Brief Announcement: Distributed Quantum Interactive Proofs 査読有り
Francois Le Gall, Masayuki Miyamoto, Harumichi Nishimura
Leibniz International Proceedings in Informatics 246 巻 2022年10月
Quantum logarithmic space and post-selection 査読有り 国際共著
Francois Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz
Leibniz International Proceedings in Informatics 197 巻 2021年7月
Communication Complexity of Private Simultaneous Quantum Messages Protocols 査読有り
Akinori Kawachi, Harumichi Nishimura
Leibniz International Proceedings in Informatics 199 巻 2021年7月
Distributed quantum proofs for replicated data 査読有り 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
Leibniz International Proceedings in Informatics 185 巻 頁: 28:1 - 28:20 2021年1月
Brief Announcement: Distributed quantum proofs for replicated data 査読有り 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
Leibniz International Proceedings in Informatics 179 巻 頁: 43:1 - 43:3 2020年10月
Rational proofs for quantum computing 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 20 巻 頁: 181-193 2020年4月
Impossibility of blind quantum sampling for classical client 査読有り
Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi, Seiichiro Tani
Quantum Information and Computation 19 巻 頁: 793-806 2019年8月
Quantum Arthur-Merlin Games 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
SIAM Journal on Computing 48 巻 頁: 865-902 2019年5月
Quantum advantage for the LOCAL model in distributed computing 査読有り
Francois Le Gall, Harumichi Nishimura, Ansis Rosmanis
Leibniz International Proceedings in Informatics 126 巻 頁: 49:1-49:14 2019年3月
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy
Tomoyuki Morimae, Yuki Takeuchi, Harumichi Nishimura
Quantum 2 巻 2018年11月
Impossibility of classically simulating one-clean-qubit model with multiplicative error
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
Physical Review Letters 120 巻 2018年5月
Merlinization of complexity classes above BQP 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 17 巻 ( 11-12 ) 頁: 0959-0972 2017年9月
Quantum algorithms for matrix products over semirings 査読有り
Francois Le Gall, Harumichi Nishimura
Chicago Journal of Theoretical Computer Science 2017 巻 2017年5月
Power of one nonclean qubit 査読有り
Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
Physical Review A 95 巻 2017年4月
Modified group non-membership is in promise-AWPP relative to group oracles 査読有り
Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
Quantum Information and Computation 17 巻 ( 3-4 ) 頁: 242-250 2017年3月
Quantum query complexity of almost all functions with fixed on-set size 査読有り
Andris Ambainis, Kazuo Iwama, Masaki Nakanishi, Harumichi Nishimura, Rudy Raymond, Seiichiro Tani, Shigeru Yamashita
Computational Complexity 25 巻 ( 4 ) 頁: 723-735 2016年12月
Space-Efficient Error Reduction for Unitary Quantum Computations 査読有り
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
Leibniz International Proceedings in Informatics 55 巻 頁: 14:1-14:14 2016年7月
Power of quantum computation with few clean qubits 査読有り
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
Leibniz International Proceedings in Informatics 55 巻 頁: 13:1-13:14 2016年7月
Quantum interpretations of AWPP and APP 査読有り
Tomoyuki Morimae, Harumichi Nishimura
Quantum Information and Computation 16 巻 ( 5-6 ) 頁: 498-514 2016年4月
Quantum algorithms for finding constant-sized sub-hypergraphs 査読有り
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
Theoretical Computer Science 609 巻 ( 3 ) 頁: 569-582 2016年1月
Quantum Merlin-Arthur with Clifford Arthur
Tomoyuki Morimae, Masahito Hayashi, Harumichi Nishimura, Keisuke Fujii
Quantum Information and Computation 15 巻 ( 15-16 ) 頁: 1420-1430 2015年11月
Generalized quantum Arthur-Merlin games 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
Leibniz International Proceedings in Informatics 33 巻 頁: 488-511 2015年6月
Stronger methods of making quantum interactive proofs perfectly complete 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
SIAM Journal on Computing 44 巻 ( 2 ) 頁: 243-289 2015年3月
Interactive proofs with quantum finite automata 査読有り
Harumichi Nishimura, Tomoyuki Yamakami
Theoretical Computer Science 568 巻 頁: 1-18 2015年2月
Quantum network coding and the current status of its studies 招待有り
Harumichi Nishimura
Proceedings of the International Symposium on Information Theory and Its Applications (ISITA2014) 頁: 331-334 2014年10月
Quantum algorithms for finding constant-sized subgraphs
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
Lecture Notes in Computer Science (Proceedings of 20th International Conference on Computing and Combinatorics) 8591 巻 頁: 429-440 2014年8月
Quantum algorithms for matrix product over semirings
Francois Le Gall, Harumichi Nishimura
Lecture Notes in Computer Science (Proceedings of 14th Scandinavian Symposium and Workshops) 8503 巻 頁: 331-343 2014年7月
RECOVERING STRINGS IN ORACLES: QUANTUM AND CLASSIC 招待有り
Kazuo Iwama, Harumichi Nishimura
International Journal of Foundations of Computer Science 24 巻 ( 7 ) 頁: 979-993 2013年11月
Quantum network coding - How can network coding be applied to quantum information? 招待有り
Harumichi Nishimura
Proceedings of the 2013 IEEE International Symposium on Network Coding 2013年6月
Stronger methods of making quantum interactive proofs perfectly complete 査読有り
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
Proceedings of the 4th ACM Conference on Innovations in Theoretical Computer Science Conference (ITCS2013) 頁: 329-352 2013年1月
On QMA protocols with two short quantum proofs
Francois Le Gall, Shota Nakagawa, Harumichi Nishimura
Quantum Information & Computation 12 巻 頁: 589-600 2012年8月
Quantum counterfeit coin problems
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Junichi Teruyama
Theoretical Computer Science 456 巻 頁: 51-64 2012年8月
Reconstructing strings from substrings with quantum queries
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 13th Scandinavian Symposium and Workshops) 7357 巻 頁: 622-633 2012年7月
Computational indistinguishability between quantum states and its cryptographic application
Akinori Kawachi, Takeshi Koshiba, Harumichi Nishimura, Tomoyuki Yamakami
Journal of Cryptology 25 巻 頁: 528-555 2012年7月
Achieving perfect completeness in classical-witness quantum Merlin-Arthur proof systems
Stephen P. Jordan, Hirotada Kobayashi, Daniel Nagaj, Harumichi Nishimura
Quantum Information & Computation 12 巻 頁: 461-471 2012年6月
Unbounded-error quantum query complexity
Ashley Montanaro, Harumichi Nishimura, Rudy Raymond
Theoretical Computer Science 412 巻 頁: 4619-4628 2011年
Constructing quantum network coding schemes from classical nonlinear protocols
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Proceedings of IEEE International Symposium on Information Theory 2011 頁: 109-113 2011年
Quantum counterfeit coin problems
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Junichi Teruyama
Lecture Notes in Computer Science (Proceedings of 21st International Symposium on Algorithms and Computation) 6506 巻 頁: 73-84 2010年
Perfect quantum network communication protocol based on classical network coding
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Proceedings of IEEE International Symposium on Information Theory 2010 頁: 2686-2690 2010年
An application of quantum finite automata to interactive proof systems
Harumichi Nishimura, Tomoyuki Yamakami
Journal of Computer and System Sciences 75 巻 頁: 255-269 2009年
Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
Harumichi Nishimura, Masanao Ozawa
Quantum Information Processing 8 巻 頁: 13-24 2009年
Quantum random access coding 招待有り
Harumichi Nishimura, Rudy Raymond
IEICE Transactions 92 巻 ( A(5) ) 頁: 1268-1275 2009年
General scheme for perfect quantum network coding with free classical communication
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura, Martin Roetteler
Lecture Notes in Computer Science (Proceedings of 36th International Colloquium on Automata, Languages and Programming) 5555 巻 頁: 622-633 2009年
Unbounded-error quantum query complexity
Ashley Montanaro, Harumichi Nishimura, Rudy Raymond
Lecture Notes in Computer Science (Proceedings of 19th International Symposium on Algorithms and Computation) 5369 巻 頁: 919-930 2008年
Polynomial-time construction of linear network coding
Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 35th International Colloquium on Automata, Languages and Programming) 5125 巻 頁: 271-282 2008年
The efficiency of quantum identity testing of multiple states
Masaru Kada, Harumichi Nishimura, Tomoyuki Yamakami
Journal of Physics A: Mathematical and Theoretical 41 巻 ( Article no. 395309 ) 頁: 1-13 2008年
Quantum query complexity of Boolean functions with small on-sets
Andris Ambainis, Kazuo Iwama, Masaki Nakanishi, Harumichi Nishimura, Rudy Raymond, Seiichiro Tani, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 19th International Symposium on Algorithms and Computation) 5369 巻 頁: 907-918 2008年
Unbounded-error classical and quantum communication complexity
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 18th International Symposium on Algorithms and Computation) 4835 巻 頁: 100-111 2007年
Quantum network coding
Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 24th Annual Symposium on Theoretical Aspects of Computer Science) 4393 巻 頁: 610-621 2007年
Unbounded-error one-way classical and quantum communication complexity
Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
Lecture Notes in Computer Science (Proceedings of 34th International Colloquium on Automata, Languages and Programming) 4596 巻 頁: 110-121 2007年
(4,1)-quantum random access coding does not exist - one qubit is not enough to recover one of four bits
Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita
New Journal of Physics 8 巻 ( Article no. 129 ) 頁: 1-11 2006年
Quantum computation with supplementary information 招待有り
Harumichi Nishimura
IPSJ Journal 46 巻 頁: 2392-2399 2005年
Uniformity of quantum circuit families for error-free algorithms
Harumichi Nishimura, Masanao Ozawa
Theoretical Computer Science 332 巻 頁: 487-496 2005年
Polynomial-time quantum computation with advice
Harumichi Nishimura, Tomoyuki Yamakami
Information Processing Letters 90 巻 頁: 195-204 2004年
An Algorithmic Argument for Nonadaptive Query Complexity Lower Bounds on Advised Quantum Computation 査読有り
Harumichi Nishimura, Tomoyuki Yamakami
Lecture Notes in Computer Science (Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science) 3153 巻 頁: 827-838 2004年
Quantum Computation With Restricted Amplitudes 査読有り
Harumichi Nishimura
International Journal of Foundations of Computer Science 14 巻 頁: 853-870 2003年
On quantum one-way permutations 査読有り
Elham Kashefi, Harumichi Nishimura, Vlatko Vedral
Quantum Information and Computation 2 巻 頁: 379-398 2002年
Computational complexity of uniform quantum circuit families and quantum Turing machines 査読有り
Harumichi Nishimura, Masanao Ozawa
Theoretical Computer Science 276 巻 頁: 147-181 2002年
Local transition functions of quantum Turing machines 査読有り
Masanao Ozawa, Harumichi Nishimura
RAIRO Theoretical Informatics and Applications 34 巻 頁: 379-402 2000年
基礎から学ぶ量子計算
西村治道( 担当: 単著)
オーム社 2022年11月
理論計算機科学事典
西村治道( 担当: 分担執筆 , 範囲: 3.7節 量子計算)
朝倉書店 2022年1月
電子情報通信学会ハンドブック「知識ベース 知識の森」 6群2編6章2節 通信計算量
西村治道( 担当: 単著)
電子情報通信学会 2011年
電子情報通信学会ハンドブック「知識ベース 知識の森」 S2群5編3章1節 量子計算理論
西村治道( 担当: 単著)
電子情報通信学会 2011年
量子回路の計算複雑性について
西村治道
数学セミナー61 巻 ( 1 ) 頁: 26 - 31 2022年1月
Power of Distributed Quantum Merlin-Arthur Proofs 国際会議
Harumichi Nishimura
SUSTech-Nagoya workshop on Quantum Science 2022年6月
Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement
Harumichi Nishimura
3rd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems
SMP model, PSM protocols, and their quantum analogues 国際会議
Harumichi Nishimura
SUSTech-Nagoya workshop on Quantum Science
Distributed quantum proofs for replicated data 国際共著 国際会議
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
24th Annual Conference on Quantum Information Processing 2021年2月5日
SWAP test and its applications to quantum distribued computing 国際会議
Harumichi Nishimura
2nd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2020年12月14日
Distributed quantum proofs for replicated data 国際共著
Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz
2020年10月16日
量子通信複雑性理論 招待有り
西村治道
京大量子情報ユニット・基研量子情報スクール 2020年7月2日
More approaches for studying classical verification of quantum computation 招待有り 国際会議
Harumichi Nishimura
1st Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 2019年11月12日
Classical verification for quantum computation 招待有り 国際会議
Harumichi Nishimura
Workshop on Quantum Protocols 2019年8月9日
Rational proofs for quantum computing
合理的なサーバーによる量子計算の検証
森前智行, 西村治道
第39回量子情報技術研究会
Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups 国際会議
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
18th Asian Quantum Information Science Conference (AQIS2018)
Rational proofs for quantum computing 国際会議
Tomoyuki Morimae, Harumichi Nishimura
18th Asian Quantum Information Science Conference (AQIS2018)
Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups 国際会議
Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS2018)
量子計算量クラスについて 招待有り
西村治道
ImPACT未来開拓研究会2018
make10の一般化について
佐伯元春, 西村治道
第13回組合せゲーム・パズル研究集会
Merlinization of complexity classes above BQP
Modified group nonmembership is in AWPP
Power of quantum computation with few clean qubits
Space-efficient error reduction for unitary quantum computations 国際会議
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
16th Asian Quantum Information Science Conference (AQIS2016)
メモリ限定量子計算量について 招待有り
西村治道
研究会「量子情報と有限張理論の新展開」
Power of quantum computation with few clean qubits 国際会議
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
43rd International Colloquium on Automata, Languages, and Programming (ICALP2016)
Space-efficient error reduction for unitary quantum computations 国際会議
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
43rd International Colloquium on Automata, Languages, and Programming (ICALP2016)
Power of quantum computation with few clean qubits 国際会議
Harumichi Nishimura
Workshop around BQP
量子版NPと量子版AMの計算複雑さ
西村治道
第33回量子情報技術研究会
AWPPの量子計算による解釈
森前智行, 西村治道
第33回量子情報技術研究会
クリフォードゲートのみの検証者によるQMA
森前智行, 林正人, 西村治道, 藤井啓祐
コンピュテーション研究会
AWPPの量子計算による解釈
森前智行, 西村治道
コンピュテーション研究会
Impossibility of classical simulating one-clean-qubit computation
藤井啓祐, 小林弘忠, 森前智行, 西村治道, 玉手修平, 谷誠一郎
コンピュテーション研究会
量子計算量クラス‐PとNPの量子版とその先
西村治道
基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」
Generalized quantum Arthur-Merlin games 国際会議
Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura
30th Computational Complexity Conference (CCC2015)
Quantum algorithms for finding constant-sized sub-hypergraphs 国際会議
Francois Le Gall, Harumichi Nishimura, Seiichiro Tani
18th Workshop on Quantum Information Processing
Generalized quantum Arthur-Merlin games 国際会議
Harumichi Nishimura
Australia-Japan Workshop on Multi-user Quantum Network
Generalized quantum Arthur-Merlin games 国際会議
Harumichi Nishimura
ELC Workshop at the University of Tokyo on Quantum Computational Complexity
局所ハミルトニアンの非冗長性の計算量
川崎涼, 西村治道
コンピュテーション研究会
Quantum Arthur and quantum Merlin 国際会議
Harumichi Nishimura
5th Nagoya Winter Workshop on Quantum Information, Measurement, and Foundations (NWW2014)
定数サイズ部分ハイパーグラフ発見に対する量子アルゴリズム
Francois Le Gall, 西村治道, 谷誠一郎
第29回量子情報技術研究会
Stronger methods of making quantum interactive proofs perfectly complete
Quantum network coding - How can network coding be applied to quantum information? 国際会議
Harumichi Nishimura
The 2013 IEEE International Symposium on Network Coding
Quantum algorithms for matrix products over semirings
時間ドロボー問題の物質的ゼロ知識証明
上田圭祐, 西村治道
2012年冬のLAシンポジウム
Towards Perfect Completeness in QMA 国際会議
Stephen Jordan, Hirotada Kobayashi, Francois Le Gall, Daniel Nagaj, Harumichi Nishimura.
16th Workshop on Quantum Information Processing (QIP2013)
衝突の列挙に関する量子質問計算量
大和雅英, 西村治道
第27回量子情報技術研究会
Reducing error probabilities of quantum Merlin-Arthur proof systems 国際会議
Harumichi Nishimura
Japan-Singapore Workshop on Multi-user Quantum Networks
Reconstructing strings from substrings with quantum queries 国際会議
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
13th Scandinavian Symposium and Workshop
Reconstructing strings from substrings with quantum queries
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
Improved quantum algorithms for reconstructing strings from substrings 国際会議
Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita
5th Annual Meetings of the Asian Association for Algorithms and Computation
Quantum counterfeit coin problems 国際会議
Harumichi Nishimura
2010 International Workshop on Quantum Information Science
Worst-case winning probabilities for the sum of CHSH games 国際会議
Harumichi Nishimura
International Conference on Quantum Information and Technology 2009
古典及び量子通信計算量
西村治道
第21回量子情報技術研究会
量子コンピュータに基づく計算量理論とその周辺
西村治道
日本数学会
Quantum random access coding and its application 国際会議
Harumichi Nishimura
Workshop of Theory on Quantum Computation, Communication and Cryptography 2006
量子計算機の数理モデルとその計算能力について
西村治道
日本数学会
量子プロトコル理論の線的展開
2016年4月 - 2021年3月
科学研究費補助金 基盤研究(A)
小柴健史
担当区分:研究分担者
量子通信及び量子計算を限定した量子対話型証明の解析
2016年4月 - 2020年3月
科学研究費補助金 基盤研究(C)
西村 治道
担当区分:研究代表者
量子論の基礎原理に関する数学的研究
2014年4月 - 2019年3月
科学研究費補助金 基盤研究(A)
小澤正直
担当区分:研究分担者
量子検証システムの計算量的解析
2013年4月 - 2017年3月
科学研究費補助金 基盤研究(C)
担当区分:研究代表者
量子プロトコル理論の深化
2012年4月 - 2017年3月
科学研究費補助金 基盤研究(A)
小柴健史
担当区分:研究分担者
量子力学からの計算限界解明へのアプローチ
2012年4月 - 2017年3月
科学研究費補助金 新学術領域研究
山下茂
担当区分:研究分担者
マルチユーザ型量子ネットワーク
2011年4月 - 2016年3月
科学研究費補助金 基盤研究(A)
林正人
担当区分:研究分担者
量子通信計算量とその応用に関する研究
2010年4月 - 2014年3月
科学研究費補助金 若手研究(B)
担当区分:研究代表者
量子情報の数学的基礎研究
2009年4月 - 2014年3月
科学研究費補助金 基盤研究(A)
小澤正直
担当区分:研究分担者
情報理論特論
2016
数理情報学5
2016
数理情報学5
2015
微分積分学II
2015
微分積分学I
2015
数理情報学5
2014
情報理論特論
2014
線形代数学I
2014
数理情報学5
2013
線形代数学II
2013
線形代数学I
2013
線形代数学II
2012
情報理論特論
2012