seki hirohisa - My portal

Profile Information

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

J-GLOBAL ID: 200901002584449013
researchmap Member ID: 1000025176

External link: http://sekilab.web.nitech.ac.jp/

Research Interests

Research Areas

Research History

Apr, 1992 - Present

Nagoya Institute of Technology
Apr, 1992 - Present

Professor,Nagoya Institute of Technology
Apr, 1989 - Mar, 1992

三菱電機株式会社中央研究所 -
Apr, 1985 - Mar, 1989

財団法人新世代コンピューター技術開発機構研究員
Apr, 1985 - Mar, 1989

Researcher,Institute of New Generation Computer Technology
Apr, 1981 - Mar, 1985

三菱電機株式会社中央研究所研究員
Apr, 1981 - Mar, 1985

Researcher,Central Research Lab., Mitsubishi Electric Corp.

Education

- 1981

The University of Tokyo
- 1981

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

The Faculty of Engineering, The University of Tokyo
- 1979

Faculty of Engineering, The University of Tokyo

Misc.

140

分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化

谷本翔一, 神谷洋平, 世木博久

情報処理学会・第76回全国大会論文集, 1 597-598, Mar, 2014
On Closed Pattern Mining from Distributed Relational Databases

Shoichi Tanimoto, Yohei Kamiya, Hirohisa Seki

Proc. of the 76th National Convention of IPSJ, 1 597-598, Mar, 2014
Extending Co-logic Programs for Branching-Time Model Checking

Hirohisa Seki

Proceedings of 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '13), 67-84, Sep, 2013
Extending Co-logic Programs for Branching-Time Model Checking

Hirohisa Seki

Proceedings of 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '13), 67-84, Sep, 2013
Proving Properties of Co-logic Programs with Negation by Program Transformations

Hirohisa Seki

Lecture Notes in Computer Science, 7844 213-227, Apr, 2013
Proving properties of co-logic programs with negation by program transformations

Hirohisa Seki

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7844 213-227, 2013
Proving Properties of Co-logic Programs by Unfold/fold Transformations

Hirohisa Seki

Lecture Notes in Computer Science, 7225 205-220, Dec, 2012
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results

Hirohisa Seki, Sho-ichi Tanimoto

Proc. 9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012), 115-126, Oct, 2012
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results

Hirohisa Seki, Sho-ichi Tanimoto

Proc. 9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012), 115-126, Oct, 2012
Proving Properties of Co-logic Programs with Negation by Program Transformations

Hirohisa Seki

Proc. of the 22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012), 184-198, Sep, 2012
Proving Properties of Co-logic Programs with Negation by Program Transformations

Hirohisa Seki

Proc. of the 22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012), 184-198, Sep, 2012
関係データマイニングにおける頻出飽和パターン発見の分散化

谷本翔一, 世木博久

情報処理学会第74回全国大会論文集, 2 565-566, Mar, 2012
Distributed Mining of Frequent Closed Patterns in Multi-Relational Data

Shoichi Tanimoto, Hirohisa Seki

Proc. of the 74th National Convention of IPSJ, 2 565-566, Mar, 2012
Proving properties of co-logic programs by unfold/fold transformations

Hirohisa Seki

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7225 205-220, 2012
Proving Properties of Co-logic Programs by Unfold/fold Transformations

Hirohisa Seki

Pre-Proc. of the 21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011), 112-126, Jul, 2011
Proving Properties of Co-logic Programs by Unfold/fold Transformations

Hirohisa Seki

Pre-Proc. of the 21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011), 112-126, Jul, 2011
On Inductive Proofs by Extended Unfold/fold Transformation Rules

Hirohisa Seki

Lecture Notes in Computer Science, Springer-Verlag, 6564 117-132, Apr, 2011
On inductive proofs by extended unfold/fold transformation rules

Hirohisa Seki

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6564 117-132, 2011
On Inductive Proofs by Extended Unfold/fold Transformation Rules

Hirohisa Seki

Pre-Proc. of the 20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010), 194-208, Jul, 2010
On Inductive Proofs by Extended Unfold/fold Transformation Rules

Hirohisa Seki

Pre-Proc. of the 20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010), 194-208, Jul, 2010

Books and Other Publications

エージェントアプローチ人工知能（翻訳）

共立出版, Apr, 1997
Artificial Intelligence:A Modern Approach

Kyoritsu Syuppan, Apr, 1997
自動プログラミングハンドブック（翻訳）

オーム社, Apr, 1989
Handbook of Automated Programming

Ohm-sha, Apr, 1989

Presentations

分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化

情報処理学会第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
Closed Pattern Mining in Distributed Relational Databases

2013 IEICE General Conference, 2013
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results

9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012), 2012
Proving Properties of Co-logic Programs with Negation by Program Transformations

22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012), 2012
関係データマイニングにおける頻出飽和パターン発見の分散化

情報処理学会第74回全国大会, 2012
Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results

9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012), 2012
Proving Properties of Co-logic Programs with Negation by Program Transformations

22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012), 2012
Distributed Mining of Frequent Closed Patterns in Multi-Relational Data

the 74th National Convention of IPSJ, 2012
Proving Properties of Co-logic Programs by Unfold/fold Transformations

21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011), 2011
Proving Properties of Co-logic Programs by Unfold/fold Transformations

21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011), 2011
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data

13th International Conf. on Discovery Science, 2010
On Inductive Proofs by Extended Unfold/fold Transformation Rules

20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010), 2010
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data

13th International Conf. on Discovery Science,, 2010
On Inductive Proofs by Extended Unfold/fold Transformation Rules

20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010), 2010
関係データマイニングにおける頻出飽和パターン枚挙アルゴリズムについて

第７回情報学ワークショップ(WiNF2009), 2009
On Inductive and Coinductive Proofs via Unfold/fold Transformations

19th Int'l. Symposium on Logic Program Synthesis and Transformation (LOPSTR09), 2009

Professional Memberships

Research Projects

計算論理に関する研究

科学研究費補助金, 2009 - 2012
Study on Computational Logic

Grant-in-Aid for Scientific Research, 2009 - 2012
関係データマイニングに関する研究

経常研究, 2007 - 2007
Study on Relational Data Mining

Ordinary Research, 2007 - 2007