普段からもっとソースコードを大切にしてほしいと訴えているにもかかわらず、自分が採点するという大量のソースコードをチェックしなければならない立場に立つと、これほどほどかったるいものはない。 プログラムの意味的な部分に形式的検証をかけて自動で採…

シミュレータ内のグラフ構造を階層型グラフ構造へと拡張するための下準備 Balsaの論文を読む TAの採点 筆記テストを記念受験。撲殺される。 う〜ん、研究が捗らん。