| Presentation | 2018-10-26 Recent Activities of Discrete Structure Manipulation System Project Shin-ichi Minato, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | After five years execution of ERATO Minato Discrete Structure Manipulation System Project from 2010 to 2015, as the successor project, KAKENHI(S) Research on Core Algorithms for Discrete Structure Manipulation Systems has started and now it is in the fourth year. Our research area of discrete structure manipulation is located in the middle of the two layer, called ``the Art'' layer, to connect ``Science'' and ``Engineering.'' Our project will provide a research community where theoretical people and application people collaborate together to create the seeds of technology. In this talk, recent research activities in our project will be presented. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Discrete structure manipulation / Algorithmic techniques |
| Paper # | COMP2018-28 |
| Date of Issue | 2018-10-19 (COMP) |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 2018/10/26(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kyoto University |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Toshihiro Fujito(Toyohashi Univ. of Tech.) |
| Vice Chair | Shinichi Nakano(Gunma Univ.) |
| Secretary | Shinichi Nakano(Kyoto Univ.) |
| Assistant | Kazuhisa Seto(Seikei Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Theoretical Foundations of Computing |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Recent Activities of Discrete Structure Manipulation System Project |
| Sub Title (in English) | |
| Keyword(1) | Discrete structure manipulation |
| Keyword(2) | Algorithmic techniques |
| 1st Author's Name | Shin-ichi Minato |
| 1st Author's Affiliation | Kyoto University(Kyoto Univ.) |
| Date | 2018-10-26 |
| Paper # | COMP2018-28 |
| Volume (vol) | vol.118 |
| Number (no) | COMP-268 |
| Page | pp.pp.55-55(COMP), |
| #Pages | 1 |
| Date of Issue | 2018-10-19 (COMP) |