最終更新日: 2024年 03月 07日

DBLP

Journal papers

  1. Tatsuya Gima, Yota Otachi.
    Extended MSO Model Checking via Small Vertex Integrity.
    Algorithmica, 86, pp. 147–170. 2024.
    [📕doi][📝arXiv]
  2. Tatsuya Gima, Tesshu Hanaka, Kohei Noro, Hirotaka Ono, Yota Otachi.
    On a spectral lower bound of treewidth.
    IEICE Transactions on Information and Systems, E107-D (in press), 2024.
    [📕doi]
  3. 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.
    [📕doi][📝arXiv]
  4. 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.
    [📕doi][📝arXiv]

Conference papers

  1. Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, *Yuma Tamura, Xiao Zhou.
    On the Complexity of List $\mathcal H$-Packing for Sparse Graph Classes.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Kanazawa, Japan, accepted. March, 2024.
    [📝arXiv]
  2. Julien Courtiel, Paul Dorbec, *Tatsuya Gima, Romain Lecoq, Yota Otachi.
    Orientable Burning Number of Graphs.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Kanazawa, Japan, accepted. March, 2024.
    [📝arXiv]
  3. Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, *Ryota Murai, Hirotaka Ono, Yota Otachi.
    Structural Parameterizations of Vertex Integrity.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Kanazawa, Japan, accepted. March, 2024.
    🎉 Best paper
    [📝arXiv]
  4. Tatsuya Gima, Soh Kumabe, Kazuhiro Kurita, *Yuto Okada, Yota Otachi.
    Dichotomies for Tree Minor Containment with Structural Parameters.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Kanazawa, Japan, accepted. March, 2024.
    [📝arXiv]
  5. Tatsuya Gima, Eun Jung Kim, Noleen Köhler, Nikolaos Melissinos, *Manolis Vasilakis.
    Bandwidth Parameterized by Cluster Vertex Deletion Number.
    The 18th International Symposium on Parameterized and Exact Computation (IPEC 2023), Amsterdam, Netherlands, LIPIcs, 285, pp. 21:1-21:15. September, 2023.
    [📘doi][📝arXiv]
  6. *Tatsuya Gima, Yota Otachi.
    Extended MSO Model Checking via Small Vertex Integrity.
    The 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Seoul, Korea, LIPIcs, 248, pp. 20:1–20:15. December, 2022.
    [📘doi][📝arXiv]
  7. *Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi.
    Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited.
    The 30th Annual European Symposium on Algorithms (ESA 2022), Potsdam, Germany, LIPIcs, 244, pp. 61:1–61:15. September, 2022.
    [📘doi][📝arXiv]
  8. *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 (CIAC 2021), Online, LNCS, 12701, pp. 271–285. May, 2021.
    [📘doi][📝arXiv]

国際ワークショップでの発表

  1. Hiroki Arimura, Tatsuya Gima, Yasuaki Kobayashi, *Hiroomi Nochide, Yota Otachi.
    Minimum Consistent Subset for Trees Revisited.
    The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023), Nagoya, Japan, accepted. June, 2023.
  2. *Ryota Murai, Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Hirotaka Ono, Yota Otachi.
    Structural parameterizations of vertex integrity.
    The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023), Nagoya, Japan, accepted. June, 2023.
  3. Tatsuya Gima, Tesshu Hanaka, *Kohei Noro, Hirotaka Ono, Yota Otachi.
    On a spectral lower bound of treewidth.
    The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023), Nagoya, Japan, accepted. June, 2023.

プレプリント

  1. Hiroki Arimura, Tatsuya Gima, Yasuaki Kobayashi, Hiroomi Nochide, Yota Otachi.
    Minimum Consistent Subset for Trees Revisited.
    [📝arXiv]

国内研究会

儀間発表 8件

  1. 儀間 達也, 岩政 勇仁, 小林 靖明, 栗田 和宏, 大舘 陽太, *斉藤 凜.
    Computing diverse pair of solutions for SAT.
    2023年電子情報通信学会総合大会COMP-AFSA学生シンポジウム, 広島大学, 2024年 3月.
  2. 儀間 達也, 土中 哲秀, *野呂 浩平, 小野 廣隆, 大舘 陽太.
    ラプラシアン行列の固有値に関する木幅の下界とその改善.
    2023年電子情報通信学会総合大会COMP-AFSA学生シンポジウム, 広島大学, 2024年 3月.
    🎉 最優秀論文賞 受賞
  3. *儀間 達也.
    組合せ遷移問題に対するメタアルゴリズム.(招待講演)
    ワークショップ「組合せ最適化」, 京都大学数理解析研究所, 2024年 2月.
  4. 儀間 達也, 岩政 勇仁, 小林 靖明, 栗田 和宏, 大舘 陽太, *斉藤 凜.
    Computing diverse pair of solutions for SAT.
    2024年度冬のLAシンポジウム, 京都大学, 2024年 2月.
  5. 儀間 達也, 土中 哲秀, *野呂 浩平, 小野 廣隆, 大舘 陽太.
    ラプラシアン行列の固有値に関する木幅の下界とそのさらなる改善.
    2024年度冬のLAシンポジウム, 京都大学, 2024年 2月.
  6. 儀間 達也, 土中 哲秀, *野呂 浩平, 小野 廣隆, 大舘 陽太.
    続・ラプラシアン行列の固有値に関する木幅の下界とその改善.
    2023年度夏のLAシンポジウム, サンリフレ函館, 2023年 7月.
  7. 儀間 達也, 隈部 壮, 栗田 和宏, *岡田 優斗, 大舘 陽太.
    Dichotomies for Tree Minor Containment with Structural Parameters.
    2023年度夏のLAシンポジウム, サンリフレ函館, 2023年 7月.
  8. *村井 亮太, 儀間 達也, 土中 哲秀, 小林 靖明, 小野 廣隆, 大舘 陽太.
    頂点インテグリティのパラメータ化計算量.
    2022年度冬のLAシンポジウム, 京都大学, 2023年 1月 – 2月.
  9. *野呂 浩平, 儀間 達也, 土中 哲秀, 大舘 陽太, 小野 廣隆.
    ラプラシアン行列の固有値に関する木幅の下界とその改善.
    2022年度冬のLAシンポジウム, 京都大学, 2023年 1月 – 2月.
  10. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太.
    Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited.
    2022年度冬のLAシンポジウム, 京都大学, 2023年 1月 – 2月.
  11. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太.
    Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited.(招待講演)
    JCCA-2022 離散数学とその応用研究集会2022 ミニシンポジウム「組合せ遷移」, 成蹊大学, 2022年 8月.
  12. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太.
    Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited.
    最適化手法とアルゴリズム ─未来を担う若手研究者の集い 2022─, 東京大学, 2022年 6月.
  13. *儀間 達也, 大舘 陽太.
    Extended MSO Model Checking via Small Vertex Integrity.
    2022年電子情報通信学会総合大会COMP学生シンポジウム, オンライン, 2022年 3月.
    🎉 最優秀論文賞 受賞
  14. *儀間 達也, 大舘 陽太.
    Extended MSO Model Checking via Small Vertex Integrity.
    2021年度冬のLAシンポジウム, オンライン, 2022年 2月.
  15. *儀間 達也, 大舘 陽太.
    Fair MSO Evaluation Problems Parameterized by Vertex Integrity.
    2021年電子情報通信学会総合大会COMP学生シンポジウム, オンライン, 2021年 3月.
  16. 青池 宥希, 儀間 達也, 土中 哲秀, 清見 礼, *小林 靖明, 小林 佑輔, 栗田 和宏, 大舘 陽太.
    An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion.
    電子情報通信学会コンピュテーション研究会, オンライン, 2020年 12月.
  17. *儀間 達也, 土中 哲秀, 清見 礼, 小林 靖明, 大舘 陽太.
    Graph Partitioning Problems Parameterized by Vertex Integrity.
    2019年度冬のLAシンポジウム, 京都大学, 2020年2月.