研究者
J-GLOBAL ID：201701008579548357   更新日: 2024年07月16日

長尾 篤樹

ナガオ アツキ | Nagao Atsuki
所属機関・部署：
お茶の水女子大学

お茶の水女子大学 について


ホームページURL (1件)： https://sites.google.com/view/a-nagao/
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： 離散最適化 ,  充足可能性問題 ,  アルゴリズム ,  計算量理論
競争的資金等の研究課題 (4件)：
  • 2024 - 2028 組合せ最適化問題に対する解の唯一化における計算複雑さの研究
  • 2021 - 2024 定数段数回路における計算限界導出技法の研究
  • 2020 - 2023 対数領域計算モデルのメモリアクセス回数による能力の比較
  • 2018 - 2020 強指数時間仮説の反証にむけた研究
論文 (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
もっと見る
MISC (3件)：
  • 脊戸和寿, 照山順一, 照山順一, 長尾篤樹, 長尾篤樹. 線形サイズk-IBDD充足可能性問題に対する厳密アルゴリズム. 情報処理学会研究報告(Web). 2015. 2015. AL-152. VOL.2015-AL-152,NO.1 (WEB ONLY)
  • 脊戸和寿, 照山順一, 長尾篤樹. k-IBDD充足可能性問題に対する厳密アルゴリズム. 情報処理学会研究報告. AL, アルゴリズム研究会報告. 2014. 2014. 9. 1-6
  • 脊戸 和寿, 照山 順一, 長尾 篤樹. k集合整列問題に対する効率のよいアルゴリズム. 電子情報通信学会技術研究報告. COMP, コンピュテーション. 2013. 113. 371. 81-85
講演・口頭発表等 (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)
もっと見る
学歴 (3件)：
  • 2012 - 2015 京都大学 情報学研究科 通信情報システム専攻 博士課程
  • 2010 - 2012 京都大学 情報学研究科 通信情報システム専攻 修士課程
  • 2004 - 2010 京都大学 工学部 情報学科
学位 (1件)：
  • 博士(情報学) (京都大学)
経歴 (6件)：
  • 2022/04 - 現在 お茶の水女子大学 基幹研究院自然科学系 講師
  • 2018/04 - 2022/03 お茶の水女子大学 基幹研究院 自然科学系 助教
  • 2017/04 - 2018/03 成蹊大学 理工学部 助教
  • 2015/04 - 2017/03 電気通信大学 情報理工学研究科 特任研究員
  • 2014/04 - 2015/03 日本学術振興会特別研究員 DC2
全件表示
委員歴 (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
受賞 (2件)：
  • 2013/03 - 電子情報通信学会 学術奨励賞
  • 2012/03 - 電子情報通信学会コンピュテーション研究会 COMP学生シンポジウム最優秀論文賞
所属学会 (1件)：
電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM