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

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


連絡先

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

授業

2011年度後期
計算機科学第一 演習

研究

研究内容の解説はこちら

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

学会活動

電子情報通信学会コンピュテーション研究会 幹事
電子情報通信学会英文論文誌小特集号「暗号と情報セキュリティ小特集号」 編集幹事
第24回量子情報技術研究会 (QIT24) 世話人
計算量理論若手の会 幹事
ISAAC 2011, Organizing Committee Member

書籍

著: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,"
Proc. MFCS 2011, p.120-131, 2011.
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, Takeshi Koshiba, Harumichi Nishimura, and Tomoyuki Yamakami
"Computational Indistinguishability between Quantum States and Its Cryptographic Application,"
Journal of Cryptology, to appear. [quant-ph]
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]