大阪の千里にある産業技術総合研究所のシステム検証研究センターでは、隔週くらいの頻度で計算機言語談話会というものが開かれています。モデル検査や対話型定理証明の講演を無料で聞くことができるというありがたいイベントですが、平日の昼間に開催という…

なぜかパッケージの表にメーカー表記が一切入っていない「EVE new generation」をようやくクリアしました。今回はかなり途切れ途切れのプレイとなってしまいましたので、まとまった感想は書けないかもしれませんが、メモ程度に。さて、全体の印象ですが、今…