学生の外部発表など

  • 大舘が主な指導教員の一人だった学生さんたちの外部発表リストです.(一部,公式には大舘研所属ではなかった方も含みます)
  • 学生さんの名前を強調表示し,開催時(国際会議,研究会)または採録決定時(学術論文誌)の学年を付記しています.
  • 口頭発表(国際会議,国際ワークショップ,国内研究会)に関しては,講演者を*で表しています.

受賞

  1. 儀間 達也 (D2).
    名古屋大学大学院情報学研究科 エクセレントドクター賞,2024年3月.
  2. Tatsuya Gima (D2), Ryota Murai (M2).
    The best paper award, WALCOM 2024, 2024年3月.
    対象論文: Structural parameterizations of vertex integrity
    著者(共同受賞者): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi.
  3. 野呂 浩平 (M2).
    電子情報通信学会総合大会 COMP-AFSA学生シンポジウム 最優秀論文賞,2024年3月.
    対象論文: ラプラシアン行列の固有値を用いた木幅の下界とその改善.
    著者: 儀間 達也,土中 哲秀,野呂 浩平,小野 廣隆,大舘 陽太.
  4. Yuto Okada (M1).
    The best student paper award, SOFSEM 2023, 2023年1月.
    対象論文: Sequentially swapping tokens: Further on graph classes.
    著者: Hironori Kiya, Yuto Okada, Hirotaka Ono, Yota Otachi.
  5. 儀間 達也 (M2).
    電子情報通信学会総合大会 COMP学生シンポジウム 最優秀論文賞,2022年3月.
    対象論文: Extended MSO model checking via small vertex integrity.
    著者: 儀間 達也,大舘 陽太

査読付き学術論文誌

  1. Masaaki Kanzaki(M修了後), Yota Otachi, Giovanni Viglietta, Ryuhei Uehara.
    Computational complexity of jumping block puzzles.
    Theoretical Computer Science 983, 114292, February 2024.
  2. Tatsuya Gima (D2), Yota Otachi.
    Extended MSO model checking via small vertex integrity.
    Algorithmica 86, 147-170, January 2024.
  3. Tatsuya Gima (D2), Tesshu Hanaka, Kohei Noro (M2), Hirotaka Ono, Yota Otachi.
    On a spectral lower bound of treewidth.
    IEICE Transactions E107-D, 328-330, March 2024.
  4. Tatsuya Gima (M2), Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi.
    Exploring the gap between treedepth and vertex cover through vertex integrity.
    Theoretical Computer Science 918, 60-76, May 2022.
  5. Yuuki Aoike, Tatsuya Gima (M2), 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, 502-515, April 2022.
  6. Rémy Belmonte, Tesshu Hanaka, Masaaki Kanzaki (M2), Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Michael Lampis, Hirotaka Ono, Yota Otachi.
    Parameterized complexity of (A, ℓ)-path packing.
    Algorithmica 84, 871-895, April 2022.
  7. Bireswar Das, Murali Krishna Enduri, Masashi Kiyomi, Neeldhara Misra, Yota Otachi, I. Vinod Reddy, Shunya Yoshimura (M1).
    On structural parameterizations of firefighting.
    Theoretical Computer Science 782, 79-90, August 2019.

査読付き国際会議

  1. Tatsuya Gima (D2), Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura*, Xiao Zhou.
    On the complexity of List H-Packing for sparse graph classes.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024).
    March 18-20, 2024 in Kanazawa, Japan. Lecture Notes in Computer Science 14549 (2024) 421-435.
  2. Tatsuya Gima (D2), Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai* (M2), Hirotaka Ono, Yota Otachi.
    Structural parameterizations of vertex integrity.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024).
    March 18-20, 2024 in Kanazawa, Japan. Lecture Notes in Computer Science 14549 (2024) 406-420.
  3. Tatsuya Gima (D2), Soh Kumabe, Kazuhiro Kurita, Yuto Okada* (M2), Yota Otachi.
    Dichotomies for Tree Minor Containment with structural parameters.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024).
    March 18-20, 2024 in Kanazawa, Japan. Lecture Notes in Computer Science 14549 (2024) 392-405.
  4. Julien Courtiel, Paul Dorbec, Tatsuya Gima* (D2), Romain Lecoq, Yota Otachi.
    Orientable burning number of graphs.
    The 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024).
    March 18-20, 2024 in Kanazawa, Japan. Lecture Notes in Computer Science 14549 (2024) 377-391.
  5. Hironori Kiya, Yuto Okada* (M1), Hirotaka Ono, Yota Otachi.
    Sequentially swapping tokens: Further on graph classes.
    The 48th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2023).
    January 15-19, 2023, in Nový Smokovec, Slovakia. Lecture Notes in Computer Science 13878 (2023) 222-235.
  6. Tatsuya Gima* (D1), Yota Otachi.
    Extended MSO model checking via small vertex integrity.
    The 33rd International Symposium on Algorithms and Computation (ISAAC 2022).
    December 19-21, 2022, in Seoul, Korea (hybrid). Leibniz International Proceedings in Informatics 248 (2022) 20:1-20:15.
  7. Tatsuya Gima* (D1), Takehiro Ito, Yasuaki Kobayashi, Yota Otachi.
    Algorithmic meta-theorems for combinatorial reconfiguration revisited.
    The 30th European Symposium on Algorithms (ESA 2022).
    September 5-9, 2022, in Potsdam, Germany (hybrid). Leibniz International Proceedings in Informatics 244 (2022) 61:1-61:15.
  8. Masaaki Kanzaki* (M2), Yota Otachi, Ryuhei Uehara.
    Computational complexity of jumping block puzzles.
    The 27th International Computing and Combinatorics Conference (COCOON 2021).
    October 24-26, 2021 in Tainan, Taiwan (hybrid). Lecture Notes in Computer Science 13025 (2021) 655-667.
  9. Tatsuya Gima* (M2), 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).
    May 10-12, 2021 in Larnaca, Cyprus (held online). Lecture Notes in Computer Science 12701 (2021) 271-285.
  10. Rémy Belmonte, Tesshu Hanaka, Masaaki Kanzaki* (M1), Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Michael Lampis, Hirotaka Ono, Yota Otachi.
    Parameterized complexity of (A, ℓ)-path packing.
    The 31st International Workshop on Combinatorial Algorithms (IWOCA 2020).
    June 8-10, 2020, in Bordeaux, France (held online). Lecture Notes in Computer Science 12126 (2020) 43-55.

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

  1. Tatsuya Gima (D2), Tesshu Hanaka, Kohei Noro* (M2), Hirotaka Ono, Yota Otachi.
    An improved spectral lower bound of treewidth.
    The Indonesia-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (IJCDCG3).
    September 22-24, 2023 in Bali, Indonesia.
  2. Hiroki Arimura, Tatsuya Gima (D2), Yasuaki Kobayashi, Hiroomi Nochide*, Yota Otachi.
    Minimum Consistent Subset for Trees Revisited.
    The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023).
    June 24-25, 2023 in Nagoya, Japan.
  3. Ryota Murai* (M2), Tatsuya Gima (D2), 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).
    June 24-25, 2023 in Nagoya, Japan.
  4. Tatsuya Gima (D2), Tesshu Hanaka, Kohei Noro* (M2), Hirotaka Ono, Yota Otachi.
    On a spectral lower bound of treewidth.
    The 23rd Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2023).
    June 24-25, 2023 in Nagoya, Japan.

国内研究会での発表

  1. 儀間 達也 (D2),土中 哲秀,野呂 浩平* (M2),小野 廣隆,大舘 陽太.
    ラプラシアン行列の固有値を用いた木幅の下界.
    情報処理学会アルゴリズム研究会,JAIST金沢駅前オフィス,2024年3月21日.
  2. 儀間 達也 (D2),土中 哲秀,野呂 浩平* (M2),小野 廣隆,大舘 陽太.
    ラプラシアン行列の固有値を用いた木幅の下界とその改善.
    電子情報通信学会総合大会COMP-AFSA学生シンポジウム,広島大学,2024年3月6日.
  3. 儀間 達也 (D2),岩政 勇仁,小林 靖明,栗田 和宏,大舘 陽太,斉藤 凜*.
    Computing diverse pair of solutions for SAT.
    2023年度 冬のLAシンポジウム,京都大学,2024年2月20日.
  4. 儀間 達也 (D2),土中 哲秀,野呂 浩平* (M2),小野 廣隆,大舘 陽太.
    ラプラシアン行列の固有値に関する木幅の下界とそのさらなる改善.
    2023年度 冬のLAシンポジウム,京都大学,2024年2月20日.
  5. 儀間 達也 (D2),土中 哲秀,小林 靖明,大舘 陽太,白井 智仁,鈴木 顕,田村 祐馬*,周 暁.
    List variants of packing problems on sparse graphs.
    情報処理学会アルゴリズム研究会,東京大学,2024年1月21日.
  6. 儀間 達也 (D2),隈部 壮,栗田 和宏,岡田 優斗* (M2),大舘 陽太.
    Dichotomies for tree minor containment with structural parameters.
    2023年度 夏のLAシンポジウム,サンリフレ函館,2023年7月3日.
  7. 儀間 達也 (D2),土中 哲秀,野呂 浩平* (M2),小野 廣隆,大舘 陽太.
    続・ラプラシアン行列の固有値に関する木幅の下界とその改善.
    2023年度 夏のLAシンポジウム,サンリフレ函館,2023年7月3日.
  8. 村井 亮太* (M1),儀間 達也 (D1),土中 哲秀,小林 靖明,小野 廣隆,大舘 陽太.
    頂点インテグリティのパラメータ化計算量.
    2022年度 冬のLAシンポジウム,京都大学,2023年2月1日.
  9. 野呂 浩平* (M1),儀間 達也 (D1),土中 哲秀,大舘 陽太,小野 廣隆.
    ラプラシアン行列の固有値に関する木幅の下界とその改善.
    2022年度 冬のLAシンポジウム,京都大学,2023年1月31日.
  10. 木谷 裕紀,岡田 優斗* (M1),小野 廣隆,大舘 陽太.
    Sequentially swapping tokens: Further on graph classes.
    電子情報通信学会コンピュテーション研究会,愛媛大学,2022年12月6日.
  11. 儀間 達也* (D1),伊藤 健洋,小林 靖明,大舘 陽太.
    Algorithmic meta-theorems for combinatorial reconfiguration revisited.
    最適化手法とアルゴリズム (SOMA) ─未来を担う若手研究者の集い 2022─, 東京大学, 2022年6月12日.
    JCCA-2022・離散数学とその応用研究集会2022,成蹊大学+オンライン開催,2022年8月17日.
    2022年度 冬のLAシンポジウム,京都大学,2023年2月1日.
  12. 岡田 優斗* (B4),木谷 裕紀,大舘 陽太,小野 廣隆.
    グラフ上の色付きドロップ順次交換の計算量.
    第16回 組合せゲーム・パズル研究集会,オンライン開催,2022年3月7日.
    2021年度 組合せ遷移の学⽣シンポジウム,オンライン開催,2022年3⽉9⽇.
  13. 儀間 達也* (M2), 大舘 陽太.
    Extended MSO model checking via small vertex integrity.
    2021年度 冬のLAシンポジウム,オンライン開催,2022年2月3日.
    電子情報通信学会総合大会COMP学生シンポジウム,オンライン開催,2022年3月15日.
  14. 岡田 優斗* (B4),木谷 裕紀,大舘 陽太,小野 廣隆.
    王将グラフ上での順次交換による色付きドロップ整列の計算量.
    情報処理学会ゲーム情報学研究会,オンライン開催,2021年6月20日.
    電子情報通信学会コンピュテーション研究会,オンライン開催,2021年10月23日.
  15. 神崎 勝彰* (M2), 大舘 陽太,上原 隆平.
    Computational complexity of jumping block puzzles.
    2021年度 夏のLAシンポジウム,オンライン開催,2021年7月20日.
  16. 儀間 達也* (M1), 大舘 陽太.
    Fair MSO evaluation problems parameterized by vertex integrity.
    電子情報通信学会総合大会COMP学生シンポジウム,オンライン開催,2021年3月10日.
  17. 糸山 凌* (M2),大舘 陽太.
    黒どこに対する物理ゼロ知識証明プロトコル.
    2020年度 冬のLAシンポジウム,オンライン開催,2021年2月3日.
  18. 青池 宥希, 儀間 達也 (M1), 土中 哲秀, 清見 礼, 小林 靖明*,小林 佑輔, 栗田 和宏,大舘 陽太.
    An improved deterministic parameterized algorithm for cactus vertex deletion.
    電子情報通信学会コンピュテーション研究会,オンライン開催,2020年12月4日.
  19. 糸山 凌* (M1),大舘 陽太.
    ナンスケに対する物理ゼロ知識証明プロトコル.
    第15回 組合せゲーム・パズル研究集会,電気通信大学,2020年3月2日. (COVID-19の影響で中止)
  20. 儀間 達也* (B4),土中 哲秀,清見 礼,小林 靖明,大舘 陽太.
    Graph partitioning problems parameterized by vertex integrity.
    2019年度 冬のLAシンポジウム,京都大学,2020年2月6日.
  21. Rémy Belmonte,土中 哲秀,神崎 勝彰* (B4),清見 礼,小林 靖明,小林 佑輔,Michael Lampis,小野 廣隆,大舘 陽太.
    Packing disjoint A-paths with fixed length.
    2019年度 冬のLAシンポジウム,京都大学,2020年2月6日.
  22. 吉村 純弥* (B4),清見 礼,大舘 陽太.
    消防士問題に対するモジュラ幅FPTアルゴリズム.
    第13回 組合せゲーム・パズル研究集会,大阪府立大学,2018年3月6日.