JST > Basic Research Programs > ERATO
Exploratory Research for Advanced Technology 
TOP Contact Us Site Map 日本語
HOME Outline of ERATO Research Projects Mid-term/Ex-post Evaluation Application
HOME > Research Projects > Ongoing Projects > MINATO Discrete Structure Manipulation System
MINATO Discrete Structure Manipulation System
Research Director: Shin-ichi Minato
Professor, Graduate School of Information Science and Technology Hokkaido University
Research Term 2009-2014
Outline of Research

  The computer has been used for a variety of information processing like optimization/analysis of the industrial process, marketing, and the bioinformatics, etc. For processing the large-scale data that are recently being increased explosively, the importance of not only speeding up of the calculation hardware but also "Algorithm technology", which enable the mathematical condensation and efficient processing of the huge amount of discrete-structured data ( represented date of the logical process that the computer does), has been risen.
  In this project, we will deal with the two techniques; BDD (Binary Decision Diagram) for manipulating the Boolean functions, and ZDD (Zero-Suppressed BDD: the novel improvement of BDD) for manipulating sets of sparse combinations. We will organize an integrated method of algebraic operations for various types of discrete structures and construct the standard techniques for efficiently processing the large-scale practical problems in various fields, including the system verification/optimization, knowledge discovery, statistical analysis, etc. We will also provide the implementation techniques of our system to both domestic and international researchers as well as to the industrial circles in the utilizable format.

Research Director
Shin-ichi Minato
Research Groups
Discrete structure manipulation foundation
Group Leader:
 Shin-ichi Minato
 Jyun Kawahara
 Toshiki Saito
 Hiroaki Iwashita
 Yasuyuki Shirai
 Takeshi Inoue
 Shogo Takeuchi
Research Assistant:
 Koji Tsuruma
 Masakazu Nakamoto
statistics · mining application
Group Leader:
 Takashi Washio
 Tsuyoshi Ueno
Reaearch Assistant:
 Takahiro Azuma
Machine learning application
Group Leader:
 Koji Tsuda
 Yasuo Tabei

Project Office
C306, Graduate School of Information Science and Technology,
Hokkaido University,Kita 14, Nishi 9, Kita-ku, Sapporo, Hokkaido,
060-0814, Japan
Research Manager:
 Yasuyuki Shirai
Administrative Manager:
 Akira Saito
 Yukie Watanabe
Phone: +81 (0) 11 728 8270
FAX: +81 (0) 11 728 8277

Back to List

JST 過去のお知らせはこちら ERATO
Exploratory Research for Advanced Technology 
創造科学技術推進事業 ERATO