今日の活字

• 日経ITプロフェッショナル9月号　　「形式手法はソフト開発を救う！」。VDM Tools。要求仕様の記述方法の体系化と支援ツール。CSKが版権を握ったとのこと。オープンソース化による普及を目指すとのこと。ちょっと注目。
• グレッグ・イーガン『万物理論』　ディストレスは情報の混合化？すべては情報に還元される？情報とは、０と１だとすると、すべて(万物)は、０と１に還元され、容易に混合されうる？実際には、０から１への状態遷移があるので、それほど単純ではないだろうけど？思考遊びが楽しめる。