宿題をやる時間がないので「システム検証基礎演習」の毎週の課題はしばらく出すのをやめよう…。良い授業なのだけれど、課題は最後にまとめて提出しても良いようなので、その仕様に甘えることにします。つまりやっぱり良い授業。ただ、数ヶ月後にはSPINのコマンドオプション諸々全て忘れていそうで戦々恐々としています。