キーワード検索

キーワード 詳細検索

プロフィール

堀山 貴史 ホリヤマ タカシ

所属部署名 大学院理工学研究科 電話番号
職名 准教授 ■FAX番号
住所 埼玉県さいたま市桜区下大久保255 ■メールアドレス
■ホームページURL http://www.al.ics.saitama-u.ac.jp/horiyama/

プロフィール

兼担研究科・学部

情報メディア基盤センター

研究分野

計算機科学
アルゴリズム設計論

所属学会

所属学会
電子情報通信学会
European Association for Theoretical Computer Science (EATCS)
所属学会役員担当
2010 , 電子情報通信学会 , コンピュテーション研究専門委員会 委員
2009 , 電子情報通信学会 , VLSI設計技術研究専門委員会 委員
2008 - 2010 , 電子情報通信学会 , コンピュテーション研究専門委員会 幹事

学歴

出身大学院・研究科等
1999 , 京都大学 , 博士後期 , 工学研究科 , 数理工学専攻
1997 , 京都大学 , 修士 , 工学研究科 , 情報工学専攻
出身学校・専攻等(大学院を除く)
1995 , 京都大学 , 工学部 , 情報工学科 , 卒業
取得学位
博士(情報学) , 京都大学 , Studies on Knowledge Representation and Reasoning with Ordered Binary Decision Diagrams

受賞学術賞

2008 , COMP-NHC 論文賞
2001 , 電子情報通信学会 学術奨励賞
2000 , 日経BP社 LSI IPデザイン・アワード IP賞

研究職歴等

研究職歴
2007 , 埼玉大学 理工学研究科 准教授
2002 - 2007 , 京都大学 情報学研究科 助手
1999 - 2002 , 奈良先端科学技術大学院大学 情報科学研究科 助手

研究活動業績

研究業績(著書・発表論文等)

著書
離散数学のすすめ
現代数学者:246-260 2010
伊藤大雄, 宇野裕之, 堀山貴史ら 全21名

論文
Edge Unfoldings of Platonic Solids Never Overlap
Canadian Conference on Computational Geometry,Proc. of the 23rd Canadian Conference on Computational Geometry,23:65-70 201108
T. Horiyama, W. Shoji

Construct of Common Development of Regular Tetrahedron and Cube
,Proc. of the 27th European Workshop on Computational Geometry,27:47-50 2011
T. Shirakawa, T. Horiyama, R. Uehara

いかなる辺展開でも正多面体は重ならない
,電子情報通信学会総合大会講演論文集:S-13-14 2011
庄子亘, 堀山貴史

いかなる辺展開でも正多面体は重なりを持たない
,京都大学 数理解析研究所講究録,1744:159-160 2011
堀山貴史, 庄子 亘

回転によるタイリングについて
,JST ERATO 湊離散構造処理系プロジェクト講究録,1:127-132 2011
堀山貴史

二分決定グラフによる列挙の幾何への応用 〜正多面体の列挙〜
,JST ERATO 湊離散構造処理系プロジェクト講究録,1:283-286 2011
堀山貴史

複数のプラトン立体の共通展開図に関する研究
,JST ERATO 湊離散構造処理系プロジェクト講究録,1:456-457 2011
上原隆平, 堀山貴史, 白井俊博

Automatic Clock Gating Generation Through Power-Optimal Control Signal Selection
,情報処理学会 技術研究報告,SLDM-145:1-6 2010
X. Man, T. Horiyama, S. Kimura

Enumeration of Irredundant Primitive Sorting Networks by Decision Diagrams
,Proc. of the 3rd Asian Association for Algorithms and Computation Annual Meeting,3:25 2010
T. Horiyama

Generation of Polyiamonds for p6 Tiling by the Reverse Search
,Proc. of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications:58-59 2010
T. Horiyama, S. Yamane

Generation of Polyiamonds for p6 Tiling by the Reverse Search
,Proc. of LA Symposium:6-1-6-8 2010
T. Horiyama, S. Yamane

Nonexistence of Common Edge Developments of Regular Tetrahedron and Other Platonic Solids
,Proc. of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications:56-57 2010
T. Horiyama, R. Uehara

Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating
,IEICE Trans. Fundamentals,E93-A(12):2472-2480 2010
X. Man, T. Horiyama, S. Kimura

Sharing of Clock Gating Modules under Multi-Stage Clock Gating Control
,電子情報通信学会技術研究報告,110(316):185-190 2010
X. Man, T. Horiyama, T. Kimura, K. Kai, S. Kimura

プライバシーに配慮した安全な Vickrey オークション
,合同エージェントワークショップ&シンポジウム講演論文集,9:Z1-1-Z1-8 2010
杉本琢磨, 堀山貴史

逆探索に基づく p6 タイリングの生成
,第23回 回路とシステム軽井沢ワークショップ 講演論文集,23:221-226 2010
山根祥悟, 堀山貴史

正4面体と他の正多面体との共通の辺展開図に関する研究
,情報処理学会技術研究報告,2010-AL-132:1-4 2010
堀山貴史, 上原隆平

秘密分散を用いた安全な Vickrey オークション
,電子情報通信学会技術研究報告,110(232):19-25 2010
杉本琢磨, 堀山貴史

Enumeration of Polyominoes for p4 Tiling
Canadian Conference on Computational Geometry,Proc. of the 21st Canadian Conference on Computational Geometry,21:29-32 200908
T.Horiyama, and M.Samejima

Enumeration of Polyominoes for p4 Isohedral Tiling by the Reverse Search
Asian Association for Algorithms and Computation,Proc. of the 2nd Asian Association for Algorithms and Computation Annual Meeting,2:28 2009
T.Horiyama, and M.Samejima

Enumeration of Polyominoes for p4 Tiling
電子情報通信学会,電子情報通信学会技術研究報告,109(54):51-55 2009
T.Horiyama, and M.Samejima

最長路問題とJR大都市近郊区間大回りへの応用
電子情報通信学会,電子情報通信学会技術研究報告,109(108):17-21 2009
樋口康介、堀山貴史

Fine-Grained Power Gating Based on the Controlling Value of Logic Elements
電子情報通信学会,IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences,E91A(12):3531-3538 200812
L.Chen, T. Horiyama, Y. Nakamura, and S. Kimura

New Graph Calculi for Planar Non-3-Colorable Graphs
電子情報通信学会,IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences,E91A(9):2301-2307 200809
Yoichi Hanatani;Takashi Horiyama;Kazuo Iwama;Suguru Tamaki

Density Condensation of Boolean Formulas Based on Covering Codes
Asian Association for Algorithms and Computation,Proc. of the 1st Asian Association for Algorithms and Computation Annual Meeting,1:28 200804
T. Horiyama, and A. Sato

Resynthesis Method for Circuit Acceleration on LUT-based FPGA
,Proc. of the 14th Workshop on Synthesis And System Integration of Mixed Information Technologies,14:375-380 2007
W. Xing, T. Horiyama, S. Kuromaru, T. Kimura, and S. Kimura

Truthful Auctions with Limited Range of Bids
,Proc. of the 5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications,5:53-61 2007
T. Horiyama, K. Iwama, and D. Sumita

学会発表
The Number of Edge Unfoldings of the Archimedean Solids
The 5th Asian Association for Algorithms and Computation Annual Meeting,Proc. of the 5th Asian Association for Algorithms and Computation Annual Meeting,5:(to appear) 201204
T. Horiyama, W. Shoji

On the Base-Line Location Problem for the Maximum Weight Region Decomposable into Base-Monotone Shapes
電子情報通信学会 コンピュテーション研究会,電子情報通信学会技術研究報告:(to appear) 201204
T. Horiyama, T. Ito, N. Kaothanthong, H. Ono, Y. Otachi, T. Tokuyama, R. Uehara, T. Uno

3-omino 完全パッキング問題
,第15回 列挙アルゴリズムセミナー 201203
堀山貴史, 中束渓太

アスペクト比固定での最小周囲長方形について
,第15回 列挙アルゴリズムセミナー 201203
堀山貴史, 小林有

幾何図形の列挙
電子情報通信学会,電子情報通信学会総合大会 201203
庄子亘, 山根祥悟, 堀山貴史

On the Base-Line Location Problem for the Maximum Weight Region Decomposable into Base-Monotone Shapes
LA Symposium,Proc. of LA Symposium 201202
T. Horiyama, T. Ito, H. Ono, Y. Otachi, R. Uehara, T. Uno

アスペクト比を固定した最小の周囲長方形について
LA Symposium,Proc. of LA Symposium 201201
小林有, 堀山貴史

On Common Unfolding of a Regular Tetrahedron and a Cube
,Proc. of Japan Conference on Discrete and Computational Geometry 201111
T. Shirakawa, T. Horiyama, R. Uehara

回転によるタイリングと繰り返し模様
東北大学 応用数学連携フォーラム,AMF 第23回ワークショップ 201110
堀山貴史

フロンティア法について
,JST ERATO 湊離散構造処理系プロジェクト講究録,2 201110
斎藤寿樹, 井上武, 岩下洋哲, 川原純, 岸本章宏, 津田宏治, 堀山貴史, 湊真一, 吉仲亮

半正多面体の展開図の索引化
,JST ERATO 湊離散構造処理系プロジェクト講究録 201110
庄子亘, 堀山貴史

Frontier Method as an Implicit Enumeration Scheme with ZDDs
,第14回 列挙アルゴリズムセミナー 201109
T. Horiyama, T. Inoue, J. Kawahara, A. Kishimoto, T. Saito, K. Tsuda, S. Minato, R. Yoshinaka

半正多面体の展開図の重なりについて
,第14回 列挙アルゴリズムセミナー 201109
堀山貴史

正多面体の展開図における最小/最大の直径、幅および包囲長方形について
電子情報通信学会 コンピュテーション研究会,電子情報通信学会技術研究報告,111(195):83-89 201109
堀山貴史, 庄子亘

p6 タイリング可能なポリアモンドの生成
日本オペレーションズ・リサーチ学会,2011年秋季研究発表会:378-379 201109
堀山貴史, 山根祥悟

最小/最大の直径、幅および包囲長方形を持つ正多面体の展開図について
,JST ERATO 湊離散構造処理系プロジェクト講究録,2 201108
堀山貴史

BDDで展開図を扱うための課題
,JST ERATO 湊離散構造処理系プロジェクト講究録,2 201106
堀山貴史

半正多面体の展開図の重なりについて
,JST ERATO 湊離散構造処理系プロジェクト講究録,2 201106
堀山貴史

Edge-Unfoldings of Platonic Solids Never Overlap
電子情報通信学会 コンピュテーション研究会,電子情報通信学会技術研究報告,111(25):17-23 201105
T. Horiyama, W. Shoji

Edge-Developments of Platonic Solids Never Overlap
The 4th Asian Association for Algorithms and Computation Annual Meeting,Proc. of the 4th Asian Association for Algorithms and Computation Annual Meeting,4:17 201104
T. Horiyama, W. Shoji

Construct of Common Development of Regular Tetrahedron and Cube
The 27th European Workshop on Computational Geometry,Proc. of the 27th European Workshop on Computational Geometry,27:47-50 201103
T. Shirakawa, T. Horiyama, R. Uehara

二分決定グラフを用いたお絵かきロジックの複数解の検出
第6回 組合せゲーム・パズル 研究集会 201103
堀山貴史

いかなる辺展開でも正多面体は重なりを持たない
The 9th EATCS/LA Workshop on Theoretical Computer Science,京都大学 数理解析研究所講究録,1744:159-160 201102
堀山貴史, 庄子 亘

Sharing of Clock Gating Modules under Multi-Stage Clock Gating Control
電子情報通信学会 VLSI設計技術研究会,電子情報通信学会技術研究報告,110(316):185-190 201011
X. Man, T. Horiyama, T. Kimura, K. Kai, S. Kimura

入れ替え可能なオンライン問題について
JST ERATO湊離散構造処理系プロジェクト 2010年度 初冬のワークショップ 201011
堀山貴史

複数のプラトン立体の共通展開図に関する研究
JST ERATO湊離散構造処理系プロジェクト 2010年度 初冬のワークショップ 201011
上原隆平, 堀山貴史, 白川俊博

正4面体と他の正多面体との共通の辺展開図に関する研究
情報処理学会 アルゴリズム研究会,情報処理学会技術研究報告,2010-AL-132:1-4 201011
堀山貴史, 上原隆平

Generation of Polyiamonds for p6 Tiling by the Reverse Search
The China-Japan Joint Conference on Computational Geometry, Graphs and Applications,Proc. of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications:58-59 201011
T. Horiyama, S. Yamane

Nonexistence of Common Edge Developments of Regular Tetrahedron and Other Platonic Solids
The China-Japan Joint Conference on Computational Geometry, Graphs and Applications,Proc. of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications:56-57 201011
T. Horiyama, R. Uehara

プライバシーに配慮した安全な Vickrey オークション
合同エージェントワークショップ&シンポジウム,合同エージェントワークショップ&シンポジウム講演論文集,9:Z1-1-Z1-8 201010
杉本琢磨, 堀山貴史

秘密分散を用いた安全な Vickrey オークション
電子情報通信学会 コンピュテーション研究会,電子情報通信学会技術研究報告,110(232):19-25 201010
杉本琢磨, 堀山貴史

回転によるタイリングについて
JST ERATO 湊離散構造処理系プロジェクト セミナー 201009
堀山貴史

正多面体の展開図の列挙
JST ERATO 湊離散構造処理系プロジェクト・鷲尾研合同セミナー 201009
庄子亘, 堀山貴史

繰り返し模様とタイリング
,第9回 情報科学技術フォーラム (FIT) 201009
堀山貴史

展開図の列挙 正多面体、そして凖正多面体
,第12回 列挙アルゴリズムセミナー 201008
堀山貴史

Generation of Polyiamonds for p6 Tiling by the Reverse Search
LA Symposium,Proc. of LA Symposium:6-1-6-8 201007
T. Horiyama, S. Yamane

二分決定グラフによる列挙の幾何への応用 正多面体の列挙
JST ERATO湊離散構造処理系プロジェクト 2010年度 春のワークショップ 201005
堀山貴史

Automatic Clock Gating Generation Through Power-Optimal Control Signal Selection
情報処理学会, システムLSI設計技術研究会,情報処理学会技術研究報告,2010-SLDM-145:1-6 201005
X. Man, T. Horiyama, S. Kimura

逆探索に基づく p6 タイリングの生成
第23回 回路とシステム軽井沢ワークショップ,第23回 回路とシステム軽井沢ワークショップ講演論文集,23:221-226 201004
山根祥悟, 堀山貴史

Enumeration of Irredundant Primitive Sorting Networks by Decision Diagrams
The 3rd Asian Association for Algorithms and Computation Annual Meeting,Proc. of the 3rd Asian Association for Algorithms and Computation Annual Meeting,3:25 201004
T. Horiyama

二分決定グラフによる非冗長プリミティブ整列回路網の列挙
列挙アルゴリズムセミナー,列挙アルゴリズムセミナー 201003
堀山貴史

回転タイリングの列挙 p4 から p6へ
列挙アルゴリズムセミナー,列挙アルゴリズムセミナー 200909
堀山貴史、鮫島真人、山根祥悟

最長経路問題と最大経路差問題 -その解法とJR大都市近郊区間大回りへの応用-
日本オペレーションズ・リサーチ学会,2009年秋季研究発表会:1-D-5 200909
堀山貴史

Enumeration of Polyominoes for p4 Tiling
The 21st Canadian Conference on Computational Geometry,Proc. of the 21st Canadian Conference on Computational Geometry,21:29-32 200908
T.Horiyama, and M.Samejima

最長路問題とJR大都市近郊区間大回りへの応用
電子情報通信学会コンピュテーション研究会,電子情報通信学会技術研究報告,109(108):17-21 200906
樋口康介、堀山貴史

Enumeration of Polyominoes for p4 Tiling
電子情報通信学会コンピュテーション研究会,電子情報通信学会技術研究報告,109(54):51-55 200905
T.Horiyama, and M.Samejima

Enumeration of Polyominoes for p4 Isohedral Tiling by the Reverse Search
The 2nd Asian Association for Algorithms and Computation Annual Meeting,Proc. of the 2nd Asian Association for Algorithms and Computation Annual Meeting,2:28 200904
T.Horiyama, and M.Samejima

polyomino の p4 タイリングの列挙
列挙アルゴリズムセミナー,列挙アルゴリズムセミナー 200903
堀山貴史, 鮫島真人

金図式、銀図式、桂馬図式の完全列挙
組合せゲーム・パズル 研究集会,組合せゲーム・パズル ミニプロジェクト 研究集会 200903
太田圭亮, 河原純, 堀山貴史, 伊藤大雄

Enumeration of Polyominoes of p4 Tiling by the Reverse Search
LAシンポジウム,LAシンポジウム講演録:9-1-9-3 200902
T. Horiyama and M. Samejima

FOCS 2008 報告
電子情報通信学会,電子情報通信学会技術研究報告,108(330):49 200812
堀山貴史

Fine-Grained Power Gating Based on the Controlling Value of Logic Gates
電子情報通信学会,電子情報通信学会技術研究報告,108(23):19-24 200805
L.Chen, T. Horiyama, Y. Nakamura, and S. Kimura

飛び道具を考慮した逆算法に基づく詰将棋列挙技術
電子情報通信学会,電子情報通信学会総合大会:DS-1-14 200803
蟻塚正樹, 堀山貴史, 伊藤大雄, 岩間一雄, 川原純

飛び道具を考慮した逆算法に基づく詰将棋列挙技術
,特定領域研究 新世代の計算限界 ミニ研究集会 200803
川原純, 蟻塚正樹, 堀山貴史, 伊藤大雄

The Complexity of the Hajos Calculus on Planar Graphs
電子情報通信学会,電子情報通信学会技術研究報告,107(219):43-50 200709
Y. Hanatani, T. Horiyama, K. Iwama, and S. Tamaki

The Complexity of the Hajos Calculus on Planar Graphs
LAシンポジウム,LAシンポジウム講演録:8-1--8-20 200707
Y. Hanatani, T. Horiyama, K. Iwama, and S. Tamaki

その他
離散数学のすすめ/オンライン問題
(株) 現代数学社,理系への数学,41(5):63-68 200805
堀山貴史

研究費

科学研究費補助金(研究代表者)
2012-2014 , 幾何図形の列挙に関する研究 , 基盤研究 (C)
2008-2010 , 計算機援用によるアルゴリズムの性能保証 , 若手研究 (B)
2005-2007 , 離散アルゴリズムの性能保証自動化パラダイム , 若手研究 (B)

研究諸活動

学術専門雑誌等編集
, 電子情報通信学会
学術論文査読件数
, IPL/ESA/ISAAC/WALCOM/SASIMI 等
, IEICE/IPSJ/FIT/IEEJ 等

教育活動実績

授業等

前期 , 数理論理学 (工学部)
後期 , 計算論 (工学部)
後期 , 計算論演習 (工学部)
前期 , ゲーム理論特論 (院・理工学前期)
後期 , 計算論特論 (院・理工学後期)

社会活動実績

社会活動等

公開講座
2009- , 出張講義
2009- , 未来の科学者養成講座
学会・研究会の主催等
,The 11th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2008) , プログラム委員
,The 14th Workshop on Systhesis And System Integration of Mixed Information Technologies (SASIMI 2009) , プログラム委員
,電子情報通信学会 コンピュテーション研究専門委員会 COMP学生シンポジウム (2009年) , 実行委員/論文賞選考委員
,The 12th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2009) , 実行委員
,電子情報通信学会 コンピュテーション研究専門委員会 COMP学生シンポジウム (2010年) , 実行委員
,第9回 情報科学技術フォーラム , FIT2010担当委員
,スーパーコンピューティング・コンテスト 2009 , アドバイザ委員