Mercurial > hg > Members > kono > Proof > automaton
comparison index.ind @ 55:ba5ee7eb2866
fix graph
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 16 Oct 2019 23:16:27 +0900 |
| parents | 9406c2571fe7 |
| children | 293a2075514b |
comparison
equal
deleted
inserted
replaced
| 54:ff4f57e17df5 | 55:ba5ee7eb2866 |
|---|---|
| 52 <li><a href="a13/lecture.html"> モデル検査とSAT</a> | 52 <li><a href="a13/lecture.html"> モデル検査とSAT</a> |
| 53 </ol> | 53 </ol> |
| 54 | 54 |
| 55 電子メールおよび ura.ie.classes.automaton のニュースグループを使用する。 | 55 電子メールおよび ura.ie.classes.automaton のニュースグループを使用する。 |
| 56 | 56 |
| 57 問題に関しては、問題ごとに別なメールで、以下のタイトルで | |
| 58 Subject: Automaton Lecture Exercise 1.1 | |
| 59 kono@ie.u-ryukyu.ac.jp まで送ること。 | |
| 60 |