2012年前期
6月11日からの月曜
4限目 + 5限目 (15:10〜16:40 + 17:00〜18:30)
LR303 教室
TBA = the Title will Be Announced.
6月11日
4限目: 酒井拓史: グラフの彩色について [講義のスライドのプリンター版]
5限目: 渕野 昌:
有限から無限への移行原理としての命題論理 [講義のスライドのプリンター版]
6月18日:
4限目: 菊池 誠:
人工物の科学：数学的観点から
5限目: ブレンドレ ヤーグ:
数学における無限
6月25日:
4限目: 田村 直之: 制約プログラミング入門
[講義のスライド]
5限目: 番原 睦則: SAT技術を用いた組合せテストケース生成
7月 2日:
4限目: 吉本 雅彦: VLSI 技術動向と低消費電力設計技術
5限目: 桔梗 宏孝: モデル理論におけるコンパクト性定理
7月 9日:
4限目: 垣内 逸郎: 統計的推測問題におけるロバスト・ノンパラメトリック法
5限目: 川口 博: 有機半導体によるマクロエレクトロニクスシステム