[Back to Teaching]
形式言語理論 (2012年度)
概要
- 担当教員: 蓮尾 一郎，理学部情報科学科 講師
- 冬学期 金曜4限 14:50 - 16:20
- 532教室
- 理学部情報科学科 2年生 第4学期科目．時間割コード: 理0510002
- 講義は日本語で行う．
講義の内容
キーワード: オートマトン，正則言語，形式文法，文脈自由文法，理論計算機科学
講義の方法
配布の教科書に基づき，板書で行う．
- 教科書は，前年度まで担当の宮野悟先生のご厚意により，そのまま使わせていただきます．
- 各回の内容は，前回の講義時に配布するハンドアウトの中で予告する．予習が推奨される．(ぜひ，少なくとも，電車の中でざっと眺めてきてください)
- 毎回のレポート課題(下参照)は，復習問題と予習問題からなる．
教科書・ハンドアウト
このページで配布する資料は，すべて学内のみからアクセス可能．
- 教科書: pdf．
希望者には，教科書を印刷したものを配布する．
- Pushdown automaton 講義資料：
[Keynote |
pdf (プレゼン用，アニメ付き) |
pdf (印刷用, 4-up)]
- 毎回のハンドアウト: 下の「スケジュール」の項を参照．
評価・試験・レポート
- 期末試験とレポートによる．
- レポートについて
- 出席確認を兼ねる．
- 毎週，講義開始前に直接提出．講義開始後は一切受け取らない．
- A4用紙に手書きか，出力したものを提出．
- レポート課題は，ハンドアウトの中で指定．
- 評価
- 期末試験 7 ∼ 8, レポート 2 ∼ 3
- レポートを出さなくても，試験がきちんとできれば，単位は来る．ただし，
- レポート課題は予習／復習のためにあるものだし，
- ぼくもがんばってわかりやすく講義するつもりであるし，
- 必修をあまり欠席していると心配されて学科長呼び出しがかかるので，
出席することが推奨される(いや，マジで)．
- 単位がギリギリのときに，レポート点のおかげで助かることは十分ありえる．
- 期末試験
- 2013.3.1（金）, 14:50-16:20 , 532教室．
- 参考： 過去の試験問題 pdf (他の資料同様，学内限定アクセス)
- 2012.12.21 のハンドアウトも参考にせよ．
- 配点と解答
- 追試
- (2013.4.1) 期末試験の結果，合格者のリストはココ (すぐに消します)/li>
- 2013.4.2 (火) 10:30-12:00，本郷キャンパス 化学東館 236教室．
(理学部7号館から入って，2階の渡り廊下経由で行けます)
- 対象者：3/1 の期末試験を受験して，成績が不可であった者．(UT MATE などで確認してください)
- 出題範囲： 期末試験と同じ
- 不正行為には厳正に対処します．(たとえば法学部ならば一発退学)
「不正行為」の定義について，小林直樹先生のページから抜粋:
レポートは，自分で考えたこと，調べたことを，自分の言葉でまとめること．レポートをまとめるにあたって，参考にした文献があれば，レポート中の各個所について参考文献へのレファレンスを挿入するとともに，レポートの最後に参考文献リストをつけること．また，文献の一部をそのまま引用する場合には，引用部分を明確にするために引用符とレファレンスをつけること（レポートの最後に参考文献として載せるだけでは不十分）．参考文献から図や写真，プログラム等を引用する場合も同様．
以上が守られない場合には，提出されたレポートは盗作と判断され，深刻な結果に至る可能性があります．
なお，何をもって盗作と判断されるかを知る上で，例えばインディアナ大学のこちらのページ に目を通すことをお勧めします．理解を確認するためのクイズを解くことができます．
スケジュール
- 2012.10.12 (金) 休講 (海外出張のため)
- 2012.10.19 (金)
教科書5ページの終わりまで．
ハンドアウト
- 2012.10.26 (金)
p. 20, 定理 2.1 のアイデアまで紹介した．次回はフォーマルな証明から．
ハンドアウト
- 2012.11.2 (金)
p. 29, 練習問題 2.5 まで．
ハンドアウト
- 2012.11.9 (金)
p. 36, 定理 2.9 のポイントだけ説明した．次回はその詳細から．
ハンドアウト
- 2012.11.16 (金)
p. 42, 2.8節の終わりまで．
ハンドアウト
- 2012.11.20 (火) （金曜の授業を行う日）
定理2.16の概要までと，定義2.18を解説した．次回は定理2.16の証明から．
ハンドアウト
- 2012.11.23 (金) 祝日，講義なし
- 2012.11.30 (金) (午前は月曜授業だが，午後は通常通り金曜の授業）
2.10節の終わりまで．
ハンドアウト
- 2012.12.7 (金)
3.3節の終わりまで．
ハンドアウト
- 2012.12.14 (金)
3章の終わりまで．次回は，12/14 配布の資料を使って pushdown automaton について解説する．
(下のリンクからダウンロード可能．学内のみ)
ハンドアウト
- 2012.12.21 (金)
Pushdown automaton 資料:
[Keynote |
pdf (プレゼン用，アニメ付き) |
pdf (印刷用, 4-up)]
ハンドアウト
- 2013.1.11 (金)
4章 (Turing machine).
- 2013.1.18 (金) （センター試験準備のため午後休講）
- 2013.1.25 (金) 休講 (海外出張のため)
- 2013.3.1（金）, 14:50-16:20 期末試験