情報システム解析講究１

授業テーマ	オートマトン理論とその視覚言語への応用
授業のねらい・到達目標	１．理論コンピュータ科学のうち、オートマン・言語理論と計算のモデルを講究する。２．java, vrmlとインターネットについて講究する。
授業の方法	１．原書を題材に輪読形式でゼミナールを行なう。２．コンピュータとインターネットの実習を行なう。３．適宜課外活動を行う（学外研究室との協同作業、企業訪問、学会運営支援、学校ボランティア、被災地支援等）。
履修条件	学科内規による。以下の科目を履修済みであるか並行して履修する事が望ましい。グラフ理論、データ構造、マルチメディア基礎技術、代数学入門、コンピュータシステム、マルチメディア表現。以下の科目の内３年次開講科目を並行して履修する事が望ましい。オートマトン、応用形式言語、アルゴリズム、データ探索法、計画数学、知識情報処理、ソフトウェアエンジニアリング、マルチメディア情報処理、応用代数学。総合II群（言語・文化・思想）を４単位以上履修していることが望ましい。未履修の場合は３年次に並行して履修することが望ましい。

その他
教科書	J. Hopcroft and J. D. Ullmann, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 1 edition
参考書	なし
成績評価の方法及び基準	平常点(30%)、レポート(20%)、授業参画度(50%) 発表時以外の無断欠席は欠席3回分として換算する。発表時の無断欠席は欠席6回分として換算する。出席（換算後）が3分の2に満たない場合は不合格
オフィスアワー	本授業終了後、６号館６３４室、２０分間
備考	いわゆる茶髪・不要なサングラス着用者等は課外活動参加不可。