「証明するようだ」を解説文に含む見出し語の検索結果(21～30/173件中)
ラングレーの問題ラングレーの問題（ラングレーのもんだい）は、E. M. ラングレーが1922年に発表した平面幾何学の問題である。問題AB=AC,∠BAC=20° の二等辺三角形 ABC がある。辺AB...
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一...
シュヴェルニー城シュヴェルニー城シュベルニー城はフランスのロワール渓谷、ロワール・エ・シェール県のシュベルニーにある。 土地は、シュベルニー公爵でありルイ11世の戦争会計係でも合ったアンリ・ユローによ...
@media screen{html.skin-theme-clientpref-night .mw-parser-output .infobox tr:nth-of-type(-n/**/+4) [...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:42 UTC 版)「ヘンペルのカラス」の記事における「その奇妙さ」の解説「ヘンペルのカラス」の奇妙さを表し...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/08 14:05 UTC 版)「シュメール」の記事における「アッカド帝国」の解説詳細は「アッカド帝国」を参照 シュメー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/21 19:41 UTC 版)「アルダ・ムリッシ」の記事における「センナケリブの息子」の解説アルダ・ムリッシは新アッシ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/22 03:38 UTC 版)「カスパー・ハウザー」の記事における「バーデン大公後継者説と後世のハウザー研究」の解説カ...