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 (90)：

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
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

ｍore...

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

ｍore...

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 情報処理学会アルゴリズム研究専門委員会主査

Show all

Awards (6)：

2018/09 - 電子情報通信学会基礎境界ソサイエティ, 貢献賞
2016/05 - 電子情報通信学会情報・システムソサイエティ, 情報・システムソサイエティ論文編集活動感謝状
2016/05 - 情報処理学会, 感謝状
2011/02 - The 9th EATCS/LA Workshop on Theoretical Computer Science, EATCS/LA Best Presentation Award
2001/03 - 電子情報通信学会学術奨励賞

Show all

Association Membership(s) (4)：

European Association for Theoretical Computer Science (EATCS) , 電子情報通信学会 , 情報処理学会 , LAシンポジウム

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page