河内 亮周 (かわち あきのり)

東京工業大学 大学院情報理工学研究科
数理・計算科学専攻 助教


連絡先

住所
〒152-8552 東京都目黒区大岡山2-12-1
Email
kawachi_at_is_dot_titech_dot_ac_jp

授業

2014年度前期
アルゴリズムとデータ構造 演習

研究

研究内容の解説はこちら

計算量理論
平均計算量, 回路計算量
量子計算
量子質問計算量, 計算論的量子暗号
確率・分散計算
負荷分散問題, コンパクトルーティングアルゴリズム

現在の学会活動

計算量理論若手の会 幹事
IWSEC 2013, Organizing Committee Member

書籍

石坂 智,小川 朋宏,河内 亮周,木村 元,林 正人
量子情報科学入門
共立出版,2012年 [Amazon]
   
著:Michael Mitzenmacher and Eli Upfal, 翻訳:小柴 健史,河内 亮周
確率と計算 ―乱択アルゴリズムと確率的解析―
共立出版,2009年 [Amazon]
   
正誤表(PDFファイル)

主要論文

全論文リストはこちら(PDFファイル)

Andrej Bogdanov, Akinori Kawachi, and Hidetoki Tanaka,
"On Hard Functions for Low-Degree Polynomials over Prime Fields,"
ACM Transactions on Computing Theory, to appear.
Akinori Kawachi, Takeshi Koshiba, Harumichi Nishimura, and Tomoyuki Yamakami
"Computational Indistinguishability between Quantum States and Its Cryptographic Application,"
Journal of Cryptology 25(3): 528-555, 2012. [quant-ph]
Baris Aydinlioglu, Dan Gutfreund, John Hitchcock, and Akinori Kawachi,
"Derandomizing Arthur-Merlin Games and Approximate Counting Implies Exponential-Size Lower Bounds,"
Computational Complexity 20(2): 329-366, 2011 (invited from CCC'10). [ECCC]
Akinori Kawachi, Christopher Portmann, and Keisuke Tanaka,
"Characterization of the Relations between Information-Theoretic Non-Malleability, Secrecy, and Authenticity,"
Proc. ICITS 2011, p.6-24, 2011. [Cryptology ePrint Archive]
Akinori Kawachi and Tomoyuki Yamakami,
"Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding,"
SIAM Journal on Computing, Volume 39, Issue 7, p.2941-2969, 2010. [quant-ph]
Akinori Kawachi and Osamu Watanabe,
"Strong Hardness Preserving Reduction from a P-Samplable Distribution to the Uniform Distribution for NP-Search Problems,"
[ECCC]
Akinori Kawachi and Christopher Portmann,
"On the Power of Quantum Encryption Keys,"
Proc. PQCrypto 2008, p.165-180, 2008. [quant-ph]
Akinori Kawachi, Keisuke Tanaka, and Keita Xagawa,
"Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems,"
Proc. Asiacrypt 2008, p.372-389, 2008. [full version (PDF)]
Masahito Hayashi, Akinori Kawachi, and Hirotada Kobayashi,
"Quantum Measurements for Hidden Subgroup Problems with Optimal Sample Complexity,"
Quantum Information and Computation Journal, 8, p.345-358, 2008. [quant-ph]
Akinori Kawachi, Keisuke Tanaka, and Keita Xagawa,
"Multi-Bit Cryptosystems Based on Lattice Problems,"
Proc. PKC 2007, LNCS 4450, p.315-329, 2007. [full version (PDF)]
Akinori Kawachi, Hirotada Kobayashi, Takeshi Koshiba, and Raymond H. Putra,
"Universal Test for Quantum One-Way Permutations,"
Theoretical Computer Science, 345:2-3, p.370-385, 2005. [quant-ph]
Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Hiroyuki Masuda, Raymond H. Putra, and Shigeru Yamashita,
"Quantum Identification of Boolean Oracles,"
Proc. STACS 2004, LNCS 2996, p.105-116, 2004. [quant-ph]