世木博久 (seki hirohisa) - マイポータル

基本情報

学位: 工学修士(東京大学)
工学博士(東京大学)

J-GLOBAL ID: 200901002584449013
researchmap会員ID: 1000025176

外部リンク: http://sekilab.web.nitech.ac.jp/

研究キーワード

研究分野

経歴

1992年4月 - 現在

名古屋工業大学教授
1992年4月 - 現在

Professor,Nagoya Institute of Technology
1989年4月 - 1992年3月

三菱電機株式会社中央研究所 -
1985年4月 - 1989年3月

財団法人新世代コンピューター技術開発機構研究員
1985年4月 - 1989年3月

Researcher,Institute of New Generation Computer Technology
1981年4月 - 1985年3月

三菱電機株式会社中央研究所研究員
1981年4月 - 1985年3月

Researcher,Central Research Lab., Mitsubishi Electric Corp.

学歴

MISC

129

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

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

情報処理学会・第76回全国大会論文集 1 597-598 2014年3月
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 2014年3月
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 2013年9月
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 2013年9月
Proving Properties of Co-logic Programs with Negation by Program Transformations

Hirohisa Seki

Lecture Notes in Computer Science 7844 213-227 2013年4月
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 2012年12月
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 2012年10月
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 2012年10月
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 2012年9月
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 2012年9月
関係データマイニングにおける頻出飽和パターン発見の分散化

谷本翔一, 世木博久

情報処理学会第74回全国大会論文集 2 565-566 2012年3月
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 2012年3月
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 2011年7月
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 2011年7月
On Inductive Proofs by Extended Unfold/fold Transformation Rules

Hirohisa Seki

Lecture Notes in Computer Science, Springer-Verlag 6564 117-132 2011年4月
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 2010年7月
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 2010年7月

もっとみる

書籍等出版物

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

共立出版 1997年4月
Artificial Intelligence:A Modern Approach

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

オーム社 1989年4月
Handbook of Automated Programming

Ohm-sha 1989年4月

講演・口頭発表等

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

情報処理学会第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年

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

計算論理に関する研究

科学研究費補助金 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年