SEKI Hirohisa

写真a

Affiliation Department etc.

Department of Computer Science
Department of Computer Science

Title

Professor

Mail Address

E-mail address

Graduating School

  •  
    -
    1979.03

    The University of Tokyo   Faculty of Engineering   Graduated

Graduate School

  •  
    -
    1981.03

    The University of Tokyo  Graduate School, Division of Engineering  Master's Course  Completed

Degree

  • The University of Tokyo -  Doctor of Engineering

  • The University of Tokyo -  Master of Engineering

External Career

  • 1989.04
    -
    1992.03

    Central Research Lab., Mitsubishi Electric Corp.  

  • 1985.04
    -
    1989.03

    Institute of New Generation Computer Technology   Researcher  

  • 1981.04
    -
    1985.03

    Central Research Lab., Mitsubishi Electric Corp.   Researcher  

Academic Society Affiliations

  •  
     
     

    the Japan Society for Industrial and Applied Mathematics

  •  
     
     

    Information Processing Society of Japan

  •  
     
     

    Japanese Society for Artificial Intelligence

  •  
     
     

    The Institute of Electronics, Information and Communication Engineers

  •  
     
     

    Japan Society for Software Science and Technology

display all >>

Field of expertise (Grants-in-aid for Scientific Research classification)

  • Intelligent informatics

  • Theory of informatics

 

Research Career

  • Study on Computational Logic

    Individual   Grant-in-Aid for Scientific Research  

    Project Year:  2009.04  -  2012.03

    We study the methodologies of computational logic for constructing secure systems.

  • Study on Relational Data Mining

    Ordinary Research  

    Project Year:  2007.04  -  2007.04

    We study an efficient algorithm for enumerationg frequent patterns in relational data mining.

Papers

  • On Efficient Subgraph Isomorphism Detection from a Set of Graphs

    Yohei Kamiya, Hirohisa Seki

    Proc. of the 2016 IEICE General Conference   1   107 - 107   2016.03

    Research paper (other science council materials etc.)   Multiple Authorship

  • On Parallelization of Closed Pattern Mining

    Masahiro Nagao, Hirohisa Seki

    Proc. of the 78th National Convention of IPSJ   2   605 - 606   2016.03

    Research paper (other science council materials etc.)   Multiple Authorship

  • On Dual Programs in Co-logic Programming

    Hirohisa Seki

    LOPSTR2015, Revised Selected Papers, Lecture Notes in Computer Science ( Springer-Verlag )  9527   1 - 15   2016.01  [Refereed]

    Research paper (other science council materials etc.)   Single Author

  • Distributed Mining of Closed Patterns from Multi-Relational Data

    Yohei Kamiya, Hirohisa Seki

    Journal of Advanced Computational Intelligence and Intelligent Informatics   19 ( 6 ) 804 - 809   2015.11  [Refereed]  [Invited]

    Research paper (scientific journal)   Multiple Authorship

  • Towards Parallel Mining of Closed Patterns from Multi-Relational Data

    Masahiro Nagao, Hirohisa Seki

    Proc. 2015 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA 2015)     103 - 108   2015.11  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • Towards Efficient Mining of Closed Patterns from Multi-Relational Data

    Masahiro Nagao, Hirohisa Seki

    Proc. 11th Int’l. Conf. on Knowledge Management (ICKM 2015)     471 - 473   2015.11  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • Load Balancing for Parallel Closed Pattern Mining from Multi-Relational Data

        2015.09

    Research paper (other science council materials etc.)   Multiple Authorship

  • On Dual Programs in Co-logic Programming

    Hirohisa Seki

    Proceedings of 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '15)     1 - 15   2015.07  [Refereed]

    Research paper (international conference proceedings)   Single Author

  • Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data

    Yohei Kamiya, Hirohisa Seki

    Proc. Joint 7th Int’l. Conf. on Soft Computing and Intelligent Systems and 15th Int’l. Symp. on Advanced Intelligent Systems (SCIS&ISIS 2014)     1138 - 1141   2014.12  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • Extending Co-logic Programs for Branching-Time Model Checking

    Hirohisa Seki

    LOPSTR2013, Revised Selected Papers, Lecture Notes in Computer Science   8901   127 - 144   2014.12  [Refereed]

    Research paper (other science council materials etc.)   Single Author

display all >>

Books

  • Logic-Based Program Synthesis and Transformation, 24th International Symposium, LOPSTR2014

    Maurizio Proietti, Hirohisa Seki (Part: Joint Editing and Writing )

    Springer-Verlag  2015.04

  • Pre-Proceedings of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014)

    Maurizio Proietti, Hirohisa Seki (Part: Joint Editing and Writing )

    Istituto Di Analisi Dei Sistemi Ed Informatica, CNR  2014.09

  • Artificial Intelligence:A Modern Approach

    (Part: Multiple Authorship )

    Kyoritsu Syuppan  1997.04

  • Handbook of Automated Programming

    (Part: Multiple Authorship )

    Ohm-sha  1989.04

Presentations

  • On Efficient Subgraph Isomorphism Detection from a Set of Graphs

    2016.03  -  2016.03 

  • On Parallelization of Closed Pattern Mining

    Masahiro Nagao, Hirohisa Seki

    the 78th National Convention of IPSJ  2016.03  -  2016.03 

  • Towards Parallel Mining of Closed Patterns from Multi-Relational Data

    Masahiro Nagao, Hirohisa Seki

    2015 IEEE Int'l. Workshop on Computational Intelligence and Applications (IWCIA)  (Hiroshima, Japan)  2015.11  -  2015.11 

  • Towards Efficient Mining of Closed Patterns from Multi-Relational Data

    Masahiro Nagao, Hirohisa Seki

    11th Int'l. Conf. on Knowledge Managemengt (ICKM)  (Osaka, Japan)  2015.11  -  2015.11 

  • Load Balancing for Parallel Closed Pattern Mining from Multi-Relational Data

    2015.09  -  2015.09 

  • On Dual Programs in Co-logic Programming

    Hirohisa Seki

    25th International Symposium on Logic-Based Program Synthesis and Transformation  (Siena, Italy)  2015.07  -  2015.07 

  • Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data

    Yohei Kamiya, Hirohisa Seki

    Joint 7th Int’l. Conf. on Soft Computing and Intelligent Systems and 15th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2014)  (Kitakyushu, Japan)  2014.12  -  2014.12 

  • Merging Closed Pattern Sets in Distributed Multi-Relational Data

    Hirohisa Seki, Yohei Kamiya

    11th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2014)  (Kosice, Slovakia)  2014.10  -  2014.10 

  • Towards Efficient Merge Operations for Distributed Closed Pattern Mining

    2014.09  -  2014.09 

  • On Closed Pattern Mining from Distributed Relational Databases

    Shoichi Tanimoto, Yohei Kamiya, Hirohisa Seki

    the 76th National Convention of IPSJ  2014.03  -  2014.03 

display all >>