平成18年度I-1期・I113 オートマトンと形式言語(Automata and Formal Languages)@能美キャンパス

本ページは平成18年度I-1期(4月6日〜6月2日)にJAISTの石川キャンパスで 開講されている『I113 オートマトンと形式言語(Automata and Formal Languages)』の授業のページです． 上原はI-2期に東京田町キャンパスでも同じ授業を担当しています． 田町キャンパスでの授業に関するページはこちらを御覧下さい．

サポート情報

基本情報

• シラバス
• 教場: I3・4講義室
• 講義時間(Lectures): 水曜日1時限(Wed;9:20〜10:50)，金曜日2時限(Fri;11:00〜12:30)
• オフィスアワー(Office Hour): 水曜日3時限(Wed;13:30〜15:00)

スタジオ撮影したビデオ(Videos taken in Studio)

田町キャンパス用にスタジオ撮影したビデオを一時的に公開しています． 大学内のみ視聴可能で，Windows 上の IE のみ対応しているようです． (The video taken for Tamachi-Campus is temporary available. This is taken in studio, and hence it has good quality. It is available in JAIST, and you can see only when you use IE on Windows) [VIDEO]

教室での授業を録画したビデオ(Videos taken in the classroom)

大学内のみ視聴可能で，Windows 上の IE のみ対応しているようです． (It is available in JAIST, and you can see only when you use IE on Windows) 視聴方法(How to see)| ログイン先(Login)

授業で使用したPowerPointのPDFファイル(PDF files used in the lessons)

• 4月 7日(金): (1)数学的準備(Mathematical Preliminaries)(オリジナルサイズ;1/6縮小版)
• 4月12日(水): (2)有限オートマトン(1)(オリジナルサイズ;1/6縮小版)
• April 12th (Wed): (2) Finite automaton (1) with English edition (Original size;1/6 size)
• 4月14日(金): (3)有限オートマトン(2)(オリジナルサイズ;1/6縮小版)
• April 14th (Fri): (3) Finite automaton (2) with English edition (Original size;1/6 size)
• 4月19日(水): (4)正則表現(Regular Expression)(オリジナルサイズ;1/6縮小版)
• 4月19日(水): (5)正則集合(1)(Regular set (1))(オリジナルサイズ;1/6縮小版)
• 4月21日(金): (6)正則集合(2)(Regular set (2)(オリジナルサイズ;1/6縮小版)
• 4月26日(水): (7)文脈自由文法(1)(Context Free Grammer (1))(オリジナルサイズ;1/6縮小版)
• 4月26日(水): (8)文脈自由文法(2)(Context Free Grammer (2))(オリジナルサイズ;1/6縮小版)
• 4月28日(金): (9)文脈自由文法(3)(Context Free Grammer (3))(オリジナルサイズ;1/6縮小版)
• 5月10日(水): (10)プッシュダウンオートマトン(1)(Pushdown Automaton(1))(オリジナルサイズ;1/6縮小版)
• 5月12日(金): (11)プッシュダウンオートマトン(2)(Pushdown Automaton(2)) (オリジナルサイズ;1/6縮小版)(←誤字修正版)
• 5月17日(水): (12)チューリング機械(1)(Turing Machine(1)) (オリジナルサイズ;1/6縮小版)
• 5月19日(金): (13)チューリング機械(2)(Turing Machine(2)) (オリジナルサイズ;1/6縮小版)
• 5月31日(水): (14)決定不能性(Undecidability) (オリジナルサイズ;1/6縮小版)

授業で配布した資料やレポートのPDFファイル(PDF files for the handouts distributed in lessons)

• 4月 6日(金):配布資料のPDFファイル & プレースメントテストの問題集
• 4月14日(金):レポート1のPDFファイル(締切は4月21日(金)授業終了時)
• 4月21日(金):レポート2のPDFファイル(締切は4月28日(金)授業終了時)
• 4月28日(金):レポート3のPDFファイル(締切は5月10日(水)授業終了時)
• 5月12日(金):レポート4のPDFファイル(締切は5月19日(金)授業終了時) (当初の締切は17日(水)でしたが，伸ばしました)
• 5月19日(金):レポート5のPDFファイル(締切は5月31日(金)授業終了時)

レポートの解説などで使ったPDFファイル(PDF files used for the solutions and comments on the reports)

• 5月17日(水):レポート1の解答と解説(Answers and Comments for report (1))(by上原) (PDFファイル: オリジナル, 1/6)
• 5月17日(水):レポート2の解答と解説(Answers and Comments for report (2))(by上原) (PDFファイル: オリジナル, 1/6)
• 5月17日(水):レポート3の解答と解説(Answers and Comments for report (3))(by上原) (PDFファイル: オリジナル, 1/6)
• 5月31日(水):レポート4,5の解答と解説 (Answers and Comments for report (4) and (5))(by寺本) (PDFファイル: オリジナル, 1/6)
• 6月 2日(金):期末試験の解答(Answers for the last exam by 上原) (PDFファイル)

オフィスアワーの予定(Schedules for Office Hours)

• 4月12日(水):プレースメントテスト(April 12th; Placement test)
• 4月19日(水):講義(5)正則集合(1)(April 19th; Lecture (5) Regular set (1))
• 4月26日(水):講義(8)文脈自由文法(2)(April 26th; Lecture (8) Context Free Grammer (2))
• 5月10日(水):情報科学研究科の研究室紹介の開催期間 (May 10th; in this period, laboratories will be introduced to you)
• 5月17日(水):レポート1,2,3の解答と解説(May 17th; solutions and comments on the reports 1,2,3 will be presented)
• 5月24日(水):休講(May 24th; canceled since Uehara will not be present)
• 5月31日(水):レポート4,5の解答と解説(May 31st; solutions and comments on the reports 4,5 will be presented)

休講情報(Schedules for cancelations)

• 5月24日(水)，5月26日(金)は休講です． (On May 24th, 26th, the lectures will be canceled since Uehara will not be present.)

その他(Misc.)

• June 5th(Mon): テストの採点が終わりました．模範解答と解説を公開しました． (I finished to make scores of the last exam. Answers and Comments are on public now.)
• May 11th: 教室で録画した授業ビデオへのリンクを用意しました． スタジオ撮影したビデオの公開は準備中です． Link to the video taken in the classroom is now available. The other video taken in studio is now under construction.
• April 24th: Some english comments and files are available.
• 4月21日(金): ビデオの音声の録音を忘れました．別途撮影したビデオをテスト前に公開するかもしれません． (April 21st (Fri): I forgot to record the sounds in the lecture. The other video may be available before final exam.)
• 4月13日(木): プレースメントテスト採点終わりました．結果は教務課まで．
• 期末試験は6月2日(金)です．(Final examination will be placed on June 2nd.)

Last modified: Mon Jun 5 10:57:35 JST 2006 by R.Uehara (uehara@jaist.ac.jp)