授業科目名				担当教員
形式言語とコンパイラ				鍋島　英知
時間割番号	単位数	コース	履修年次	期別	曜日	時限
TCS306	2	(未登録)	3	後期	火	II
［概要］
記号を扱うコンピュータの論理モデルであるオートマトンと形式言語について学び，その重要な応用であるコンパイラの構成法について学習する．計算の記述とその計算機による実現は情報処理の基礎であり，本科目ではその理論的背景と実践的技術について学ぶ．
［具体的な達成目標］
１．字句解析における正規表現と有限オートマトンの関係を理解できる（レベル２）<BR>２．文脈自由文法に基づく構文の定義ができる（レベル２）<BR>３．下向き及び上向き構文解析の方法を理解できる（レベル１）<BR>４．コンパイラコンパイラを用いて字句解析器・構文解析器が実装できる（レベル２）<BR>５．インタプリタの原理を理解できる（レベル２）
［必要知識・準備］
・離散数学における集合，グラフ，関係に関する知識を有すること<BR>・計算機アーキテクチャに関する基本的な知識を有すること<BR>・アルゴリズムとデータ構造に関する基本的な知識とプログラミング能力を有すること
［評価方法・評価基準］
No 評価項目 割合 評価の観点 1 試験：中間期  50  % 達成目標１，２，３の理解度を評価する  2 小テスト／レポート  50  % 達成目標４，５について成果物により評価する
［教科書］
(未登録)
［参考書］
岩間 一雄, オートマトン・言語と計算理論, コロナ社, ISBN:9784339018219 中井 央, コンパイラ, コロナ社, ISBN:9784339027082 岡留 剛, オートマトンと形式言語入門, 森北出版, ISBN:9784627852716 青木 峰郎, ふつうのコンパイラをつくろう 言語処理系をつくりながら学ぶコンパイルと実行環境の仕組み, ソフトバンククリエイティブ, ISBN:4797337958, (JavaCC の解説が詳しい) 千葉 滋, 2週間でできる! スクリプト言語の作り方, 技術評論社, ISBN:4774149748
［講義項目］
第１回：コンパイラの概要，形式言語<BR>第２回：字句解析 (1) 正規表現と有限オートマトン (DFA, NFA)<BR>第３回：字句解析 (2) ε-NFA, DFA と NFA の等価性 <BR>第４回：字句解析 (3) NFA-ε-NFA の等価性，正規表現とε-NFA の等価性<BR>第５回：構文解析 (1) 文脈自由文法<BR>第６回：構文解析 (2) 文脈自由文法と下向き構文解析<BR>第７回：構文解析 (3) 文脈自由文法と上向き構文解析<BR>第８回：中間評価（総括とまとめ）<BR>第９回：コンパイラコンパイラ演習<BR>第10回：変数の実現<BR>第11回：制御構文の実装<BR>第12回：関数の実装<BR>第13回：クロージャの実装<BR>第14回：オブジェクト指向言語への拡張<BR>第15回：最終評価（総括とまとめ）
［教育方法］
・講義前半は座学形式であるが，講義中に多数の簡単な演習問題に取り組むことで理解を深める．<BR>・講義後半は演習形式であり，コンパイラコンパイラを利用してインタプリタ言語の作成に取り組む．
［JABEEプログラムの学習・教育目標との対応］
(未登録)
［その他］
・学生の理解度に合わせて，内容を変更する場合がある．