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