Aug. Sep. 2017 Oct.
SunMonTueWedThuFriSat
27282930310102
03040506070809
10111213141516
17181920212223
24252627282930
□Click Seminar

Purpose and Background of the Research


Discrete structures are foundational material for computer science and mathematics. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important how to represent large-scale discrete structural data and to execute their operations efficiently. The project leader has been leading "JST ERATO Minato Discrete Structure Manipulation System Project" for six years. In this project, he has studied discrete structure manipulation systems using Zero-suppressed Binary Decision Diagrams (ZDDs) and their practical applications. As the results of the project, they developed novel techniques for enumerating, compressing and indexing large-scale data based on ZDDs, and they are very effective for real-life problems. Many researchers are now interested in these techniques, and several number of related research projects has been started. This research project focus on the core algorithms of discrete structure manipulation, and we will continue to maintain a firm research community in the center of the other related research projects.

Seminar Information

 

TOPICS

List

TBA

DateOctober 2, 2017 (Monday)
Abstract
Time16:00-17:00
SpeakerHayashi Kohei
Site
 

TBA

DateOctober 16, 2017 (Monday)
Abstract
Time15:00-16:00
SpeakerMitsuo Yoshida
Site
 

TBA

DateOctober 16, 2017 (Monday)
Abstract
Time16:00-17:00
SpeakerHiroshi Kajino
Site
 

Registration of "Autumn Symposium" has been started.

2017 autumn symposium of our project will be held on Nov. 12(Sun) to 14(Tue) at Akkeshi-Town, Hokkaido. Please check here for latest information.
(September 7, 2017 19:32 By minato)
 

Received the Best Paper Award of PECCS/PEC 2017

The paper "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking" written by Reona Minoda and Shin-ichi Minato received the Best Paper Award of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017).
(August 8, 2017 12:40 By minato)
 

Received the JSAI Incentive Award 2016

The paper "Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set" written by Yuma Inoue and Shin-ichi Minato received the JSAI Incentive Award 2016.
(August 7, 2017 12:33 By Ishihata)
 

Our result on statistical emerging pattern mining has been accepted to KDD-2017

Our paper "Statistical Emerging Pattern Mining with Multiple Testing Correction" has been accepted to the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017).
This is a joint work with Dr. Junpei Komiyama.
(June 21, 2017 15:21 By Ishihata)
 

1.9million views times over

Unbelievable! Even now she continue to count.
The view number of animation movie was exceeded 1.9 million times.
(May 2, 2017 11:09 By minato)