足跡とか観察してると、全く知らない人が、それも全くどういう経路できたのか分からない人のログが残ってたりするわけですが。いや、全然OKなんですが、いったいどこから？ 日記でも書くと、トップが更新されでもするのかと思ったら、そもそもポータルっぽい…

今日が、とりあえず最終日。なんで、演習3はこれで全部終わり。なんか、中間発表の時より準備不足で中身も薄くて、ぐでんぐでん。 第3期はSPINというモデルチェックツールを使うというテーマで、うーん。誰かが言ってた型推論C++の方がおもしろかったかもし…