が届いていた。前者の特集は「システム検証の科学技術」。尼崎＆千里の産総研の方たちが頑張っている。「クリーニ代数入門」のチュートリアルも。オートマトンと正則表現だけではなく、ちゃんとwhileプログラムの公理的意味論の話も出てくる。後者はコンピュ…