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

  • Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database

    SeungYong Yoon, Hirohisa Seki

    Proc. 2017 IEEE 10th Int'l. Workshop on Computational Intelligence and Applications (IWCIA 2017)     141 - 146   2017.11  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • An Efficient Java Implementation of a GA-based Miner for Relational Association Rules with Numerical Attributes

    Hirohisa Seki, Masahiro Nagao

    Proc. 2017 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2017)     2028 - 2033   2017.10  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • Parallel Mining of Non-Redundant Recurrent Rules from a Sequence Database

    SeungYong Yoon, Hirohisa Seki

    Proc. 18th Int’l. Symp. on Advanced Intelligent Systems (ISIS 2017)     379 - 386   2017.10  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • On dual programs in co-logic programming and the Horn mu-calculus

    Hirohisa Seki

    Formal Aspects of Computing ( Springer )  29 ( 3 ) 401 - 421   2017.05  [Refereed]  [Invited]

    Research paper (scientific journal)   Single Author

  • On a Load Balancing Method for Parallel Computation of Formal Concepts

    Yoto Tosaki, Masahiro Nagao, Hirohisa Seki

    Proc. of the 79th National Convention of IPSJ   2   138 - 139   2017.03

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

  • On Mining Quantitative Association Rules from Multi-Relational Data with FCA

    Masahiro Nagao, Hirohisa Seki

    Proc. 2016 IEEE 9th Int'l. Workshop on Computational Intelligence and Applications (IWCIA 2016)     81 - 86   2016.11  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • Mining Correlated Association Rules from Multi-Relational Data Using FCA

    Masahiro Nagao, Hirohisa Seki

    Proc. Joint 8th Int’l. Conf. on Soft Computing and Intelligent Systems and 17th Int’l. Symp. on Advanced Intelligent Systems (SCIS&ISIS 2016)     938 - 941   2016.08  [Refereed]

    Research paper (international conference proceedings)   Multiple Authorship

  • 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

display all >>

Books

  • Formal Aspects of Computing, Extended versions of LOPSTR 14

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

    Springer-Verlag  2017.01

  • 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

  • Towards Efficient Mining of Non-Redundant Recurrent Rules from a Sequence Database

    SeungYong Yoon, Hirohisa Seki

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

  • Parallel Mining of Non-Redundant Recurrent Rules from a Sequence Database

    SeungYong Yoon, Hirohisa Seki

    18th Int’l Symp. on Advanced Intelligent Systems (ISIS 2017)  (Daegu, Republic of Korea)  2017.10  -  2017.10 

  • An Efficient Java Implementation of a GA-based Miner for Relational Association Rules with Numerical Attributes

    Hirohisa Seki, Masahiro Nagao

    2017 IEEE Int'l. Conf. on Systems, Man and Cybernetics (SMC 2017)  (Banff, Canada)  2017.10  -  2017.10 

  • On a Load Balancing Method for Parallel Computation of Formal Concepts

    Yuto Tosaki, Masahiro Nagao, Hirohisa Seki

    the 79th National Convention of IPSJ  2017.03  -  2017.03 

  • On Mining Quantitative Association Rules from Multi-Relational Data with FCA

    Masahiro Nagao, Hirohisa Seki

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

  • Mining Correlated Association Rules from Multi-Relational Data Using FCA

    Masahiro Nagao, Hirohisa Seki

    Joint 8th Int’l. Conf. on Soft Computing and Intelligent Systems and 17th Int’l Symp. on Advanced Intelligent Systems (SCIS&ISIS 2016)  (Sapporo, Japan)  2016.08  -  2016.08 

  • 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 

display all >>