0110100_Ⅰ類(情報系), 0110000_情報理工学域, The University of Electro-Communications
games and puzzles | ゲーム・パズルbinary decision diagram | 二分決定グラフBoolean function | 論理関数complexity | 計算量algorithm | アルゴリズムOBDDcomplexity論理関数アルゴリズム
専門
working on the theory of algorithms, computational complexity and properties of Boolean functions
Current Affiliation:
- Associate Professor, Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)", The University of Electro-Communications | 電気通信大学, 大学院情報理工学研究科、情報理工学域情報・ネットワーク工学専攻、Ⅰ類 (情報系), 准教授
Degree:
- 博士(工学), 京都大学
Research Area:
- Informatics / Information theory | 情報通信 / 情報学基礎論