第01回講義  4/09 言語 Note 1 (844kB)   理解確認クイズ01

第02回講義  4/16 オートマトン Note 2 (1.5MB)   理解確認クイズ02

第03回講義  4/23 オートマトン(つづき) Note 2 (1.5MB)   理解認識クイズ03    　

第04回講義  4/30 正規表現 Note 3(1007kB)    　理解確認   クイズ04

5/7 は木曜だけど月曜の授業

第05回講義  5/14 正規表現 (つづき) Note 3 (1007kB)   理解確認クイズ05　   

第06回講義  5/21 正規表現 (つづき) ポンプの定理 Note 3 (1007kB)   理解認識 クイズ06     

第07回講義  5/28 文脈自由言語(CFL) Note 4 (1176kB)  理解認識  資料p22の(1)とp27の(2)を解いてください　

第08回講義  6/04 つづき Note 4 (1176kB)  理解確認　クイズ8　　

第09回講義  6/11  チューリング機械(TM) Note 5 (828kB)     クイズ9        回答集2024     回答集2025

第10回講義 6/18 オートマトンの応用例 文字列アルゴリズム   Note 6(866kB)  理解確認クイズ10　　 

第11回講義  6/25つづき       Note 6(866kB)   理解確認クイズ11      

第12回講義 7/02 演習   Note 7 (1446kB)    クイズ12　             

第13回講義 7/09 10:20-11:05          試験　　

                   授業改善アンケートに協力願います    下記は前年度の予定

   【回答期間】７月１日（火）～８月２９日（金）

　　 【回答方法】教務システムの「アンケート回答」の項目から回答

　　 【対象科目】情報学部専門科目・社会情報学部専門科目　(ゼミ・卒研を除く）

第14回講義 7/16  試験の解説 および 合否発表　　　　出席確認　

第15回講義 7/23   予備　All Question Answered      質問のある方のみ参加

7/30  補講日

第16回講義 8/06　 試験　　10:20-11:05    指定された方のみ

参考資料 CS 2013の59pageから 60pageまで

            CS2023     93pageあたり　　AL-Models: Computational Models and Formal Languages 

情報科学全体の世界標準カリキュラムの資料　

ANSI C Yacc grammar

参考書:形式言語とオートマトン, 守屋著, サイエンス社

ISBN: 4781909906 (2001年7月発行) 定価1900円

参考書:オートマトン・言語と計算理論, 岩間著, コロナ社

ISBN: 433901821X (2003年10月発行) 定価3000円

参考書: Foundations of Computer Science, Aho他著, W H Freeman & Co

ISBN: 0716782847 (1995年01月発行) 定価$105.40

10章 Patterns, Automata, and Refular Expressions

11章 Recursive Description of Patterns

参考書: やさしいコンピュータ科学, 和田訳, アスキー出版局

ISBN 4756101585 (1993年6月発行) 定価4893円

第13章 計算不能性

成績は試験による。60点以上を合格とする。

ただし、60点にわずかに足りない者に対しては、

小テストの内容と授業への(最初から最後まで遅刻早退中抜けなしの)参加回数と内容を加味することがある。

毎回の授業の演習の時間に演習の問題を解けるようにしておくことを期待します。試験の直前に復習をしましょう。

これをさぼって、試験の直前に全部の回の演習を学びはじめても、おそらく間に合いません。

2025年度前期　　　 (履修58             S10   A9   B17  C15  D7(欠席4回以上3     試験を受けなかった4）

                                                 (人文１　社会２　データ2    計算機54  理工1       履修60   　のち取消2)

2024年度前期　　　履修58人   S3          A12     B14     C13   　X16( うち欠席５回以上13名！　)                   

                                                (人文2   データ4     計算機49　理工2       教育1)                                                   (ちなみに欠席4以上でも合格6)

2023年度前期　　　履修53人　　       A30      B07      C12    X3    ここから情報学部 (うち　人文1  データ5　計算機47 )

2022年度前期 履修55 A23 B16 C16

2021年度前期　　 履修66  A30 B29 C4 X3

2020年度前期 履修80 S3 A12 B28 C32 X5

2019年度前期 履修71 A32 B18 C12 X9

授業評価一覧