教員情報 - 小澤　正直

オザワ　マサナオ OZAWA Masanao
小澤　正直

所属ＡＩ数理データサイエンスセンター

創発学術院

職名特任教授

研究課題・受託研究・科研費
2024/04 ～ 2026/03	量子インストルメント理論による質問順序効果の研究学術変革領域研究(A)
2022/04 ～ 2025/03	量子インストルメント理論の新展開基盤研究(C)
2021/04 ～ 2024/03	量子古典ハイブリッドアルゴリズムを用いた機械学習基盤研究(C) キーワード(機械学習, 人工知能, 量子コンピュータ, ポスト量子暗号, 量子アルゴリズム)
2019/04 ～ 2023/03	対話型証明の新展開－古典から量子まで基盤研究(B) キーワード(対話型証明, 計算量理論, 量子計算)
2017/06 ～ 2019/03	量子集合論による量子基礎論の研究挑戦的研究(萌芽)
2016/04 ～ 2019/03	Heisenberg 描像に基づく量子測定理論の新展開若手研究(B) キーワード(量子測定, 測定スキーム, 不確定性関係, リー群, 測定相関の系, 完全正値インストルメント, C^＊-代数, ドレスト光子, セクター, 情報基礎, 測定過程, 量子測定理論, Heisenberg描像, 微分代数, 対称性)
2015/04 ～ 2017/03	セキュア量子情報通信の基礎研究特別研究員奨励費キーワード(Key Agreement, Quantum Cryptography, Multiparty Communication, Quantum Circuit, Entangled States, Entanglement, Hierarchical Commun., Quantum Dialogue, Quantum Communication, Quantum Noise, Entanglement Concent.)
2015/04 ～ 2017/03	量子集合論の確率解釈の研究挑戦的萌芽研究
2014/04 ～ 2019/03	量子論の基礎原理に関する数学的研究基盤研究(A) キーワード(量子情報, 量子計算機の古典的検証問題, 量子暗号, 量子熱力学過程, 相補性, 量子計算理論, 不確定性, 量子場理論, 量子計算量理論, 量子対話型証明, マジョライゼーション, 盗聴通信路, 量子計算, 量子測定, 量子集合論, 量子相関, von Neumann代数, 不確定性原理, 代数的場の量子論, 量子暗号理論, 不確定性関係, フォン・ノイマン代数, 完全正値インストルメント, 量子測定理論, 代数的量子場理論, 局所性原理, 量子情報理論, 非局所性, 量子情報熱力学)
2013/04 ～ 2016/03	相対論的量子測定理論及び相対論的量子情報理論の研究特別研究員奨励費キーワード(Special relativity, Quantum mechanics, Quantum information, Quantum communication)
2012/10 ～ 2015/06	Reality and Measurement in Algebraic Quantum Theory 競争的資金等の外部資金による研究 Core Funding Area, Science and the Big Questions, Mathematical and Physical Sciences
2012/04 ～ 2015/03	擾乱計測技術に基づく安全な量子通信の研究開発競争的資金等の外部資金による研究 SCOPE
2012/04 ～ 2016/03	計算の哲学―様々な展開に向けて― 基盤研究(B) キーワード(科学の科学, 力学的不変量, 論理学, 量子論の基礎, ミクロ-マクロ双対性, 計算の哲学, 音楽の哲学, 不確定性原理, 量子論, 偶然性, 圏論)
2012/04 ～ 2014/03	量子論の実在論的解釈を目指した量子集合論の研究挑戦的萌芽研究
2010/04 ～ 2012/03	量子論の実在論的解釈を目指した量子集合論の研究挑戦的萌芽研究
2009/10 ～ 2011/09	量子測定における相補性原理の数学的研究その他の補助金・助成金三菱財団研究助成
2009/03 ～ 2013/04	量子情報の数学的基礎研究基盤研究(A)
2008 ～ 2009	量子集合論の研究と量子論的様相解釈への応用萌芽研究, 挑戦的萌芽研究
2006 ～ 2008	新量子認証プロトコルの開発と量子通信の安全性と効率に関する基礎研究競争的資金等の外部資金による研究 SCOPE
2006 ～ 2007	量子集合論の研究と量子情報理論への応用萌芽研究
2005 ～ 2010	フォールトトレラント量子計算の研究競争的資金等の外部資金による研究 CREST
2005 ～ 2008	量子情報と量子計算の数理解析的基礎研究基盤研究(B)
2003 ～ 2005	不確定性原理の再定式化と量子情報数理解析学の構築萌芽研究
2002 ～ 2004	量子情報と量子計算の数理解析的研究基盤研究(B)
2001 ～ 2005	量子測定，量子通信，量子計算における精度，擾乱，情報量，計算量，エンタングルメントの相互関係に関する数理解析的研究競争的資金等の外部資金による研究 SCOPE
2000 ～ 2004	量子コンピュータ理論競争的資金等の外部資金による研究 CREST
2000 ～ 2001	量子計算量理論における量子オラクルの研究萌芽的研究
1999 ～ 2001	量子計算の数理モデルに関する情報数理解析学的研究基盤研究(B)
1998 ～ 1999	量子チューリング機械の停止問題に関する研究萌芽的研究
1996 ～ 1998	超有限ハイゼンベルク群のユニタリ表現と量子物理学への応用基盤研究(B)
1994 ～ 1994	無限小解析学の数理物理学への応用一般研究(C)
1992 ～ 1992	無限自由度量子系への無限小解析的アプロ-チ重点領域研究
1992 ～ 1992	量子情報理論の基礎的研究競争的資金等の外部資金による研究大川情報通信基金研究助成
1991 ～ 1991	重力波検出器の量子力学的検出限界に関する理論的研究重点領域研究