検索結果- 英語 - 英語

検索内容:

sequent

IPA(発音記号)
形容詞
廃用 古語
日本語の意味
時系列や順序において後に続く、あるいはその次に位置する / 結果として生じる、または結論や帰結としての側面を示す
このボタンはなに?

その原稿のその後の章は、著者の意図に関する新たな証拠を明らかにした。

関連語

comparative

superlative

sequent

IPA(発音記号)
名詞
廃用
日本語の意味
与えられた系列に続くもの / 順序に従って次に来るもの
このボタンはなに?

リスト内の各後続項目は、手順の次の段階に対応しています。

関連語

plural

sequents

名詞
活用形 複数形
日本語の意味
「sequent」の複数形
このボタンはなに?

シーケントの複数形は、シーケント計算の証明において含意関係を表現するための簡潔な表記を提供します。

sequent calculus

名詞
日本語の意味
数学および論理学において、真であるシーケント(論理的推論の一形式)を他の真であるシーケントから導出するための推論規則の体系。
このボタンはなに?

シーケント計算は、証明論における推論規則を形式化するための明確な枠組みを提供します。

関連語

plural

sequent calculi

名詞
活用形 複数形
日本語の意味
「sequent calculus」(シーケント計算)の複数形。すなわち、複数のシーケント計算、つまり論理学における形式体系としてのシーケント計算の複数形を指します。
このボタンはなに?

異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。

sequential compactness

名詞
不可算名詞
日本語の意味
任意の列に対して、収束する部分列を必ず見つけることができるという性質(位相空間における特徴)。
このボタンはなに?

教授は、逐次コンパクト性が距離空間における収束に関する結果を証明するうえで非常に重要であると強調した。

sequential continuity

名詞
不可算名詞
日本語の意味
関数が、収束する数列(xₙ → x)に対して、対応する数列 f(xₙ) が f(x) に収束する性質。 / 数学的解析において、数列の収束性を保持する連続性の概念。
このボタンはなに?

点x*における関数fの列連続性を確かめるには、任意の列x_nがx*に収束するとき、f(x_n)がf(x*)に収束することを示せば十分である。

sequential manual gearboxes

名詞
活用形 複数形
日本語の意味
「シーケンシャル・マニュアル・ギアボックス」は、順次式(シーケンシャル)機構を持つマニュアルトランスミッションであり、複数形として、同様の装置が複数あることを示しています。
このボタンはなに?

レースチームはより速いラップタイムを出すためにシーケンシャル式マニュアルトランスミッションを好む。

non-sequential

形容詞
比較不可
日本語の意味
連続的でない / 順序通りでない / 非連続
このボタンはなに?

その画家は予期しない発想を促すために、アトリエの壁に順序通りでない一連のスケッチを並べた。

sequential logic

名詞
不可算名詞
日本語の意味
(電気工学)現在の入力だけでなく、過去の入力や状態の記憶に依存して動作するデジタル回路の一種。
このボタンはなに?

状態機械を設計する際、技術者は回路が過去の入力を記憶して適切に反応するよう、順序回路に頼ることが多い。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★