04 2017/05 06
日月火水木金土
30010203040506
07080910111213
14 151617181920
21222324252627
28293031010203
□Click セミナー

研究の背景・目的


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

セミナーのご案内

 

トピックス

一覧

Convex Hull Approximation of Nearly Optimal Lasso Solutions

開催日2018年6月20日(水曜日)
発表の概要
開催時間16時30分-17時30分
発表者原 聡
開催場所VBL 301B
 

制約付き順列最適化

開催日2018年6月21日(木曜日)
発表の概要
開催時間16時30分-17時30分
発表者井上 祐馬
開催場所VBL301B
 

非公開

開催日2018年6月21日(木曜日)
発表の概要
開催時間17時30分-18時30分
発表者坂上 晋作
開催場所VBL 301B
 

SSSW2018.06 開催のお知らせ

今年度の「短期滞在集中セミナ週間」の第３弾SSSW2018.06を2018年6月18日(月)から22日(金)にかけて，北大オフィスにて開催いたします．今回のテーマは「離散構造処理技術のAIへの応用」です。興味のある発表がありましたら，奮ってご参加下さい。
(2018/06/18 14時10分 By minato)
 

SSSW2018.05 開催のお知らせ

今年度の「短期滞在集中セミナ週間」の第二弾SSSW2018.05を2018年5月28日(月)から6月1日(金)にかけて，北大オフィスにて開催いたします．今回のテーマは「列挙とDecision Diagrams」です。興味のある発表がありましたら，奮ってご参加下さい。
(2018/05/28 16時02分 By minato)
 

研究代表者の湊が京都大学に移りました。

本年4月より，湊が京都大学 大学院情報学研究科に移籍しました。本プロジェクトはあと２年続きますが、今後も北大を中心拠点として研究活動を続ける予定です。早速今週から短期滞在集中セミナSSSW2018.04を北大で開催しています。皆さまよろしくお願いいたします。
(2018/04/17 11時06分 By minato)
 

2018年度 人工知能学会全国大会においてオーガナイズドセッションを共催します。

2018年6月5日（火）～ 6月8日（金）に鹿児島市で開催される人工知能学会全国大会(JSAI2018)において、オーガナイズドセッション OS-16 「AI における離散構造処理と制約充足」を共催します。多くのご投稿をお待ちしています。投稿締切は3月9日（金）14:00です。
(2018/01/31 17時32分 By minato)
 

ZDDを利用したオンライン最適化の論文が AISTATS-2018 に採択されました。

ZDD を利用したオンライン最適化に関する論文が The 21st International Conference on
Artificial Intelligence and Statistics (AISTATS-2018) に採択されました。
この研究は NTT の 坂上晋作 研究員との共同研究です。
(2018/01/15 14時43分 By Ishihata)