「Formulas」を解説文に含む見出し語の検索結果(151~160/546件中)
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
ナビゲーションに移動検索に移動原文と比べた結果、この記事には多数(少なくとも 5 個以上)の誤訳があることが判明しています。情報の利用には注意してください。正確な語句に改訳できる方を求めています。数学...
ナビゲーションに移動検索に移動原文と比べた結果、この記事には多数(少なくとも 5 個以上)の誤訳があることが判明しています。情報の利用には注意してください。正確な語句に改訳できる方を求めています。数学...
ナビゲーションに移動検索に移動原文と比べた結果、この記事には多数(少なくとも 5 個以上)の誤訳があることが判明しています。情報の利用には注意してください。正確な語句に改訳できる方を求めています。数学...
ランベルト正積方位図法(北極を中心とした地図、北半球のみ)。極点を中心とした投影は、投影される扇形の中心角を360°(すなわち円板)に設定した場合のランベルト正積円錐図法に相当する。ランベルト正積方位...
ランベルト正積方位図法(北極を中心とした地図、北半球のみ)。極点を中心とした投影は、投影される扇形の中心角を360°(すなわち円板)に設定した場合のランベルト正積円錐図法に相当する。ランベルト正積方位...
リヨンのエウケリウス生誕380年頃死没449年崇敬する教派正教会カトリック教会テンプレートを表示リヨンのエウケリウス(ラテン語: Eucherius, episcopus Lugdunensi...