• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computer-Aided Analysis and Design of Algorithms

Research Project

Project/Area Number 20700005
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionSaitama University

Principal Investigator

HORIYAMA Takashi  Saitama University, 大学院・理工学研究科, 准教授 (60314530)

Project Period (FY) 2008 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywordsアルゴリズム理論 / 理論的性能保証 / アルゴリズム / 情報基礎 / 計算複雑さ / 性能保証 / 計算機援用 / タイリング / オークション / 計算幾何学
Research Abstract

This research project has the following three main results. (1) We have designed algorithms for enumerating Tsume-Shogi by the reverse method. As a result, we can prove the longest mating-moves for a given set of Shogi-pieces. (2) We have designed algorithms for generating fundamental domains of p4-tiling (i.e., the tiling by 4-fold rotation) and p6-tiling (i.e., the tiling by 6-fold rotation) based on the reverse search. (3) We have designed algorithms for enumerating the unfoldings of polyhedra. By enumerating all unfoldings and checking their overlapping, we have solved an open problem for hundreds of years : Is every edge-unfolding of Platonic solids nonoverlapping? The answer is yes!

Report

(4 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (71 results)

All 2011 2010 2009 2008 Other

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (62 results) Book (2 results) Remarks (1 results)

  • [Journal Article] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010

    • Author(s)
      X.Man, T.Horiyama, S.Kimura
    • Journal Title

      IEICE Transactions on Fundamentals vol.E93-A, no.12

      Pages: 2472-2480

    • NAID

      10027985671

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating2010

    • Author(s)
      X.Man, T.Horiyama, S.Kimura
    • Journal Title

      IEICE Trans.Fundamentals

      Volume: E93-A Pages: 2472-2480

    • NAID

      10027985671

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fine-Grained Power Gating Based on the Controlling Value of Logic Elements2008

    • Author(s)
      L.Chen, T.Horiyama, Y.Nakamura, S.Kimura
    • Journal Title

      IEICE Transactions on Fundamentals vol.E91-A, no.12

      Pages: 3531-3538

    • NAID

      10026853957

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] New Graph Calculi for Planar Non-3-Colorable Graphs2008

    • Author(s)
      Y.Hanatani, T.Horiyama, K.Iwama, S.Tamaki
    • Journal Title

      IEICE Transactions on Fundamentals vol.E91-A, no.9

      Pages: 2301-2307

    • NAID

      10026851334

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] New Graph Calculi for Planar Non-3-Colorable Graphs2008

    • Author(s)
      Y. Hanatani, T. Horiyama, K. Iwama, S. Tamaki
    • Journal Title

      IEICE Trans. Fundamentals E91-A

      Pages: 2301-2307

    • NAID

      10026851334

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Fine-Grained Power Gating Based on the Controlling Value of Logic Elements2008

    • Author(s)
      L. Chen, T. Horiyama, Y. Nakamura, S. Kimura
    • Journal Title

      IEICE Trans. Fundamentals E91-A

      Pages: 3531-3538

    • NAID

      10026853957

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Presentation] Edge-Unfoldings of Platonic Solids Never Overlap2011

    • Author(s)
      T.Horiyama, W. Shoji
    • Organizer
      電子情報通信学会技術研究報告, vol.111, no.25, COMP2011-14, pp.17-23
    • Place of Presentation
      信州大学
    • Year and Date
      2011-05-11
    • Related Report
      2010 Final Research Report
  • [Presentation] Edge- Develop- ments of Platonic Solids Never Overlap2011

    • Author(s)
      T.Horiyama, W. Shoji
    • Organizer
      Proc. of the 4th Asian Association for Algorithms and Computation Annual Meeting (AAAC 2011), p.17
    • Place of Presentation
      HsinChu, Taiwan
    • Year and Date
      2011-04-16
    • Related Report
      2010 Final Research Report
  • [Presentation] Construct of Common Development of Regular Tetrahedron and Cube2011

    • Author(s)
      T.Shirakawa, T.Horiyama, R.Uehara
    • Organizer
      Proc. of the 27th European Workshop on Computational Geometry (EuroCG 2011), pp.47-50
    • Place of Presentation
      Morschach, Switzerland
    • Year and Date
      2011-03-28
    • Related Report
      2010 Final Research Report
  • [Presentation] Construction of Common Unfolding of a Regular Tetrahedron and a Cube2011

    • Author(s)
      T.Shirakawa, T.Horiyama, R.Uehara
    • Organizer
      The 27th European Workshop on Computational Geometry
    • Place of Presentation
      モルシャハ,スイス
    • Year and Date
      2011-03-28
    • Related Report
      2010 Annual Research Report
  • [Presentation] いかなる辺展開でも正多面体は重ならない2011

    • Author(s)
      庄子亘, 堀山貴史
    • Organizer
      電子情報通信学会総合大会, DS-1-7, p.S-13-14
    • Place of Presentation
      東京都市大学
    • Year and Date
      2011-03-15
    • Related Report
      2010 Final Research Report
  • [Presentation] いかなる辺展開でも正多面体は重ならない2011

    • Author(s)
      庄子亘, 堀山貴史
    • Organizer
      電子情報通信学会総合大会
    • Place of Presentation
      東京都市大学
    • Year and Date
      2011-03-15
    • Related Report
      2010 Annual Research Report
  • [Presentation] 二分決定グラフを用いたお絵かきロジックの複数解の検出2011

    • Author(s)
      堀山貴史
    • Organizer
      第6回組合せゲーム・パズル研究集会
    • Place of Presentation
      京都大学
    • Year and Date
      2011-03-10
    • Related Report
      2010 Annual Research Report 2010 Final Research Report
  • [Presentation] Edge-Developments of Platonic Solids Never Overlap2011

    • Author(s)
      T.Horiyama, W.Shoji
    • Organizer
      The 9th EATCS/LA Workshop on Theoretical Computer Science, pp.30-1-30-8
    • Place of Presentation
      Kyoto, Japan
    • Year and Date
      2011-02-03
    • Related Report
      2010 Final Research Report
  • [Presentation] いかなる辺展開でも正多面体は重なりを持たない2011

    • Author(s)
      堀山貴史, 庄子亘
    • Organizer
      LAシンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2011-02-03
    • Related Report
      2010 Annual Research Report
  • [Presentation] 入れ替え可能なオンライン問題について2010

    • Author(s)
      堀山貴史
    • Organizer
      第2回離散構造処理系シンポジウム
    • Place of Presentation
      北広島市
    • Year and Date
      2010-11-30
    • Related Report
      2010 Final Research Report
  • [Presentation] 複数のプラトン立体の共通展開図に関する研究2010

    • Author(s)
      上原隆平, 堀山貴史, 白川俊博
    • Organizer
      第2回離散構造処理系シンポジウム
    • Place of Presentation
      北広島市
    • Year and Date
      2010-11-30
    • Related Report
      2010 Final Research Report
  • [Presentation] 複数のプラトン立体の共通展開図に関する研究2010

    • Author(s)
      上原隆平, 堀山貴史, 白川俊博
    • Organizer
      第1回離散構造処理系シンポジウム
    • Place of Presentation
      北海道北広島市
    • Year and Date
      2010-11-30
    • Related Report
      2010 Annual Research Report
  • [Presentation] 正4面体と他の正多面体との共通の辺展開図に関する研究2010

    • Author(s)
      堀山貴史, 上原隆平
    • Organizer
      情報処理学会,アルゴリズム研究会,2010-AL-132(1), pp.1-4
    • Place of Presentation
      関西大学
    • Year and Date
      2010-11-19
    • Related Report
      2010 Final Research Report
  • [Presentation] 正4面体と他の正多面体との共通の辺展開図に関する研究2010

    • Author(s)
      堀山貴史, 上原隆平
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      関西大学
    • Year and Date
      2010-11-19
    • Related Report
      2010 Annual Research Report
  • [Presentation] Nonexistence of Common Edge Developments of Regular Tetrahedron and Other Platonic Solids2010

    • Author(s)
      T.Horiyama, R.Uehara
    • Organizer
      Proc. of the China-Japan Joint Conference on Computational Geometry, Graphs and Applications (CGGA 2010), pp.56-57
    • Place of Presentation
      Dalian, China
    • Year and Date
      2010-11-03
    • Related Report
      2010 Final Research Report
  • [Presentation] Generation of Polyiamonds for p6 Tiling by the Reverse Search, Proc. of the China-Japan Joint Conference on Computational Geometry2010

    • Author(s)
      T.Horiyama, S.Yamane
    • Organizer
      Graphs and Applications (CGGA 2010), pp.58-59
    • Place of Presentation
      Dalian, China
    • Year and Date
      2010-11-03
    • Related Report
      2010 Final Research Report
  • [Presentation] Generation of Polyiamonds for p6 Tiling by the Reverse Search2010

    • Author(s)
      T.Horiyama, S.Yamane
    • Organizer
      The China-Japan Joint Conference on Computational Geometry, Graphs and Applications
    • Place of Presentation
      大連海事大学
    • Year and Date
      2010-11-03
    • Related Report
      2010 Annual Research Report
  • [Presentation] Nonexistence of Common Edge Developments of Regular Tetrahedron and Other Platonic Solids2010

    • Author(s)
      T.Horiyama, R.Uehara
    • Organizer
      The China-Japan Joint Conference on Computational Geometry, Graphs and Applications
    • Place of Presentation
      大連海事大学
    • Year and Date
      2010-11-03
    • Related Report
      2010 Annual Research Report
  • [Presentation] プライバシーに配慮した安全なVickreyオークション2010

    • Author(s)
      杉本琢磨, 堀山貴史
    • Organizer
      合同エージェントワークショップ&シンポジウム(JAWS 2010), Z1, pp.Z1-1-Z1-8
    • Place of Presentation
      富良野市
    • Year and Date
      2010-10-29
    • Related Report
      2010 Final Research Report
  • [Presentation] プライバシーに配慮した安全なVickreyオークション2010

    • Author(s)
      杉本琢磨, 堀山貴史
    • Organizer
      合同エージェントワークショップ
    • Place of Presentation
      北海道富良野市
    • Year and Date
      2010-10-29
    • Related Report
      2010 Annual Research Report
  • [Presentation] 秘密分散を用いた安全なVickreyオークション2010

    • Author(s)
      杉本琢磨, 堀山貴史
    • Organizer
      電子情報通信学会技術研究報告, vol.110, no.232, COMP 2010-34, pp.19-25
    • Place of Presentation
      東北大学
    • Year and Date
      2010-10-15
    • Related Report
      2010 Final Research Report
  • [Presentation] 秘密分散を用いた安全なVickreyオークション2010

    • Author(s)
      杉本琢磨, 堀山貴史
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学
    • Year and Date
      2010-10-15
    • Related Report
      2010 Annual Research Report
  • [Presentation] 回転によるタイリングについて2010

    • Author(s)
      堀山貴史
    • Organizer
      JST ERATO湊離散構造処理系プロジェクト セミナー
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-09-16
    • Related Report
      2010 Final Research Report
  • [Presentation] 回転によるタイリングについて2010

    • Author(s)
      堀山貴史
    • Organizer
      ERATO湊離散構造処理系プロジェクトセミナー
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-09-16
    • Related Report
      2010 Annual Research Report
  • [Presentation] 正多面体の展開図の列挙2010

    • Author(s)
      庄子亘, 堀山貴史
    • Organizer
      JST ERATO湊離散構造処理系プロジェクト・鷲尾研合同セミナー
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-09-13
    • Related Report
      2010 Final Research Report
  • [Presentation] 正多面体の展開図の列挙2010

    • Author(s)
      庄子亘, 堀山貴史
    • Organizer
      ERATO湊離散構造処理系プロジェクト・大阪大学鷲尾研究室合同セミナー
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-09-13
    • Related Report
      2010 Annual Research Report
  • [Presentation] 繰り返し模様とタイリング2010

    • Author(s)
      堀山貴史
    • Organizer
      第9回情報科学技術フォーラム(FIT)(招待講演)
    • Place of Presentation
      九州大学
    • Year and Date
      2010-09-09
    • Related Report
      2010 Final Research Report
  • [Presentation] 繰り返し模様とタイリング2010

    • Author(s)
      堀山貴史
    • Organizer
      第9回情報科学技術フォーラム
    • Place of Presentation
      九州大学(招待講演)
    • Year and Date
      2010-09-09
    • Related Report
      2010 Annual Research Report
  • [Presentation] 展開図の列挙~正多面体、そして凖正多面体~2010

    • Author(s)
      堀山貴史
    • Organizer
      第12回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2010-08-28
    • Related Report
      2010 Final Research Report
  • [Presentation] 展開図の列挙~正多面体、そして準正多面体~2010

    • Author(s)
      堀山貴史
    • Organizer
      第12回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2010-08-28
    • Related Report
      2010 Annual Research Report
  • [Presentation] Generation of Polyiamonds for p6 Tiling by the Reverse Search2010

    • Author(s)
      T.Horiyama, S.Yamane
    • Organizer
      LA Symposium, pp.6-1-6-8
    • Place of Presentation
      氷見市
    • Year and Date
      2010-07-20
    • Related Report
      2010 Final Research Report
  • [Presentation] Generation of Polyiamonds for p6 Tiling by the Reverse Search2010

    • Author(s)
      T.Horiyama, S.Yamane
    • Organizer
      LA Symposium
    • Place of Presentation
      富山県氷見市
    • Year and Date
      2010-07-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] 二分決定グラフによる列挙の幾何への応用~正多面体の列挙~2010

    • Author(s)
      堀山貴史
    • Organizer
      第1回離散構造処理系シンポジウム
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-05-28
    • Related Report
      2010 Annual Research Report 2010 Final Research Report
  • [Presentation] 逆探索に基づくp6タイリングの生成2010

    • Author(s)
      山根祥悟, 堀山貴史
    • Organizer
      第23回回路とシステム軽井沢ワークショップ, pp.221-226
    • Place of Presentation
      軽井沢市
    • Year and Date
      2010-04-19
    • Related Report
      2010 Final Research Report
  • [Presentation] 逆探索に基づくp6タイリングの生成2010

    • Author(s)
      山根祥吾, 堀山貴史
    • Organizer
      第23回 回路とシステム軽井沢ワークショップ
    • Place of Presentation
      長野県軽井沢市
    • Year and Date
      2010-04-19
    • Related Report
      2010 Annual Research Report
  • [Presentation] Enumeration of Irredun- dant Primitive Sorting Networks by Decision Diagrams2010

    • Author(s)
      T.Horiyama
    • Organizer
      Proc. of the 3rd Asian Associ- ation for Algorithms and Computation Annual Meeting (AAAC 2010), p.25
    • Place of Presentation
      Pohang, Korea
    • Year and Date
      2010-04-17
    • Related Report
      2010 Final Research Report
  • [Presentation] Enumeration of Irredundant Primitive Sorting Networks by Decision Diagrams2010

    • Author(s)
      T.Horiyama
    • Organizer
      The 3rd Asian Association for Algorithms and Computation Annual Meeting
    • Place of Presentation
      浦項工科大学
    • Year and Date
      2010-04-17
    • Related Report
      2010 Annual Research Report
  • [Presentation] 二分決定グラフによる非冗長プリミティブ整列回路網の列挙2010

    • Author(s)
      堀山貴史
    • Organizer
      第11回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2010-03-03
    • Related Report
      2010 Final Research Report
  • [Presentation] 二分決定グラフによる非冗長プリミティブ整列回路網の列挙2010

    • Author(s)
      堀山貴史
    • Organizer
      列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2010-03-03
    • Related Report
      2009 Annual Research Report
  • [Presentation] 回転タイリングの列挙~p4からp6へ~2009

    • Author(s)
      堀山貴史
    • Organizer
      第10回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2009-09-30
    • Related Report
      2010 Final Research Report
  • [Presentation] 回転タイリングの列挙~p4からp6へ~2009

    • Author(s)
      堀山貴史, 鮫島真人, 山根祥悟
    • Organizer
      列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2009-09-30
    • Related Report
      2009 Annual Research Report
  • [Presentation] 最長経路問題と最大経路差問題~その解法とJR大都市近郊区間大回りへの応用~2009

    • Author(s)
      堀山貴史
    • Organizer
      日本オペレーションズ・リサーチ学会2009年秋季研究発表会, 1-D-5, pp.80-81
    • Place of Presentation
      長崎大学
    • Year and Date
      2009-09-09
    • Related Report
      2010 Final Research Report
  • [Presentation] 最長路問題と最大経路差問題~その解法とJR大都市近郊区間大回りへの応用2009

    • Author(s)
      堀山貴史
    • Organizer
      日本オペレーションズ・リサーチ学会2009年秋季研究発表会
    • Place of Presentation
      長崎大学
    • Year and Date
      2009-09-09
    • Related Report
      2009 Annual Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Tiling2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      Proc. of the 21st Canadian Conference on Computational Geometry (CCCG 2009), pp.29-32
    • Place of Presentation
      Vancouver, Canada
    • Year and Date
      2009-08-17
    • Related Report
      2010 Final Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Tiling2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      Proc.of the 21st Canadian Conference on Computational Geometry
    • Place of Presentation
      ブリティッシュコロンビア大学, カナダ
    • Year and Date
      2009-08-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] 最長路問題とJR大都市近郊区間大回りへの応用2009

    • Author(s)
      堀山貴史, 樋口康介
    • Organizer
      電子情報通信学会技術研究報告, vol.109, no.108, COMP 2009-20, pp.17-21
    • Place of Presentation
      北海道大学
    • Year and Date
      2009-06-29
    • Related Report
      2010 Final Research Report
  • [Presentation] 最長路問題とJR大都市近郊区間大回りへの応用2009

    • Author(s)
      樋口康介, 堀山貴史
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      北海道大学
    • Year and Date
      2009-06-29
    • Related Report
      2009 Annual Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Tiling2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      電子情報通信学会技術研究報告, vol.109, no.54, COMP 2009-17, pp.51-55
    • Place of Presentation
      埼玉大学
    • Year and Date
      2009-05-26
    • Related Report
      2010 Final Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Tiling2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      埼玉大学
    • Year and Date
      2009-05-26
    • Related Report
      2009 Annual Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Isohedral Tiling by the Reverse Search2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      Proc. of the 2nd Asian Association for Algorithms and Computation Annual Meeting (AAAC 2009), p.28
    • Place of Presentation
      Hangzhou, China
    • Year and Date
      2009-04-11
    • Related Report
      2010 Final Research Report
  • [Presentation] Enumeration of Polyominoes for p4 Isohedral Tiling by the Reverse Search2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      Proc.of the 2nd Asian Association for Algorithms and Computation Annual Meeting
    • Place of Presentation
      杭州, 中国
    • Year and Date
      2009-04-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] polyominoのp4タイリングの列挙2009

    • Author(s)
      堀山貴史, 鮫島真人
    • Organizer
      第9回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学
    • Year and Date
      2009-03-04
    • Related Report
      2010 Final Research Report
  • [Presentation] Polyominoのp4タイリングの列挙2009

    • Author(s)
      堀山貴史, 鮫島真人
    • Organizer
      列挙アルゴリズム合宿
    • Place of Presentation
      群馬大学
    • Year and Date
      2009-03-04
    • Related Report
      2008 Annual Research Report
  • [Presentation] 金図式、銀図式、桂馬図式の全列挙2009

    • Author(s)
      太田圭亮, 川原純, 伊藤大雄, 堀山貴史
    • Organizer
      第4回組合せゲーム・パズル研究集会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2009-03-03
    • Related Report
      2010 Final Research Report
  • [Presentation] 金図式・銀図式・桂馬図式の全列挙2009

    • Author(s)
      太田圭亮, 河原純伊藤大雄, 堀山貴史
    • Organizer
      組合せゲーム・パズルミニプロジェクト研究集会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2009-03-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] Enumerating Polyominoes of p4 Tiling by the Reverse Search2009

    • Author(s)
      T.Horiyama, M.Samejima
    • Organizer
      LA symposium, pp.9-1-9-3
    • Place of Presentation
      京都大学
    • Year and Date
      2009-02-02
    • Related Report
      2010 Final Research Report
  • [Presentation] Enumerating Polyominoes of p4 Tiling by the Reverse Search2009

    • Author(s)
      T. Horiyama, M. Samejima
    • Organizer
      LAシンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2009-02-02
    • Related Report
      2008 Annual Research Report
  • [Presentation] FOCS 2008報告2008

    • Author(s)
      堀山貴史
    • Organizer
      電子情報通信学会技術研究報告, vol.108, no.330, COMP2008-53, p.49(招待講演)
    • Place of Presentation
      群馬大学
    • Year and Date
      2008-12-03
    • Related Report
      2010 Final Research Report
  • [Presentation] FOCS 2008 Report(Invited Talk)2008

    • Author(s)
      T. Horiyama
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      群馬大学
    • Year and Date
      2008-12-03
    • Related Report
      2008 Annual Research Report
  • [Presentation] Fine-Grained Power Gating Based on the Controlling Value of Logic Gates2008

    • Author(s)
      L. Chen, T. Horiyama, Y. Nakamura, S. Kimura
    • Organizer
      電子情報通信学会VLSI設計技術研究会
    • Place of Presentation
      神戸大学
    • Year and Date
      2008-05-09
    • Related Report
      2008 Annual Research Report
  • [Presentation] Density Conden-sation of Boolean Formulas Based on Covering Codes2008

    • Author(s)
      T.Horiyama, A.Sato
    • Organizer
      Proc. of the 1st Asian Association for Algorithms and Computation Annual Meeting (AAAC 2008), p.28
    • Place of Presentation
      Hong Kong, 2008年4月26日.
    • Year and Date
      2008-04-26
    • Related Report
      2010 Final Research Report
  • [Presentation] Density Condensation of Boolean Formulas Based on Covering Codes2008

    • Author(s)
      T. Horiyama, A. Sato
    • Organizer
      Proc. of the 1st Asian Association for algorithms and Computation Annual Meeting
    • Place of Presentation
      香港大学
    • Year and Date
      2008-04-26
    • Related Report
      2008 Annual Research Report
  • [Book] 離散数学のすすめ(オンライン問題)(伊藤大雄, 宇野裕之編)2010

    • Author(s)
      堀山貴史
    • Publisher
      現代数学社
    • Related Report
      2010 Final Research Report
  • [Book] 離散数学のすすめ2010

    • Author(s)
      堀山貴史, 他20名
    • Total Pages
      325
    • Publisher
      現代数学社
    • Related Report
      2010 Annual Research Report
  • [Remarks] ホームページ等

    • URL

      http://www.al.ics.saitama-u.ac.jp/horiyama/

    • Related Report
      2010 Final Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi