Dec. Jan. 2020 Feb.
SunMonTueWedThuFriSat
29303101020304
05060708091011
12131415161718
19202122232425
26272829303101
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

合同セミナ集会(SSSW2020.01@Sapporo)

北大京大合同セミナ集会(SSSW2020.01@Sapporo 1/6-7)のプログラムを更新しましたのでこちらをご覧ください。興味のある方は一部でも結構ですので自由に聴講参加して下さい。
講演はブラウザ上で動作するビデオ会議システム・サービスを利用して配信予定です。ご視聴を希望される方は、接続数に限りがございますので、参加可能性のある方はお早めにご連絡ください。
(January 6, 2020 00:48 By wat)
 

SSSW2019.12開催のお知らせ

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

今回のテーマは「集合族の列挙」です.
SSSW2018.05,2018.10,2019.05の続編にあたり,列挙やDD界隈に属する人々が俗世を退くべく雪装束の札幌へ続々と集合します.
集合族族列挙の障害を除くとともに,その将来を覗くため満足いくまで議論します.

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

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)