ブラウザよりも高速アクセス！
オランダ
ランダ（Nederland 、; Nederlân; Hulanda）は、西ヨーロッパに位置する立憲君主制国家。東はドイツ、南はベルギーおよびルクセンブルクと国境を接し、北と西は北海に面する。ベルギー、ルクセンブルクと合わせてベネルクスと呼ばれる。憲法上の首都はアムステルダム（事実上の首都はデン・ハーグ）。 カリブ海のアルバ、キュラソー、シント・マールテンと共にオランダ王国を構成している。他、カリブ海に海外特別自治領としてボネール島、シント・ユースタティウス島、サバ島（BES諸島）がある。.
高階述語論理
階述語論理（こうかいじゅつごろんり、Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。 例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。 その他の違いとして、基盤となる型理論で許されている型構築の違いがある。高階述語（higher-order predicate）とは、引数として1つ以上の別の述語をとることができる述語である。一般に n 階の高階述語の引数は1つ以上の (n − 1) 階の述語である（ここで n > 1）。同じことは高階関数（higher-order function）にも言える。 高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。クルト・ゲーデルの業績により、古典的高階述語論理は（帰納的に公理化された）健全で完全な証明計算が認められないとされた。しかし、Henkin model によれば、健全で完全な証明計算は存在する。 高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。.
新しい！!: HOLと高階述語論理 · 続きを見る »
IOCコード一覧
IOCコード一覧（IOCコードいちらん）は、国際オリンピック委員会 (IOC) における国名コードの一覧。このコードはオリンピックに参加している全ての国内オリンピック委員会と他のグループに割り当てられるが、歴史上、これらの多くは、ISO 3166-1のラテン文字3文字と異なる。.
新しい！!: HOLとIOCコード一覧 · 続きを見る »
