概要:
プログラムを解析してコンピュータで実行可能な形式に変換するための基礎理論や、コンパイラがオートマトンの具体的な応用の一つであることを理解するとともに、字句解析器や構文解析器の自動生成ツール等の応用を学ぶことを目標とする。
これまでに学んだC言語やJava言語などのコンパイラが、どのような仕組みで動作しているのかを理解することができる。
授業の進め方・方法:
講義形式で授業を行う。コンパイラの理論はオートマトンを用いることを前提とするので、オートマトンの授業内容を確認しておくとよい。
また、適宜レポート課題を課す。
合否判定は、2回の定期試験(100点満点)の結果の平均が60点以上で合格とする。
最終評価は、2回の定期試験の結果の平均にレポート等による±10%の評価を加えた総合評価とする。
再試験は、60点未満であった定期試験の範囲それぞれに対して、出題した問題について60%以上得点することを合格の条件とする。
前関連科目：オートマトン
後関連科目：オペレーティングシステム
注意点:
コンパイラの仕組みを理解することで、プログラミング言語の制限やコンパイル時のエラーメッセージの理由なども知ることができるので、自分でコンパイル操作をする際のコンパイラの挙動をよく観察しておくとよい。
| 分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
| 専門的能力 | 分野別の専門工学 | 情報系分野 | プログラミング | 代入や演算子の概念を理解し、式を記述できる。 | 3 | |
| プロシージャ(または、関数、サブルーチンなど)の概念を理解し、これらを含むプログラムを記述できる。 | 3 | |
| 変数の概念を説明できる。 | 4 | |
| データ型の概念を説明できる。 | 4 | |
| 制御構造の概念を理解し、条件分岐を記述できる。 | 4 | |
| 制御構造の概念を理解し、反復処理を記述できる。 | 4 | |
| 与えられたソースプログラムを解析し、プログラムの動作を予測することができる。 | 4 | |
| 主要な言語処理プロセッサの種類と特徴を説明できる。 | 4 | |
| ソフトウェア開発に利用する標準的なツールの種類と機能を説明できる。 | 4 | |
| プログラミング言語は計算モデルによって分類されることを説明できる。 | 4 | |
| 主要な計算モデルを説明できる。 | 4 | |
| ソフトウェア | アルゴリズムの概念を説明できる。 | 4 | |
| 与えられたアルゴリズムが問題を解決していく過程を説明できる。 | 4 | |
| 同一の問題に対し、それを解決できる複数のアルゴリズムが存在しうることを説明できる。 | 4 | |
| 整列、探索など、基本的なアルゴリズムについて説明できる。 | 4 | |
| 時間計算量によってアルゴリズムを比較・評価できることを説明できる。 | 4 | |
| 領域計算量などによってアルゴリズムを比較・評価できることを説明できる。 | 4 | |
| コンピュータ内部でデータを表現する方法(データ構造)にはバリエーションがあることを説明できる。 | 4 | |
| 同一の問題に対し、選択したデータ構造によってアルゴリズムが変化しうることを説明できる。 | 4 | |
| リスト構造、スタック、キュー、木構造などの基本的なデータ構造の概念と操作を説明できる。 | 4 | |
| ソースプログラムを解析することにより、計算量等のさまざまな観点から評価できる。 | 4 | |
| 同じ問題を解決する複数のプログラムを計算量等の観点から比較できる。 | 4 | |
| 計算機工学 | 整数・小数をコンピュータのメモリ上でディジタル表現する方法を説明できる。 | 3 | |
| 基数が異なる数の間で相互に変換できる。 | 3 | |
| 整数を2進数、10進数、16進数で表現できる。 | 3 | |
| 小数を2進数、10進数、16進数で表現できる。 | 3 | |
| 基本的な論理演算を行うことができる。 | 3 | |
| 基本的な論理演算を組合わせて、論理関数を論理式として表現できる。 | 3 | |
| 論理式の簡単化の概念を説明できる。 | 3 | |
| 簡単化の手法を用いて、与えられた論理関数を簡単化することができる。 | 3 | |
| システムプログラム | 形式言語の概念について説明できる。 | 4 | |
| オートマトンの概念について説明できる。 | 4 | |
| コンパイラの役割と仕組みについて説明できる。 | 4 | |
| 形式言語が制限の多さにしたがって分類されることを説明できる。 | 4 | |
| 正規表現と有限オートマトンの関係を説明できる。 | 4 | |