シラバス参照
|
シラバス参照
|
| 講義概要/Course Information |
| 科目基礎情報/General Information |
| 授業科目名 /Course title (Japanese) |
形式言語理論 | ||
|---|---|---|---|
| 英文授業科目名 /Course title (English) |
Formal Language Theory | ||
| 科目番号 /Code |
INS402a INS402c INS402d | ||
| 開講年度 /Academic year |
2019年度 | 開講年次 /Year offered |
2 |
| 開講学期 /Semester(s) offered |
後学期 | 開講コース・課程 /Faculty offering the course |
情報理工学域 |
| 授業の方法 /Teaching method |
講義 | 単位数 /Credits |
2 |
| 科目区分 /Category |
専門科目 | ||
| 開講類・専攻 /Cluster/Department |
Ⅰ類 | ||
| 担当教員名 /Lecturer(s) |
西野 哲朗 | ||
| 居室 /Office |
東3-826 | ||
| 公開E-mail |
nishino@uec.ac.jp | ||
| 授業関連Webページ /Course website |
特になし | ||
| 更新日 /Last update |
2019/03/13 17:07:34 | 更新状況 /Update status |
公開中 /now open to public |
| 講義情報/Course Description |
| 主題および 達成目標（2,000文字以内） /Themes and goals（up to 2,000 letters） |
現在の計算機を使用することだけに甘んじることなく、より優れたアプリケーションの開発を目指すためには、その本質的機構を理解することが重要であり、それを学ぶのが本授業の目標である。現在のコンピュータを高級言語でプログラミング可能にしているコンパイラの仕組みについて理解すると同時に、機械翻訳等の人工知能システムの基礎となる、有限オートマトンや文脈自由文法等の文法、言語やオートマトンの数理モデルについても理解を深める。 |
|---|---|
| 前もって履修 しておくべき科目（1,000文字以内） /Prerequisites（up to 1,000 letters） |
特になし |
| 前もって履修しておくこ とが望ましい科目（1,000文字以内） /Recommended prerequisites and preparation（up to 1,000 letters） |
離散数学 |
| 教科書等（1,000文字以内） /Course textbooks and materials（up to 1,000 letters） |
未定 |
| 授業内容と その進め方（2,000文字以内） /Course outline and weekly schedule（up to 2,000 letters） |
(a) 内容：以下の内容の講義を行う。 1. 計算機機構（１）ハードウェア機構 2. 計算機機構（２）ソフトウェア機構 3. 計算機機構のモデルとオートマトン 4. コンパイラの構成（１）字句解析と有限オートマトン 5. コンパイラの構成（２）構文解析と文脈自由文法 6. 有限オートマトン（１）定義と基本性質 7. 有限オートマトン（２）具体的な事例 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 |
|
| 授業時間外の学習 （予習・復習等）（1,000文字以内） /Preparation and review outside class（up to 1,000 letters） |
課題がある場合には、レポートの作成を行う。 |
| 成績評価方法 および評価基準 （最低達成基準を含む） （1,000文字以内） /Evaluation and grading （up to 1,000 letters） |
(a) 評価方法：おもに、期末試験の成績とレポートの内容により評価する。 (b) 評価基準： 以下の到達レベルをもって合格の最低基準とする。 (1) 形式言語の基本概念を理解している。 (2) 授業で説明した内容の論理展開を理解している。 (3) 授業で説明した内容の理解に必要な計算を自力で行える。 |
| オフィスアワー： 授業相談（1,000文字以内） /Office hours（up to 1,000 letters） |
授業時にお知らせします。 |
| 学生へのメッセージ（1,000文字以内） /Message for students（up to 1,000 letters） |
本講義は人工知能関係のアプリケーションをソフトウェアの側面から理解したい学生諸君を対象にしているが、それらのアプリケーションの基本動作原理に興味を持つ学生諸君にも有意義な授業となることでしょう。 |
| その他 /Others |
特になし |
| キーワード /Keywords |
人工知能、コンパイラ、有限オートマトン、文脈自由文法、構文解析アルゴリズム、機械翻訳、自然言語理解 |