「現在の形式」を解説文に含む見出し語の検索結果(181～190/373件中)
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
World Quizzing Championshipsは、International Quizzing Association(IQA)が主催する国際的なクイズ大会である。2003年から毎年開催され...
『アルキメデス・パリンプセスト』の典型的な1ページ。祈祷書のテキストは上から下に読み、元のアルキメデスの写本はその下にぼんやり見え、左から右に書かれている。発見を知らせる報道（1907年7月16日のニ...
『アルキメデス・パリンプセスト』の典型的な1ページ。祈祷書のテキストは上から下に読み、元のアルキメデスの写本はその下にぼんやり見え、左から右に書かれている。発見を知らせる報道（1907年7月16日のニ...