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

Next Seminar

2019年度 秋のワークショップのお知らせ

2019年度 秋のワークショップを11/4(月)~6(水)に支笏湖丸駒温泉で開催いたします。基盤(S)プロジェクトとしては最終年度の秋のワークショップとなります。皆様奮ってご参加下さい。
(October 1, 2019 14:42 By minato)
 

SSSW2019.09開催のお知らせ

今年度「短期滞在集中セミナ週間」の第3回目としてSSSW2019.09を2019年9月17日(火)から20日(金)にかけて,北大オフィスにて開催いたします.

今回のテーマは「SATと離散構造処理」です.近しいようでやや離れた分野の研究者が集まって意見交換することで、新しい研究の方向性を探りたいと思います.

皆さまの積極的なご参加をお願いいたします.
講演はブラウザ上で動作するビデオ会議システム・サービスを利用して配信予定です.
ご視聴を希望される方は、接続数に限りがございますので、admin@erato.ist.hokudai.ac.jp までご連絡ください.
(September 9, 2019 10:00 By wat)
 

着任のお知らせ

本プロジェクト研究分担者の堀山貴史先生が、9月1日付で北海道大学 情報科学研究院 教授に着任いたしました。
(September 2, 2019 15:20 By wat)
 

SSSW2019.08開催のお知らせ

今年度「短期滞在集中セミナ週間」の第2回目としてSSSW2019.08を2019年8月28日(水)から30日(金)にかけて,北大オフィスにて開催いたします.
今回のテーマは「情報と未来と離散構造処理系」です。今年で4年目となるJST ACT-I「情報と未来」において、湊がアドバイザを務めるなどの関係がある若手研究者に来ていただき、基盤(S)プロジェクトの関連研究者との相互交流を図り、将来の研究の発展についてディスカッションしたいと思います。皆さまの積極的なご参加をお願いいたします。
講演はブラウザ上で動作するビデオ会議システム・サービスを利用して配信予定です。ご視聴を希望される方は、接続数に限りがございますので、admin@erato.ist.hokudai.ac.jp までご連絡ください.
(July 22, 2019 13:41 By minato)
 

Call for partition for 2019 Summer Workshop

2019年度 初夏のワークショップを6/28(金)~29(土)に北大で開催いたします。最新情報はこちらをご覧ください。基盤(S)プロジェクトとしては最終年度の初夏のワークショップとなります。皆様奮ってご参加下さい。なお札幌市内のホテルが混雑する時期ですので、参加される方はお早めの予約をお勧めいたします。
(May 21, 2019 16:22 By minato)