で、プログラム部分は機械が実行と検証に必要な部分だけが記述されるので、機械が読み取れる範囲の情報に絞って記述される＞＜
でも、そのプログラムに関するあらゆる明示的な情報は、リアルワールドに存在する限りリアルワールドの全ての情報と間接的に繋がるので、情報の範囲が特定の範囲に収まらない＞＜