Rchr
J-GLOBAL ID:200901003225304650
Update date: Feb. 01, 2024
Horiyama Takashi
ホリヤマ タカシ | Horiyama Takashi
Affiliation and department:
Job title:
Professor
Homepage URL (1):
https://art.ist.hokudai.ac.jp/~horiyama/
Research field (4):
Information theory
, Information theory
, Information theory
, Information theory
Research theme for competitive and other funds (32):
- 2023 - 2028 Exploration of Crystal Surface Structures through Enumeration of Discrete Structures on an Infinite Plane and Similarity Design
- 2023 - 2027 組合せ剛性工学の実現に向けた理論基盤構築
- 2023 - 2026 タイリング理論と分子科学の協働によるウイルス外殻構造の新たな設計原理の探究
- 2022 - 2026 列挙や数え上げなどを統一的に扱うための基盤技術
- 2022 - 2025 Optimization of cell three-dimensional structure by computational origami and cell origami
- 2020 - 2025 Research Initiatives on Algorithmic Foundations for Social Advancement
- 2020 - 2025 Algorithmic Foundations Based on Large-Scale Discrete Structures
- 2020 - 2025 Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems
- 2020 - 2023 タイリングによるウイルス外殻のボトムアップ設計
- 2020 - 2022 Application of computational origami to formulation of cells
- 2018 - 2021 Research on the isomorphism for the enumeration of geometric figures
- 2016 - 2021 Interpolative Expansion of Quantum Protocol Theory
- 2015 - 2020 Research on Fundamental Algorithms of Discrete Structure Manipulation Systems
- 2015 - 2019 Establishment of intuitive geometry and promotion of its cooperation in computer science, architectural engineering, and mathematics education
- 2015 - 2018 Enumeration of geometric figures and its application
- 2012 - 2017 A Multifaced Approach Toward Understanding the Limitations of Compuation
- 2012 - 2017 Development towards innovative data structure utilizing methodology of limit of computation
- 2013 - 2016 Approximate Computing to Cope with Imperfect Information from Growing Data Size
- 2012 - 2015 On the enumeration of geometric objects
- 2010 - 2012 Studies on Algorithms for Insufficient Spatial Information
- 2008 - 2010 Computer-Aided Analysis and Design of Algorithms
- 2007 - 2009 Design and Analysis of Algorithms for Insufficient Information
- 2005 - 2007 離散アルゴリズムの性能保証自動化パラダイム
- 2004 - 2007 Research on modeling and algorithms for network problems
- 2004 - 2006 Studies on Diarete Algorithms with Guaranteed Quality based on Engineering Criteria
- 2002 - 2004 データの論理的解析に基づく効率的な知識獲得手法とその応用
- 2001 - 2003 High Quality Discrete Algorithms Based on Engineering Criteria
- 2001 - 2003 Construction of a General Purpose Problem solving System by Metaheuristics
- 1999 - 2001 Implementation of Adaptable Hardware and Software for Changing Environment
- 1998 - 2000 Solving Computationally Hard Problems by Metaheuristics
- -
- -
Show all
Papers (89):
-
Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Finding top-k longest palindromes in substrings. Theoretical Computer Science. 2023. 114183-114183
-
Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, Takashi Horiyama. Internal Longest Palindrome Queries in Optimal Time. WALCOM: Algorithms and Computation. 2023. 127-138
-
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
-
TERUI Shunta, YAMANAKA Katsuhisa, HIRAYAMA Takashi, HORIYAMA Takashi, KURITA Kazuhiro, UNO Takeaki. Enumerating Empty and Surrounding Polygons. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2023. to appear
-
Seri Nishimoto, Takashi Horiyama, Tomohiro Tachi. Geodesic Folding of Regular Tetrahedron. Journal for Geometry and Graphics,. 2022. 26. 1. 81-100
more...
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
more...
Education (3):
- 1998 - 1999 Kyoto University Graduate School of Engineering Department of Applied Mathematics and Physics
- 1995 - 1998 Kyoto University Graduate School of Engineering Department of Information Science
- 1991 - 1995 Kyoto University Faculty of Engineering Department of Information Science
Professional career (1):
- Ph. D. (Kyoto University)
Work history (4):
- 2019/09 - 現在 Hokkaido University Faculty of Information Science and Technology Professor
- 2007/04 - 2019/08 Saitama University Graduate School of Science and Engineering Associate Professor
- 2002/07 - 2007/03 Kyoto University Graduate School of Informatics Research Associate
- 1999/04 - 2002/06 Nara Institute of Science and Technology Graduate School of Information Science Research Associate
Committee career (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 -
Show all
Awards (6):
Association Membership(s) (4):
European Association for Theoretical Computer Science (EATCS)
, 電子情報通信学会
, 情報処理学会
, LAシンポジウム
Return to Previous Page