NAKANISHI Masaki 中西正樹

… Alternative Names

中西正樹ナカニシマサキ

Less

Researcher Number	40324967
Other IDs
External Links
Affiliation (Current)	2025: 山形大学, 地域教育文化学部, 教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 山形大学, 地域教育文化学部, 教授 2014 – 2017: 山形大学, 地域教育文化学部, 准教授 2011 – 2015: 山形大学, 教育文化学部, 准教授 2008 – 2011: Nara Institute of Science and Technology, 地域教育文化学部, 准教授 2009: 山形大学, 地域教育文化学部・生活総合学科, 准教授 … More 2007 – 2009: 奈良先端科学技術大学院大学, 情報科学研究科, 助教 2007: 奈良先端科技大, 情報科学研究科, 助手 2003 – 2006: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 2000 – 2001: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Basic Section 60010:Theory of informatics-related / Theory of informatics Except Principal Investigator Software / 計算機科学 / Science and Engineering / Fundamental theory of informatics / Computer system/Network / Science and Engineering
Keywords	Principal Investigator 量子計算モデル / 量子アルゴリズム / 量子計算機シミュレータ / 量子オートマトン / 量子計算 / GPGPU / 量子コンピュータシミュレータ / 量子コンピュータ / FPGA / 量子分散計算 … More / affineオートマトン / 量子計算機 / カウンタオートマトン / 量子通信計算量 / 量子暗号 / プッシュダウンオートマトン / 有限オートマトン / 量子プッシュダウンオートマトン / マージ処理 / アルゴリズム / 情報基礎 / VLSI設計 / 量子回路シミュレータ / 量子回路 / 量子質問計算量 / 量子ウォーク / 量子計算量理論 / 量子通信 / 量子情報処理 / 量子-古典協調計算 / 計算モデル / 量子質問量 / 量子秘密通信プロトコル … More Except Principal Investigator 量子計算 / OBDD / アクティブソフトウェア / 量子アルゴリズム / 量子プッシュダウンオートマトン / 量子回路の等価性判定 / Linear Nearest Neighbor / Cosine-Sine分解 / 多準位量子ゲート / 量子回路設計 / Active computer architecture / Re-configurable architecture / Monitoring execution states / Safe program / Language processor / π-expression / Active function / Active software / モバイルプログラム / アクティブオブジェクト / 実行の保証 / アクティブコンピュータアーキテクチャ / 再構成可能アーキテクチャ / 実行状況の監視 / 安全なプログラム / 言語プロセッサ / π計算表示 / 能動関数 / Quantum Computing / Timing Verification / High Level Synthesis / Dynamical Re-construction / Re-configurability / Environmental Adaptability / ハードウェアのタイミング検証 / 論理合成 / 知識ベース / 能動形プログラム / 環境適用 / タイミング検証 / 高位合成 / 動的変更機構 / 再構成可能性 / 環境適応 / 量子回路 / 量子対話型証明 / 計算モデル / 量子情報 / 量子力学 / 量子通信 / 複素アダマール行列 / Mutually Unbiased Basis / 離散対数問題 / SATアルゴリズム / Steane符号 / 隣接互換グラフ / パターンマッチング / 行列分解 / 量子計算理論 / 半導体超微細化 / ハイパフォーマンス・コンピューティング / FPGA / 自己安定回路 / 製造ばらつき / 半導体微細化 / ディペンダブル・コンピューティング / ハードウェア設計 / 量子通信量 / 量子プログラミング / 量子分散計算 / 量子オラクル計算 / 量子オートマトン / 量子分散アルゴリズム / 量子秘密通信 / Quantum Sealing / 量子秘密分散 / エラー回復 / Pure Dephaing / 量子封印 Less

On the power of restricted quantum computation modelsPrincipal Investigator
- Principal Investigator
  
  Nakanishi Masaki
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Yamagata University
Analysis of quantum computers that have constraints on memory accessesPrincipal Investigator
- Principal Investigator
  
  Nakanishi Masaki
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Yamagata University
An Approach to Understand the Limitations of Computation based on Quantum Mechanics
- Principal Investigator
  
  Yamashita Shigeru
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Ritsumeikan University
On the power of space bounded quantum computersPrincipal Investigator
- Principal Investigator
  
  Nakanishi Masaki
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Yamagata University
Implementation-Oriented Quantum Information ProcessingPrincipal Investigator
- Principal Investigator
  
  NAKANISHI Masaki
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Yamagata University
Quantum Circuit Design using Matrix Decomposition and its application
- Principal Investigator
  
  河野泰人
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  NTT Communication Science Laboratories
Multilevel Stabilizing Architecture for Overcoming Process Variation
- Principal Investigator
  
  NAKASHIMA Yasuhiko
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Nara Institute of Science and Technology
On the Power of Quantum-Classical Co-operation ModelsPrincipal Investigator
- Principal Investigator
  
  NAKANISHI Masaki
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nara Institute of Science and Technology
現実的な状況下での量子計算の能力に関する研究
- Principal Investigator
  
  YAMASHITA Shigeru
- Project Period (FY)
  2004 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Nara Institute of Science and Technology
実現可能性を考慮した量子計算モデルの解析に関する研究Principal Investigator
- Principal Investigator
  
  中西正樹
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nara Institute of Science and Technology
Support Environment for Active Software
- Principal Investigator
  
  WATANABE Katsumasa
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
Implementation of Adaptable Hardware and Software for Changing Environment
- Principal Investigator
  
  WATANABE Katsumasa
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY

[Journal Article] A Fast Parallel Merge Algorithm Based on Coarse-Grained Decomposition2023
- Author(s)
  千葉理揮、中西正樹
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J106-D Issue: 2 Pages: 173-183
- DOI
  10.14923/transinfj.2022JDP7019
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2023-02-01
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11816
[Journal Article] Exact Affine Counter Automata2022
- Author(s)
  Nakanishi Masaki, Khadiev Kamil, Prusis Krisjanis, Vihrovs Jevgenijs, Yakaryilmaz Abuzer
- Journal Title
  
  International Journal of Foundations of Computer Science
  
  Volume: 33 Issue: 03n04 Pages: 349-370
- DOI
  10.1142/s012905412241009x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11816
[Journal Article] A hardware architecture for the Walsh?Hadamard transform toward fast simulation of quantum algorithms2020
- Author(s)
  Ayaka Kobori, Rio Takahashi, and Masaki Nakanishi
- Journal Title
  
  CCF Transactions on High Performance Computing
  
  Volume: 2 Issue: 3 Pages: 211-220
- DOI
  10.1007/s42514-020-00028-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K11816
[Journal Article] New results on classical and quantum counter automata2019
- Author(s)
  Masaki Nakanishi, Abuzer Yakaryilmaz, and Aida Gainutdinova
- Journal Title
  
  Discrete Mathematics & Theoretical Computer Science
  
  Volume: 21(4) Pages: 1-21
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11816
[Journal Article] Computational Complexity of Space-Bounded Real Numbers2018
- Author(s)
  Masaki Nakanishi and Marcos Villagra
- Journal Title
  
  arXiv
  
  Volume: arXiv:1805.02572 Pages: 1-16
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00007
[Journal Article] Quantum pushdown automata with garbage tape2018
- Author(s)
  Masaki Nakanishi
- Journal Title
  
  International Journal of Foundations of Computer Science
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00007
[Journal Article] Affine counter automata2017
- Author(s)
  Masaki Nakanishi and Abuzer Yakaryilmaz
- Journal Title
  
  ArXiv
  
  Volume: ArXiv:1703.04281 Pages: 1-15
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106009
[Journal Article] Affine counter automata2017
- Author(s)
  Masaki Nakanishi, Abuzer Yakaryilmaz
- Journal Title
  
  arXiv
  
  Volume: arXiv:1703.04281 Pages: 1-15
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500003
[Journal Article] Affine counter automata2017
- Author(s)
  Masaki Nakanishi, Abuzer Yakaryilmaz
- Journal Title
  
  arXiv
  
  Volume: arXiv:1703.04281 Pages: 1-15
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00007
[Journal Article] Exact affine counter automata2017
- Author(s)
  Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, and Abuzer Yakaryilmaz
- Journal Title
  
  Proc. of the 15th International Conference on Automata and Formal Languages
  
  Volume: EPTCS 252 Pages: 205-218
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00007
[Journal Article] Cache-aware quantum circuit simulation on a GPGPU2016
- Author(s)
  M. Nakanishi, N. Morioka, and K. Shoji
- Journal Title
  
  Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)
  
  Volume: n/a Pages: 11-12
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00007
[Journal Article] Cache-aware quantum circuit simulation on a GPGPU2016
- Author(s)
  Masaki Nakanishi, Naohiro Morioka, and Kenta Shoji
- Journal Title
  
  Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)
  
  Volume: n/a Pages: 11-12
- Peer Reviewed
- Data Source
  KAKENHI-PLANNED-24106009
[Journal Article] Quantum Query Complexity of Almost All Functions with Fixed On-Set2016
- Author(s)
  A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
- Journal Title
  
  Computational Complexity
  
  Volume: 25 Issue: 4 Pages: 723-735
- DOI
  10.1007/s00037-016-0139-6
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H01677, KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016, KAKENHI-PROJECT-16H02782, KAKENHI-PROJECT-24500003, KAKENHI-PROJECT-16K00007
[Journal Article] Cache-aware quantum circuit simulation on a GPGPU2016
- Author(s)
  M. Nakanishi, N. Morioka, and K. Shoji
- Journal Title
  
  Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)
  
  Volume: n/a Pages: 11-12
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500003
[Journal Article] A Fast Quantum Computer Simulator Based on Register Reordering2016
- Author(s)
  M. Nakanishi, M. Matsuyama, and Y. Yokoo
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E99.D Issue: 2 Pages: 332-340
- DOI
  10.1587/transinf.2015EDP7260
- NAID
  130005122006
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
[Journal Article] Quantum Pushdown Automata with a Garbage Tape2015
- Author(s)
  Masaki Nakanishi
- Journal Title
  
  Proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Lecture Notes in Computer Science
  
  Volume: 8939 Pages: 352-363
- DOI
  10.1007/978-3-662-46078-8_29
- ISBN
  9783662460771, 9783662460788
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24500003
[Journal Article] Classical and Quantum Counter Automata on Promise Problems2015
- Author(s)
  M. Nakanishi and A. Yakaryılmaz
- Journal Title
  
  Proc. of the 20th International Conference on Implementation and Application of Automata (CIAA 2015)
  
  Volume: LNCS 9223 Pages: 224-237
- DOI
  10.1007/978-3-319-22360-5_19
- ISBN
  9783319223599, 9783319223605
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
[Journal Article] Classical and quantum counter automata on promise problems2014
- Author(s)
  Masaki Nakanishi and Abuzer Yakaryilmaz
- Journal Title
  
  CoRR
  
  Volume: abs/1412.6761 Pages: 1-14
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500003
[Journal Article] A quantum algorithm processor architecture based on register reordering2014
- Author(s)
  Masaki Nakanishi, Miki Matsuyama, and Yumi Yokoo
- Journal Title
  
  Proceedings of the 22nd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2014)
  
  Volume: なし Pages: 1-6
- DOI
  10.1109/vlsi-soc.2014.7004175
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24500003
[Journal Article] Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication2013
- Author(s)
  M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E96.D Issue: 1 Pages: 1-8
- DOI
  10.1587/transinf.E96.D.1
- NAID
  10031167374
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016, KAKENHI-PROJECT-22500009, KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23500018, KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
[Journal Article] Quantum walks on the line with phase parameters2012
- Author(s)
  M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
- Journal Title
  
  IEICE Trans. Inf. &Syst
  
  Volume: vol.E95-D, no.3 Pages: 722-730
- NAID
  10030611496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] Quantum walks on the line with phase parameters2012
- Author(s)
  M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: vol.E95-D,no.3 Pages: 722-730
- NAID
  10030611496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011
- Author(s)
  Y. Hirata, M. Nakanishi, S. Yamashita, and Y. Nakashima
- Journal Title
  
  Quantum Information &Computation
  
  Volume: vol.11, no.1& 2 Pages: 142-166
- URL
  http://portal.acm.org/citation.cfm?id=2011393
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] Symbolic discord computation for efficient analysis of message sequence charts2011
- Author(s)
  Y.Kakiuchi, T.Nakagawa, K.Hamaguchi, T.Tanimoto, M.Nakanishi
- Journal Title
  
  IPSJ Transactions on System LSI Design Methodology
  
  Volume: vol.4 Pages: 210-221
- NAID
  130002073518
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011
- Author(s)
  Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
- Journal Title
  
  Quantum Information and Computation vol.11,no.1&2
  
  Pages: 142-166
- Data Source
  KAKENHI-PROJECT-20500024
[Journal Article] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011
- Author(s)
  Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
- Journal Title
  
  Quantum Information & Computation
  
  Volume: vol.11, no.1&2 Pages: 142-166
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] On the Weakness of One-Way Quantum Pushdown Automata2010
- Author(s)
  M.Nakanishi
- Journal Title
  
  Proc. of the 4th International Conference on Quantum, Nano and Micro Technologies(ICQNM2010)
  
  Pages: 83-87
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] 量子計算の並列シミュレーションにおける通信量削減手法2010
- Author(s)
  柴田章博,中田尚,中西正樹,山下茂,中島康彦
- Journal Title
  
  電子情報通信学会論文誌 D
  
  Volume: vol.J93-D, no.3 Pages: 253-264
- NAID
  110006944030
- URL
  http://search.ieice.org/bin/summary.php?id=j93-d_3_253&category=D&year=2010&lang=J&abst=
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700016
[Journal Article] On the Weakness of One-Way Quantum Pushdown Automata2010
- Author(s)
  M. Nakanishi
- Journal Title
  
  roc. of the Fourth International Conference on Quantum, Nano and Micro Technologies (ICQNM2010)
  
  Pages: 83-87
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] 量子計算の並列シミュレーションにおける通信量削減手法2010
- Author(s)
  柴田章博, 中田尚, 中西正樹, 山下茂, 中島康彦
- Journal Title
  
  電子情報通信学会論文誌D vol.J93-D,no.3
  
  Pages: 253-264
- NAID
  110006944030
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture2009
- Author(s)
  Y. Hirata, M. Nakanishi, S. Yamashita, Y. Nakashima
- Journal Title
  
  Proc. of the Third International Conference on Quantum, Nano and Micro Technologies(ICQNM 2009)
  
  Pages: 26-33
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Synthesis of quantum circuits for d-level systems by using Cosine-Sine decomposition2009
- Author(s)
  Y.Nakajima, Y.Kawano, H.Sekigawa, M.Nakanishi, S.Yamashita, Y.Nakashima
- Journal Title
  
  Quantum Information and Computation Vol.9,No.5&6
  
  Pages: 423-443
- Data Source
  KAKENHI-PROJECT-20500024
[Journal Article] Synthesis of Quantum Circuits for d-Level Systems by using Cosine-Sine Decomposition2009
- Author(s)
  Y. Nakajima, Y. Kawano, H. Sekigawa, M. Nakanishi, S. Yamashita, Y. Nakashima
- Journal Title
  
  Quantum Information & Computation vol.9,no.5&6
  
  Pages: 423-443
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Multi-Party Quantum Communication Complexity with Routed Messages2009
- Author(s)
  S. Tani, M. Nakanishi, S. Yamashita
- Journal Title
  
  IEICE Trans. Inf. & Syst. vol.E92-D,no.2
  
  Pages: 191-199
- NAID
  10026807413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008
- Author(s)
  Masaki Nakanishi
- Journal Title
  
  Proc. of 2008 International Symposium on Information Theory and its Applications
  
  Pages: 1493-1496
- Data Source
  KAKENHI-PROJECT-19300012
[Journal Article] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008
- Author(s)
  M. Nakanishi, Y. Murakami
- Journal Title
  
  Proc. of 2008 International Symposium on Information Theory and its Applications(ISITA2008)
  
  Pages: 1493-1496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] "Quantum Query Complexity of Boolean Functions with Small On-Sets2008
- Author(s)
  A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
- Journal Title
  
  Proc. of the 19th International Symposium on Algorithms and Computation (ISAAC 2008)
  
  Pages: 907-918
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008
- Author(s)
  Masaki Nakanishi
- Journal Title
  
  Proc. of 2008 International Symposium on Information Theory and its Applications ISITA2008
  
  Pages: 1493-1496
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300012
[Journal Article] A Functional Unit with Small Variety of Highly Reliable Cells2008
- Author(s)
  Kazunori SUZUKI, Takashi NAKADA, Masaki NAKANISHI, Shigeru YAMASHITA, Yasuhiko NAKASHIMA
- Journal Title
  
  14th Pacific Rim International Symposium on Dependable Computing (PRDC'08)
  
  Pages: 353-354
- Data Source
  KAKENHI-PROJECT-19300012
[Journal Article] Multi-Party Quantum Communication Complexity with Routed Messages2008
- Author(s)
  S. Tani, M. Nakanishi, S. Yamashita
- Journal Title
  
  Proc. of the 14th Annual International Computing and Combinatorics Conference(COCOON2008)
  
  Pages: 180-190
- NAID
  10026807413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] A Method for Secure FPGA Configuration2008
- Author(s)
  Masaki Nakanishi
- Journal Title
  
  Proc. of Computer Security Symposium2008 CSS2008(CD-ROM)
- Data Source
  KAKENHI-PROJECT-19300012
[Journal Article] A Practical Framework to Utilize Quantum Search2007
- Author(s)
  S. Yamashita, M. Nakanishi
- Journal Title
  
  Proc. of the 2007 IEEE Congress on Evolutionary Computation (CEC2007)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] A Quantum Secure Direct Communication Protocol for Sending a Quantum State and Its Security Analysis2007
- Author(s)
  Y. Murakami, M. Nakanishi, S. Yamashita, Y. Nakashima, M. Hagiwara
- Journal Title
  
  Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)
  
  Pages: 91-97
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] An Information-Theoretic Security Analysis of Quantum String Sealing2007
- Author(s)
  M. Nakanishi, S. Tani, S. Yamashita
- Journal Title
  
  Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)
  
  Pages: 30-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Tight bounds on information gains in quantum sealing protocols2007
- Author(s)
  M.Nakanishi
- Journal Title
  
  The Tenth Workshop on Quantum Information Processing (QIP 2007)
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Robust Quantum Algorithms Computing OR with $\eps$-biased Oracles2007
- Author(s)
  T. Suzuki, S. Yamashita, M. Nakanishi, K. Watanabe
- Journal Title
  
  IEICE Trans. Inf. & Syst. vol.E90-D,no.2
  
  Pages: 395-402
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Expressive power of quantum pushdown automata with classical stack operations under the perfect-soundness conditions2006
- Author(s)
  M.Nakanishi
- Journal Title
  
  IEICE Transactions on Information and Systems VolE89-D, no.3
  
  Pages: 1120-1127
- NAID
  110004719389
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] Quantum communication complexity for the distinctness function on a ring2006
- Author(s)
  S.Tani, M.Nakanishi, S.Yamashita
- Journal Title
  
  Workshop on Theory of Quantum Computation Communication and Cryptography 2006 TQC2006
  
  Pages: 10-11
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Upper bounds or quantum biased oracles with explicit bias rate2006
- Author(s)
  T.Suzuki, S.Yamashita, M.Nakanishi, K.Watanabe
- Journal Title
  
  LA Symposium
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] No preshared key quantum secret communication protocol2006
- Author(s)
  Y.Murakami, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  電子情報通信学会2006年総合大会講演論文集
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Expressive power of guantum pushdown automata with classical stack operations under the perfect-soundness conditions2006
- Author(s)
  M.Nakanishi, K.Hamaguchi, T.Kashiwabara
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E89-D, no.3
  
  Pages: 1120-1127
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] π計算表示から能動形プログラムの枠組みの生成2006
- Author(s)
  渡邉勝正, 駱福全, 中西正樹, 山下茂
- Journal Title
  
  電子情報通信学会技術研究報告, SS 2006-6
  
  Pages: 31-36
- NAID
  110004662812
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 量子文字列封印における復号化率と検出率のトレードオフについて2006
- Author(s)
  中西正樹
- Journal Title
  
  電子情報通信学会量子情報技術研究会 QIT2006-98
  
  Pages: 233-236
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] 量子文字列封印における復号化率と検出率のトレードオフについて2006
- Author(s)
  中西正樹
- Journal Title
  
  第15回量子情報技術研究会資料
  
  Pages: 233-236
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Robust Quantum Algorithms withε-Biased Oracles2006
- Author(s)
  T. Suzuki, S. Yamashita, M. Nakanishi, K. Watanabe
- Journal Title
  
  Proc. of 12th Annual International Computing and Combinatorics Conference (COCOON 2006), LNCS 4112
  
  Pages: 116-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700011
[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005
- Author(s)
  N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  In. Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005
  
  Pages: 225-231
- NAID
  110003295373
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 能動関数によるアサーション検証設計2005
- Author(s)
  渡邉勝正, 井上晶広, 伴野充, 蔵川圭, 中西正樹, 山下茂
- Journal Title
  
  コンピュータソフトウェア 22,3
  
  Pages: 76-91
- NAID
  110008016661
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Quantum Protocol for the List-nonequality Function2005
- Author(s)
  S.Tani, M.Nakanishi, S.Yamashita
- Journal Title
  
  Workshop on Quantum Information Processing 2005 QIP2005
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] Cheater identifiable quantum secret sharing schemes2005
- Author(s)
  Y.MuraKami, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  IEICE Technical Report, QIT2005-55
  
  Pages: 89-82
- NAID
  110003298621
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] 不正者を識別可能な量子秘密分散法2005
- Author(s)
  村上ユミコ, 中西正樹, 山下茂, 渡邉勝正
- Journal Title
  
  電子情報通信学会技術研究報告,ISEC 2005-55
  
  Pages: 89-92
- NAID
  110003298621
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 拡張に適したアクティブソフトウェアの設計解析法2005
- Author(s)
  渡邉勝正, 井上晶広, 伴野充, 蔵川圭, 中西正樹, 山下茂
- Journal Title
  
  日本ソフトウェア科学会第22回大会論文集 2005、Spe(CD-ROM)
- NAID
  130004638927
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 拡張に適したアクテイブソフトウェアの設計解析法2005
- Author(s)
  渡邉勝正, 井上晶広, 蔵川圭, 中西正樹, 山下茂
- Journal Title
  
  日本ソフトウェア科学会第22回大会論文集 2005,Sep(CD-ROM)
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Quantum Protocol for the List-nonequality Function2005
- Author(s)
  S.Tani, M.Nakanishi, S.Yamashita
- Journal Title
  
  Workshop on Quantum Information Processing 2005 QIP2005
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Quantum versus classical pushdown automata in exact computation2005
- Author(s)
  Y.Murakami, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  IPSJ Journal Vol.46, no.10
  
  Pages: 2471-2480
- NAID
  130000022371
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Event-Oriented Computing with Reconfigurable Platform2005
- Author(s)
  M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  Proc.of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005)
  
  Pages: 1248-1251
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005
- Author(s)
  N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005)
  
  Pages: 225-231
- NAID
  110003295373
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 配線リソースを考慮した再構成可能1bitプロセッサアレイ2005
- Author(s)
  中井伸郎, 中西正樹, 山下茂, 渡邉勝正
- Journal Title
  
  電子情報通信学会,信学技法 SLDM2005-1
  
  Pages: 7-12
- NAID
  110003295373
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 能動関数によるアサーション検証設計2005
- Author(s)
  渡邉勝正, 井上晶広, 伴野充, 蔵川圭, 中西正樹, 山下茂
- Journal Title
  
  コンピュータソフトウェア 22・3
  
  Pages: 76-91
- NAID
  110008016661
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Method of Analysis and Design of extensible Active Software2005
- Author(s)
  K.Watanabe, A.Inoue, K, Kurakawa, M.Nakanishi, S.Yamashita
- Journal Title
  
  22-th Conference of Japan Society for Software Science and Technology (CD-ROM)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Assertion Verification Design by Active Software2005
- Author(s)
  K.Watanabe, A.Inoue, M.Tomono, K.Kurakawa, M.Nakanishi, S.Yamashita
- Journal Title
  
  Computer Software Vol.22, No.3
  
  Pages: 76-91
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Online FPGA Placement under I/O Timing Constraints2005
- Author(s)
  M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  電子情報通信学会技術研究報告,RECONF 2005-73
  
  Pages: 7-12
- NAID
  110004019726
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Event-Oriented Computing with Reconfigurable Platform2005
- Author(s)
  M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  In Proc. of the 10th Asia and South Pacific Design Automation Conference ASP-DAC 2005
  
  Pages: 1248-1251
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005
- Author(s)
  N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  In.Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005
  
  Pages: 225-231
- NAID
  110003295373
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Toward a Practical Environment for Quantum Programming2005
- Author(s)
  S.Yamashita, M.Nakanishi, K.Watanabe
- Journal Title
  
  Asia-Pacific Conference on Quantum Information Science APCQIS 2004(印刷中)
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Quantum sealing schemes against collective measurement attacks2005
- Author(s)
  T.Katsumata, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  IEICE Technical Report, QIT2005-90
  
  Pages: 229-232
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Automata with quantum and classical resources2005
- Author(s)
  M.Nakanishi
- Journal Title
  
  TPSJ Journal Vol.46, no.10
  
  Pages: 2384-2391
- NAID
  130000058402
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Automata with quantum and classical resources2005
- Author(s)
  M.Nakanishi
- Journal Title
  
  IPSJ Journal Vol.46, no.10
  
  Pages: 2384-2391
- NAID
  130000058402
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] Toward a Practical Environment for Quantum Programming2005
- Author(s)
  S.Yamashita, M.Nakanishi, K.Watanabe
- Journal Title
  
  Proc.Of Asia-Pacific Conference on Quantum Information Science APCQIS 2004(印刷中)
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] CPUによるマルウェアコードの実行防止2004
- Author(s)
  岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
- Journal Title
  
  コンピュータセキュリティシンポジウム2004 CSS2004
  
  Pages: 421-426
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations2004
- Author(s)
  M.Nakanishi
- Journal Title
  
  Proc.of 10th Annual International Computing and Combinatorics Conference (COCOON 2004) LNCS 3106
  
  Pages: 179-187
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations2004
- Author(s)
  M.Nakanishi
- Journal Title
  
  Proc.of 10th Annual International Computing and Combinatorics Conference (COCOON 2004) LNCS 3106
  
  Pages: 179-187
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] Blocking Malware Code Execution by CPU2004
- Author(s)
  A.Okazaki, M.Nakanishi, S.Yamashita, K.Watanabe
- Journal Title
  
  Computer Security Symposium 2004 (CSS2004)
  
  Pages: 421-426
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] コンポーネントベース開発のためのアプリケーションフレームワーク2004
- Author(s)
  井上晶広, 蔵川圭, 中西正樹, 渡邉勝正
- Journal Title
  
  情報科学技術フォーラムFIT,情報科学技術レターズ 3
  
  Pages: 9-11
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] リスト型非等価関数を計算する量子プロトコル2004
- Author(s)
  谷誠一郎, 中西正樹, 山下茂
- Journal Title
  
  電子情報通信学会量子情報技術研究会 QIT2004-51
  
  Pages: 21-25
- Data Source
  KAKENHI-PROJECT-16092218
[Journal Article] 量子オートマトンの計算能力2004
- Author(s)
  中西正樹
- Journal Title
  
  電子情報通信学会量子情報技術研究会 QIT2004-50
  
  Pages: 16-20
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] リスト型非等価関数を計算する量子プロトコル2004
- Author(s)
  谷誠一郎, 中西正樹, 山下茂
- Journal Title
  
  電子情報通信学会量子情報技術研究会 QIT2004-51
  
  Pages: 21-25
- Data Source
  KAKENHI-PROJECT-15700014
[Journal Article] 耐タンパCPUによるプログラム実行の証明2004
- Author(s)
  岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
- Journal Title
  
  情報処理学会研究会報告CSECコンピュータセキュリティ Vol.2004, No.75
  
  Pages: 165-170
- NAID
  110003296477
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] ソフトウェアの自己変更を支援する機構について2004
- Author(s)
  渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂
- Journal Title
  
  電子情報通信学会ソフトウェアサイエンス研究会信学技報 SS2004-34
  
  Pages: 1-6
- NAID
  110003277239
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] Active Software with arrays of Active Functions2003
- Author(s)
  K.Watanabe, Lo Fuchuan, A.Inoue, K, Kuwakawa, T.Mizuhara, M.Nakanishi
- Journal Title
  
  20-th Conference of Japan Society for Software Science and Technology (CD-ROM)
- NAID
  130004638807
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Journal Article] 能動関数の配列によるアクティブソフトウェアの構成2003
- Author(s)
  渡邉勝正, 駱福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹
- Journal Title
  
  日本ソフトウェア科学会第20回大会論文集 2003、Sep(CD-RIM)
- NAID
  130004638807
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Patent] 特許権2006
- Inventor(s)
  村上ユミコ, 中西正樹, 山下茂
- Industrial Property Rights Holder
  奈良先端科学技術大学院大学
- Industrial Property Number
  2006-059933
- Filing Date
  2006-03-06
- Data Source
  KAKENHI-PROJECT-16092218
[Patent] 特許権2006
- Inventor(s)
  村上ユミコ, 中西正樹, 山下茂
- Industrial Property Rights Holder
  奈良先端科学技術大学院大学
- Industrial Property Number
  2006-058933
- Filing Date
  2006-03-06
- Data Source
  KAKENHI-PROJECT-15700014
[Patent] マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法2005
- Inventor(s)
  岡崎, 中西, 山下, 渡邉
- Industrial Property Rights Holder
  岡崎, 中西, 山下, 渡邉
- Industrial Property Number
  2005-013190
- Filing Date
  2005-01-20
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500023
[Presentation] A hardware simulator architecture for quantum heuristic search algorithms2020
- Author(s)
  Ayaka Kobori, Rio Takahashi, and Masaki Nakanishi
- Organizer
  23rd Annual Conference on Quantum Information Processing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11816
[Presentation] A hardware architecture for simulating the HHL algorithm2019
- Author(s)
  Kimika Beppu, Kanae Nakabayashi, and Masaki Nakanishi
- Organizer
  22nd Annual Conference on Quantum Information Processing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00007
[Presentation] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2017
- Author(s)
  中鉢大喜，中西正樹
- Organizer
  第35回量子情報技術研究会
- Place of Presentation
  高エネルギー加速器研究機構（茨城県つくば市）
- Year and Date
  2017-03-13
- Data Source
  KAKENHI-PLANNED-24106009
[Presentation] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2016
- Author(s)
  中鉢大喜, 中西正樹
- Organizer
  第35回量子情報技術研究会
- Place of Presentation
  高エネルギー加速器研究機構
- Year and Date
  2016-11-24
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits2016
- Author(s)
  Ryo Wakabari, Sayaka Katakura, and Masaki Nakanishi
- Organizer
  19th Conference on Quantum Information Processing (QIP 2016)
- Place of Presentation
  Banff, Canada
- Year and Date
  2016-01-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2016
- Author(s)
  中鉢大喜, 中西正樹
- Organizer
  第35回量子情報技術研究会
- Place of Presentation
  高エネルギー加速器研究機構
- Year and Date
  2016-11-24
- Data Source
  KAKENHI-PROJECT-16K00007
[Presentation] A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits2016
- Author(s)
  Masaki Nakanishi
- Organizer
  19th Conference on Quantum Information Processing (QIP 2016)
- Place of Presentation
  Banff (Canada)
- Year and Date
  2016-01-11
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-24106009
[Presentation] A Hardware Quantum Circuit Simulator Architecture based on Register Reordering2014
- Author(s)
  M. Matsuyama, Y. Yokoo and M. Nakanishi
- Organizer
  The 17th Conference on Quantum Information Processing (QIP2014)
- Place of Presentation
  バルセロナ，スペイン
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] Quantum Pushdown Automata with Garbage Space2014
- Author(s)
  M. Nakanishi
- Organizer
  The 17th Conference on Quantum Information Processing (QIP2014)
- Place of Presentation
  バルセロナ，スペイン
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ2013
- Author(s)
  松山美紀，横尾優美，中西正樹
- Organizer
  第29回量子情報技術研究会
- Place of Presentation
  早稲田大学，東京
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] ガーベッジテープを持つ量子プッシュダウンオートマトン2013
- Author(s)
  中西正樹
- Organizer
  第29回量子情報技術研究会
- Place of Presentation
  早稲田大学，東京
- Data Source
  KAKENHI-PROJECT-24500003
[Presentation] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011
- Author(s)
  M. Nakanishi
- Organizer
  14th Workshop on Quantum InformationProcessing
- Place of Presentation
  セントーサ・The Capella(シンガポール)
- Year and Date
  2011-01-10
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011
- Author(s)
  M.Nakanishi
- Organizer
  The 14^<th> Workshop on Quantum Information Processing 2011
- Place of Presentation
  シンガポール
- Year and Date
  2011-01-10
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011
- Author(s)
  M.Nakanishi
- Organizer
  14th Workshop on Quantum Information Processing
- Place of Presentation
  セントーサ,シンガポール
- Year and Date
  2011-01-10
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] Quantum query complexity of hamming distance estimation2011
- Author(s)
  M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  Asian Quantum Information Science Conference 2011 (AQIS2011)
- Place of Presentation
  釜山,韓国
- Year and Date
  2011-08-24
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] On the Weakness of One-Way Quantum Pushdown Automata2010
- Author(s)
  M.Nakanishi
- Organizer
  Fourth International Conference on Quantum, Nano and Micor Technologies(ICQNM2010)
- Place of Presentation
  St.Maarten., Netherlands Antilles, オランダ
- Year and Date
  2010-02-11
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] On the Weakness of One-Way Quantum Pushdown Automata2010
- Author(s)
  Masaki Nakanishi
- Organizer
  Fourth International Conference on Quantum, Nano and Micor Technologies(ICQNM2010)
- Place of Presentation
  St.Maarten., Netherlands Antilles(オランダ)
- Year and Date
  2010-02-11
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] A SAT Solver Based on Quantum and Classical Random Walk2010
- Author(s)
  D.Yokomine, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  Asian Conference on Quantum Information Science 2010 (AQIS2010)
- Place of Presentation
  東京大学,東京
- Year and Date
  2010-08-27
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] Asymptotics of Quantum Walks on the Line with Phase Parameters2010
- Author(s)
  M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  Asian Conference on Quantum Information Science 2010 (AQIS2010)
- Place of Presentation
  東京大学,東京
- Year and Date
  2010-08-27
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] A SAT Solver Based on Quantum and Classical Random Walk2010
- Author(s)
  D.Yokomine, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  The 10^<th> Asian Conference on Quantum Information Science 2010(AQIS2010)
- Place of Presentation
  東京大学
- Year and Date
  2010-08-29
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] Asymptotics of Quantum Walks on the Line with Phase Parameters2010
- Author(s)
  M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  The 10^<th> Asian Conference on Quantum Information Science 2010(AQIS2010)
- Place of Presentation
  東京大学
- Year and Date
  2010-08-29
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] On the Weakness of One-Way Quantum Pushdown Automata2010
- Author(s)
  M. Nakanishi
- Organizer
  The Fourth International Conference on Quantum, Nano and Micro Technologies(ICQNM2010)
- Place of Presentation
  セントマーチン・Sonesta Maho Beach Resort& Casino(オランダ領アンティル)
- Year and Date
  2010-02-11
- Data Source
  KAKENHI-PROJECT-21700016
[Presentation] An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture, The Third International Conference on Quantum2009
- Author(s)
  Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
- Organizer
  Nano and Micro Technologies
- Place of Presentation
  Fiesta Americana Condesa Cancun, メキシコ
- Year and Date
  2009-02-02
- Data Source
  KAKENHI-PROJECT-20500024
[Presentation] An almost optimal quantum string sealing protocol and its security analysis2008
- Author(s)
  M. Nakanishi
- Organizer
  The 2nd AAAC Annual Meeting AAAC09
- Place of Presentation
  Hangzhou Huajia SHAN Resort (中国)
- Year and Date
  2008-04-26
- Data Source
  KAKENHI-PROJECT-16092218
[Presentation] A Scheme for Protecting FPGA Configuration Bitstreams2008
- Author(s)
  M. Nakanishi
- Organizer
  Symposium on Cryptography and Information Security (SCIS2008)
- Place of Presentation
  宮崎
- Year and Date
  2008-01-22
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] FPGAのスイッチマトリクスを対象とするソフトエラー対策2008
- Author(s)
  洪勇基, 中西正樹, 山下茂, 中島康彦
- Organizer
  IEICE Technical Report
- Place of Presentation
  北九州市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] 高信頼セルによる回路の信頼性言平価2008
- Author(s)
  堀田敬一, 中田尚, 中西正樹, 山下茂, 中島康彦
- Organizer
  IEICE Technical Report
- Place of Presentation
  北九州市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] 少品種高信頼セルによる演算器の提案と評価2008
- Author(s)
  鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
- Organizer
  信学技報
- Place of Presentation
  屋久島町
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] A Method for Secure FPGA Configuration2008
- Author(s)
  Masaki Nakanishi
- Organizer
  Proc. of Computer Security Symposium2008
- Place of Presentation
  沖縄宣野湾市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] A Method for Secure FPGA Configuration2008
- Author(s)
  M. Nakanishi
- Organizer
  Computer Security Symposium2008(CSS2008)
- Place of Presentation
  沖縄
- Year and Date
  2008-10-08
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] An FPGA Configuration Scheme for Bitstream Protection2008
- Author(s)
  Masaki Nakanishi
- Organizer
  Proc. of International Workshop on Applied Reconfigurable Computing (ARC2008)
- Place of Presentation
  ロンドン
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] 高信頼セルによる演算器の耐故障性と遅延時間の評価2008
- Author(s)
  鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
- Organizer
  SWoPP2008
- Place of Presentation
  佐賀市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] An Almost Optimal Quantum String Sealing Protocol and Its Security Analysis2008
- Author(s)
  M. Nakanishi
- Organizer
  AAAC2008
- Place of Presentation
  香港
- Year and Date
  2008-04-26
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] An almost optimal quantum string sealing protocol and its security analysis2008
- Author(s)
  M. Nakanishi
- Organizer
  The 2nd AAAC Annual Meeting AAAC09
- Place of Presentation
  Hangzhou Huajia SHAN Resort (中国)
- Year and Date
  2008-04-26
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] SRAMベースFPGAにおける耐ソフトエラーLUT構成法2007
- Author(s)
  里山宏平, 中田尚, 中西正樹, 山下茂, 中島康彦
- Organizer
  IEICE Technical Report
- Place of Presentation
  北九州市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] An information-theoretic security analysis of quantum string sealing2007
- Author(s)
  M. Nakanishi
- Organizer
  6th WSEAS International Conference on Information Security and Privacy
- Place of Presentation
  Puerto De La Cruz, Tenerife, Canary Islands, Spain
- Year and Date
  2007-12-14
- Data Source
  KAKENHI-PROJECT-16092218
[Presentation] Tight Bounds on Information Gains in Quantum Sealing Protocols2007
- Author(s)
  M. Nakanishi
- Organizer
  The Tenth Workshop on Quantum Information Processing (QIP 2007)
- Place of Presentation
  オーストラリア.
- Year and Date
  2007-01-31
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] 細粒度命令分解と少品種セルによる高信頼化アーキテクチャの提案2007
- Author(s)
  鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
- Organizer
  IPSJ SIG Technical Report
- Place of Presentation
  北九州市
- Data Source
  KAKENHI-PROJECT-19300012
[Presentation] 量子文字列封印における復号化率と検出率のトレードオフについて2006
- Author(s)
  中西正樹
- Organizer
  量子情報技術研究会
- Place of Presentation
  京都
- Year and Date
  2006-11-21
- Data Source
  KAKENHI-PROJECT-18700011
[Presentation] Quantum Pushdown Automata with Garbage Space
- Author(s)
  M. Nakanishi
- Organizer
  The 17th Conference on Quantum Information Processing (QIP2014)
- Place of Presentation
  バルセロナ, スペイン
- Data Source
  KAKENHI-PLANNED-24106009
[Presentation] A Hardware Quantum Circuit Simulator Architecture based on Register Reordering
- Author(s)
  M. Matsuyama, Y. Yokoo and M. Nakanishi
- Organizer
  The 17th Conference on Quantum Information Processing (QIP2014)
- Place of Presentation
  バルセロナ, スペイン
- Data Source
  KAKENHI-PLANNED-24106009
[Presentation] レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ
- Author(s)
  松山美紀，横尾優美，中西正樹
- Organizer
  第29回量子情報技術研究会
- Place of Presentation
  早稲田大学, 東京都
- Data Source
  KAKENHI-PLANNED-24106009
[Presentation] ガーベッジテープを持つ量子プッシュダウンオートマトン
- Author(s)
  中西正樹
- Organizer
  第29回量子情報技術研究会
- Place of Presentation
  早稲田大学, 東京都
- Data Source
  KAKENHI-PLANNED-24106009

1. YAMASHITA Shigeru (30362833)

# of Collaborated Projects: 5 results

# of Collaborated Products: 41 results
2. WATANABE Katsumasa (60026078)

# of Collaborated Projects: 2 results

# of Collaborated Products: 22 results
3. NAKASHIMA Yasuhiko (00314170)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
4. NAKADA Takashi (00452524)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
5. KOBAYASHI Hirotada (60413936)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. TANI Seiichiro (70396183)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. NEMOTO Kae (80370104)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. Murao Mio (30322671)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. HORIYAMA Takashi (60314530)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAKAGI Kazuyosi (70273844)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. KIMURA Shinji (20183303)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. KURAKAWA Kei (10332769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
13. 河野泰人 (40396180)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 関川浩 (00396178)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
15. 河内亮周 (00397035)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. ルガルフランソワ (50584299)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 西村治道 (70433323)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. Ito Tsuyoshi

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

NAKANISHI Masaki 中西 正樹

中西 正樹 ナカニシ マサキ

Research Projects

Research Products

Co-Researchers

On the power of restricted quantum computation modelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Analysis of quantum computers that have constraints on memory accessesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An Approach to Understand the Limitations of Computation based on Quantum Mechanics

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

On the power of space bounded quantum computersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementation-Oriented Quantum Information ProcessingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Quantum Circuit Design using Matrix Decomposition and its application

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Multilevel Stabilizing Architecture for Overcoming Process Variation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On the Power of Quantum-Classical Co-operation ModelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

現実的な状況下での量子計算の能力に関する研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

実現可能性を考慮した量子計算モデルの解析に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Support Environment for Active Software

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Implementation of Adaptable Hardware and Software for Changing Environment

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Fast Parallel Merge Algorithm Based on Coarse-Grained Decomposition2023

Author(s)

Journal Title

NAKANISHI Masaki 中西正樹

中西正樹ナカニシマサキ