Apr. May 2016 Jun.
1516 1718192021
22 232425262728
29 303101020304
Click Seminar

Project Outline

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 data of the logical process that the computer does), has been risen.

In this project, we will deal with 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.

This research is executed cooperation with JST ERATO Minato Discrete Structure Manipulation System Project.

Seminar Information




DateMay 30, 2016 (Monday)
SpeakerHiromi Arai
SiteVBL 301B


DateJune 13, 2016 (Monday)
SpeakerKunihiro Wasa
SiteVBL 301B

Document folders featuring "Combinatorial Explosion!” is now on sale.

(January 13, 2016 08:02 By Yasuda)

Our LINE stickers of "Combinatorial Explosion!" is featured in the JST news.

Recently, we released a sticker for LINE, an application for instant communications. In this month's JST news, the sticker is featured as the "news & topics".
The article page (in Japanese)
(December 2, 2015 23:33 By minato)

(November 20, 2015 15:13 By Yasuda)

Exhibition at "Science Agora" in MIRAIKAN

(November 14, 2015 12:15 By minato)

Publication of our LINE sticker

LINE sticker "Combinatorial Explosion!" has been launched! This sticker set is based on the YouTube video supervised by our ERATO project. This is the first LINE sticker desined by Miraikan.
(October 10, 2015 17:45 By minato)