研究者
J-GLOBAL ID：200901003225304650
更新日: 2024年07月17日
堀山 貴史
ホリヤマ タカシ | Horiyama Takashi
所属機関・部署：
職名：
教授
ホームページURL (1件)：
https://art.ist.hokudai.ac.jp/~horiyama/
研究分野 (4件)：
情報学基礎論
, 情報学基礎論
, 情報学基礎論
, 情報学基礎論
競争的資金等の研究課題 (33件)：
- 2023 - 2028 無限平面上の離散構造列挙と類似度設計による結晶の表面構造探索
- 2024 - 2027 組合せ剛性工学の実現に向けた理論基盤構築
- 2023 - 2027 組合せ剛性工学の実現に向けた理論基盤構築
- 2023 - 2026 タイリング理論と分子科学の協働によるウイルス外殻構造の新たな設計原理の探究
- 2022 - 2026 列挙や数え上げなどを統一的に扱うための基盤技術
- 2022 - 2025 計算折紙と細胞折紙技術による細胞の立体構造の最適化
- 2020 - 2025 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進
- 2020 - 2025 大規模離散構造の理解と革新的アルゴリズム基盤の創出
- 2020 - 2025 離散構造処理系に基づく列挙と最適化の統合的技法の研究
- 2020 - 2023 タイリングによるウイルス外殻のボトムアップ設計
- 2020 - 2022 細胞の形状形成への計算折り紙の応用
- 2018 - 2021 幾何図形の列挙のための同型性に関する研究
- 2016 - 2021 量子プロトコル理論の線的展開
- 2015 - 2020 離散構造処理系の基盤アルゴリズムの研究
- 2015 - 2019 直観幾何学の確立とその計算機科学,建築工学および数学教育との連携の推進
- 2015 - 2018 幾何図形の列挙とその応用
- 2012 - 2017 多面的アプローチの統合による計算限界の解明
- 2012 - 2017 計算限界解析法から革新的データ構造化技術への展開
- 2013 - 2016 データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算
- 2012 - 2015 幾何図形の列挙に関する研究
- 2010 - 2012 空間的な情報補填を可能にするアルゴリズムの研究
- 2008 - 2010 計算機援用によるアルゴリズムの性能保証
- 2007 - 2009 情報補填を可能にするアルゴリズムの設計と解析
- 2005 - 2007 離散アルゴリズムの性能保証自動化パラダイム
- 2004 - 2007 ネットワーク問題のモデル化とアルゴリズムの研究
- 2004 - 2006 工学的評価基準に基づく離散アルゴリズムの品質保証技術に関する研究
- 2002 - 2004 データの論理的解析に基づく効率的な知識獲得手法とその応用
- 2001 - 2003 工学的評価基準による離散アルゴリズムの高品質化に関する研究
- 2001 - 2003 メタヒューリスティクスによる汎用問題解決システムの構築
- 1999 - 2001 環境適応型のハードウェアとソフトウェアの構成手法に関する研究
- 1998 - 2000 メタヒューリスティクスによる計算困難問題の解決に関する研究
- -
- -
全件表示
論文 (94件)：
-
Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Shortest cover after edit. CoRR. 2024. abs/2402.17428
-
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. 114183-114183
もっと見る
MISC (60件)：
-
Shuhei Denzumi, Takashi Horiyama, Kazuhiro Kurita, Atsuki Nagao, Kazuhisa Seto, Kunihiro Wasa. Enumeration of Non-isomorphic Unordered Trees with Degree Sequence Constraints. 情報処理学 会, アルゴリズム研究会. 2023. 192. 11. 1-6
-
岩崎善泰, 堀山貴史, 松井泰子, 野崎雄太, 脊戸和寿, 山中克久. ZDD を用いた最適円 筒あみだくじの列挙. 情報処理学会, アルゴリズム研究会. 2023. 192. 3. 1-8
-
堀山貴史. あみだくじと菱形タイリングの列挙. 科学研究費補助金学術 変革領域(B) 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチ の融合, 第34 回セミナー. 2023
-
高橋孔平, 脊戸和寿, 堀山貴史. 自己同型写像の断片を用いた代表元の反復抽出によ る同型性の除去. 電子情報通信学会技術研究報告. 2022. 122. 294. 51-58
-
河上悠輝, 高橋駿, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹. 最小重み Laman グラフの総交点数と厚みの下界の改良. 第35 回回路とシステムワークショッ プ. 2022. 191-196
もっと見る
学歴 (3件)：
- 1998 - 1999 京都大学 大学院工学研究科 数理工学専攻
- 1995 - 1998 京都大学 大学院工学研究科 情報工学専攻
- 1991 - 1995 京都大学 工学部 情報工学科
学位 (1件)：
経歴 (4件)：
- 2019/09 - 現在 北海道大学 大学院情報科学研究院 教授
- 2007/04 - 2019/08 埼玉大学 大学院理工学研究科 准教授
- 2002/07 - 2007/03 京都大学 大学院情報学研究科 助手
- 1999/04 - 2002/06 奈良先端科学技術大学院大学 情報科学研究科 助手
委員歴 (12件)：
- 2023/06 - 情報処理学会 北海道支部 支部長
- 2019/06 - 2021/05 電子情報通信学会 会誌編集委員会 編集特別幹事
- 2017/07 - 2019/03 埼玉県情報サービス産業協会 彩の国さいたまICT コンテスト 審査委員長.
- 2013/08 - 2019/03 さいたま市 情報化計画評議会 評議委員長
- 2016/05 - 2018/04 情報処理学会 アルゴリズム研究専門委員会 主査
- 2016/04 - 2018/03 電子情報通信学会 基礎・境界ソサイエティ 運営委員
- 2014/07 - 2017/01 埼玉県情報サービス産業協会 ホームページコンテスト 審査委員長
- 2015/06 - 2016/05 情報処理学会 論文誌ジャーナル/JIP 編集委員会 基盤グループ 主査
- 2013/06 - 2015/05 情報処理学会 論文誌ジャーナル/JIP 編集委員会 基盤グループ 副査
- 2009/06 - 2015/05 電子情報通信学会 VLSI設計技術研究専門委員会 研究専門委員
- 2008/06 - 2010/05 電子情報通信学会 コンピュテーション研究専門委員会 幹事
- 2004/05 - 2008/04 情報処理学会アルゴリズム研究専門委員会 運営委員
全件表示
受賞 (6件)：
所属学会 (4件)：
European Association for Theoretical Computer Science (EATCS)
, 電子情報通信学会
, 情報処理学会
, LAシンポジウム
