Nagao Atsuki

ナガオアツキ | Nagao Atsuki

Affiliation and department：
Homepage URL (1)： https://sites.google.com/view/a-nagao/

Research field (1)： Information theory

Research keywords (4)： Discrete Optimization , Satisfiability Problem , Algorithms , Computational Complexity

Research theme for competitive and other funds (5)：

2024 - 2028 組合せ最適化問題に対する解の唯一化における計算複雑さの研究
2023 - 2027 Exploring the Function to Show the Limit of Log-space Computation Models
2021 - 2024 定数段数回路における計算限界導出技法の研究
2020 - 2023 対数領域計算モデルのメモリアクセス回数による能力の比較
2018 - 2020 強指数時間仮説の反証にむけた研究

Papers (20)：

Naoki Matsumoto, Atsuki Nagao. Feedback Game on Eulerian Graphs. Thai Journal of Mathematics. 2023. 21. 4. 751-768
MAKITA Tomu, NAGAO Atsuki, OKADA Tatsuki, SETO Kazuhisa, TERUYAMA Junichi. A Satisfiability Algorithm for Deterministic Width-2 Branching Programs. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2022. E105.A. 9. 1298-1308
Daiki Miyahara, Leo Robert, Pascal Lafourcade, So Takeshige, Takaaki Mizuki, Kazumasa Shinagawa, Atsuki Nagao, Hideaki Sone. Card-Based ZKP Protocols for Takuzu and Juosan. 10th International Conference on Fun with Algorithms. 2020
Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama. Satisfiability Algorithm for Syntactic Read-k-times Branching Programs. Theory of Computing Systems. 2020
Naoki Matsumoto, Atsuki Nagao. Feedback game on Eulerian graphs. CoRR. 2020. abs/2002.09570

ｍore...

MISC (3)：

Lectures and oral presentations (13)：

PSPACEcompleteness of generalized Quarto!
(the Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3) 2022)
Algorithms for Burning Schedule Reconfiguration Problem on Path Forests
(the Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3) 2022 2022)
Dance Dance Revolution における交互踏み可能性と捻り・回転数最小問題について
(LAシンポジウム2019 夏のLA 2019)
PSPACE-completeness for Snakebird
(The 21th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018) 2018)
Satisfiability Algorithm for Read k-times Branching Programs.
(28th International Symposium on Algorithms and Computation, ISAAC 2017 2017)

ｍore...

Education (3)：

2012 - 2015 Kyoto University Graduate School of Informatics Department of Communications and Computer Engineering, Ph.D. course
2010 - 2012 Kyoto University Graduate School of Informatics Department of Communications and Computer Engineering, Master course
2004 - 2010 Kyoto University Undergraduate School of Informatics and Mathematical Science

Professional career (1)：

Work history (6)：

2022/04 - 現在 Ochanomizu University Faculty of Core Research Natural Science Division Lecturer
2018/04 - 2022/03 Ochanomizu University Faculty of Core Research Natural Science Division Assistant Perofessor
2017/04 - 2018/03 Seikei University Faculty of Science and Technology Assistant Perofessor
2015/04 - 2017/03 The University of Electro-Communications School of Informatics and Engineering Project Researcher
2014/04 - 2015/03 Japan Society for the Promotion of Science, DC2 research fellow

Show all

Committee career (3)：

2016 - 現在 Japan Conference on Discrete and Computational Geometry, Graphs, and Games: JCDCG^3 Organizing Committee
2019/06 - 2023/06 電子情報通信学会英文論文誌D編集委員会編集委員
2018 - 2018 International Conference on Fun with Algorithms (FUN 2018) Organizing Committee

Awards (2)：

2013/03 - The Institute of Electronics, Information and Communication Engineers Young Researcher’s Award
2012/03 - IEICE Technical Committee on Theoretical Foundations of Computing Best student paper award

Association Membership(s) (1)：

THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page