(*付きは発表者)

査読付き論文誌

  1. Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi. An improved deterministic parameterized algorithm for cactus vertex deletion. Theory of Computing Systems, 66, pp. 502–515, 2022. (arXiv)
  2. Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi. Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity. Theoretical Computer Science, 918, pp. 60–76, 2022. (arXiv)

査読付き国際会議

  1. Tatsuya Gima, Yota Otachi. Extended MSO Model Checking via Small Vertex Integrity, arXiv:2202.08445 The 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Korea and online, accepted. arXiv.
  2. Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi and Yota Otachi. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited. The 30th Annual European Symposium on Algorithms (ESA 2022), Germany, LIPIcs, vol 244, pp. 61:1–61:15, Sep, 2022. (arXiv)
  3. *Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi. Exploring the gap between treedepth and vertex cover through vertex integrity. The 12th International Conference on Algorithms and Complexity (CIAC2021), online, LNCS, vol 12701, pp. 271–285, May, 2021. (arXiv)

受賞歴

  1. 2022年 3月: 電子情報通信学会総合大会 COMP学生シンポジウム 最優秀論文賞
  2. 2020年 3月: 熊本大学工学部 情報電気電子工学科 学科学業奨励賞

国内研究会発表(査読なし)

  1. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited, JCCA-2022 離散数学とその応用研究集会2022 ミニシンポジウム「組合せ遷移」, 成蹊大学, 2022年8月.
  2. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited, 最適化手法とアルゴリズム ─未来を担う若手研究者の集い 2022─, 東京大学, 2022年6月.
  3. *儀間 達也, 大舘 陽太. Extended MSO model checking via small vertex integrity. 2022年電子情報通信学会総合大会COMP学生シンポジウム,オンライン,2022年3月 (最優秀論文賞受賞).
  4. *儀間 達也, 大舘 陽太. Extended MSO model checking via small vertex integrity. 2021年度冬のLAシンポジウム,オンライン,2022年2月.
  5. *儀間 達也, 大舘 陽太. Fair MSO evaluation problems parameterized by vertex integrity. 2021年電子情報通信学会総合大会COMP学生シンポジウム,オンライン,2021年3月.
  6. 青池 宥希, 儀間 達也, 土中 哲秀, 清見 礼, *小林 靖明,小林 佑輔, 栗田 和宏,大舘 陽太. An improved deterministic parameterized algorithm for cactus vertex deletion. 電子情報通信学会コンピュテーション研究会,オンライン開催,2020年12月.
  7. *儀間 達也, 土中 哲秀, 清見 礼, 小林 靖明, 大舘 陽太. Graph partitioning problems parameterized by vertex integrity. 2019年度冬のLAシンポジウム,京都大学,2020年2月.