Η αληθεια ελευθερωσει υμα?
Die Wahrheit wird euch frei machen.
真理を知ることで人は自由の世界へと解き放たれる。

講義名をクリックしてください。 Feel free to click Course Names.

• コンピュータサイエンス概論（CS学部　前期月曜）
  

• 形式言語とオートマトン2016（CS学部 前期火曜）
  ( Spring Course of Formal Languages and Automata)

• 基礎実験（テーマ１　亀田担当分）
  

• 基礎情報技術2016（CA学部 前期金曜）
  ( Spring Course of Information Technology Basics )

• 自然言語処理2016（CS学部後期）
  ( Autumn Course of Natural Language Processing )

• 言語プロセッサ2016（CS学部後期）
  ( Automn Course of Language Processors )

• 先進的データ分析法2016（大学院前期第１クォータ）(Advanced Data Analysis)

• 人工知能特論（大学院英語履修用カリキュラム科目，英語履修者用科目）
  Foundations of Artificial Intelligence

• 創成課題2016

• 特別講義(順次公開予定)
  • Agent-oriented modeling
  • Gentle introduction to ILP (Inductive Logic Programming)
  • Prolog for everyone
  • Haskellとその魅力
    OCamlでアルゴリズムを学ぼう！
  • Logics for CS students
  • Greenfoot入門
  • Scala事始め

(注)ダウンロードは一人一日１回でお願いします。
　　 サーバ運営規約の関係ですのでご協力ください。