谷誠一郎 (Seiichiro Tani) - マイポータル

基本情報

所属: 早稲田大学教育・総合科学学術院教授

学位: 博士（情報理工学）(東京大学)

ORCID ID: https://orcid.org/0000-0002-6041-1704
J-GLOBAL ID: 201901013376868680
researchmap会員ID: B000350783

1993年3月京都大学工学部情報工学科卒業． 1995年3月東京大学大学院理学系研究科情報科学専攻修了．博士(情報理工学)．1995年4月〜2024年3月日本電信電話株式会社コミュニケーション科学基礎研究所特別研究員／理論量子情報研究センタ長(最終職位)．2004年4月〜2009年9月 JST ERATO 今井量子計算機構プロジェクト／JST ERATO-SORST 量子情報システムアーキテクチャ研究員(兼任)．2010年2月〜2011年2月 Waterloo 大学量子計算研究所客員研究員．2020年10月〜現在日本学術会議連携会員. 2022年4月〜2024年3月東京工業大学国際先駆研究機構特定教授. 電子情報通信学会業績賞・ISS論文賞，前島密賞，SCAT会長賞受賞．電子情報通信学会，情報処理学会，IEEE，ACM各会員．専門は，理論計算機科学，特に，量子アルゴリズム，量子計算量理論，分散計算．

研究キーワード

研究分野

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

論文

Probabilistic state synthesis based on optimal convex approximation

Seiseki Akibue, Go Kato, Seiichiro Tani

npj Quantum Information 10(1) 2024年1月3日査読有り
Rewindable quantum computation and its equivalence to cloning and adaptive postselection

Ryo Hiromasa, Akihiro Mizutani, Yuki Takeuchi, Seiichiro Tani

Leibniz International Proceedings in Informatics, LIPIcs 266 2023年7月査読有り
Space-Bounded Unitary Quantum Computation with Postselection.

Seiichiro Tani

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) 241 81:1-81:15 2022年8月査読有り筆頭著者責任著者
Sumcheck-based delegation of quantum computing to rational server.

Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani

Theoretical Computer Science 924 46-67 2022年7月30日査読有り
Computational self-testing for entangled magic states

Akihiro Mizutani, Yuki Takeuchi, Ryo Hiromasa, Yusuke Aikawa, Seiichiro Tani

Physical Review A 106(L010601) 2022年7月25日査読有り
Quadratic improvement on accuracy of approximating pure quantum states and unitary gates by probabilistic implementation

Seiseki Akibue, Go Kato, Seiichiro Tani

arXive quant-ph(2111.05531) 2021年11月10日
Classically simulating quantum circuits with local depolarizing noise

Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

THEORETICAL COMPUTER SCIENCE 893 117-132 2021年11月査読有り
Hardness of efficiently generating ground states in postselected quantum computation

Yuki Takeuchi, Yasuhiro Takahashi, Seiichiro Tani

PHYSICAL REVIEW RESEARCH 3(013213) 2021年3月査読有り
Power of uninitialized qubits in shallow quantum circuits

Yasuhiro Takahashi, Seiichiro Tani

THEORETICAL COMPUTER SCIENCE 851 129-153 2021年1月査読有り
Quantum algorithm for the multicollision problem

Akinori Hosoyamada, Yu Sasaki, Seiichiro Tani, Keita Xagawa

THEORETICAL COMPUTER SCIENCE 842 100-117 2020年11月査読有り
Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams.

Seiichiro Tani

Proc. 17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), Leibniz International Proceedings in Informatics (LIPIcs), 162 36:1-36:19 2020年査読有り
Classically Simulating Quantum Circuits with Local Depolarizing Noise.

Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

Proc. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) 83:1-83:13 2020年査読有り
Improved quantum multicollision-finding algorithm

Akinori Hosoyamada, Yu Sasaki, Seiichiro Tani, Keita Xagawa

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11505 LNCS 350-367 2019年査読有り
Impossibility of blind quantum sampling for classical client.

Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi, Seiichiro Tani

Quantum Inf. Comput. 19(9&10) 793-806 2019年査読有り
Impossibility of Classically Simulating One-Clean-Qubit Model with Multiplicative Error

Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani

Physical Review Letters 120(20) 200502-200502 2018年5月17日査読有り
Power of Uninitialized Qubits in Shallow Quantum Circuits.

Yasuhiro Takahashi, Seiichiro Tani

35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France 851 57:1-57:13-153 2018年査読有り
A FAST EXACT QUANTUM ALGORITHM FOR SOLITUDE VERIFICATION

Seiichiro Tani

QUANTUM INFORMATION & COMPUTATION 17(1-2) 15-40 2017年2月査読有り
Collapse of the Hierarchy of Constant-Depth Exact Quantum Circuits

Yasuhiro Takahashi, Seiichiro Tani

COMPUTATIONAL COMPLEXITY 25(4) 849-881 2016年12月査読有り
Quantum Query Complexity of Almost All Functions with Fixed On-set Size

Andris Ambainis, Kazuo Iwama, Masaki Nakanishi, Harumichi Nishimura, Rudy Raymond, Seiichiro Tani, Shigeru Yamashita

COMPUTATIONAL COMPLEXITY 25(4) 723-735 2016年12月査読有り
COMMUTING QUANTUM CIRCUITS WITH FEW OUTPUTS ARE UNLIKELY TO BE CLASSICALLY SIMULATABLE

Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka

QUANTUM INFORMATION & COMPUTATION 16(3-4) 251-270 2016年3月査読有り

もっとみる

講演・口頭発表等

近似精度において最適な確率的量子コンパイラ

秋笛清石, 加藤豪, 谷誠一郎

電子情報通信学会技術研究報告量子情報技術研究会(QIT) 2022年12月8日
Computational self-testing for entangled magic states

A. Mizutani, Y. Takeuchi, R. Hiromasa, Y. Aikawa, S. Tani

Beyond IID in Information Theory 10 (Beyondiid10) 2022年9月29日
Space-Bounded Unitary Quantum Computation with Postselection

Seiichiro Tani

47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) 2022年8月25日
計算量的仮定に基づくエンタングルしたマジック状態のセルフテスト

水谷明博, 竹内勇貴, 廣政良, 相川勇輔, 谷誠一郎

電子情報通信学会技術研究報告量子情報技術(QIT) 2022年5月31日
Halving the length of approximate classical representations of pure quantum states with probabilistic encoding

Seiseki Akibue, Go Kato, Seiichiro Tani

25th Annual Conference on Quantum Information Processing 2022年3月11日
Efficiently generating ground states is hard for postselected quantum computation

Yuki Takeuchi, Yasuhiro Takahashi, Seiichiro Tani

25th Annual Conference on Quantum Information Processing 2022年3月11日
NISQ計算の分割統治による検証

竹内勇貴, 高橋康博, 森前智行, 谷誠一郎

電子情報通信学会技術研究報告量子情報技術(QIT) 2021年12月1日
確率的符号化を用いた純粋量子状態の古典表現の圧縮

秋笛清石, 加藤豪, 谷誠一郎

電子情報通信学会技術研究報告量子情報技術研究会(QIT) 2021年11月30日
Hardness of efficiently generating ground states in postselected quantum computation

Yuki Takeuchi, Yasuhiro Takahashi, Seiichiro Tani

21th Asian Quantum Information Science Conference (AQIS 2021) 2021年9月2日
量子計算を古典委託するための合理的なサムチェックプロトコル

竹内勇貴, 森前智行, 谷誠一郎

電子情報通信学会技術研究報告コンピュテーション (COMP) 2021年8月25日
Classically Simulating Quantum Circuits with Local Depolarizing Noise

Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

電子情報通信学会技術研究報告コンピュテーション (COMP) 2021年3月8日
Efficiently generating ground states is hard for postselected quantum computation

Yuki Takeuchi, Yasuhiro Takahashi, Seiichiro Tani

2021年7月6日
Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams

Seiichiro Tani

16th Conference on the Theory of Quantum Computation, Communication, and Cryptography (TQC 2021) 2021年7月6日
Hardness of efficiently generating ground states in postselected quantum computation

Yuki Takeuchi, Yasuhiro Takahashi, Seiichiro Tani

情報処理学会研究報告量子ソフトウェア（QS） 2021年6月24日
Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams

Seiichiro Tani

情報処理学会研究報告量子ソフトウェア（QS） 2021年6月24日
Classically Simulating Quantum Circuits with Local Depolarizing Noise

Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

情報処理学会研究報告量子ソフトウェア（QS） 2021年6月24日
Classically Simulating Quantum Circuits with Local Depolarizing Noise

Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani

24th Annual Conference on Quantum Information Processing (QIP 2021) 2021年2月3日
二分決定グラフの最適変数順序を見つける量子アルゴリズム

谷誠一郎

電子情報通信学会技術研究報告量子情報技術(QIT) 2020年12月10日
任意の分離可能状態を生成できる量子もつれ破壊通信路の指数的複雑性～ Disentangler 仮説ヘの応用～

秋笛清石, 加藤豪, 谷誠一郎

電子情報通信学会技術研究報告量子情報技術(QIT) 2020年12月11日
Polylog-overhead fault-tolerant measurement-based quantum computation by homodyne detection

Hayata Yamasaki, Kosuke Fukui, Yuki Takeuchi, Seiichiro Tani, Masato Koashi

15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020) 2020年6月11日

もっとみる

MISC

Dilemma between Quantum Speedup and Computational Reliability—Overcoming Errors with Efficient Verification Methods for Quantum Computing

Yuki Takeuchi, Seiichiro Tani

NTT Technical Review 21(10) 26-29 2023年10月
Extracting Quantum Power by Using Algorithms and Their Verification

Seiichiro Tani, Seiseki Akibue, Yuki Takeuchi

NTT Technical Review 21(6) 43-47 2023年6月
多様な知と技術が彩るだれもがどこでも輝ける未来量子コンピュータにおける計算高速性と信頼性のジレンマ-計算結果の正しさの効率的な検証技術による量子エラーの克服

竹内勇貴, 谷誠一郎

NTT技術ジャーナル 35(8) 2023年
量子技術イノベーションに向けた取り組み量子コンピュータの能力を引き出すアルゴリズムとその検証技術

谷誠一郎, 秋笛清石, 竹内勇貴

NTT技術ジャーナル 35(4) 29-32 2023年4月招待有り筆頭著者責任著者
NISQ計算の分割統治による検証

竹内勇貴, 高橋康博, 森前智行, 谷誠一郎

情報処理学会全国大会講演論文集 85th(1) 2023年査読有り
新原理コンピュータへの取り組み量子コンピュータの実装技術の課題克服に向けた理論面からの取り組み

秋笛清石, 竹内勇貴, 高橋康博, 加藤豪, 谷誠一郎

NTT技術ジャーナル 33(3) 2021年3月招待有り最終著者責任著者
量子アルゴリズム概観

谷誠一郎

電子情報通信学会通信ソサイエティマガジン 14(2) 102-112 2020年9月1日招待有り責任著者
高速量子アルゴリズムの開発

谷誠一郎, 高橋康博

ＩＥＩＣＥＦＵＮＤＡＭＥＮＴＡＬＳＲＥＶＩＥＷ 14(1) 15-27 2020年7月1日招待有り筆頭著者
A period without direction is a time for improving one's basic research abilities-better to change your perspective than follow the crowd

Seiichiro Tani

NTT Technical Review 16(2) 2018年2月16日
素因数分解だけではない量子計算の魅力 : 量子探索技術の可能性を探る—特集コミュニケーション科学の新展開

谷誠一郎

NTT技術ジャーナル / 日本電信電話株式会社編 26(9) 37-41 2014年9月招待有り責任著者
EVENT REPORTS 「NTTコミュニケーション科学基礎研究所オープンハウス2012」開催報告

笠原要, 谷誠一郎, 木下慶介

NTT技術ジャーナル / 日本電信電話株式会社編 24(9) 82-84 2012年9月
Special Section on Frontier of Quantum Computing FOREWORD

Seiichiro Tani

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES E92A(5) 1253-1253 2009年5月責任著者
FOREWORD

TANI Seiichiro

IEICE transactions on fundamentals of electronics, communications and computer sciences 92(5) 1253-1253 2009年5月1日責任著者
量子コンピュータと量子計算 : 4.情報・物理双方から見た量子探索アルゴリズムの基礎

加藤豪, 谷誠一郎

情報処理 47(12) 1329-1334 2006年12月15日招待有り最終著者
グループトピックス「NTTコミュニケーション科学基礎研究所オープンハウス2005」開催報告

須山敬之, 高田敏弘, 谷誠一郎

NTT技術ジャーナル / 日本電信電話株式会社編 17(11) 56-58 2005年11月
特集「量子計算と量子情報」の編集にあたって

谷誠一郎

情報処理学会論文誌 46(10) 2383-2383 2005年10月15日
『情報学のための離散数学』, 茨木俊秀(著), 昭晃堂, 2004-03, A5判, 定価(本体3,450円+税)

谷誠一郎

電子情報通信学会誌 87(11) 997-997 2004年11月1日
Global Multi-Point Streaming Experiments Based on Flexcast Protocol

Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki

NTT Technical Review 1(5) 24-30 2003年8月
Flexcast:自己組織化多地点配信技術

谷誠一郎, 宮崎敏明, 高橋紀之

NTT R & D 52(3) 213-222 2003年3月
Active network technology: Towards the adaptive network infrastructure

T Miyazaki, N Takahashi, T Murooka, S Tani

NTT REVIEW 14(2) 99-107 2002年3月査読有り

受賞

2024年1月

SCAT会長賞, 量子計算機アルゴリズムの先駆的研究を通じた耐量子計算機暗号技術の安全性評価への貢献, 一般財団法人テレコム先端技術研究支援センター

谷誠一郎
2023年2月

前島密賞, 量子計算アルゴリズムの先駆的研究と耐量子計算機暗号の安全性評価への貢献, 公益財団法人通信文化協会

谷誠一郎, 高橋康博
2019年

業績賞, 量子アルゴリズムに関する先駆的研究, 電子情報通信学会

谷誠一郎, 高橋康博
2001年

平成12年度情報システムソサイエティ論文賞(先見論文), The Complexity of the Optimal Variable Ordering Problems of a Shared Binary Decision Diagram, 電子情報通信学会

谷誠一郎, 濱口清治, 矢島脩三

共同研究・競争的資金等の研究課題

量子計算資源量に制約がある量子計算のための理論基盤

日本学術振興会科学研究費助成事業基盤研究(A) 基盤研究(A) 2022年4月 - 2027年3月

谷誠一郎, 西村治道, 森立平, 森前智行
量子アルゴリズムの理論と実装を接続する革新的基盤の創出

日本学術振興会科学研究費助成事業学術変革領域研究(A) 学術変革領域研究(A) 2020年11月 - 2025年3月

山下茂, 山本直樹, ルガルフランソワ, 森立平, 谷誠一郎, 西村治道
量子力学からの計算限界解明へのアプローチ

日本学術振興会科学研究費助成事業新学術領域研究(研究領域提案型) 新学術領域研究(研究領域提案型) 2012年6月 - 2017年3月

山下茂, 河内亮周, 中西正樹, ルガルフランソワ, 西村治道, 小林弘忠, 谷誠一郎, 根本香絵, 村尾美緒, 伊藤剛志
分散環境における量子計算量能力のネットワーク形状に着目した解析

日本学術振興会科学研究費助成事業若手研究(B) 若手研究(B) 2007年 - 2009年

谷誠一郎