が届いていた。前者の特集は「システム検証の科学技術」。尼崎＆千里の産総研の方たちが頑張っている。「クリーニ代数入門」のチュートリアルも。オートマトンと正則表現だけではなく、ちゃんとwhileプログラムの公理的意味論の話も出てくる。
後者はコンピュータ将棋（というかBonanza）についての「ミニ小特集」（原文ママ）が楽しいかも。っていうか作者が東北大理学部化学科に研究支援者として帰国されたそうで、どこかで見たようなドメイン名のメールアドレスが。COINS連載はSSA形式の話。
Communications of ACMも届いていたが、これはいつも通り超つまらないので略。
