5/30 問題の解き方(2)
- 5/30 10:00時点で26名が提出済み.ただし,そのうち1名は5/9課題の回答の report.xlsのようだった.
- リッチテキストフォーマットで保存して,ファイル名だけをreport.txt にしていた人がいた.明確な指示がなかったので減点はしないが,なるべくプレーンテキストファイル(15.1エディタとは何か参照)で提出するように.
- convertした結果,png形式のファイルに関してはqualityとファイルサイズの関係が分かりにくいという感想があった.png形式の場合のqualityの指定はImageMagickのマニュアルによると,1の桁と10の桁で異なる意味を持つため,単純にqualityが小さいからファイルサイズが小さくなるというわけではないようだ.
今日の講義
講義は1時間で30分は演習とする.講義の時間中は,端末は使わないように(電源をつける,ログインしておくのは可).
今日の範囲は第6章「問題の解き方」.
- 今回は新たな課題は提出しません.5/23課題が未提出の人は取り組んでください.締切は6/6 21:00です.
- report.txtを開くには,右ボタンで「このアプリケーションを開く」->「mi.app」を使ってください.mi.appの使い方はmi編を参照してください.
- 課題を終了した人は,次回の演習ではオートマトンシミュレータを使うので,自習しておいてください.