情報システム解析研究１

授業テーマ	オートマトンとその応用
授業のねらい・到達目標	グラフ言語と情報システムの視覚インターフェースツールの関係を理解する。
授業の方法	輪講、論文講読、研究発表を適宜行なう。
履修条件	学科内規による。講究の履修条件欄に記載の科目を履修済みか並行して履修する事が望ましい。さらに、以下の科目を並行して履修する事が望ましい。ソフトウェア科学特論

その他
成績評価の方法及び基準	平常点(50%)、卒業研究中間発表会(25%)、卒業研究中間報告書(25%) 年度末に卒業研究発表会を実施する。年度末に卒業研究報告書を提出する。平常点、卒業研究発表会、卒業研究報告書の全てが合格している場合に合格とする。それ以外は不合格。