• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

NAKANISHI Masaki  中西 正樹

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (12 results)
  • Research Products

    (136 results)
  • Co-Researchers

    (18 People)
  •  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

All 2023 2022 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Patent

  • [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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi