研究者
J-GLOBAL ID:201501014888315418   更新日: 2024年04月01日

脊戸 和寿

セト カズヒサ | Seto Kazuhisa
所属機関・部署:
職名: 准教授
ホームページURL (1件): https://kaken.nii.ac.jp/d/r/20584056.ja.html
研究分野 (1件): 情報学基礎論
研究キーワード (2件): アルゴリズム設計論 ,  計算量理論
競争的資金等の研究課題 (9件):
  • 2022 - 2027 超スマート社会時代のアルゴリズム工学 - パラメータ化近似均衡計算
  • 2022 - 2026 列挙や数え上げなどを統一的に扱うための基盤技術
  • 2021 - 2024 定数段数回路における計算限界導出技法の研究
  • 2021 - 2023 強指数時間仮説に基づく計算限界の理解と探究
  • 2018 - 2021 強指数時間仮説の反証にむけた研究
全件表示
論文 (23件):
  • Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono 0001, Kazuhisa Seto, Ryu Suzuki. Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover. AAAI. 2024. 20726-20734
  • Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Finding top-k longest palindromes in substrings. Theoretical Computer Science. 2023. 114183-114183
  • Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono 0001, Kazuhisa Seto, Ryu Suzuki. Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover. CoRR. 2023. abs/2312.10599
  • Hideo Bannai, Mitsuru Funakoshi, Kazuhiro Kurita, Yuto Nakashima, Kazuhisa Seto, Takeaki Uno. Optimal LZ-End Parsing Is Hard. 34th Annual Symposium on Combinatorial Pattern Matching, CPM 2023, June 26-28, Marne-la-Vallée, France. 2023. 3-11
  • 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
もっと見る
MISC (16件):
もっと見る
講演・口頭発表等 (2件):
  • 多数決関数の計算複雑さと未解決問題について
    (電子情報通信学会コンピュテーション研究会 2022)
  • A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs
    (電子情報通信学会コンピュテーション研究会 2022)
学位 (1件):
  • 博士(情報学) (京都大学)
経歴 (6件):
  • 2020/11 - 現在 北海道大学 大学院情報科学研究院 准教授
  • 2017/04 - 2020/10 成蹊大学 理工学部 准教授
  • 2015/04 - 2017/03 成蹊大学 理工学部 専任講師
  • 2013/09 - 2015/03 成蹊大学 理工学部 助教
  • 2012/10 - 2013/09 電気通信大学 大学院情報理工学研究科 非常勤研究員
全件表示
所属学会 (1件):
電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る