2023/12/21 更新

写真a

ナカニシ　マサキ
中西　正樹
NAKANISHI Masaki
職名
教授

研究分野

  • 情報通信 / 計算機システム

  • 情報通信 / 情報学基礎論

出身大学

  • 大阪大学  基礎工学部  情報工学科

    1996年03月，卒業

出身大学院

  • 大阪大学  基礎工学研究科

    修士課程，1998年03月，修了

  • 大阪大学  基礎工学研究科  情報数理系専攻

    博士課程，2000年03月，中退

取得学位

  • 博士（工学），大阪大学，2002年01月

  • 修士（工学），大阪大学，1998年03月

学外略歴

  • 奈良先端科学技術大学院大学，助手，2000年04月 ～ 2007年03月

  • 奈良先端科学技術大学院大学，助教，2007年04月 ～ 2009年04月

所属学会・委員会

  • 電子情報通信学会

  • 情報処理学会

 

研究テーマ

  • 量子計算，量子暗号，リコンフィギャラブルコンピューティング，VLSI-CAD

研究経歴

  • 量子計算モデルの能力に関する研究，2000年04月 ～ 継続中

    量子計算，量子計算モデル，有限オートマトン，プッシュダウンオートマトン，量子オートマトン

  • リコンフィギャラブルコンピューティングに関する研究，2000年04月 ～ 継続中

    リコンフィギャラブルコンピューティング, FPGA, VLSI

論文

  • 粗粒度分割を用いた並列マージ処理の高速化，電子情報通信学会論文誌D 情報・システム，J106-D(2) 173-183，2023年02月

    千葉 理揮, 中西 正樹

    共著（国内のみ）

  • Exact affine counter automata，International Journal of Foundations of Computer Science，33(03n04) 349-370，2022年04月

    Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, and Abuzer Yakaryılmaz

    共著（海外含む）

  • A hardware architecture for the Walsh–Hadamard transform toward fast simulation of quantum algorithms，CCF Transactions on High Performance Computing，2(3) 211-220，2020年09月

    Ayaka Kobori, Rio Takahashi, and Masaki Nakanishi

    共著（国内のみ）

  • New Results on Classical and Quantum Counter Automata，DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE，21(4) ，2019年09月

    Masaki Nakanishi, Abuzer Yakaryilmaz, Aida Gainutdinova

    共著（海外含む）

  • Computational Complexity of Space-Bounded Real Numbers， arXiv:1805.02572，2018年05月

    Masaki Nakanishi and Marcos Villagra

    共著（海外含む）

  • Quantum pushdown automata with garbage tape，International Journal of Foundations of Computer Science，29(3) 425-446，2018年04月

    Masaki Nakanishi

    単著

  • 「数学すること」に基づいた算数・数学の授業づくり，平成29年度大学と附属学校園の共同研究報告書，14-18，2018年02月

    大澤弘典，皆川宏之，中西正樹，坂口隆之，平林真伊，福島譲二，齋藤太一，押野綾，佐藤章子，奈良﨑芳晴，早坂和重，川田大

    共著（国内のみ）

  • Exact affine counter automata，Proc. of the 15th International Conference on Automata and Formal Languages，EPTCS 252 205-218，2017年08月

    Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, Abuzer Yakaryilmaz

    共著（海外含む）

  • 数学することに基づく算数・数学の授業づくりに向けて － 中学校における２つの授業をもとにして－，平成２８年度 大学と附属学校園の共同研究報告書，2017年03月

    市川啓，大澤弘典，皆川宏之，中西正樹，坂口隆之

    共著（国内のみ）

  • Quantum Query Complexity of Almost All Functions with Fixed On-set Size，computational complexity，25(4) 723-735，2016年12月

    A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita

    共著（海外含む）

  • FPGAを用いた正則グラフ上の量子ウォークのシミュレーション，第35回量子情報技術研究会資料，137-140，2016年11月

    中鉢大喜，中西正樹

    共著（国内のみ）

  • Cache-aware quantum circuit simulation on a GPGPU，Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)，11-12，2016年08月

    M. Nakanishi, N. Morioka, and K. Shoji

    共著（海外含む）

  • A Fast Quantum Computer Simulator based on Register Reordering，IEICE Trans. Inf. & Syst.，E99-D(2) 332-340，2016年02月

    M. Nakanishi, M. Matsuyama, Y. Yokoo

    共著（海外含む）

  • Classical and Quantum Counter Automata on Promise Problems，Proc. of the 20th International Conference on Implementation and Application of Automata (CIAA 2015)，LNCS 9223 224-237，2015年08月

    M. Nakanishi, A. Yakaryilmaz

    共著（海外含む）

  • Quantum Pushdown Automata with a Garbage Tape，Proc. of the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015)， LNCS 8939 352-363，2015年01月

    Masaki Nakanishi

    単著

  • A quantum algorithm processor architecture based on register reordering，Proc. of the 22nd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2014)，1-6，2014年10月

    Masaki Nakanishi, Miki Matsuyama, Yumi Yokoo

    共著（海外含む）

  • Quantum Pushdown Automata with a Garbage Space，第29回量子情報技術研究会研究会資料，28-33，2013年11月

    M.Nakanishi

    単著

  • レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ，第29回量子情報技術研究会研究会資料，133-136，2013年11月

    松山美紀, 横尾優美, 中西正樹

    共著（国内のみ）

  • Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication，IEICE Transactions on Information and Systems，E96.D(1) 1-8，2013年01月

    M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima

    共著（海外含む）

  • Tensor rank and strong quantum nondeterminism in multiparty communication，Proc. of the 9th Annual Conference on Theory and Applications of Models of Computation (TAMC2012)，400-411，2012年05月

    M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Quantum walks on the line with phase parameters，IEICE Trans. Inf. & Syst.，E95-D(3) 722-730，2012年03月

    M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Quantum query complexity of hamming distance estimation，Proc. of the 11th Asian Quantum Information Science Conference 2011(AQIS2011)，103-104，2011年08月

    M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Symbolic discord computation for efficient analysis of message sequence charts，IPSJ Transactions on System LSI Design Methodology，4 210-221，2011年08月

    Y. Kakiuchi, T. Nakagawa, K. Hamaguchi, T. Tanimoto, and M. Nakanishi

    共著（海外含む）

  • An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture，Quantum Information & Computation，11(1&2) 142-166，2011年01月

    Yuichi Hirata, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima

    共著（海外含む）

  • A SAT Solver Based on Quantum and Classical Random Walk，Proc. of Asian Conference on Quantum Information Science 2010 (AQIS2010)，165-166，2010年08月

    Daisuke Yokomine, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima

    共著（海外含む）

  • Asymptotics of Quantum Walks on the Line with Phase Parameters，Proc. of Asian Conference on Quantum Information Science 2010 (AQIS2010)，163-164，2010年08月

    Marcos Villagra, Masaki Nakanishi, Shigeru Yamashita, and Yasuhiko Nakashima

    共著（海外含む）

  • メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法，情報処理学会研究報告 ユビキタスコンピューティングシステム（UBI），2010-UBI-25(63) 1-8，2010年03月

    中川智文，浜口清治，垣内洋介，中西正樹，谷本匡亮

    共著（国内のみ）

  • 量子計算の並列シミュレーションにおける通信量削減手法（共著），電子情報通信学会論文誌 Ｄ，J93-D(3) 253-264，2010年03月

    柴田章博, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • On the Weakness of One-Way Quantum Pushdown Automata，Proc. of the Fourth International Conference on Quantum, Nano and Micro Technologies (ICQNM2010)，83-87，2010年02月

    Masaki Nakanishi

    単著

  • Quantum Communication Protocols with Public Coins（共著），IPSJ SIG Technical Reports，2009-AL-126(6) ，2009年09月

    S. Tani, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • An efficient middle-level framework for quantum circuit simulation on multiple simulator platforms（共著），IEICE Technical Report，CPSY2009-14 25-30，2009年08月

    A. Vikman, T. Nakada, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Synthesis of Quantum Circuits for d-Level Systems by using Cosine-Sine Decomposition (共著)，Quantum Information & Computation，9(5&6) 423-443，2009年05月

    Y. Nakajima, Y. Kawano, H. Sekigawa, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Multi-Party Quantum Communication Complexity with Routed Messages（共著），IEICE Trans. Inf. & Syst，E92-D(2) 191-199，2009年02月

    S. Tani, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture（共著），Proc. of the Third International Conference on Quantum, Nano and Micro Technologies(ICQNM 2009)，26-33，2009年02月

    Y. Hirata, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • Quantum Secure Direct Communication Protocol without Using Quantum Memory（共著），Proc. of 2009 Symposium on Cryptography and Information Security (SCIS2009)，2009年01月

    Y. Murakami and M. Nakanishi

    共著（海外含む）

  • Quantum Query Complexity of Boolean Functions with Small On-Sets（共著），Proc. of the 19th International Symposium on Algorithms and Computation (ISAAC 2008)，907-918，2008年12月

    A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, and S. Yamashita

    共著（海外含む）

  • A Method of Randomizing a Part of an FPGA Configuration Bitstream（共著），Proc. of 2008 International Symposium on Information Theory and its Applications(ISITA2008)，1493-1496，2008年12月

    M. Nakanishi and Y. Murakami

    共著（海外含む）

  • A Functional Unit with Small Variety of Highly Reliable Cells（共著），Proc. of 14th Pacific Rim International Symposium on Dependable Computing (PRDC'08)，353-354，2008年12月

    K. Suzuki, T. Nakada, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture（共著），IEICE Technical Report，QIT2008-57 45-50，2008年11月

    Y. Hirata, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • 高信頼セルによる回路の信頼性評価（共著），信学技報，VLD2008-75 91-96，2008年11月

    堀田敬一, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • FPGAのスイッチマトリクスを対象とするソフトエラー対策（共著），信学技報，RECONF2008-45 39-44，2008年11月

    洪勇基, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • Quantum Query Complexity of Boolean Functions with Small On-Sets（共著），IEICE Technical Report，QIT2008-56 39-44，2008年11月

    A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, and S. Yamashita

    共著（海外含む）

  • A Method for Secure FPGA Configuration（共著），Proc. of Computer Security Symposium2008(CSS2008)，2008年10月

    M. Nakanishi and Y. Murakami

    共著（海外含む）

  • 高信頼セルによる演算器の耐故障性と遅延時間の評価（共著），SWoPP2008，181-186，2008年08月

    鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • 量子計算の並列シミュレーションにおける通信量削減手法（共著），SWoPP2008，133-138，2008年08月

    柴田章博, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • Multi-Party Quantum Communication Complexity with Routed Messages（共著），Proc. of the 14th Annual International Computing and Combinatorics Conference(COCOON2008)，180-190，2008年06月

    S. Tani, M. Nakanishi, S. Yamashita

    共著（海外含む）

  • 並列量子計算シミュレータにおける通信料削減手法の提案（共著），第18回量子情報技術研究会資料，180-183，2008年05月

    柴田章博, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • An Almost Optimal Quantum String Sealing Protocol and Its Security Analysis（共著），Proc. of the 1st AAAC Annual Meeting(AAAC2008)，20，2008年04月

    M. Nakanishi, S. Tani, and S. Yamashita

    共著（海外含む）

  • An FPGA Configuration Scheme for Bitstream Protection，Proc. of International Workshop on Applied Reconfigurable Computing (ARC2008)，330-335，2008年03月

    Masaki Nakanishi

    単著

  • 少品種高信頼セルによる演算器の提案と評価，信学技報，DC2007-112 167-172，2008年03月

    鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • 量子状態を送信するための量子秘匿直接通信とその安全性，暗号と情報セキュリティシンポジウム (SCIS2008)，2D1-1，2008年01月

    村上ユミコ, 中西正樹, 萩原学, 山下茂, 中島康彦

    共著（国内のみ）

  • A Scheme for Protecting FPGA Configuration Bitstreams，Proc. of Symposium on Cryptography and Information Security (SCIS2008)，1B2-1，2008年01月

    M. Nakanishi

    単著

  • A Quantum Secure Direct Communication Protocol for Sending a Quantum State and Its Security Analysis，Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)，91-97，2007年12月

    Y. Murakami, M. Nakanishi, S. Yamashita, Y. Nakashima, and M. Hagiwara

    共著（海外含む）

  • An Information-Theoretic Security Analysis of Quantum String Sealin，Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)，30-35，2007年12月

    M. Nakanishi, S. Tani, and S. Yamashita

    共著（海外含む）

  • An Analysis of Quantum Communication Complexity Depending on Network Topologies，IEICE Technical Report，QIT2007-83 150-153，2007年11月

    S. Tani, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • SRAMベースFPGAにおける耐ソフトエラーLUT構成法，信学技法，RECONF-2007-43 1-6，2007年11月

    里山宏平, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • 細粒度命令分解と少品種セルによる高信頼化アーキテクチャの提案，情処研報，2007-ARC-175 61-66，2007年11月

    鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • A Practical Framework to Utilize Quantum Search，Proc. of the 2007 IEEE Congress on Evolutionary Computation (CEC2007)，2007年09月

    Shigeru Yamashita, and Masaki Nakanishi

    共著（海外含む）

  • メッセージの開封確認を行う量子プロトコルとその安全性について，電子情報通信学会論文誌 A，J90-A(5) 385-392，2007年05月

    Masaki Nakanishi

    単著

  • A Hardware SAT Solver Using Non-Chronological Backtracking and Clause Recording without Overheads，Proc. of 3rd International Workshop on Applied Reconfigurable Computing (ARC2007)，343-349，2007年03月

    S. Hiramoto, M. Nakanishi, S. Yamashita, and Y. Nakashima

    共著（海外含む）

  • VLIW型命令キューを持つOROCHIの命令スケジューリング機構，情処研報，2007-ARC-172 25-30，2007年03月

    片岡晶人, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • Robust Quantum Algorithms Computing OR with ε-biased Oracles，IEICE Trans. Inf. & Syst.，E90-D(2) 395-402，2007年02月

    T. Suzuki, S. Yamashita, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • An Efficient and Effective Algorithm for Online Task Placement with I/O Communications in Partially Reconfigurable FPGAs,，IEICE Trans. Fundamentals，E89-A(12) 3416-3426，2006年12月

    M. Tomono, M. Nakanishi, S. Yamashita, K. Nakajima, and K. Watanabe

    共著（海外含む）

  • Bit-Length Optimization Method for High-Level Synthesis Based on Non-Linear Programming Technique，IEICE Trans. Fundamentals，E89-A(12) 3427-3434，2006年12月

    N. Doi, T. Horiyama, M. Nakanishi, and S. Kimura

    共著（海外含む）

  • Secure Processor Architecture for High-Speed Verification of Memory Integrity，IPSJ SIG Technical Reports，2006-ARC-170 13-18，2006年11月

    A. Okazaki, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • 量子封印を用いた量子認証，第１５回量子情報技術研究会資料，209-212，2006年11月

    竹谷昌敏, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • Pure Dephasing を考慮した量子オラクル計算モデル，第１５回量子情報技術研究会資料，229-232，2006年11月

    山下茂, 中西正樹, 内山智香子, 相原正樹

    共著（国内のみ）

  • 量子文字列封印における復号化率と検出率のトレードオフについて，第１５回量子情報技術研究会資料，233-236，2006年11月

    中西正樹, 谷誠一郎, 山下茂

    共著（国内のみ）

  • Quantum Secure Direct Communication Protocols for Sending a Quantum State，Proc. of the 2006 International Symposium on Information Theory and its Applications (ISITA 2006)，2006年10月

    Y. Murakami, M. Nakanishi, M. Hagiwara, S. Yamashita and Y. Nakashima

    共著（海外含む）

  • An Efficient Approximation of SU(d) Using Decomposition，Proc. of Asian Conference on Quantum Information Science 2006 (AQIS 2006)，147-148，2006年09月

    H. Nishiyama, M. Nakanishi, S. Yamashita and Y. Nakashima

    共著（海外含む）

  • Robust Quantum Algorithms with ε-Biased Oracles，Proc. of 12th Annual International Computing and Combinatorics Conference (COCOON 2006)，116-125，2006年08月

    T. Suzuki, S. Yamashita, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • Quantum Secure Direct Communication Protocols for Transmitting Quantum States，IEICE Technical Report，QIT2006-28 233-234，2006年05月

    Y. Murakami, M. Nakanishi, M. Hagiwara, S. Yamashita and Y. Nakashima

    共著（海外含む）

  • Upper Bounds for Quantum Biased Oracles with Explicit Bias Rate，数解研講究録，1489 135-141，2006年05月

    T. Suzuki, S. Yamashita, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • Online FPGA Placement Using I/O Routing Information，IEICE Technical Report，VLD2006-1 1-6，2006年05月

    M. Tomono, M. Nakanishi, S. Yamashita, K. Nakajima, and K. Watanabe

    共著（海外含む）

  • 3準位量子ゲート設計のためのユニタリ行列近似，第１４回量子情報技術研究会資料，180-183，2006年05月

    西山寛之, 中西正樹, 山下茂, 中島康彦

    共著（国内のみ）

  • Online Task Placement for Partially Reconfigurable FPGAs Using I/O Routing Information，Proc. of Conference of Synthesis And System Integration of Mixed Information technologies (SASIMI 2006)，342-349，2006年04月

    M. Tomono, M. Nakanishi, S. Yamashita, K. Nakajima, and K. Watanabe

    共著（海外含む）

  • A New Approach to Online FPGA Placement，Proc. of Conference of Information Science and Systems，2006年03月

    M. Tomono, M. Nakanishi, S. Yamashita, K. Nakajima, and K. Watanabe

    共著（海外含む）

  • No Preshared-Key Quantum Secret Communication Protocol，Proc. of the 2006 IEICE General Conference，DS-1-12 ，2006年03月

    Y. Murakami, M. Nakanishi, M. Hagiwara, S. Yamashita and Y. Nakashima

    共著（海外含む）

  • Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Conditions，IEICE Trans. Inf. & Syst.，E89-D(3) 1120-1127，2006年03月

    M. Nakanishi, K. Hamaguchi, and T. Kashiwabara

    共著（海外含む）

  • Quantum Communication Complexity for the Distinctness Function on a Ring，Proc. of Workshop on Theory of Quantum Computation, Communication, and Cryptography (TQC2006)，10-11，2006年02月

    S. Tani, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • Quantum Sealing Schemes against Collective Measurement Attacks，IEICE Technical Report，QIT2005-90 229-232，2005年11月

    T. Katsumata, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • Automata with Quantum and Classical Resources，IPSJ Journal，46(10) 2384-2391，2005年10月

    Masaki Nakanishi

    単著

  • Quantum versus Classical Pushdown Automata in Exact Computation，IPSJ Journal，46(10) 2471-2480，2005年10月

    Y. Murakami, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • ビット長に制約がある場合の字数演算の固定小数点演算化，DAシンポジウム 2005，49-54，2005年08月

    土井伸洋，堀山貴史，中西正樹，木村晋二

    共著（国内のみ）

  • 能動関数によるアサーション検証設計，コンピュータソフトウェア，22(3) 76-91，2005年07月

    渡邉勝正，井上晶広，伴野充，蔵川圭，中西正樹，山下茂

    共著（国内のみ）

  • Cheater Identifiable Quantum Secret Sharing Schemes，IEICE Technical Report，ISEC2005-55 89-92，2005年07月

    Y. Murakami, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • Reconfigurable 1-Bit Processor Array with Reduced Wiring Area，Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005)，225-331，2005年06月

    N. Nakai, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • 非線型方程式と整数解の探索に基づく高位合成向けビット長最適化，情報処理学会研究報告，2005-SLDM-119 133-138，2005年03月

    土井伸洋，堀山貴史，中西正樹，木村晋二

    共著（国内のみ）

  • Event-Oriented Computing with Reconfigurable Platform，Proc. of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC2005)，1248-1251，2005年01月

    M. Tomono, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • 携帯機器に多言語のリソースを安定的に供給出来るネットワークサービス，2005年情報学シンポジウム講演論文集，81-86，2005年01月

    小林さとみ, 中西正樹, 渡邉勝正

    共著（国内のみ）

  • 配線リソースを考慮した再構成可能 1bit プロセッサアレイ，情報処理学会研究報告，2005-SLDM-118 7-12，2005年01月

    中井伸郎，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • Toward a Practical Environment for Quantum Programming，Proc. of Asia-Pacific Conference on Quantum Information Science 2004，2004年12月

    S. Yamashita, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • A Quantum Protocol for the List-Nonequality Function，IEICE Technical Report，QIT2004-51 21-25，2004年12月

    S. Tani, M. Nakanishi, and S. Yamashita

    共著（海外含む）

  • ソフトウェアの自己変更を支援する機構について，信学技報，SS2004-34 1-6，2004年11月

    渡邉勝正，井上晶広，山田洋平，中西正樹，山下茂

    共著（国内のみ）

  • An Optimization Method in Floating-point to Fixed-point Conversion using Positive and Negative Error Analysis and Sharing of Operations，Proc. of the 12th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI 2004)，466-471，2004年10月

    N. Doi, T. Horiyama, M. Nakanishi, and S. Kimura

    共著（海外含む）

  • CPUによるマルウェアコードの実行防止，コンピュータセキュリティシンポジウム2004 (CSS2004)，421-426，2004年10月

    岡崎篤也，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • 再構成可能ハードウェアを用いたイベント指向型計算とその応用，第4回リコンフィギャラブルシステム研究会論文集，103-109，2004年09月

    伴野充，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • コンポーネントベース開発のためのアプリケーションフレームワーク，第3回情報科学技術フォーラム (FIT2004)，LA-004，2004年09月

    井上晶広, 蔵川 圭, 中西 正樹, 渡邉勝正

    共著（国内のみ）

  • On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations，Proc. of 10th Annual International Computing and Combinatorics Conference (COCOON 2004)，179-187，2004年08月

    M. Nakanishi

    単著

  • 浮動小数点演算での誤差の増減を考慮した変数のビット長最適化，DA シンポジウム 2004，85-90，2004年07月

    土井伸洋，堀山貴史，中西正樹，木村晋二

    共著（国内のみ）

  • 耐タンパCPUによるプログラム実行の証明，信学技報，ISEC2004-37 165-170，2004年07月

    岡崎篤也，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • Dynamically Reconfigurable Coprocessor for Exception Detection，情処研報，2004-SLDM-115 47-52，2004年05月

    M. Tomono, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • 抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用，信学技報，VLD2004-8 7-12，2004年05月

    土井伸洋，堀山貴史，中西正樹，木村晋二

    共著（国内のみ）

  • Quantum Pushdown Automata that can Deterministically Solve a Certain Problem，Proc. of International Symposium on Mesoscopic Superconductivity and Spintronics (MS+S2004)，310-315，2004年03月

    Y. Murakami, M. Nakanishi, S. Yamashita, and K. Watanabe

    共著（海外含む）

  • Minimization of Fractional Wordlength on Fixed-Point Conversion for High-Level Synthesis，In. Proc. of Asia and South Pacific Design Automation Conference 2004 (ASP-DAC 2004)，80-85，2004年01月

    N. Doi, T. Horiyama, M. Nakanishi, and S. Kimura

    共著（海外含む）

  • Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High-Level Synthesis，IEICE Trans. Fundamentals，E86-A(12) 3184-3191，2003年12月

    N. Doi, T. Horiyama, M. Nakanishi, S. Kimura, and K. Watanabe

    共著（海外含む）

  • One-Sided Error Quantum Pushdown Automata with Classical Stack Operations，IEICE Technical Report，QIT2003-93 155-158，2003年12月

    M. Nakanishi

    単著

  • 能動関数モジュールを再配置可能なアクティブソフトウェア向けアーキテクチャの提案，信学技報，VLD2003-95 151-155，2003年11月

    伴野充，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • 状態空間の分割を用いた量子探索ハードウェアシミュレータ，信学技報，VLD2003-94 145-150，2003年11月

    高木文博，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • Automatic Generation of Java-Based, Database-Independent Query API，IEICE Technical Report，DE2003-115 25-30，2003年10月

    T. Majima, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • 能動関数の配列によるアクティブソフトウェアの構成，日本ソフトウェア科学会 第 20 回大会論文集，4B-1，2003年09月

    渡邉勝正，駱 福全，井上晶広，桑川栄一，水原隆道，中西正樹

    共著（国内のみ）

  • 状態遷移関数を確率的に選択可能な1方向量子有限オートマトン，情報科学技術フォーラム2003 (FIT2003)，A-049，2003年09月

    中西正樹，森下真秀，渡邉勝正

    共著（国内のみ）

  • アクティブソフトウェア構築のための Java API，情報科学技術フォーラム2003 (FIT2003)，B-016，2003年09月

    井上晶広，中西正樹，渡邉勝正

    共著（国内のみ）

  • FPGAを用いた量子探索シミュレータ，情報科学技術フォーラム2003 (FIT2003)，C-031，2003年09月

    高木文博，中西正樹，山下茂，渡邉勝正

    共著（国内のみ）

  • 丸めを考慮した浮動小数点数の固定小数点数への自動変換，DA シンポジウム 2003，209-214，2003年07月

    土井伸洋，堀山貴史，中西正樹，木村晋二

    共著（国内のみ）

  • 畳み込み機構を持つFPGAのマッピング能力について，DA シンポジウム 2003，31-36，2003年07月

    清水友樹，木村晋二，堀山貴史，中西正樹，柳澤政生

    共著（国内のみ）

  • 自発的移送が可能なオブジェクト生成システムの開発， 信学技報，KBSE2003 1-8，2003年05月

    水原隆道，中西正樹，渡邉勝正

    共著（国内のみ）

  • Bit Length Optimization of Fractional Parts on Floating to Fixed Point Conversion for High-Level Synthesis，Proc. of 12th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI2003)，129-136，2003年04月

    N. Doi, T. Horiyama, M. Nakanishi, S. Kimura, and K. Watanabe

    共著（海外含む）

  • An On-Chip High Speed Serial Communication Method Based on Independent Ring Oscillators，Proc. of International Solid-State Circuits Conference (ISSCC2003)，390-391，2003年02月

    S. Kimura, T. Hayakawa, T. Horiyama, M. Nakanishi, and K. Watanabe

    共著（海外含む）

  • 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価， 信学技報，VLD2002-1226 37-42，2003年01月

    梶原裕嗣，中西正樹，堀山貴史，木村晋二，渡邉勝正

    共著（国内のみ）

  • Look Up Table Compaction Based on Folding of Logic Function，IEICE Trans. Fundamentals，E85-A(12) 2701-2707，2002年12月

    S. Kimura, A. Ishii, T. Horiyama, M. Nakanishi, H. Kajihara, and K. Watanabe

    共著（海外含む）

  • Folding of Logic Functions and Its Application to Look Up Table Compaction，Proc. of International Conference on Computer Aided Design (ICCAD2002)，694-698，2002年11月

    S. Kimura, T. Horiyama, M. Nakanishi, and H. Kajihara

    共著（海外含む）

  • ことばによる手話単語の記述と三次元表現，第2回福祉工学シンポジウム講演論文集，189-192，2002年11月

    渡邉勝正，相良かおる，山下隆義，中西正樹，堀山貴史，木村晋二

    共著（国内のみ）

  • 可逆有限オートマトンの拡張による混合状態量子有限オートマトンの表現能力の考察，第7回量子情報技術研究会資料，QIT2002-66 79-84，2002年11月

    森下真秀，中西正樹，渡邉勝正

    共著（国内のみ）

  • Cプログラムからの合成における浮動小数点演算のビット長最適化"，第6回システムLSIワークショップ，263-266，2002年11月

    土井伸洋，堀山貴史，中西正樹，木村晋二，渡邉勝正

    共著（国内のみ）

  • アクティブソフトウェアの動的変更について，日本ソフトウェア科学会 第 19 回大会論文集，4F-1，2002年09月

    渡邉勝正，小林郁典，中西正樹，堀山貴史，木村晋二

    共著（国内のみ）

  • 論理関数の畳み込みを考慮した Look Up Table の設計と実現，DA シンポジウム 2002，223-228，2002年07月

    梶原裕嗣，堀山貴史，中西正樹，木村晋二，渡邉勝正

    共著（国内のみ）

  • 浮動小数点を含む C プログラムからのハードウェア生成におけるビット長最適化，DA シンポジウム 2002，119-124，2002年07月

    土井伸洋，堀山貴史，中西正樹，木村晋二，渡邉勝正

    共著（国内のみ）

  • Expressive Power of Quantum Pushdown Automata with a Classical Stack，IEICE Technical Report，QIT2002-41 195-198，2002年05月

    M. Nakanishi, T. Indoh, K. Hamaguchi, and T. Kashiwabara

    共著（海外含む）

  • 肌色判定と顔の対称性を利用した対顔(たいがん)判定LSI，第15回 回路とシステム(軽井沢)ワークショップ，529-534，2002年04月

    梶原裕嗣, 早川朋一, 松本剛英, 森下真秀, 鈴木真人, 中西正樹, 堀山 貴史, 木村晋二, 渡邉勝正

    共著（国内のみ）

  • 論理関数の畳み込みを考慮した Look Up Table の構造，第15回 回路とシステム(軽井沢)ワークショップ，281-286，2002年04月

    木村晋二, 石井淳, 堀山貴史, 梶原裕嗣, 中西正樹, 渡邉勝正

    共著（国内のみ）

  • 環境適応可能なリアルタイム視線推定 LSI の設計と評価，第15回 回路とシステム(軽井沢)ワークショップ，293-298，2002年04月

    中村一博, 中西正樹, 堀山貴史, 鈴木真人, 木村晋二, 渡邉勝正

    共著（国内のみ）

  • 論理関数の重ね合わせに基づく加減算向き LUT，2002年 電子情報通信学会総合大会，A-3-25，2002年03月

    石井淳, 梶原裕嗣, 中西正樹, 堀山貴史, 木村晋二, 渡邉勝正

    共著（国内のみ）

  • リング発振器を用いたオンチップ高速シリアル通信方式，2002年 電子情報通信学会総合大会，A-3-4，2002年03月

    早川朋一, 木村晋二, 中西正樹, 堀山貴史, 渡邉勝正

    共著（国内のみ）

  • On the Power of Non-deterministic Quantum Finite Automata，IEICE Trans. Inf. & Syst.，E85-D(2) 327-332，2002年02月

    M. Nakanishi, T. Indoh, K. Hamaguchi, and T. Kashiwabara

    共著（海外含む）

  • 顔の対称性を利用した不特定対象リアルタイム対顔判定チップ，第5回システムLSIワークショップ，255-258，2001年11月

    梶原裕嗣, 早川朋一, 松本剛英, 森下真秀, 鈴木正人, 中西正樹 , 堀山貴史, 木村晋二, 渡邉勝正

    共著（国内のみ）

  • A Real-Time User-Independent Eye Tracking LSI with Environment Adaptability，Proc. of 10th Workshop on Synthesis and System Integration of Mixed Technologies (SASIMI 2001)，357-361，2001年10月

    K. Nakamura, M. Nakanishi, T. Horiyama, M. Suzuki, S. Kimura, and K. Watanabe

    共著（海外含む）

  • アクティブソフトウェアの構成と表現について，日本ソフトウェア科学会第18回大会論文集，4D-2，2001年09月

    渡邉勝正, 小林郁典, 木村晋二, 堀山貴史, 中西正樹

    共著（国内のみ）

  • 定数幅量子ブランチングプログラムの計算能力，数解研講究録，1205 25-30，2001年05月

    中西正樹, 浜口清治, 柏原敏伸

    共著（国内のみ）

  • 「型破りのシステム」設計論 -新しい情報システム設計者の育成に向けて-，情報システムと社会環境シンポジウム，25-32，2001年01月

    渡邉勝正, 木村晋二, 堀山貴史, 中西正樹, 伊藤康史, 中村一博, 駱 福全 , 宮脇冨士夫

    共著（国内のみ）

  • 視線インタフェースのためのリアルタイム視線推定LSI，第4回システムLSI琵琶湖ワークショップ，267-270，2000年11月

    中村一博, 中西正樹, 堀山貴史, 鈴木真人, 木村晋二, 渡邉勝正

    共著（国内のみ）

  • Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction，Proc. of 6th Annual International Computing and Combinatorics Conference (COCOON 2000)，467-476，2000年07月

    M. Nakanishi, K. Hamaguchi, and T. Kashiwabara

    共著（海外含む）

  • 1回読み定数幅制約下での量子ブランチングプログラムと確率ブランチングプログラムの計算能力の比較，信学技報，COMP99-95 127-134，2000年03月

    中西正樹, 浜口清治, 柏原敏伸

    共著（国内のみ）

  • クロネッカー式関数決定グラフの最適展開規則選択問題の計算複雑度，電子情報通信学会論文誌 D-I，j83-D-I(1) 115-120，2000年01月

    中西正樹, 澤田 美沙子, 浜口清治, 柏原敏伸

    共著（国内のみ）

  • An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division，IEICE Trans. Fundamentals，E82-A(5) 756-766，1999年05月

    M. Nakanishi, K. Hamaguchi, and T. Kashiwabara

    共著（海外含む）

  • 二分モーメントグラフによる除算表現の大きさの指数下界，信学技報，COMP97-53 63-70，1997年10月

    中西正樹, 浜口清治, 柏原敏伸

    共著（国内のみ）

全件表示 >>

著書

  • 電子情報通信学会 知識ベース，電子情報通信学会，2009年

    中西正樹

総説・解説記事

  • 量子－古典協調計算 - オートマトンの場合 -，情報処理学会，情報処理，47(12) 1341-1346，2006年12月

    中西正樹

工業所有権

  • 特許，マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法，岡崎篤也, 中西正樹, 山下茂, 渡邉勝正

    登録番号（ US7,577,852 B2 ） ，日本国

  • 特許，量子暗号通信方法，村上ユミコ, 中西正樹, 山下茂

    登録番号（ 5078035 ） ，日本国

科研費（文科省・学振）獲得実績

  • 基盤研究(C)，2019年04月 ～ 2023年03月，種々の制約のある量子計算機の能力の解析

    情報学基礎論関連

  • 基盤研究(C)，2016年04月 ～ 2020年03月，メモリアクセスに制約のある量子計算機の能力の解析

  • 新学術領域研究，2012年06月 ～ 2017年03月，量子力学からの計算限界解明へのアプローチ

  • 基盤研究(C)，2012年04月 ～ 2017年03月，省メモリ環境下における量子計算機の能力の解析

  • 若手研究(B)，2009年04月 ～ 2012年03月，実装容易性を考慮した量子情報処理

  • 基盤研究(C)，2008年04月 ～ 2011年03月，行列分解を用いた量子回路設計とその応用

  • 基盤研究(B)，2007年04月 ～ 2010年03月，特性ばらつき隠蔽を特長とする次世代素子向け多重安定化アーキテクチャ

  • 若手研究(B)，2006年04月 ～ 2009年03月，量子-古典協調計算の能力について

  • 特定領域研究，2004年04月 ～ 2008年03月，現実的な状況下での量子計算の能力に関する研究

  • 若手研究(B)，2003年04月 ～ 2006年03月，実現可能性を考慮した量子計算モデルの解析に関する研究

  • 基盤研究(C)，2003年04月 ～ 2006年03月，アクティブソフトウェアの開発環境の構成に関する研究

  • 基盤研究(B)，2000年04月 ～ 2002年03月，環境適応型のハードウェアとソフトウェアの構成手法に関する研究

全件表示 >>

その他競争的資金獲得実績

  • 旭硝子財団研究助成（研究奨励），2015年04月 ～ 2017年03月，ハードウェアを用いた量子アルゴリズムの高速シミュレーションおよびその量子アルゴリズム開発・量子計算モデル解析への応用

    民間財団等

  • 大川情報通信基金 研究助成，2003年04月 ～ 2004年03月，実現可能性を考慮した量子計算モデルとその開発支援環境

    民間財団等

共同研究実施実績

  • 形式的記述手法に基づくハードウェア/ソフトウェア・インタフェース仕様記述の検証技術の研究，2008年，株式会社半導体理工学研究センター，国内共同研究

研究発表

  • 23rd Annual Conference on Quantum Information Processing，国際会議，2020年01月，A hardware simulator architecture for quantum heuristic search algorithms，ポスター発表

  • 22nd Annual Conference on Quantum Information Processing，国際会議，2019年01月，A hardware architecture for simulating the HHL algorithm，ポスター発表

  • 19th Conference on Quantum Information Processing (QIP 2016)，国際会議，2016年01月，A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits，ポスター発表

  • 17th Conference on Quantum Information Processing，国際会議，2014年02月，Quantum Pushdown Automata with Garbage Space，ポスター発表

  • 17th Conference on Quantum Information Processing，国際会議，2014年02月，A Hardware Quantum Circuit Simulator Architecture based on Register Reordering，ポスター発表

  • 14th Workshop on Quantum Information Processing，国際会議，2011年01月，On the weakness of one-way quantum pushdown automata under empty-stack acceptance，ポスター発表

  • The Twelfth Workshop on Quantum Information Processing(QIP2009)，国際会議，2009年01月，Average/Worst-Case Gap of Quantum Query Complexities，ポスター発表

  • The Tenth Workshop on Quantum Information Processing (QIP 2007)，国際会議，2007年01月，Tight Bounds on Information Gains in Quantum Sealing Protocols，ポスター発表

  • The Tenth Workshop on Quantum Information Processing (QIP 2007)，国際会議，2007年01月，A Quantum Secure Direct Communication Protocol for Sending a Quantum State and Its Security Analysis，ポスター発表

  • Workshop on Quantum Information Processing 2005 (QIP2005)，国際会議，2005年01月，A Quantum Protocol for the List-nonequality Function，ポスター発表

  • 第11回量子情報技術研究会，国内会議，2004年12月，（チュートリアル講演）量子オートマトンの計算能力，公開講演，セミナー，チュートリアル，講習，講義等

  • 3rd International Conference on Unconventional Models of Computation (UMC'02)，国際会議，2002年10月，Expressive Power of Quantum Pushdown Automata with a Classical Stack，口頭発表（一般）

全件表示 >>

 

担当授業科目

全件表示 >>

 

学会・委員会等活動

  • 電子情報通信学会，量子情報技術特別研究専門委員会委員，2001年11月 ～ 継続中

  • 電子情報通信学会，第６回量子情報技術研究会実行委員，2002年05月

  • 電子情報通信学会，第８回量子情報技術研究会実行委員，2003年06月

  • 電子情報通信学会，和文論文誌Ａ特集号「量子情報工学」編集幹事，2004年09月 ～ 2005年08月

  • 電子情報通信学会，第１３回量子情報技術研究会実行委員，2005年11月

  • 電子情報通信学会，量子情報技術時限研究専門委員会 幹事，2006年11月 ～ 2008年11月

  • Workshop on Theory of Quantum Computation, Communication, and Cryptography 2007 (TQC2007)，実行委員，2007年01月

  • Asian Conference on Quantum Information Science 2007 (AQIS2007)，実行委員，2007年09月

  • 情報処理学会，論文誌ジャーナル/JIP編集委員，2008年06月 ～ 2012年05月

  • International Conference on Quantum, Nano and Micro Technologies (ICQNM)，プログラム委員，2010年02月 ～ 2020年03月

  • 応用物理学会，第７２回応用物理学会学術講演会 現地実行委員，2011年08月

  • 情報処理学会，論文誌査読委員，2012年06月 ～ 2018年05月

  • Asian Conference on Quantum Information Science 2014 (AQIS2014)，実行委員，2014年08月

  • Workshop on Quantum Computational Complexity，実行委員，2015年07月

  • Asian Conference on Quantum Information Science 2015 (AQIS2015)，実行委員，2015年08月

  • 電子情報通信学会，第３６回量子情報技術研究会実行委員会 副委員長，2017年05月

  • 情報処理学会，論文誌シニア査読委員 ，2018年06月 ～ 継続中

全件表示 >>

社会貢献活動

  • 模擬講義，2022年07月

  • むらやま教師塾，2022年05月

  • むらやま教師塾，2021年07月

  • 山東探究塾Ⅱ課題研究中間発表会，2020年11月

  • 山形東高成果発表会，2020年02月

  • 東桜学館高校でサイエンスコミュニティ研究校発表会，2020年01月

  • 山形東高中間発表会，2019年11月

  • 出張講義，2018年10月

  • 出張講義，2017年12月

  • 出張講義，2017年07月

  • 出張講義，2014年11月

  • 出張講義，2014年11月

  • 教員免許状更新講習，2011年 ～ 継続中

全件表示 >>

相談に応じられる分野

  • アルゴリズム設計