12 2020/01 02
29303101020304
05060708091011
12131415161718
19202122232425
26272829303101
Click セミナー

研究の背景・目的


論理関数や組合せ集合などの離散構造を表す大規模データを計算機上にコンパクトに表現し演算処理を効率よく行う技法は,計算機科学の様々な応用分野に共通する基盤技術として非常に重要であり,現代社会に対する大きな波及効果を持ちます.研究代表者の湊は過去6年間に渡りJST ERATO湊離散構造処理系プロジェクトの研究総括を務め,ZDD(Zero-suppressed BDD; ゼロサプレス型二分決定グラフ)をベースとした離散構造処理系の研究開発とその工学的応用に取り組んできました.列挙・圧縮・索引化の技法と融合させた超高速・大規模な離散構造の演算処理は,世界的にも先駆的な技術であり,しかも実用レベルでも十分通用する性能を有していることから,その方向性は多くの研究者から賛同を得て組織的広がりを見せており,関連研究者による応用分野の研究プロジェクトへの発展に成功しつつあります.これらの研究活動を引き継ぎ,支えるために,離散構造処理系のコアとなる部分に研究者が集まる「場」を継続的に提供し,競争力の源泉となるアイデアを醸成し続けることが科研費・基盤研究(S)「離散構造処理系の基盤アルゴリズムの研究」(通称:基盤(S)離散構造処理系プロジェクト)の目的の1つとなっています.

セミナーのご案内

 

トピックス

次回セミナー

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

2019年度 秋のワークショップを11/4(月)~6(水)に支笏湖丸駒温泉で開催いたします。最新情報はこちらをご覧ください。基盤(S)プロジェクトとしては最終年度の秋のワークショップとなります。皆様奮ってご参加下さい。
(2019/10/01 14時42分 By minato)
 

SSSW2019.09開催のお知らせ

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

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

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

着任のお知らせ

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

SSSW2019.08開催のお知らせ

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

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

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