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月

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

共著（国内のみ）

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

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

共著（海外含む）

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

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

共著（国内のみ）

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

共著（海外含む）

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

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

共著（国内のみ）

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

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

共著（国内のみ）

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

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

共著（国内のみ）

基盤研究(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月，環境適応型のハードウェアとソフトウェアの構成手法に関する研究

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，口頭発表（一般）

2023年度，理学特別研究Ⅰ（後期）

2023年度，理学特別演習Ⅳ（数学系）

2023年度，理学特別演習Ⅱ（数学系）

2023年度，情報科学特論

2023年度，理学特別研究Ⅱ（後期）

2023年度，教材開発のための教科内容研究（代数学領域）

2023年度，卒業研究

2023年度，コンピュータアーキテクチャ

2023年度，卒業研究

2023年度，データサイエンス文献講読Ａ

2023年度，情報科学Ａ

2023年度，特別課題演習I

2023年度，代数学概論

2023年度，理学特別研究Ⅱ（前期）

2023年度，理学特別研究Ⅰ（前期）

2023年度，理学特別演習Ⅲ（数学系）

2023年度，理学特別演習Ⅰ（数学系）

2022年度，卒業研究

2022年度，データサイエンス文献講読Ｂ

2022年度，データ構造とアルゴリズム

2022年度，データ構造とアルゴリズム

2022年度，理学特別演習Ⅳ（数学系）

2022年度，理学特別演習Ⅱ（数学系）

2022年度，情報科学特論

2022年度，理学特別研究Ⅱ（後期）

2022年度，理学特別研究Ⅰ（後期）

2022年度，教材開発のための教科内容研究（代数学領域）

2022年度，特別課題研究

2022年度，特別課題演習II

2022年度，卒業研究

2022年度，コンピュータアーキテクチャ

2022年度，卒業研究

2022年度，データサイエンス文献講読Ａ

2022年度，情報科学Ａ

2022年度，特別課題演習I

2022年度，コンピュータアーキテクチャ

2022年度，代数学概論

2022年度，理学特別研究Ⅰ（前期）

2022年度，理学特別演習Ⅲ（数学系）

2022年度，理学特別演習Ⅰ（数学系）

2022年度，理学特別研究Ⅱ（前期）

2021年度，課題研究

2021年度，卒業研究

2021年度，データサイエンス文献講読Ｂ

2021年度，データ構造とアルゴリズム

2021年度，最適化特論

2021年度，特別課題演習II

2021年度，データ構造とアルゴリズム

2021年度，理学特別研究Ⅱ（後期）

2021年度，理学特別研究Ⅰ（後期）

2021年度，理学特別演習Ⅳ（数学系）

2021年度，理学特別演習Ⅱ（数学系）

2021年度，教材開発のための教科内容研究（代数学領域）

2021年度，卒業研究

2021年度，卒業研究

2021年度，コンピュータアーキテクチャ

2021年度，卒業研究

2021年度，データサイエンス文献講読Ｂ

2021年度，データサイエンス文献講読Ａ

2021年度，情報科学Ａ

2021年度，理学特別演習Ⅰ（数学系）

2021年度，情報科学特論

2021年度，特別課題演習I

2021年度，コンピュータアーキテクチャ

2021年度，代数学概論

2021年度，理学特別研究Ⅱ（前期）

2021年度，理学特別研究Ⅰ（前期）

2021年度，理学特別演習Ⅲ（数学系）

2020年度，卒業研究

2020年度，卒業研究

2020年度，データサイエンス文献講読Ｂ

2020年度，データサイエンス文献講読Ａ

2020年度，データ構造とアルゴリズム

2020年度，特別課題演習II

2020年度，最適化特論

2020年度，理学特別研究Ⅱ（後期）

2020年度，理学特別研究Ⅰ（後期）

2020年度，理学特別演習Ⅳ（数学系）

2020年度，情報科学特論

2020年度，教材開発のための教科内容研究（代数学領域）

2020年度，卒業研究

2020年度，コンピュータアーキテクチャ

2020年度，卒業研究

2020年度，データサイエンス文献講読Ｂ

2020年度，データサイエンス文献講読Ａ

2020年度，情報科学Ａ

2020年度，コンピュータアーキテクチャ

2020年度，代数学概論

2020年度，言語理論

2020年度，特別課題演習I

2020年度，理学特別研究Ⅱ（前期）

2020年度，理学特別研究Ⅰ（前期）

2020年度，理学特別演習Ⅲ（数学系）

2019年度，理学特別研究Ⅰ（後期）

2019年度，データ構造とアルゴリズム

2019年度，理学特別研究Ⅱ（後期）

2019年度，情報科学特論

2019年度，最適化特論

2019年度，特別課題演習II

2019年度，理学特別演習Ⅳ（数学系）

2019年度，データサイエンス文献講読Ａ

2019年度，データ構造とアルゴリズム

2019年度，教材開発のための教科内容研究（代数学領域）

2019年度，卒業研究

2019年度，理学特別研究Ⅱ（前期）

2019年度，コンピュータアーキテクチャ

2019年度，情報科学Ａ

2019年度，理学特別研究Ⅰ（前期）

2019年度，言語理論

2019年度，特別課題演習I

2019年度，理学特別演習Ⅲ（数学系）

2019年度，コンピュータアーキテクチャ

2019年度，代数学概論

2018年度，課題研究Ｂ

2018年度，理学特別研究Ⅰ（後期）

2018年度，情報科学特論

2018年度，データ構造とアルゴリズム

2018年度，データ構造とアルゴリズム

2018年度，教材開発のための教科内容研究（代数学領域）

2018年度，理学特別研究Ⅱ（後期）

2018年度，理学特別演習Ⅳ（数学系）

2018年度，教職実践演習（中学校・高等学校）

2018年度，数学科教材開発プロジェクト実習

2018年度，教科内容構成の事例研究

2018年度，卒業研究

2018年度，教職実践プレゼンテーションⅠ（教科教育高度化分野）

2018年度，課題研究Ａ

2018年度，理学特別研究Ⅰ（前期）

2018年度，コンピュータアーキテクチャ

2018年度，代数学概論

2018年度，論理設計

2018年度，言語理論

2018年度，コンピュータアーキテクチャ

2018年度，理学特別研究Ⅱ（前期）

2018年度，理学特別演習Ⅲ（数学系）

2018年度，スタートアップセミナー

2017年度，数理科学特別演習IV

2017年度，情報理論

2017年度，データ構造とアルゴリズム

2017年度，課題研究Ｂ

2017年度，教職実践演習（中学校・高等学校）

2017年度，情報科学特論

2017年度，教材開発のための教科内容研究（代数学領域）

2017年度，卒業研究

2017年度，数理科学特別演習III

2017年度，課題研究Ａ

2017年度，論理設計

2017年度，言語理論

2017年度，プログラミング

2017年度，代数学概論

2016年度，情報理論

2016年度，データ構造とアルゴリズム

2017年度，課題研究Ｂ

2016年度，卒業研究

2016年度，数理科学特別演習I

2016年度，数理科学要論Ｃ

2016年度，情報処理

2016年度，論理設計

2016年度，言語理論

2016年度，プログラミング

2017年度，課題研究Ａ

2017年度，課題研究Ｂ

2015年度，情報理論

2015年度，データ構造とアルゴリズム

2015年度，卒業研究

2015年度，情報処理

2015年度，論理設計

2015年度，言語理論

2015年度，プログラミング

2015年度，課題研究Ａ

2014年度，教職実践演習（中学校・高等学校）

2014年度，情報理論

2014年度，データ構造とアルゴリズム

2014年度，卒業研究

2014年度，情報処理

2014年度，論理設計

2014年度，言語理論

2014年度，プログラミング

2014年度，課題研究Ａ

2013年度，情報理論

2013年度，データ構造とアルゴリズム

2013年度，課題研究Ｂ

2013年度，教職実践演習（中学校・高等学校）

2013年度，データ構造とアルゴリズム

2013年度，卒業研究

2013年度，プログラミング

2013年度，プログラミングＣ

2013年度，課題研究Ａ

2013年度，論理設計

電子情報通信学会，量子情報技術時限研究専門委員会 幹事，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月 ～ 継続中

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

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

出張講義，2018年10月

出張講義，2017年12月

出張講義，2017年07月

出張講義，2014年11月

出張講義，2014年11月

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