• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

中西 正樹  NAKANISHI Masaki

ORCIDORCID連携する *注記
研究者番号 40324967
その他のID
外部サイト
所属 (現在) 2025年度: 山形大学, 地域教育文化学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2023年度: 山形大学, 地域教育文化学部, 教授
2014年度 – 2017年度: 山形大学, 地域教育文化学部, 准教授
2011年度 – 2015年度: 山形大学, 教育文化学部, 准教授
2008年度 – 2011年度: 山形大学, 地域教育文化学部, 准教授
2009年度: 山形大学, 地域教育文化学部・生活総合学科, 准教授 … もっと見る
2007年度 – 2009年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
2007年度: 奈良先端科技大, 情報科学研究科, 助手
2003年度 – 2006年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助手
2000年度 – 2001年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 隠す
審査区分/研究分野
研究代表者
情報学基礎 / 小区分60010:情報学基礎論関連 / 情報学基礎理論
研究代表者以外
ソフトウエア / 計算機科学 / 理工系 / 情報学基礎 / 計算機システム・ネットワーク / 理工系
キーワード
研究代表者
量子計算モデル / 量子アルゴリズム / 量子計算機シミュレータ / 量子オートマトン / 量子計算 / GPGPU / 量子コンピュータシミュレータ / 量子コンピュータ / FPGA / 量子分散計算 … もっと見る / affineオートマトン / 量子計算機 / カウンタオートマトン / 量子通信計算量 / 量子暗号 / プッシュダウンオートマトン / 有限オートマトン / 量子プッシュダウンオートマトン / マージ処理 / アルゴリズム / 情報基礎 / VLSI設計 / 量子回路シミュレータ / 量子回路 / 量子質問計算量 / 量子ウォーク / 量子計算量理論 / 量子通信 / 量子情報処理 / 量子-古典協調計算 / 計算モデル / 量子質問量 / 量子秘密通信プロトコル … もっと見る
研究代表者以外
量子計算 / 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 / 量子封印 隠す
  • 研究課題

    (12件)
  • 研究成果

    (136件)
  • 共同研究者

    (18人)
  •  種々の制約のある量子計算機の能力の解析研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2019 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      山形大学
  •  メモリアクセスに制約のある量子計算機の能力の解析研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      山形大学
  •  量子力学からの計算限界解明へのアプローチ

    • 研究代表者
      山下 茂
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      新学術領域研究(研究領域提案型)
    • 審査区分
      理工系
    • 研究機関
      立命館大学
  •  省メモリ環境下における量子計算機の能力の解析研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      山形大学
  •  実装容易性を考慮した量子情報処理研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      山形大学
  •  行列分解を用いた量子回路設計とその応用

    • 研究代表者
      河野 泰人
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      日本電信電話株式会社NTTコミュニケーション科学基礎研究所
  •  特性ばらつき隠蔽を特長とする次世代素子向け多重安定化アーキテクチャ

    • 研究代表者
      中島 康彦
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      奈良先端科学技術大学院大学
  •  量子-古典協調計算の能力について研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2006 – 2008
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      山形大学
  •  現実的な状況下での量子計算の能力に関する研究

    • 研究代表者
      山下 茂
    • 研究期間 (年度)
      2004 – 2007
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      奈良先端科学技術大学院大学
  •  実現可能性を考慮した量子計算モデルの解析に関する研究研究代表者

    • 研究代表者
      中西 正樹
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      奈良先端科学技術大学院大学
  •  アクティブソフトウェアの開発環境の構成に関する研究

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      奈良先端科学技術大学院大学
  •  環境適応型のハードウェアとソフトウェアの構成手法に関する研究

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      奈良先端科学技術大学院大学

すべて 2023 2022 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 産業財産権

  • [雑誌論文] 粗粒度分割を用いた並列マージ処理の高速化2023

    • 著者名/発表者名
      千葉 理揮、中西 正樹
    • 雑誌名

      電子情報通信学会論文誌D 情報・システム

      巻: J106-D 号: 2 ページ: 173-183

    • DOI

      10.14923/transinfj.2022JDP7019

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2023-02-01
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11816
  • [雑誌論文] Exact Affine Counter Automata2022

    • 著者名/発表者名
      Nakanishi Masaki, Khadiev Kamil, Prusis Krisjanis, Vihrovs Jevgenijs, Yakaryilmaz Abuzer
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: 33 号: 03n04 ページ: 349-370

    • DOI

      10.1142/s012905412241009x

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11816
  • [雑誌論文] A hardware architecture for the Walsh?Hadamard transform toward fast simulation of quantum algorithms2020

    • 著者名/発表者名
      Ayaka Kobori, Rio Takahashi, and Masaki Nakanishi
    • 雑誌名

      CCF Transactions on High Performance Computing

      巻: 2 号: 3 ページ: 211-220

    • DOI

      10.1007/s42514-020-00028-7

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19K11816
  • [雑誌論文] New results on classical and quantum counter automata2019

    • 著者名/発表者名
      Masaki Nakanishi, Abuzer Yakaryilmaz, and Aida Gainutdinova
    • 雑誌名

      Discrete Mathematics & Theoretical Computer Science

      巻: 21(4) ページ: 1-21

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11816
  • [雑誌論文] Computational Complexity of Space-Bounded Real Numbers2018

    • 著者名/発表者名
      Masaki Nakanishi and Marcos Villagra
    • 雑誌名

      arXiv

      巻: arXiv:1805.02572 ページ: 1-16

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00007
  • [雑誌論文] Quantum pushdown automata with garbage tape2018

    • 著者名/発表者名
      Masaki Nakanishi
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: 印刷中

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00007
  • [雑誌論文] Affine counter automata2017

    • 著者名/発表者名
      Masaki Nakanishi and Abuzer Yakaryilmaz
    • 雑誌名

      ArXiv

      巻: ArXiv:1703.04281 ページ: 1-15

    • 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-24106009
  • [雑誌論文] Affine counter automata2017

    • 著者名/発表者名
      Masaki Nakanishi, Abuzer Yakaryilmaz
    • 雑誌名

      arXiv

      巻: arXiv:1703.04281 ページ: 1-15

    • 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24500003
  • [雑誌論文] Affine counter automata2017

    • 著者名/発表者名
      Masaki Nakanishi, Abuzer Yakaryilmaz
    • 雑誌名

      arXiv

      巻: arXiv:1703.04281 ページ: 1-15

    • 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00007
  • [雑誌論文] Exact affine counter automata2017

    • 著者名/発表者名
      Masaki Nakanishi, Kamil Khadiev, Krisjanis Prusis, Jevgenijs Vihrovs, and Abuzer Yakaryilmaz
    • 雑誌名

      Proc. of the 15th International Conference on Automata and Formal Languages

      巻: EPTCS 252 ページ: 205-218

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00007
  • [雑誌論文] Cache-aware quantum circuit simulation on a GPGPU2016

    • 著者名/発表者名
      M. Nakanishi, N. Morioka, and K. Shoji
    • 雑誌名

      Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)

      巻: n/a ページ: 11-12

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-16K00007
  • [雑誌論文] Cache-aware quantum circuit simulation on a GPGPU2016

    • 著者名/発表者名
      Masaki Nakanishi, Naohiro Morioka, and Kenta Shoji
    • 雑誌名

      Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)

      巻: n/a ページ: 11-12

    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106009
  • [雑誌論文] Quantum Query Complexity of Almost All Functions with Fixed On-Set2016

    • 著者名/発表者名
      A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
    • 雑誌名

      Computational Complexity

      巻: 25 号: 4 ページ: 723-735

    • DOI

      10.1007/s00037-016-0139-6

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H01677, KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016, KAKENHI-PROJECT-16H02782, KAKENHI-PROJECT-24500003, KAKENHI-PROJECT-16K00007
  • [雑誌論文] Cache-aware quantum circuit simulation on a GPGPU2016

    • 著者名/発表者名
      M. Nakanishi, N. Morioka, and K. Shoji
    • 雑誌名

      Proc. of the 16th Asian Quantum Information Science Conference (AQIS2016)

      巻: n/a ページ: 11-12

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500003
  • [雑誌論文] A Fast Quantum Computer Simulator Based on Register Reordering2016

    • 著者名/発表者名
      M. Nakanishi, M. Matsuyama, and Y. Yokoo
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E99.D 号: 2 ページ: 332-340

    • DOI

      10.1587/transinf.2015EDP7260

    • NAID

      130005122006

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
  • [雑誌論文] Quantum Pushdown Automata with a Garbage Tape2015

    • 著者名/発表者名
      Masaki Nakanishi
    • 雑誌名

      Proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Lecture Notes in Computer Science

      巻: 8939 ページ: 352-363

    • DOI

      10.1007/978-3-662-46078-8_29

    • ISBN
      9783662460771, 9783662460788
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24500003
  • [雑誌論文] Classical and Quantum Counter Automata on Promise Problems2015

    • 著者名/発表者名
      M. Nakanishi and A. Yakaryılmaz
    • 雑誌名

      Proc. of the 20th International Conference on Implementation and Application of Automata (CIAA 2015)

      巻: LNCS 9223 ページ: 224-237

    • DOI

      10.1007/978-3-319-22360-5_19

    • ISBN
      9783319223599, 9783319223605
    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
  • [雑誌論文] Classical and quantum counter automata on promise problems2014

    • 著者名/発表者名
      Masaki Nakanishi and Abuzer Yakaryilmaz
    • 雑誌名

      CoRR

      巻: abs/1412.6761 ページ: 1-14

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-24500003
  • [雑誌論文] A quantum algorithm processor architecture based on register reordering2014

    • 著者名/発表者名
      Masaki Nakanishi, Miki Matsuyama, and Yumi Yokoo
    • 雑誌名

      Proceedings of the 22nd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2014)

      巻: なし ページ: 1-6

    • DOI

      10.1109/vlsi-soc.2014.7004175

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PLANNED-24106009, KAKENHI-PROJECT-24500003
  • [雑誌論文] Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication2013

    • 著者名/発表者名
      M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E96.D 号: 1 ページ: 1-8

    • DOI

      10.1587/transinf.E96.D.1

    • NAID

      10031167374

    • ISSN
      0916-8532, 1745-1361
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016, KAKENHI-PROJECT-22500009, KAKENHI-PROJECT-23240001, KAKENHI-PROJECT-23500018, KAKENHI-PROJECT-24500003, KAKENHI-PLANNED-24106009
  • [雑誌論文] Quantum walks on the line with phase parameters2012

    • 著者名/発表者名
      M. Villagra, M. Nakanishi, S. Yamashita, and Y. Nakashima
    • 雑誌名

      IEICE Trans. Inf. &Syst

      巻: vol.E95-D, no.3 ページ: 722-730

    • NAID

      10030611496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] Quantum walks on the line with phase parameters2012

    • 著者名/発表者名
      M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: vol.E95-D,no.3 ページ: 722-730

    • NAID

      10030611496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011

    • 著者名/発表者名
      Y. Hirata, M. Nakanishi, S. Yamashita, and Y. Nakashima
    • 雑誌名

      Quantum Information &Computation

      巻: vol.11, no.1& 2 ページ: 142-166

    • URL

      http://portal.acm.org/citation.cfm?id=2011393

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] Symbolic discord computation for efficient analysis of message sequence charts2011

    • 著者名/発表者名
      Y.Kakiuchi, T.Nakagawa, K.Hamaguchi, T.Tanimoto, M.Nakanishi
    • 雑誌名

      IPSJ Transactions on System LSI Design Methodology

      巻: vol.4 ページ: 210-221

    • NAID

      130002073518

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011

    • 著者名/発表者名
      Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 雑誌名

      Quantum Information and Computation vol.11,no.1&2

      ページ: 142-166

    • データソース
      KAKENHI-PROJECT-20500024
  • [雑誌論文] An Efficient Conversion of Quantum Circuits to a Linear Nearest Neighbor Architecture2011

    • 著者名/発表者名
      Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 雑誌名

      Quantum Information & Computation

      巻: vol.11, no.1&2 ページ: 142-166

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] On the Weakness of One-Way Quantum Pushdown Automata2010

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      Proc. of the 4th International Conference on Quantum, Nano and Micro Technologies(ICQNM2010)

      ページ: 83-87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] 量子計算の並列シミュレーションにおける通信量削減手法2010

    • 著者名/発表者名
      柴田章博,中田尚,中西正樹,山下茂,中島康彦
    • 雑誌名

      電子情報通信学会論文誌 D

      巻: vol.J93-D, no.3 ページ: 253-264

    • NAID

      110006944030

    • URL

      http://search.ieice.org/bin/summary.php?id=j93-d_3_253&category=D&year=2010&lang=J&abst=

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700016
  • [雑誌論文] On the Weakness of One-Way Quantum Pushdown Automata2010

    • 著者名/発表者名
      M. Nakanishi
    • 雑誌名

      roc. of the Fourth International Conference on Quantum, Nano and Micro Technologies (ICQNM2010)

      ページ: 83-87

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] 量子計算の並列シミュレーションにおける通信量削減手法2010

    • 著者名/発表者名
      柴田章博, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 雑誌名

      電子情報通信学会論文誌D vol.J93-D,no.3

      ページ: 253-264

    • NAID

      110006944030

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture2009

    • 著者名/発表者名
      Y. Hirata, M. Nakanishi, S. Yamashita, Y. Nakashima
    • 雑誌名

      Proc. of the Third International Conference on Quantum, Nano and Micro Technologies(ICQNM 2009)

      ページ: 26-33

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Synthesis of quantum circuits for d-level systems by using Cosine-Sine decomposition2009

    • 著者名/発表者名
      Y.Nakajima, Y.Kawano, H.Sekigawa, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 雑誌名

      Quantum Information and Computation Vol.9,No.5&6

      ページ: 423-443

    • データソース
      KAKENHI-PROJECT-20500024
  • [雑誌論文] Synthesis of Quantum Circuits for d-Level Systems by using Cosine-Sine Decomposition2009

    • 著者名/発表者名
      Y. Nakajima, Y. Kawano, H. Sekigawa, M. Nakanishi, S. Yamashita, Y. Nakashima
    • 雑誌名

      Quantum Information & Computation vol.9,no.5&6

      ページ: 423-443

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Multi-Party Quantum Communication Complexity with Routed Messages2009

    • 著者名/発表者名
      S. Tani, M. Nakanishi, S. Yamashita
    • 雑誌名

      IEICE Trans. Inf. & Syst. vol.E92-D,no.2

      ページ: 191-199

    • NAID

      10026807413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008

    • 著者名/発表者名
      Masaki Nakanishi
    • 雑誌名

      Proc. of 2008 International Symposium on Information Theory and its Applications

      ページ: 1493-1496

    • データソース
      KAKENHI-PROJECT-19300012
  • [雑誌論文] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008

    • 著者名/発表者名
      M. Nakanishi, Y. Murakami
    • 雑誌名

      Proc. of 2008 International Symposium on Information Theory and its Applications(ISITA2008)

      ページ: 1493-1496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] "Quantum Query Complexity of Boolean Functions with Small On-Sets2008

    • 著者名/発表者名
      A. Ambainis, K. Iwama, M. Nakanishi, H. Nishimura, R. Raymond, S. Tani, S. Yamashita
    • 雑誌名

      Proc. of the 19th International Symposium on Algorithms and Computation (ISAAC 2008)

      ページ: 907-918

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] A Method of Randomizing a Part of an FPGA Configuration Bitstream2008

    • 著者名/発表者名
      Masaki Nakanishi
    • 雑誌名

      Proc. of 2008 International Symposium on Information Theory and its Applications ISITA2008

      ページ: 1493-1496

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300012
  • [雑誌論文] A Functional Unit with Small Variety of Highly Reliable Cells2008

    • 著者名/発表者名
      Kazunori SUZUKI, Takashi NAKADA, Masaki NAKANISHI, Shigeru YAMASHITA, Yasuhiko NAKASHIMA
    • 雑誌名

      14th Pacific Rim International Symposium on Dependable Computing (PRDC'08)

      ページ: 353-354

    • データソース
      KAKENHI-PROJECT-19300012
  • [雑誌論文] Multi-Party Quantum Communication Complexity with Routed Messages2008

    • 著者名/発表者名
      S. Tani, M. Nakanishi, S. Yamashita
    • 雑誌名

      Proc. of the 14th Annual International Computing and Combinatorics Conference(COCOON2008)

      ページ: 180-190

    • NAID

      10026807413

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] A Method for Secure FPGA Configuration2008

    • 著者名/発表者名
      Masaki Nakanishi
    • 雑誌名

      Proc. of Computer Security Symposium2008 CSS2008(CD-ROM)

    • データソース
      KAKENHI-PROJECT-19300012
  • [雑誌論文] A Practical Framework to Utilize Quantum Search2007

    • 著者名/発表者名
      S. Yamashita, M. Nakanishi
    • 雑誌名

      Proc. of the 2007 IEEE Congress on Evolutionary Computation (CEC2007)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] A Quantum Secure Direct Communication Protocol for Sending a Quantum State and Its Security Analysis2007

    • 著者名/発表者名
      Y. Murakami, M. Nakanishi, S. Yamashita, Y. Nakashima, M. Hagiwara
    • 雑誌名

      Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)

      ページ: 91-97

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] An Information-Theoretic Security Analysis of Quantum String Sealing2007

    • 著者名/発表者名
      M. Nakanishi, S. Tani, S. Yamashita
    • 雑誌名

      Proc. of the 6th WSEAS International Conference on Information Security and Privacy (ISP'07)

      ページ: 30-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Tight bounds on information gains in quantum sealing protocols2007

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      The Tenth Workshop on Quantum Information Processing (QIP 2007)

    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Robust Quantum Algorithms Computing OR with $\eps$-biased Oracles2007

    • 著者名/発表者名
      T. Suzuki, S. Yamashita, M. Nakanishi, K. Watanabe
    • 雑誌名

      IEICE Trans. Inf. & Syst. vol.E90-D,no.2

      ページ: 395-402

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Expressive power of quantum pushdown automata with classical stack operations under the perfect-soundness conditions2006

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      IEICE Transactions on Information and Systems VolE89-D, no.3

      ページ: 1120-1127

    • NAID

      110004719389

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] Quantum communication complexity for the distinctness function on a ring2006

    • 著者名/発表者名
      S.Tani, M.Nakanishi, S.Yamashita
    • 雑誌名

      Workshop on Theory of Quantum Computation Communication and Cryptography 2006 TQC2006

      ページ: 10-11

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Upper bounds or quantum biased oracles with explicit bias rate2006

    • 著者名/発表者名
      T.Suzuki, S.Yamashita, M.Nakanishi, K.Watanabe
    • 雑誌名

      LA Symposium

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] No preshared key quantum secret communication protocol2006

    • 著者名/発表者名
      Y.Murakami, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      電子情報通信学会2006年総合大会講演論文集

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Expressive power of guantum pushdown automata with classical stack operations under the perfect-soundness conditions2006

    • 著者名/発表者名
      M.Nakanishi, K.Hamaguchi, T.Kashiwabara
    • 雑誌名

      IEICE Transactions on Information and Systems Vol.E89-D, no.3

      ページ: 1120-1127

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] π計算表示から能動形プログラムの枠組みの生成2006

    • 著者名/発表者名
      渡邉勝正, 駱 福全, 中西正樹, 山下茂
    • 雑誌名

      電子情報通信学会技術研究報告, SS 2006-6

      ページ: 31-36

    • NAID

      110004662812

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 量子文字列封印における復号化率と検出率のトレードオフについて2006

    • 著者名/発表者名
      中西正樹
    • 雑誌名

      電子情報通信学会量子情報技術研究会 QIT2006-98

      ページ: 233-236

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] 量子文字列封印における復号化率と検出率のトレードオフについて2006

    • 著者名/発表者名
      中西正樹
    • 雑誌名

      第15回量子情報技術研究会資料

      ページ: 233-236

    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Robust Quantum Algorithms withε-Biased Oracles2006

    • 著者名/発表者名
      T. Suzuki, S. Yamashita, M. Nakanishi, K. Watanabe
    • 雑誌名

      Proc. of 12th Annual International Computing and Combinatorics Conference (COCOON 2006), LNCS 4112

      ページ: 116-125

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18700011
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      In. Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005

      ページ: 225-231

    • NAID

      110003295373

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数によるアサーション検証設計2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

      コンピュータソフトウェア 22,3

      ページ: 76-91

    • NAID

      110008016661

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Quantum Protocol for the List-nonequality Function2005

    • 著者名/発表者名
      S.Tani, M.Nakanishi, S.Yamashita
    • 雑誌名

      Workshop on Quantum Information Processing 2005 QIP2005

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] Cheater identifiable quantum secret sharing schemes2005

    • 著者名/発表者名
      Y.MuraKami, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      IEICE Technical Report, QIT2005-55

      ページ: 89-82

    • NAID

      110003298621

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] 不正者を識別可能な量子秘密分散法2005

    • 著者名/発表者名
      村上ユミコ, 中西正樹, 山下 茂, 渡邉勝正
    • 雑誌名

      電子情報通信学会技術研究報告,ISEC 2005-55

      ページ: 89-92

    • NAID

      110003298621

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 拡張に適したアクティブソフトウェアの設計解析法2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

      日本ソフトウェア科学会第22回大会論文集 2005、Spe(CD-ROM)

    • NAID

      130004638927

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 拡張に適したアクテイブソフトウェアの設計解析法2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

      日本ソフトウェア科学会第22回大会論文集 2005,Sep(CD-ROM)

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Quantum Protocol for the List-nonequality Function2005

    • 著者名/発表者名
      S.Tani, M.Nakanishi, S.Yamashita
    • 雑誌名

      Workshop on Quantum Information Processing 2005 QIP2005

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Quantum versus classical pushdown automata in exact computation2005

    • 著者名/発表者名
      Y.Murakami, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      IPSJ Journal Vol.46, no.10

      ページ: 2471-2480

    • NAID

      130000022371

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Event-Oriented Computing with Reconfigurable Platform2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      Proc.of the 10th Asia and South Pacific Design Automation Conference (ASP-DAC 2005)

      ページ: 1248-1251

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005)

      ページ: 225-231

    • NAID

      110003295373

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 配線リソースを考慮した再構成可能1bitプロセッサアレイ2005

    • 著者名/発表者名
      中井伸郎, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

      電子情報通信学会,信学技法 SLDM2005-1

      ページ: 7-12

    • NAID

      110003295373

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数によるアサーション検証設計2005

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 伴野 充, 蔵川 圭, 中西正樹, 山下 茂
    • 雑誌名

      コンピュータソフトウェア 22・3

      ページ: 76-91

    • NAID

      110008016661

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Method of Analysis and Design of extensible Active Software2005

    • 著者名/発表者名
      K.Watanabe, A.Inoue, K, Kurakawa, M.Nakanishi, S.Yamashita
    • 雑誌名

      22-th Conference of Japan Society for Software Science and Technology (CD-ROM)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Assertion Verification Design by Active Software2005

    • 著者名/発表者名
      K.Watanabe, A.Inoue, M.Tomono, K.Kurakawa, M.Nakanishi, S.Yamashita
    • 雑誌名

      Computer Software Vol.22, No.3

      ページ: 76-91

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Online FPGA Placement under I/O Timing Constraints2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      電子情報通信学会技術研究報告,RECONF 2005-73

      ページ: 7-12

    • NAID

      110004019726

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Event-Oriented Computing with Reconfigurable Platform2005

    • 著者名/発表者名
      M.Tomono, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      In Proc. of the 10th Asia and South Pacific Design Automation Conference ASP-DAC 2005

      ページ: 1248-1251

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Reconfigurable 1-Bit Processor Array with Reduced Wiring Area2005

    • 著者名/発表者名
      N.Nakai, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      In.Proc.of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA2005) 2005

      ページ: 225-231

    • NAID

      110003295373

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Toward a Practical Environment for Quantum Programming2005

    • 著者名/発表者名
      S.Yamashita, M.Nakanishi, K.Watanabe
    • 雑誌名

      Asia-Pacific Conference on Quantum Information Science APCQIS 2004(印刷中)

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Quantum sealing schemes against collective measurement attacks2005

    • 著者名/発表者名
      T.Katsumata, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      IEICE Technical Report, QIT2005-90

      ページ: 229-232

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Automata with quantum and classical resources2005

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      TPSJ Journal Vol.46, no.10

      ページ: 2384-2391

    • NAID

      130000058402

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Automata with quantum and classical resources2005

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      IPSJ Journal Vol.46, no.10

      ページ: 2384-2391

    • NAID

      130000058402

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] Toward a Practical Environment for Quantum Programming2005

    • 著者名/発表者名
      S.Yamashita, M.Nakanishi, K.Watanabe
    • 雑誌名

      Proc.Of Asia-Pacific Conference on Quantum Information Science APCQIS 2004(印刷中)

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] CPUによるマルウェアコードの実行防止2004

    • 著者名/発表者名
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

      コンピュータセキュリティシンポジウム2004 CSS2004

      ページ: 421-426

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations2004

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      Proc.of 10th Annual International Computing and Combinatorics Conference (COCOON 2004) LNCS 3106

      ページ: 179-187

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations2004

    • 著者名/発表者名
      M.Nakanishi
    • 雑誌名

      Proc.of 10th Annual International Computing and Combinatorics Conference (COCOON 2004) LNCS 3106

      ページ: 179-187

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] Blocking Malware Code Execution by CPU2004

    • 著者名/発表者名
      A.Okazaki, M.Nakanishi, S.Yamashita, K.Watanabe
    • 雑誌名

      Computer Security Symposium 2004 (CSS2004)

      ページ: 421-426

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] コンポーネントベース開発のためのアプリケーションフレームワーク2004

    • 著者名/発表者名
      井上晶広, 蔵川圭, 中西正樹, 渡邉勝正
    • 雑誌名

      情報科学技術フォーラムFIT,情報科学技術レターズ 3

      ページ: 9-11

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] リスト型非等価関数を計算する量子プロトコル2004

    • 著者名/発表者名
      谷誠一郎, 中西正樹, 山下茂
    • 雑誌名

      電子情報通信学会量子情報技術研究会 QIT2004-51

      ページ: 21-25

    • データソース
      KAKENHI-PROJECT-16092218
  • [雑誌論文] 量子オートマトンの計算能力2004

    • 著者名/発表者名
      中西正樹
    • 雑誌名

      電子情報通信学会量子情報技術研究会 QIT2004-50

      ページ: 16-20

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] リスト型非等価関数を計算する量子プロトコル2004

    • 著者名/発表者名
      谷誠一郎, 中西正樹, 山下茂
    • 雑誌名

      電子情報通信学会量子情報技術研究会 QIT2004-51

      ページ: 21-25

    • データソース
      KAKENHI-PROJECT-15700014
  • [雑誌論文] 耐タンパCPUによるプログラム実行の証明2004

    • 著者名/発表者名
      岡崎篤也, 中西正樹, 山下茂, 渡邉勝正
    • 雑誌名

      情報処理学会研究会報告CSECコンピュータセキュリティ Vol.2004, No.75

      ページ: 165-170

    • NAID

      110003296477

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] ソフトウェアの自己変更を支援する機構について2004

    • 著者名/発表者名
      渡邉勝正, 井上晶広, 山田洋平, 中西正樹, 山下茂
    • 雑誌名

      電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34

      ページ: 1-6

    • NAID

      110003277239

    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] Active Software with arrays of Active Functions2003

    • 著者名/発表者名
      K.Watanabe, Lo Fuchuan, A.Inoue, K, Kuwakawa, T.Mizuhara, M.Nakanishi
    • 雑誌名

      20-th Conference of Japan Society for Software Science and Technology (CD-ROM)

    • NAID

      130004638807

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [雑誌論文] 能動関数の配列によるアクティブソフトウェアの構成2003

    • 著者名/発表者名
      渡邉勝正, 駱 福全, 井上晶広, 桑川栄一, 水原隆道, 中西正樹
    • 雑誌名

      日本ソフトウェア科学会第20回大会論文集 2003、Sep(CD-RIM)

    • NAID

      130004638807

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [産業財産権] 特許権2006

    • 発明者名
      村上 ユミコ, 中西 正樹, 山下 茂
    • 権利者名
      奈良先端科学技術大学院大学
    • 産業財産権番号
      2006-059933
    • 出願年月日
      2006-03-06
    • データソース
      KAKENHI-PROJECT-16092218
  • [産業財産権] 特許権2006

    • 発明者名
      村上 ユミコ, 中西 正樹, 山下 茂
    • 権利者名
      奈良先端科学技術大学院大学
    • 産業財産権番号
      2006-058933
    • 出願年月日
      2006-03-06
    • データソース
      KAKENHI-PROJECT-15700014
  • [産業財産権] マイクロプロセッサ、ノード端末、コンピュータシステム及びプログラム実行証明方法2005

    • 発明者名
      岡崎, 中西, 山下, 渡邉
    • 権利者名
      岡崎, 中西, 山下, 渡邉
    • 産業財産権番号
      2005-013190
    • 出願年月日
      2005-01-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500023
  • [学会発表] A hardware simulator architecture for quantum heuristic search algorithms2020

    • 著者名/発表者名
      Ayaka Kobori, Rio Takahashi, and Masaki Nakanishi
    • 学会等名
      23rd Annual Conference on Quantum Information Processing
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K11816
  • [学会発表] A hardware architecture for simulating the HHL algorithm2019

    • 著者名/発表者名
      Kimika Beppu, Kanae Nakabayashi, and Masaki Nakanishi
    • 学会等名
      22nd Annual Conference on Quantum Information Processing
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00007
  • [学会発表] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2017

    • 著者名/発表者名
      中鉢大喜,中西正樹
    • 学会等名
      第35回量子情報技術研究会
    • 発表場所
      高エネルギー加速器研究機構(茨城県 つくば市)
    • 年月日
      2017-03-13
    • データソース
      KAKENHI-PLANNED-24106009
  • [学会発表] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2016

    • 著者名/発表者名
      中鉢大喜, 中西正樹
    • 学会等名
      第35回量子情報技術研究会
    • 発表場所
      高エネルギー加速器研究機構
    • 年月日
      2016-11-24
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits2016

    • 著者名/発表者名
      Ryo Wakabari, Sayaka Katakura, and Masaki Nakanishi
    • 学会等名
      19th Conference on Quantum Information Processing (QIP 2016)
    • 発表場所
      Banff, Canada
    • 年月日
      2016-01-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] FPGAを用いた正則グラフ上の量子ウォークのシミュレーション2016

    • 著者名/発表者名
      中鉢大喜, 中西正樹
    • 学会等名
      第35回量子情報技術研究会
    • 発表場所
      高エネルギー加速器研究機構
    • 年月日
      2016-11-24
    • データソース
      KAKENHI-PROJECT-16K00007
  • [学会発表] A Genetic Algorithm for Scheduling Quantum Gates toward Fast Simulation of Quantum Circuits2016

    • 著者名/発表者名
      Masaki Nakanishi
    • 学会等名
      19th Conference on Quantum Information Processing (QIP 2016)
    • 発表場所
      Banff (Canada)
    • 年月日
      2016-01-11
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-24106009
  • [学会発表] A Hardware Quantum Circuit Simulator Architecture based on Register Reordering2014

    • 著者名/発表者名
      M. Matsuyama, Y. Yokoo and M. Nakanishi
    • 学会等名
      The 17th Conference on Quantum Information Processing (QIP2014)
    • 発表場所
      バルセロナ,スペイン
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] Quantum Pushdown Automata with Garbage Space2014

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The 17th Conference on Quantum Information Processing (QIP2014)
    • 発表場所
      バルセロナ,スペイン
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ2013

    • 著者名/発表者名
      松山美紀,横尾優美,中西正樹
    • 学会等名
      第29回量子情報技術研究会
    • 発表場所
      早稲田大学,東京
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] ガーベッジテープを持つ量子プッシュダウンオートマトン2013

    • 著者名/発表者名
      中西正樹
    • 学会等名
      第29回量子情報技術研究会
    • 発表場所
      早稲田大学,東京
    • データソース
      KAKENHI-PROJECT-24500003
  • [学会発表] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      14th Workshop on Quantum InformationProcessing
    • 発表場所
      セントーサ・The Capella(シンガポール)
    • 年月日
      2011-01-10
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011

    • 著者名/発表者名
      M.Nakanishi
    • 学会等名
      The 14^<th> Workshop on Quantum Information Processing 2011
    • 発表場所
      シンガポール
    • 年月日
      2011-01-10
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] On the weakness of one-way quantum pushdown automata under empty-stack acceptance2011

    • 著者名/発表者名
      M.Nakanishi
    • 学会等名
      14th Workshop on Quantum Information Processing
    • 発表場所
      セントーサ,シンガポール
    • 年月日
      2011-01-10
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] Quantum query complexity of hamming distance estimation2011

    • 著者名/発表者名
      M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      Asian Quantum Information Science Conference 2011 (AQIS2011)
    • 発表場所
      釜山,韓国
    • 年月日
      2011-08-24
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] On the Weakness of One-Way Quantum Pushdown Automata2010

    • 著者名/発表者名
      M.Nakanishi
    • 学会等名
      Fourth International Conference on Quantum, Nano and Micor Technologies(ICQNM2010)
    • 発表場所
      St.Maarten., Netherlands Antilles, オランダ
    • 年月日
      2010-02-11
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] On the Weakness of One-Way Quantum Pushdown Automata2010

    • 著者名/発表者名
      Masaki Nakanishi
    • 学会等名
      Fourth International Conference on Quantum, Nano and Micor Technologies(ICQNM2010)
    • 発表場所
      St.Maarten., Netherlands Antilles(オランダ)
    • 年月日
      2010-02-11
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] A SAT Solver Based on Quantum and Classical Random Walk2010

    • 著者名/発表者名
      D.Yokomine, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      Asian Conference on Quantum Information Science 2010 (AQIS2010)
    • 発表場所
      東京大学,東京
    • 年月日
      2010-08-27
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] Asymptotics of Quantum Walks on the Line with Phase Parameters2010

    • 著者名/発表者名
      M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      Asian Conference on Quantum Information Science 2010 (AQIS2010)
    • 発表場所
      東京大学,東京
    • 年月日
      2010-08-27
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] A SAT Solver Based on Quantum and Classical Random Walk2010

    • 著者名/発表者名
      D.Yokomine, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      The 10^<th> Asian Conference on Quantum Information Science 2010(AQIS2010)
    • 発表場所
      東京大学
    • 年月日
      2010-08-29
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] Asymptotics of Quantum Walks on the Line with Phase Parameters2010

    • 著者名/発表者名
      M.Villagra, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      The 10^<th> Asian Conference on Quantum Information Science 2010(AQIS2010)
    • 発表場所
      東京大学
    • 年月日
      2010-08-29
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] On the Weakness of One-Way Quantum Pushdown Automata2010

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The Fourth International Conference on Quantum, Nano and Micro Technologies(ICQNM2010)
    • 発表場所
      セントマーチン・Sonesta Maho Beach Resort& Casino(オランダ領アンティル)
    • 年月日
      2010-02-11
    • データソース
      KAKENHI-PROJECT-21700016
  • [学会発表] An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture, The Third International Conference on Quantum2009

    • 著者名/発表者名
      Y.Hirata, M.Nakanishi, S.Yamashita, Y.Nakashima
    • 学会等名
      Nano and Micro Technologies
    • 発表場所
      Fiesta Americana Condesa Cancun, メキシコ
    • 年月日
      2009-02-02
    • データソース
      KAKENHI-PROJECT-20500024
  • [学会発表] An almost optimal quantum string sealing protocol and its security analysis2008

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The 2nd AAAC Annual Meeting AAAC09
    • 発表場所
      Hangzhou Huajia SHAN Resort (中国)
    • 年月日
      2008-04-26
    • データソース
      KAKENHI-PROJECT-16092218
  • [学会発表] A Scheme for Protecting FPGA Configuration Bitstreams2008

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      Symposium on Cryptography and Information Security (SCIS2008)
    • 発表場所
      宮崎
    • 年月日
      2008-01-22
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] FPGAのスイッチマトリクスを対象とするソフトエラー対策2008

    • 著者名/発表者名
      洪勇基, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      IEICE Technical Report
    • 発表場所
      北九州市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] 高信頼セルによる回路の信頼性言平価2008

    • 著者名/発表者名
      堀田敬一, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      IEICE Technical Report
    • 発表場所
      北九州市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] 少品種高信頼セルによる演算器の提案と評価2008

    • 著者名/発表者名
      鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      信学技報
    • 発表場所
      屋久島町
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] A Method for Secure FPGA Configuration2008

    • 著者名/発表者名
      Masaki Nakanishi
    • 学会等名
      Proc. of Computer Security Symposium2008
    • 発表場所
      沖縄宣野湾市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] A Method for Secure FPGA Configuration2008

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      Computer Security Symposium2008(CSS2008)
    • 発表場所
      沖縄
    • 年月日
      2008-10-08
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] An FPGA Configuration Scheme for Bitstream Protection2008

    • 著者名/発表者名
      Masaki Nakanishi
    • 学会等名
      Proc. of International Workshop on Applied Reconfigurable Computing (ARC2008)
    • 発表場所
      ロンドン
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] 高信頼セルによる演算器の耐故障性と遅延時間の評価2008

    • 著者名/発表者名
      鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      SWoPP2008
    • 発表場所
      佐賀市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] An Almost Optimal Quantum String Sealing Protocol and Its Security Analysis2008

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      AAAC2008
    • 発表場所
      香港
    • 年月日
      2008-04-26
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] An almost optimal quantum string sealing protocol and its security analysis2008

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The 2nd AAAC Annual Meeting AAAC09
    • 発表場所
      Hangzhou Huajia SHAN Resort (中国)
    • 年月日
      2008-04-26
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] SRAMベースFPGAにおける耐ソフトエラーLUT構成法2007

    • 著者名/発表者名
      里山宏平, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      IEICE Technical Report
    • 発表場所
      北九州市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] An information-theoretic security analysis of quantum string sealing2007

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      6th WSEAS International Conference on Information Security and Privacy
    • 発表場所
      Puerto De La Cruz, Tenerife, Canary Islands, Spain
    • 年月日
      2007-12-14
    • データソース
      KAKENHI-PROJECT-16092218
  • [学会発表] Tight Bounds on Information Gains in Quantum Sealing Protocols2007

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The Tenth Workshop on Quantum Information Processing (QIP 2007)
    • 発表場所
      オーストラリア.
    • 年月日
      2007-01-31
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] 細粒度命令分解と少品種セルによる高信頼化アーキテクチャの提案2007

    • 著者名/発表者名
      鈴木一範, 中田尚, 中西正樹, 山下茂, 中島康彦
    • 学会等名
      IPSJ SIG Technical Report
    • 発表場所
      北九州市
    • データソース
      KAKENHI-PROJECT-19300012
  • [学会発表] 量子文字列封印における復号化率と検出率のトレードオフについて2006

    • 著者名/発表者名
      中西正樹
    • 学会等名
      量子情報技術研究会
    • 発表場所
      京都
    • 年月日
      2006-11-21
    • データソース
      KAKENHI-PROJECT-18700011
  • [学会発表] Quantum Pushdown Automata with Garbage Space

    • 著者名/発表者名
      M. Nakanishi
    • 学会等名
      The 17th Conference on Quantum Information Processing (QIP2014)
    • 発表場所
      バルセロナ, スペイン
    • データソース
      KAKENHI-PLANNED-24106009
  • [学会発表] A Hardware Quantum Circuit Simulator Architecture based on Register Reordering

    • 著者名/発表者名
      M. Matsuyama, Y. Yokoo and M. Nakanishi
    • 学会等名
      The 17th Conference on Quantum Information Processing (QIP2014)
    • 発表場所
      バルセロナ, スペイン
    • データソース
      KAKENHI-PLANNED-24106009
  • [学会発表] レジスタの並び替えによる確率振幅の選択を行うハードウェア量子回路シミュレータアーキテクチャ

    • 著者名/発表者名
      松山美紀,横尾優美,中西正樹
    • 学会等名
      第29回量子情報技術研究会
    • 発表場所
      早稲田大学, 東京都
    • データソース
      KAKENHI-PLANNED-24106009
  • [学会発表] ガーベッジテープを持つ量子プッシュダウンオートマトン

    • 著者名/発表者名
      中西正樹
    • 学会等名
      第29回量子情報技術研究会
    • 発表場所
      早稲田大学, 東京都
    • データソース
      KAKENHI-PLANNED-24106009
  • 1.  山下 茂 (30362833)
    共同の研究課題数: 5件
    共同の研究成果数: 41件
  • 2.  渡邉 勝正 (60026078)
    共同の研究課題数: 2件
    共同の研究成果数: 22件
  • 3.  中島 康彦 (00314170)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 4.  中田 尚 (00452524)
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 5.  小林 弘忠 (60413936)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  谷 誠一郎 (70396183)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  根本 香絵 (80370104)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  村尾 美緒 (30322671)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  堀山 貴史 (60314530)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  高木 一義 (70273844)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  木村 晋二 (20183303)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  蔵川 圭 (10332769)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 13.  河野 泰人 (40396180)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 14.  関川 浩 (00396178)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 15.  河内 亮周 (00397035)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  ルガル フランソワ (50584299)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  西村 治道 (70433323)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  伊藤 剛志
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi