6/19 問題の解決

6/12の課題について

6/19 9:30の時点で 37 人が提出済み．
プレーンテキストファイルではなくリッチテキスト形式での提出した人にはそのようにコメントが付くはず．

今日の講義

講義は1時間で30分は自習とする．講義の時間中は，端末は使わないように(電源をつける，ログインしておくのは可)．第6章の「問題の解決」の部分を説明する．

今日の課題

前回の課題6/12課題[プログラムシミュレータED21]を提出してない人は，1週間後(6/26 21:00)が締め切りなので取り組む．
次回の課題ではオートマトンシミュレータを使うので，自習しておくように．
ダウンロードしたAutoSim.jarをダブルクリックしても，「アプリケーション Jar Launcher は予期しない理由で終了しました」というエラーが出るようだ．AutoSim.jarをデスクトップに移動した上(ダウンロード先をデスクトップにするのも可)で，ターミナルを開いて，
```
cd ~/Desktop
java -jar AutoSim.jar
```
を入力すると起動するはずである．
今日の講義/課題に関する質問はCFIVEの掲示板6/19の講義に関してに書き込む．