日本語 での この定理は の使用例とその 英語 への翻訳
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Programming
年にこの定理はワイルズによって証明された。
この定理は一見明らかのように思えますが。
この定理は明らかである。
多分、この定理は習ったことがない定理です。
この定理はbestpossibleである。
この定理は、現代的な情報理論の分野にとって根本的に重要なものである。
この定理は、もし量子力学が正しいとすると、現実は非局所的であるに違いないと言う。
この定理は、移民や移住、対外資本投資の効果を説明するのに有用である。
この定理は自由部分の階数がr1+r2-1であるというものである。
同時に、そして独立に、この定理はジョン・スチュワート・ベルによっても証明された。
コーシーによるこの定理はかなり後になって1974年に手書きの形式で出版されただけでありかなり読むのが難しい。
この定理は1783年にパリの科学アカデミーで発表された。
それは、部分的にはスキーマ理論(Holland)によって説明することができます、しかしながらこの定理は、最近非難にさらされています。
停止問題の答えを出せない"というコンピュータサイエンスの世界におけるこの定理は、ゲーデル(Gödel,K.)の不完全性定理に対応するものであり、世の中には絶対に解けない問題が存在することの例になっている。
この定理は、投票者が候補者をランク付けしなければならないと言いますと、言い換えれば、誰が第1、第2などとなるかは、必然的に2つの大きな潜在的な失敗の1つになります。
年のラグランジュの四平方定理は、全ての自然数は多くとも4個の平方数の和であることを言っていて、3個の平方数では十分ではないので、この定理はg(2)=4であることを意味している。
この定理は後で何度も使用する。
この定理は後で何度も使用する。
しかしながらこの定理は、最近非難にさらされています。
この定理は何人かの人により独立に示された。
この定理は鳩ノ巣原理を用いて証明することができます。
この定理は、1948年にクロード・シャノンによって発表されたが、これはハリー・ナイキストとラルフ・ハートレーの初期の仕事とアイデアに一部基づいていた。
彼は定理を証明できなかったが(この定理は後にホイヘンス(ChristiaanHuygens),1629-1695が証明した)、ルドルフの小数点35桁をわずか230辺の多角形で立証した。
この定理は、N電子系を記述するのに、3N個の変数を有する波動関数に対するシュレディンガー方程式を解く必要はなく、3個の変数を有する電子密度を取り扱えば十分であることを示している。