最終更新日: 2023年 08月 09日

DBLP

Journal papers

  1. Tatsuya Gima, Yota Otachi.
    Extended MSO Model Checking via Small Vertex Integrity.
    Algorithmica, 2023. [📕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, pp. (to appear). 2024.
  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, 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, accepted. Sep, 2023.
  2. *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. Dec, 2022. [📘doi][📝arXiv]
  3. *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. Sep, 2022. [📘doi][📝arXiv]
  4. *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]

国内研究会

儀間発表 7件

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