「数学的帰納法」を解説文に含む見出し語の検索結果(91～100/450件中)
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
別表記：インデュース「induce」とは、誘発する・勧誘する・引き起こすのことを意味する英語表現である。「induce」とは・「induce」の意味「induce」とは、「～を誘発する、～するように勧...
別表記：インデュース「induce」とは、誘発する・勧誘する・引き起こすのことを意味する英語表現である。「induce」とは・「induce」の意味「induce」とは、「～を誘発する、～するように勧...
別表記：インダクション「induction」とは、「誘導」や「誘発」「帰納」「就任式」「入隊式」といった医療やビジネスなど様々な分野で使用される英語表現である。「induction」とは・「induc...
別表記：インダクション「induction」とは、「誘導」や「誘発」「帰納」「就任式」「入隊式」といった医療やビジネスなど様々な分野で使用される英語表現である。「induction」とは・「induc...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
ドミノ理論のイメージ。1954年、ドワイト・D・アイゼンハワーは記者会見において、ベトナムの共産主義化がドミノ倒しのようにインドシナ半島に波及する可能性を言及した[1]。ドミノ理論（ド...