中西 正樹

J-GLOBALへ         更新日: 18/12/13 10:21
 
アバター
研究者氏名
中西 正樹
 
ナカニシ マサキ
所属
山形大学
部署
地域教育文化学部 地域教育文化学科
職名
准教授
学位
修士(工学)(大阪大学), 博士(工学)(大阪大学)
科研費研究者番号
40324967

研究分野

 
 

経歴

 
2000年4月
 - 
2007年3月
奈良先端科学技術大学院大学情報科学研究科 助手
 
2007年4月
 - 
2009年4月
奈良先端科学技術大学院大学情報科学研究科 助教
 
2009年5月
 - 
2012年3月
山形大学 地域教育文化学部 生活総合学科 准教授
 
2012年4月
 - 
現在
山形大学 地域教育文化学部 地域教育文化学科 准教授
 

学歴

 
1992年4月
 - 
1996年3月
大阪大学 基礎工学部 情報工学科
 
1996年4月
 - 
2000年3月
大阪大学 基礎工学研究科 情報数理系専攻
 

委員歴

 
2018年6月
 - 
現在
情報処理学会  論文誌シニア査読委員
 
2010年2月
 - 
現在
International Conference on Quantum, Nano and Micro Technologies (ICQNM)  プログラム委員
 
2001年11月
 - 
現在
電子情報通信学会  量子情報技術特別研究専門委員会委員
 
2012年6月
 - 
2018年5月
情報処理学会  論文誌査読委員
 
2017年5月
   
 
電子情報通信学会  第36回量子情報技術研究会実行委員会 副委員長
 

論文

 
Quantum pushdown automata with garbage tape
Masaki Nakanishi
International Journal of Foundations of Computer Science   29(3) 425-446   2018年4月   [査読有り]
Exact affine counter automata
Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, Abuzer Yakaryilmaz
Proc. of the 15th International Conference on Automata and Formal Languages   EPTCS 252 205-218   2017年8月   [査読有り]
A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
computational complexity   25(4) 723-735   2016年12月   [査読有り]
FPGAを用いた正則グラフ上の量子ウォークのシミュレーション
中鉢大喜,中西正樹
第35回量子情報技術研究会資料   137-140   2016年11月
Cache-aware quantum circuit simulation on a GPGPU
M. Nakanishi, N. Morioka, and K. Shoji
Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)   11-12   2016年8月   [査読有り]

Misc

 
Computational Complexity of Space-Bounded Real Numbers
Masaki Nakanishi and Marcos Villagra
arXiv:1805.02572      2018年5月
「数学すること」に基づいた算数・数学の授業づくり
大澤弘典,皆川宏之,中西正樹,坂口隆之,平林真伊,福島譲二,齋藤太一,押野綾,佐藤章子,奈良﨑芳晴,早坂和重,川田大
平成29年度大学と附属学校園の共同研究報告書   14-18   2018年2月
数学することに基づく算数・数学の授業づくりに向けて - 中学校における2つの授業をもとにして-
市川啓,大澤弘典,皆川宏之,中西正樹,坂口隆之
平成28年度 大学と附属学校園の共同研究報告書      2017年3月
量子-古典協調計算 - オートマトンの場合 -
中西正樹
情報処理   47(12) 1341-1346   2006年12月   [依頼有り]

書籍等出版物

 
電子情報通信学会 知識ベース
中西正樹 (担当:分担執筆)
電子情報通信学会   2009年   

講演・口頭発表等

 
A hardware architecture for simulating the HHL algorithm
Kimika Beppu, Kanae Nakabayashi, and Masaki Nakanishi
22nd Annual Conference on Quantum Information Processing   2019年1月13日   
A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits
Ryo Wakabari, Sayaka Katakura, and Masaki Nakanishi
19th Conference on Quantum Information Processing (QIP 2016)   2016年1月10日   
A Hardware Quantum Circuit Simulator Architecture based on Register Reordering
M.Matsuyama, Y.Yokoo, M.Nakanishi
17th Conference on Quantum Information Processing   2014年2月   
Quantum Pushdown Automata with Garbage Space
M.Nakanishi
17th Conference on Quantum Information Processing   2014年2月   
On the weakness of one-way quantum pushdown automata under empty-stack acceptance
Masaki Nakanishi
14th Workshop on Quantum Information Processing   2011年1月   

競争的資金等の研究課題

 
メモリアクセスに制約のある量子計算機の能力の解析
日本学術振興会: 科学研究費助成事業
研究期間: 2016年4月 - 2020年3月    代表者: 中西正樹
ハードウェアを用いた量子アルゴリズムの高速シミュレーションおよびその量子アルゴリズム開発・量子計算モデル解析への応用
民間財団等: 旭硝子財団研究助成(研究奨励)
研究期間: 2015年4月 - 2017年3月    代表者: 中西正樹
量子力学からの計算限界解明へのアプローチ
文部科学省: 科学研究費助成事業
研究期間: 2012年6月 - 2017年3月    代表者: 山下茂
省メモリ環境下における量子計算機の能力の解析
日本学術振興会: 科学研究費助成事業
研究期間: 2012年4月 - 2017年3月    代表者: 中西正樹
実装容易性を考慮した量子情報処理
日本学術振興会: 科学研究費助成事業
研究期間: 2009年4月 - 2012年3月    代表者: 中西正樹

特許

 
5078035 : 量子暗号通信方法
村上ユミコ, 中西正樹, 山下茂
US7,577,852 B2 : マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法
岡崎篤也, 中西正樹, 山下茂, 渡邉勝正