Alloy とかいう形式仕様記述言語があります。ソフトウェアの仕様を形式的に記述して検証とかして、上流設計をうまいことこなしちゃおう、とかいうアレです。 で、Alloy の教科書とされる「Software Abstractions: Logic, Language, and Analysis」という本が…

2 月 5 日に、東武日光線の続きを歩きました。板荷駅から新栃木駅まで。大きな地図で見る全体通して軽い田舎という感じで、栃木らしかった。 板荷駅からしばらくは、住宅地より畑や田んぼや荒地の方が多い感じ。 北鹿沼駅周りはだいたい住宅地で、新鹿沼駅周…