| 詳細情報 |   |
|---|---|
| 関連リンク |  |
| 探す |  |
所属機関・部署：
職名： 准教授
ホームページURL (1件)： https://kaken.nii.ac.jp/d/r/20584056.ja.html
競争的資金等の研究課題 (11件)：
論文 (26件)：
MISC (16件)：
講演・口頭発表等 (2件)：
学位 (1件)：
経歴 (6件)：
所属学会 (1件)：
前のページに戻る
北海道大学 大学院情報科学研究院
北海道大学 大学院情報科学研究院 について
職名： 准教授
ホームページURL (1件)： https://kaken.nii.ac.jp/d/r/20584056.ja.html
競争的資金等の研究課題 (11件)：
- 2024 - 2028 組合せ最適化問題に対する解の唯一化における計算複雑さの研究
- 2022 - 2027 超スマート社会時代のアルゴリズム工学 - パラメータ化近似均衡計算
- 2022 - 2026 列挙や数え上げなどを統一的に扱うための基盤技術
- 2022 - 2026 列挙や数え上げなどを統一的に扱うための基盤技術
- 2021 - 2024 定数段数回路における計算限界導出技法の研究
全件表示
- Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Shortest Cover After Edit. CPM. 2024. 24-15
- Yuki Kawakami, Shun Takahashi, Kazuhisa Seto, Takashi Horiyama, Yuki Kobayashi, Yuya Higashikawa, Naoki Katoh. Lower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2,2)-Tight Graphs. IEICE Trans. Inf. Syst. 2024. 107. 6. 732-740
- 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. 979. 114183-114183
- Yuki Kawakami, Shun Takahashi, Kazuhisa Seto, Takashi Horiyama, Yuki Kobayashi, Yuya Higashikawa, Naoki Katoh. Lower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2,2)-Tight Graphs. CCCG. 2023. 191-196
- Hideo Bannai, Mitsuru Funakoshi, Kazuhiro Kurita, Yuto Nakashima, Kazuhisa Seto, Takeaki Uno. Optimal LZ-End Parsing is Hard. CoRR. 2023. abs/2302.02586
- Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Internal Longest Palindrome Queries in Optimal Time. CoRR. 2022. abs/2210.02000. 127-138
- 井内 勝哉, 西尾 悠, 脊戸 和寿, 小川 隆申. 理工学部初年次学生に対するオンデマンド型online講義による情報関連講義の教育効果-Effectiveness of an On-demand Online Course in Information Science for First-year Science and Engineering Students. リメディアル教育研究 / リメディアル教育研究編集委員会. 2022. 16. 25. 161-167
- 脊戸 和寿. コンピュテーション研究会 近況報告. 情報・システムソサイエティ誌. 2018. 23. 3. 8-9
- 清水 堅斗, 三觜 辰也, 脊戸 和寿. Sorting k-Sets in Bins問題に対する貪欲アルゴリズムの上界の改良 (コンピュテーション). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2017. 116. 503. 29-32
-
多数決関数の計算複雑さと未解決問題について
(電子情報通信学会コンピュテーション研究会 2022) -
A Moderately Exponential Time Satisfiability Algorithm for Linear-Sized Deterministic Width-2 Branching Programs
(電子情報通信学会コンピュテーション研究会 2022)
- 博士(情報学) (京都大学)
- 2020/11 - 現在 北海道大学 大学院情報科学研究院 准教授
- 2017/04 - 2020/10 成蹊大学 理工学部 准教授
- 2015/04 - 2017/03 成蹊大学 理工学部 専任講師
- 2013/09 - 2015/03 成蹊大学 理工学部 助教
- 2012/10 - 2013/09 電気通信大学 大学院情報理工学研究科 非常勤研究員
全件表示
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
