09 2018/10 11
30010203040506
07080910111213
14151617181920
21222324252627
28293031010203
Click セミナー

研究の背景・目的


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

セミナーのご案内

 

トピックス

開会の挨拶(湊)および出席者の簡単な自己紹介

開催日2018年9月25日(火曜日)
開催時間14時30分-14時45分
発表者湊 真一
開催場所VBL301B
 

Subgame Perfect Equilibria under the Deferred Acceptance Algorithm

開催日2018年9月25日(火曜日)
開催時間14時45分-16時15分
発表者河瀬 康志
開催場所VBL301B
 

オンラインk劣モジュラ最大化に対する劣線形リグレットアルゴリズム

開催日2018年9月25日(火曜日)
開催時間16時30分-18時00分
発表者相馬 輔
開催場所VBL301B
 

配電損失最小化に対する動的計画法

開催日2018年9月26日(水曜日)
開催時間14時30分-16時00分
発表者山口 勇太郎
開催場所VBL301B
 

最小スパナー問題の困難性と固定パラメータ容易性

開催日2018年9月27日(木曜日)
開催時間15時00分-16時30分
発表者小林 佑輔
開催場所VBL301B
 

フラグメント化の手法に基づく物理化学シミュレーション法とその応用

開催日2018年9月27日(木曜日)
開催時間16時30分-18時00分
発表者黒木 菜保子
開催場所VBL301B
 

SSSW_09B 開催のお知らせ

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

基盤(S)セミナー中止のお知らせ

9月6日発生の胆振東部地震のため,9月11日(火曜日) の基盤(S)セミナーは中止いたしました。
タイトル:IoT (Internet-of-Things) データからの機械学習についての最近の話題
発表者:井手 剛 (IBM)
(2018/09/11 18時17分 By wat)
 

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

9月6日発生の胆振東部地震のため,9月7日(金曜日) の北大・京大 研究交流会は延期になりました。日程が決まり次第,改めてご案内いたします。
(2018/09/11 18時27分 By wat)
 

Webサイト復旧

基盤(S)のWebサイトが地震停電より復旧しました。
(2018/09/11 18時32分 By wat)
 

SSSW_09A途中中止

胆振東部地震により、SSSW_09Aご出席のみなさまの安全確保ができない状況となり,途中で中止とさせていただきました。台風21号の最中をご参加して頂き,ありがとうございます。また,大変な思いで帰路につかれましたこと,心よりお詫び申しあげます。10日の朝9時より停電が解除され,情報棟は早くに電気の供給を受けました。11日午後に基盤(S)のメールサーバーが復旧しました。
(2018/09/11 18時49分 By wat)