ここで、名前しかリストアップできないとする。ある人物の名前がリストにない場合、その人物が出席していないということは確実と思われる。しかし、もしあったとしても、出席していると確実に断言できるわけではない。なぜなら、同姓同名の別人かもしれないからである。実際には同姓同名はそうあることではないので、このような不正確な情報でも多くの場合は意味がある。しかし厳密に言えば、その人物が出席していると確実に言えるわけではなく、単に「おそらく」出席しているだろうとしか言えないのである。探している人物が犯罪者なら、「警報」を鳴らすことになるだろう。しかし、その警報が誤りである可能性ももちろんある。同様の現象はプログラムの解析においても発生する。コンピュータの場合、確実で正確な情報は、一般に有限の時間とメモリで計算できない(ライスの定理とチューリングマシンの停止問題を参照)。抽象化によって、問題を自動的に解けるレベルにまで単純化する。重要な問題は、「このプログラムはクラッシュするか?」といった質問に答えられるだけの精度を保ちつつ、問題(プログラム)を扱える程度にまで抽象化によって簡略化できるか、である。コンピュータプログラムの抽象解釈.実際に定義される抽象は、解析したいプログラムの属性と対象プログラム群に合わせて調整される。形式的定義.抽象領域の例.ここで次のような単純なプログラムを見てみよう。変数間の関係を扱う抽象領域の例として次のものがある。そして、これらを組み合わせたものもある。抽象領域を選んだとき、細かな関係性を保持しようとすれば、計算コストも高くつくのが一般的である。ジョン・マイヤーコロンビア大学で博士号取得。現在、スタンフォード大学名誉教授。社会学的制度論の代表的論者で、スタンフォード学派の一人。蘇賀比め神社蘇賀比咩神社望月あんね経歴.サンバイザー解説.普段はフロントウインドシールドの上に保持され、日差しの方向への調整と使わないときは跳ね上げることができる。付帯機能として、有料道路の通行券などを挟むことのできるポケットや、化粧直しなどに利用できる、照明付きのバニティーミラーを備えるものもある。カスタマイズの分野においては液晶モニターの小型が進んだことから、サンバイザーに設置する追加モニターも販売されている。