hirohisa seki

セキヒロヒサ | hirohisa seki

Homepage URL (1)： http://sekilab.web.nitech.ac.jp/

Research field (2)： Intelligent informatics , Information theory

Research keywords (5)：関係データマイニング , 計算論理プログラムに関する推論 , relational data mining , reasoning about programs , computational logic

Research theme for competitive and other funds (4)：

2009 - 2012 計算論理に関する研究
2009 - 2012 Study on Computational Logic
2007 - 2007 関係データマイニングに関する研究
2007 - 2007 Study on Relational Data Mining

MISC (140)：

谷本翔一, 神谷洋平, 世木博久. 分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化. 情報処理学会・第76回全国大会論文集. 2014. 1. 597-598
Shoichi Tanimoto, Yohei Kamiya, Hirohisa Seki. On Closed Pattern Mining from Distributed Relational Databases. Proc. of the 76th National Convention of IPSJ. 2014. 1. 597-598
Hirohisa Seki. Extending Co-logic Programs for Branching-Time Model Checking. Proceedings of 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '13). 2013. 67-84
Hirohisa Seki. Extending Co-logic Programs for Branching-Time Model Checking. Proceedings of 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '13). 2013. 67-84
Hirohisa Seki. Proving Properties of Co-logic Programs with Negation by Program Transformations. Lecture Notes in Computer Science. 2013. 7844. 213-227

ｍore...

Books (4)：

エージェントアプローチ人工知能(翻訳)
共立出版 1997
Artificial Intelligence:A Modern Approach
Kyoritsu Syuppan 1997
自動プログラミングハンドブック(翻訳)
オーム社 1989
Handbook of Automated Programming
Ohm-sha 1989

Lectures and oral presentations (24)：

分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化
(情報処理学会第76回全国大会 2014)
On Closed Pattern Mining from Distributed Relational Databases
(the 76th National Convention of IPSJ 2014)
Extending Co-logic Programs for Branching-Time Model Checking
(23rd International Symposium on Logic-Based Program Synthesis and Transformation 2013)
分散関係データベースにおける飽和パターンマイニング
(電子情報通信学会2013年総合大会 2013)
Extending Co-logic Programs for Branching-Time Model Checking
(23rd International Symposium on Logic-Based Program Synthesis and Transformation 2013)

ｍore...

Education (4)：

- 1981 The University of Tokyo
- 1981 The University of Tokyo Graduate School, Division of Engineering
- 1979 The University of Tokyo The Faculty of Engineering
- 1979 The University of Tokyo Faculty of Engineering

Professional career (2)：

Master of Engineering (The University of Tokyo)
Doctor of Engineering (The University of Tokyo)

Work history (7)：

1992/04 - 現在 Nagoya Institute of Technology
1992/04 - 現在 Professor,Nagoya Institute of Technology
1989/04 - 1992/03 三菱電機株式会社中央研究所 -
1985/04 - 1989/03 財団法人新世代コンピューター技術開発機構研究員
1985/04 - 1989/03 Researcher,Institute of New Generation Computer Technology

Show all

Association Membership(s) (13)：

日本ソフトウェア科学会 , 電子情報通信学会 , 人工知能学会 , 情報処理学会 , 応用数理学会 , ACM , Japan Society for Software Science and Technology , Information and Communication Engineers , The Institute of Electronics , Japanese Society for Artificial Intelligence , Information Processing Society of Japan , the Japan Society for Industrial and Applied Mathematics , Association for Computing Machinery

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

Return to Previous Page