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

長尾 篤樹

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

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


ホームページURL (1件)： https://sites.google.com/view/a-nagao/
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： 離散最適化 ,  充足可能性問題 ,  アルゴリズム ,  計算量理論
競争的資金等の研究課題 (3件)：
  • 2021 - 2024 定数段数回路における計算限界導出技法の研究
  • 2020 - 2023 対数領域計算モデルのメモリアクセス回数による能力の比較
  • 2018 - 2020 強指数時間仮説の反証にむけた研究
論文 (15件)：
  • 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
  • Kyohei Chiba, Rémy Belmonte, Hiro Ito, Michael Lampis, Atsuki Nagao, Yota Otachi. K3 Edge Cover Problem in a Wide Sense. Journal of Information Processing. 2020. 28. 849-858
  • Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa. Light Cryptography. 12th World Conference on Information Security Education. 2019
もっと見る
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
講演・口頭発表等 (11件)：
  • 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)
  • K_3 edge cover in a wide sense.
    (The 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2017) 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件)：
  • 2019/06 - 2023/06 電子情報通信学会 英文論文誌D編集委員会編集委員
  • 2018 - 2018 International Conference on Fun with Algorithms (FUN 2018) Organizing Committee
  • 2016 - 2017 Japan Conference on Discrete and Computational Geometry, Graphs, and Games: JCDCG^3 Organizing Committee
受賞 (2件)：
  • 2013/03 - 電子情報通信学会 学術奨励賞
  • 2012/03 - 電子情報通信学会コンピュテーション研究会 COMP学生シンポジウム最優秀論文賞
所属学会 (1件)：
電子情報通信学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM