シラバス参照

講義概要/Course Information
2020/04/28 現在

科目基礎情報/General Information
授業科目名
/Course title (Japanese)
形式言語理論
英文授業科目名
/Course title (English)
Formal Language Theory
科目番号
/Code
INS402a INS402c INS402d
開講年度
/Academic year
2020年度 開講年次
/Year offered
2
開講学期
/Semester(s) offered
後学期 開講コース・課程
/Faculty offering the course
情報理工学域
授業の方法
/Teaching method
講義 単位数
/Credits
2
科目区分
/Category
専門科目
開講学科・専攻
/Cluster/Department
Ⅰ類
担当教員名
/Lecturer(s)
西野 哲朗
居室
/Office
東3-826
公開E-Mail
/e-mail
nishino@uec.ac.jp
授業関連Webページ
/Course website
特になし
更新日
/Last updated
2020/03/28 17:44:43 更新状況
/Update status
公開中
/now open to public
講義情報/Course Description
主題および
達成目標
/Topic and goals
現在の計算機を使用することだけに甘んじることなく、より優れたアプリケーションの開発を目指すためには、その本質的機構を理解することが重要であり、それを学ぶのが本授業の目標である。現在のコンピュータを高級言語でプログラミング可能にしているコンパイラの仕組みについて理解すると同時に、機械翻訳等の人工知能システムの基礎となる、有限オートマトンや文脈自由文法等の文法、言語やオートマトンの数理モデルについても理解を深める。
前もって履修
しておくべき科目
/Prerequisites
特になし
前もって履修しておくこ
とが望ましい科目
/Recommended prerequisites and preparation
離散数学
教科書等
/Course textbooks and materials
未定
授業内容と
その進め方
/Course outline and weekly schedule
(a) 内容:以下の内容の講義を行う。

1. 計算機機構(1)ハードウェア機構
2. 計算機機構(2)ソフトウェア機構
3. 計算機機構のモデルとオートマトン
4. コンパイラの構成(1)字句解析と有限オートマトン
5. コンパイラの構成(2)構文解析と文脈自由文法
6. 有限オートマトン(1)定義と基本性質
7. 有限オートマトン(2)具体的な事例
8. 正則表現
9. 字句解析
10. 言語と文法
11. 正則文法
12. 文脈自由文法
13. 構文解析
14. 機械翻訳
15. 自然言語理解

(b) 進め方:黒板やプロジェクタを用いて授業を行う。

(c) 授業時間外の学習:毎回の授業後に、必ず復習を行うこと。合計で数回、レポート課題を課すので、そのレポート作成も復習時に計画的に行うこと。

The lecture is a Japanese-based course, without English materials.
実務経験を活かした
授業内容
(実務経験内容も含む)
/Course content utilizing practical experience
授業時間外の学習
(予習・復習等)
/Preparation and review outside class
課題がある場合には、レポートの作成を行う。
成績評価方法
および評価基準
(最低達成基準を含む)
/Evaluation and grading
(a) 評価方法:おもに、期末試験の成績とレポートの内容により評価する。

(b) 評価基準:
 以下の到達レベルをもって合格の最低基準とする。
 (1) 形式言語の基本概念を理解している。
 (2) 授業で説明した内容の論理展開を理解している。
 (3) 授業で説明した内容の理解に必要な計算を自力で行える。  
オフィスアワー:
授業相談
/Office hours
授業時にお知らせします。
学生へのメッセージ
/Message for students
本講義は人工知能関係のアプリケーションをソフトウェアの側面から理解したい学生諸君を対象にしているが、それらのアプリケーションの基本動作原理に興味を持つ学生諸君にも有意義な授業となることでしょう。
その他
/Others
特になし
キーワード
/Keyword(s)
人工知能、コンパイラ、有限オートマトン、文脈自由文法、構文解析アルゴリズム、機械翻訳、自然言語理解