KozenのKleene代数講義テキスト

本編KozenのKleene代数講義テキスト - 檜山正幸のキマイラ飼育記 (はてなBlog)からのコピー。

Dexter Kozenの"Introduction to Kleene Algebra"という、一連の講義テキストが入手可能。

No.1は、http://www.cs.cornell.edu/Courses/cs786/2004sp/Lectures/l01-intro.pdf 。$Mを適当な番号だとして、www.cs.cornell.edu/Courses/cs786/2004sp/Lectures/l$M-*.pdf というネーミングパターン。ただし、*の部分がわからないから、googleで "Introduction to Kleene Algebra" "lecture $N" として探すほうがいいかも。$Nのところがプレイスホルダーで、1, 2, ...と入れる。現在、$N=1から15、17, 19とあるようだ。なぜか、$Mと$Nは一致しないから注意。

もう見つからなかった(泣く)。

が、http://www.cs.cornell.edu/courses/cs786/2002sp/Lectures/lectures.htm というページから2002年版の講義資料(PDFではなくてPSだが）をたどれることが判明。急いで、全部ダウンロードした。

2002sp_l1.ps

2002sp_l2.ps

2002sp_l3.ps

2002sp_l4.ps

2002sp_l5.ps

2002sp_l6.ps

2002sp_l7.ps

2002sp_l8.ps

2002sp_l9.ps

2002sp_l10.ps

2002sp_l11.ps

2002sp_l15.ps

2002sp_l16.ps

2002sp_l19.ps

2002sp_l20.ps

2002sp_l21.ps

2002sp_l22.ps

2002sp_l23.ps

2002sp_l24.ps

2002sp_l25.ps

2002sp_l26.ps

2002sp_l27.ps

欠番があるのは元々資料がなかった。

それと、http://www.cs.cornell.edu/Courses/cs786/2004sp/Homework/h1.pdf などは残っていた、2004sp/Homework/*.pdfをKozen_*.pdfにリネームして保存。

Kozen_h1.pdf

Kozen_h1s.pdf

Kozen_h2.pdf

Kozen_h2s.pdf

Kozen_h3.pdf

Kozen_h3s.pdf

Kozen_h4.pdf

Kozen_h4s.pdf

sが付いているのは解答（一部）。

それと、コゥゼン先生お勧めの John Horton Conway, "Regular Algebra and Finite Machines" はもう品切れ（or 絶版）です(泣く)。