Kobe Studio Seminarでは，以下のワークショップを開催します。

日時

2014年9月6日（土） 10:00-17:50

会場

神戸大学発達科学部 [1] A739（A棟7階）（会場では，eduroamが利用可能）

プログラム

10:00 - 10:50	教育用パイプラインを伴った映像制作パイプラインについて
11:00 - 11:50	Pixar USDについて - 計算機代数の立場から -
13:20 - 13:50	Discussion: 研究用パイプラインとしてみた，USDの可能性に関して
14:00 - 14:50	プログラム検証とホーア論理
15:00 - 15:50	プログラム検証とホーア論理
16:10 - 17:00	モデル理論と確率的機械学習におけるVC次元
17:20 - 17:50	Discussion: パイプライン構築に関する未踏領域について

参加について

本会合は数学者，計算機科学者，CG実践者（学術的な視点からの研究に携わる方），企業の研究開発に関わる方及びこれらの分野を学んでいる学生を中心に開催します。一般の方での参加希望者は，担当の世話人，長坂耕作までご連絡をお願いします。折り返し詳細な説明をご説明させて頂きたいと思います。

主催

Kobe Studio Seminar [2]

問い合わせ先

数理情報環境論 長坂耕作 [3]

備考

詳細は，Kobe Studio Seminar for Design [4]をご覧ください。