職名 教授
氏名 かわち あきのり
河内 亮周
生年月 1977
所属 部局 工学研究科
学科・専攻 情報工学専攻
講座 コンピュータサイエンス
教育研究分野 コンピュータソフトウェア
TEL  
FAX  
E-mail kawachi@cs.info. (末尾に mie-u.ac.jp を補ってください)
個人のホームページ https://sites.google.com/site/akinorikawachi/
学歴 京都大学 工学部 情報学科 学士課程 (1996年04月~2000年03月) 卒業・修了
京都大学 大学院情報学研究科 社会情報学専攻 修士課程・博士前期課程 (2000年04月~2002年03月) 卒業・修了
京都大学 大学院情報学研究科 通信情報システム専攻 博士課程・博士後期課程 (2002年04月~2004年09月) 卒業・修了
学位 2004.09 博士(情報学) 京都大学
所属学会 電子情報通信学会 情報処理学会 LAシンポジウム
社会活動  
職歴 2004.10~2007.03 東京工業大学 大学院情報理工学研究科 数理・計算科学専攻 助手
2007.04~2014.10 東京工業大学 大学院情報理工学研究科 数理・計算科学専攻 助教
2014.11~2016.03 徳島大学 大学院ソシオテクノサイエンス研究部 講師
2016.04~2017.03 徳島大学 大学院理工学研究部 講師
2016.07~2017.03 大阪大学 大学院工学研究科 電気電子情報工学専攻 招へい教員(兼務)
2017.04~2019.03 大阪大学 大学院工学研究科 電気電子情報工学専攻 准教授
2018.07~2019.03 大阪大学 先導的学際研究機構 量子情報・量子生命研究部門 (兼任)
2019.04~ 三重大学 大学院工学研究科情報工学専攻 教授
学術(芸術)賞 SCIS論文賞,2006.12,電子情報通信学会情報セキュリティ研究専門委員会
国際会議 IEEE CCC 2010における学術誌Computational Complexityへの優秀論文招待,2010.06,CCC 2010
電子情報通信学会基礎・境界ソサイエティ貢献賞,同学会英文論文誌「暗号と情報セキュリティ」小特集編集幹事としての本学会への貢献,2013.09,電子情報通信学会
Yandex Best Paper Awards,2014.06,CSR 2014
専門分野 計算の理論
現代暗号理論
量子情報科学
現在の研究課題 計算の理論,量子情報科学,情報セキュリティの境界領域における数理科学的アプローチ
担当科目  
主な業績等 Brief Announcement: Compact Routing with Stretch Factor of Less Than Three 共著 2000.07 Proceedings of the 19th ACM Symposium on Principles of Distributed Computing (PODC 2000) 337-337
Quantum Sampling for Balanced Allocations 共著 2003.07 Proceedings of the 9th International Computing and Combinatorics Conference (COCOON 2003) LNCS 2697 304-318
A New Quantum Claw-Finding Algorithm for Three Functions 共著 2003.08 New Generation Computing 21(4) 319-327
Quantum Identification of Boolean Oracles 共著 2004.03 Proceedings of the 21st Symposium on Theoretical Aspects of Computer Science (STACS 2004) LNCS 2996 105-116
Universal Test for Quantum One-Way Permutations 共著 2004.08 Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004) LNCS 3153 839-850
Approximated Two Choices in Randomized Load Balancing 共著 2004.11 Proceedings of the 15th International Symposium on Algorithms and Computation (ISAAC 2004) LNCS 3341 545-557
Compact Routing with Stretch Factor of Less Than Three 共著 2005.01 IEICE transactions on Information and Systems Vol.E88-D No.1 39-46
Quantum Sampling for Balanced Allocations 共著 2005.01 IEICE transactions on Information and Systems Vol.E88-D No.1 47-52
Computational Indistinguishability between Quantum States and Its Cryptographic Application 共著 2005.03 Advances in Cryptography - Eurocrypt 2005 LNCS 3494 268-284
Quantum Biased Oracles 共著 2005.10 IPSJ Journal Vol.46 No.10 2400-2408
Universal Test for Quantum One-Way Permutations 共著 2005.11 Theoretical Computer Science Vol.345 Issues 2-3 No.22 370-385
Progress in Quantum Computational Cryptography 共著 2006.06 Journal of Universal Computer Science Vol.12, Issue 6 691-709
Improved Algorithms for Quantum Identification of Boolean Oracles 共著 2006.07 Proceedings of the 10th Scandinavian Workshop on Algorithm Theory (SWAT 2006) LNCS 4059 280-291
Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding 共著 2006.07 Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) LNCS 4052 216-227
Multi-Bit Cryptosystems Based on Lattice Problems 共著 2007.03 Proceedings of the 10th International Conference on Theory and Practice of Public-Key Cryptography (PKC 2007) LNCS 4450 315-329
量子計算における整数格子問題へのアプローチ 単著 2007.05 電子情報通信学会論文誌A Volume J90-A No.5 376-384
Improved Algorithms for Quantum Identification of Boolean Oracles 共著 2007.06 Theoretical Computer Science Vol.378, Issue 1 41-53
Quantum Measurements for Hidden Subgroup Problems with Optimal Sample Complexity 共著 2008.03 Quantum Information and Computation Journal Vol 8, No 3&4 345-358
On the Power of Quantum Encryption Keys 共著 2008.10 Proceedings of the 2nd International Workshop on Post-Quantum Cryptography (PQCrypto 2008) LNCS 5299 165-180
Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems 共著 2008.11 Proceedings of the 14th Annual International Conference on the Theory and Application of Cryptology & Information Security LNCS 5350 372-389
Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding 共著 2010.05 SIAM Journal on Computing Volume 39, Issue 7 2941-2969
Security of Encryption Schemes in Weakened Random Oracles 共著 2010.05 Proceedings of the 13th International Conference on Theory and Practice of Public-Key Cryptography (PKC 2010) LNCS 6056 403-419
Derandomizing Arthur-Merlin Games and Approximate Counting Implies Exponential-Size Lower Bounds 共著 2010.06 Proceedings of the 25th IEEE Conference on Computational Complexity (CCC 2010) 38-49
Characterization of the Relations between Information-Theoretic Non-Malleability, Secrecy, and Authenticity 共著 2011.05 Proceedings of the 5th International Conference on Information Theoretic Security (ICITS 2011) LNCS 6673 6-24
Derandomizing Arthur-Merlin Games and Approximate Counting Implies Exponential-Size Lower Bounds 共著 2011.06 Computational Complexity 20(2) 329-366
Hard Functions for Low-Degree Polynomials over Prime Fields 共著 2011.08 Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011) LNCS 6907 120-131
Estimating the Gowers Norm of Modulo Functions over Prime Fields 共著 2012.03 IEICE transactions on Information and Systems 95-D(3) 755-762
Computational Indistinguishability between Quantum States and Its Cryptographic Application 共著 2012.07 Journal of Cryptology 25(3) 528-555
Symmetric-Key Encryption Scheme with Multi-Ciphertext Non-Malleability 共著 2012.11 Proceedings of the 7th International Workshop on Security (IWSEC 2012) LNCS 7631, 123-137
Hard Functions for Low-Degree Polynomials over Prime Fields 共著 2013.07 ACM Transactions on Computation Theory 5(2) 5-5
Proving Circuit Lower Bounds in High Uniform Classes 単著 2014.03 Interdisciplinary Information Sciences 20(1) 1-26
The Query Complexity of Witness Finding 共著 2014.06 Proceedings of the 9th International Computer Science Symposium in Russia (CSR 2014) 218-231
A Fourier-Analytic Approach to List-Decoding for Sparse Random Linear Codes 共著 2015.03 IEICE Transactions on Information and Systems Vol.E98-D, No.3 532-540
Post-Challenge Leakage Resilient Public-Key Cryptosystem in Split State Model 共著 2015.03 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E98-A, No.3 853-862
Lower Bounds for Key Length of k-wise Almost Independent Permutations and Certain Symmetric-Key Encryption Schemes 共著 2016.09 Proceedings of the 11th International Workshop on Security (IWSEC 2016) 195-211
Generalized Predecessor Existence Problems for Boolean Finite Dynamical Systems 共著 2017 Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) LIPCS Vol. 83 8:1-8:13
General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction 共著 2017.04 The Computer Journal 60(5) 711-728
Quantum Query Complexity of Unitary Operator Discrimination 共著 2017.08 Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON 2017) 309-320
The Query Complexity of Witness Finding 共著 2017.08 Theory of Computing Systems 61(2) 305-321
Circuit Lower Bounds from Learning-theoretic Approaches 単著 2018.04 Theoretical Computer Science 733 83-98
String commitment schemes with low output locality 共著 2019 Proceedings of AsiaJCIS 2019
Generalized Predecessor Existence Problems for Boolean Finite Dynamical Systems on Directed Graphs 共著 2019.03 Theoretical Computer Science 762(1) 25-40
Query Complexity Unitary Operator Discrimination 共著 2019.03 IEICE transactions on Information and Systems Vol.E102-D, No.3 483-491
Quantum Computation and Information: From Theory to Experiment 共著 2006.07 Topics Applied Physics, Vol.102
確率と計算 ―乱択アルゴリズムと確率的解析― 共著 2009.04 共立出版
電子情報通信学会知識ベース「知識の森」 共著 2011.03 電子情報通信学会
量子情報科学入門 共著 2012.06 共立出版
Introduction to Quantum Information Science 共著 2014.09 Springer