『美しい音色の音楽で心地よい目覚めの朝を迎えた「私」は、朝食を取ろうと冷蔵庫を開けた。これも親孝行。実家では「私」が冷蔵庫を開けたことだって分かるようになっている。親子でもプライバシーが必要だと思うのだが…携帯の鳴る音。最近の携帯は、大型スクリーンにも表示できてインタラクション可能。便利になったものだ。元気な親の姿を見て、安心した「私」は、いつものように世界のニュース・お天気情報を収集する。最近の天気予報は信頼できる。モデル化と解析方法が良くなったらしい。おっと、アシスタントロボットが遅刻しないように催促しにきた…。移動しながら調べることにするか。』

これは、我々が予想するIT(情報技術)がもたらす未来のほんの一場面に過ぎません。コンピュータは様々な機能を備え、我々の生活に浸透し始めています。これは、現代のコンピュータが既に、複雑な情報を即座に処理する能力を持ち始めているからです。 今後、さらに進化した 未来の

モデル検査法:エラー状態に到達するかどうかの全自動検査