09 2019/10 11
29300102030405
06070809101112
13141516171819
20212223242526
27282930310102
Click セミナー

過去のセミナー

開催日2019年9月17日(火曜日)
開催時間15時00分-16時00分
発表者西野 正彬(SSSW09幹事) 
発表者の紹介NTTコミュニケーション科学基礎研究所
タイトルSSSW趣旨説明 
発表の概要
SSSWの開催の狙いと,いくつかの研究テーマ案を紹介する.
開催場所VBL301B
接続サイト神田ラボ,京大ラボ
開催時間16時00分-17時00分
発表者番原 睦則 
発表者の紹介名古屋大学 大学院情報学研究科
タイトル解集合プログラミングと時間割問題への応用 
発表の概要
解集合プログラミング (ASP) 言語は一階論理に基づく表現力の高い知識表現言語の一種である.ASP ソルバーは安定モデル意味論に基づく解集合を計算するシステムである.近年,SAT 技術を応用した高速 ASP ソルバーが実現され,人工知能分野への実用的応用が急速に拡大している.本発表では,ASPの簡単なプログラム例,最新の研究動向を紹介した後,ASP を用いたコース時間割問題の解法について述べる.
開催場所VBL301B
接続サイト神田ラボ,京大ラボ