Oct. Nov. 2018 Dec.
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



Next Seminar

Call for Partition: 2018 Autumn Workshop

今年度の基盤(S) 秋のワークショップ(通称・基盤(S)合宿)を11/25(日)~27(火)に北海道・登別温泉 第一滝本館で開催いたします。最新情報はこちらをご覧ください。参加申込みの一次締切は 11/9(金) 17:00 となっております。会場の都合で最大定員がありますので、参加可能性のある方はお早めにご連絡ください。
(October 23, 2018 08:04 By minato)


(October 19, 2018 14:44 By minato)

「北大・京大 研究交流会」開催のお知らせ

9月6日発生の胆振東部地震のため延期されていた「北大・京大 研究交流会」を10月19日(金)に開催いたします。プログラムはこちらです。興味のある方はぜひご参加ください。
(September 27, 2018 14:50 By minato)

SSSW2018.9A-R (09A再開催)のお知らせ

(September 27, 2018 16:45 By minato)

SSSW_09B 開催のお知らせ

今年度の「短期滞在集中セミナ週間」の第6回目として、9/25(火)~28(金)にかけて、下記の集中セミナSSSW2018.09Bを開催いたします。今回のテーマは「情報と未来と離散構造処理系」です。今年で3年目となるJST ACT-I「情報と未来」において、湊がアドバイザを務めるなどの関係がある若手研究者に来ていただき、基盤(S)プロジェクトの関連研究者との相互交流を図り、将来の研究の発展についてディスカッションしたいと思います。皆さまの積極的なご参加をお願いいたします。
(September 18, 2018 16:37 By minato)