|
授業科目名
|
オートマトンと言語
|
| 分類・系統 |   |
|
時間割番号
|
263222KA
|
|
担当教員名
|
鈴木 良弥
|
|
開講学期・曜日・時限
|
前期・水・I
|
単位数
|
2
|
|
＜対象学生＞
|
|
コンピュータ・メディア工学科以外
|
|
＜授業の目的および概要＞
|
|
本科目は情報科学における基礎を成し，ソフトウェア作成においても基礎的な知識として重要なものである．グラフ理論，有限オートマトン，形式言語理論，計算論を学び，ソフトウェア作成などに役立てる．
|
|
|
| No | 重要度 | 目標 | 詳細 |
|---|
| 1 | ◎ | 知識と視野 | コンピュータをモデル化した有限オートマトンを理解し，ソフトウェア作成などに役立てる． |
|
|
＜授業の方法＞
|
|
毎回簡単な演習を行う．<BR>授業資料はWebで公開する．<BR>中間試験，期末試験の解答例をWebで公開する．
|
|
＜成績評価の方法＞
|
| No | 評価項目 | 割合 | 評価の観点 |
|---|
| 1 | 試験：期末期 | 57 % | 授業理解力 | | 2 | 試験：中間期 | 30 % | 授業理解力 | | 3 | 小テスト／レポート課題 | 13 % | 自発的勉学 |
|
|
＜受講に際して・学生へのメッセージ＞
|
|
他学科の学生にも理解しやすい授業を目指します．
|
|
＜テキスト＞
|
- 形式言語と有限オートマトン入門 例題を中心とした情報の離散数学, コロナ社, ISBN:4339023396
|
|
＜参考書＞
|
|
(未登録)
|
|
＜授業計画の概要＞
|
|
１．数学的準備（集合と写像 記号論理），帰納的表現<BR> ２．形式言語<BR> ３．離散グラフ<BR> ４．木グラフ<BR> ５．有限オートマトン１<BR> ６．有限オートマトン２<BR> ７．正規表現１<BR> ８．正規表現２<BR> ９．前半のまとめ，および中間試験<BR> １０．有限オートマトンの最小化<BR> １１．プッシュダウンオートマトン<BR> １２．チューリング機械<BR> １３．形式言語理論<BR> １４．文脈自由文法<BR> １５．まとめ，および期末試験
|
| ＜JABEEプログラムの学習・教育目標との対応＞ |
| 《機械システム工学科機械デザインコース》 | (A)【機械工学の意義】
幸福・福祉の意義，自然と社会との係わりが理解でき，これらに及ぼす機械工学の影響が理解できる能力を身につける． | ○ | | 《コンピュータ・メディア工学科 情報メディアコース》 | | (C) 科学技術が社会や自然に及ぼす影響や効果までを考慮できる多面的な地球的視野を会得し、国際的なコミュニケーションを可能とする基礎能力を修得する。 | ◎ | | 《土木環境工学科》 | A.技術者の責務の自覚
土木環境技術が人間社会や自然環境の変化に及ぼす効果・影響を理解し、自然と調和した人類の持続的発展のために土木環境技術者が果たすべき責務を自覚する。 | ○ |
|
