HORIYAMA Takashi

J-GLOBAL         Last updated: Sep 2, 2019 at 10:10
 
Avatar
Name
HORIYAMA Takashi
Degree
Ph. D.(Kyoto University)

Academic & Professional Experience

 
 
   
 
Associate Professor, Saitama University
 

Education

 
 
 - 
1997
Department of Information Science, Graduate School of Engineering, Kyoto University
 
 
 - 
1999
Department of Applied Mathematics and Physics, Graduate School of Engineering, Kyoto University
 
 
 - 
1995
Department of Information Science, Faculty of Engineering, Kyoto University
 

Committee Memberships

 
Jun 2008
 - 
May 2010
The Institute of Electronics, Information and Communication Engineers  Technical Committee on Theoretical Foundations of Computing, Secretary
 
Jun 2009
   
 
The Institute of Electronics, Information and Communication Engineers  Technical Committee on VLSI Design Technologies, Member
 

Awards & Honors

 
2000
-
 
2001
-
 
2008
-
 

Misc

 
Truthful Auctions with Limited Range of Bids
T. Horiyama, K. Iwama, and D. Sumita
Proc. of the 5th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications   5 53-61   2007
Resynthesis Method for Circuit Acceleration on LUT-based FPGA
W. Xing, T. Horiyama, S. Kuromaru, T. Kimura, and S. Kimura
Proc. of the 14th Workshop on Synthesis And System Integration of Mixed Information Technologies   14 375-380   2007
Density Condensation of Boolean Formulas Based on Covering Codes
T. Horiyama, and A. Sato
Proc. of the 1st Asian Association for Algorithms and Computation Annual Meeting   1 28   2008
Yoichi Hanatani;Takashi Horiyama;Kazuo Iwama;Suguru Tamaki
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences   E91-A(9) 2301-2307   2008
L.Chen, T. Horiyama, Y. Nakamura, and S. Kimura
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences   E91-A(12) 3531-3538   2008

Conference Activities & Talks

 
The Complexity of the Hajos Calculus on Planar Graphs
LAシンポジウム講演録   2007   
The Complexity of the Hajos Calculus on Planar Graphs
電子情報通信学会技術研究報告   2007   
飛び道具を考慮した逆算法に基づく詰将棋列挙技術
特定領域研究 新世代の計算限界 ミニ研究集会   2008   
飛び道具を考慮した逆算法に基づく詰将棋列挙技術
電子情報通信学会総合大会   2008   
Fine-Grained Power Gating Based on the Controlling Value of Logic Gates
電子情報通信学会技術研究報告   2008   

Research Grants & Projects

 
-