教員情報 - 河野　泰人 | 中部大学

（最終更新日 : 2024-12-20 17:25:08）

Visruth.jpg not found

カワノ　ヤスヒト KAWANO Yasuhito
河野　泰人

所属

理工学部数理・物理サイエンス学科

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

理工系教育圏共通理工系基礎教育室

職名教授

学歴
2006/03/09 (学位取得)	東北大学博士（情報科学） (情報学基礎論)
1989/04/01～1991/03/31	名古屋大学理学研究科数学専攻博士前期課程修了理学修士 (数学基礎)
1985/04/01～1989/03/31	大阪大学理学部数学科卒業

現在の専門分野
情報学基礎論キーワード(量子情報科学)

研究テーマ
計算機科学
量子情報科学

担当授業科目
ベクトル解析
微分積分学I
応用数学
応用線形代数
情報数理工学特別講義
全件表示（8件）

著書・論文歴
論文	A reduction from an LWE problem to maximum independent set problems Scientific Reports 13 (1) (単著) 2023/05/02
論文	Quantum Fourier transform over symmetric groups - improved result. Journal of Symbolic Computation 75,219-243頁 (共著) 2016
論文	Semi-automated verification of security proofs of quantum cryptographic protocols. Journal of Symbolic Computation 73,192-220頁 (共著) 2016
論文	Quantum Fourier Transform over Symmetric Groups: Improved Result. ACM Communications in Computer Algebra 48 (3/4),127-129頁 (共著) 2014
論文	Automated Verification of Equivalence on Quantum Cryptographic Protocols. 5th International Symposium on Symbolic Computation in Software Science(SCSS),64-69頁 (共著) 2013
全件表示（15件）

講師・講演
2024/03/05	量子アルゴリズム2「位相推定アルゴリズム」 (愛知県)
2023/10/29	A reduction from an LWE problem to maximum independent set problems (愛知県)

科研費研究者番号
40396180

researchmap会員ID
R000067883