Search results- English - English

Keyword:

sequent

IPA(Pronunciation)
Adjective
obsolete archaic
Japanese Meaning
時系列や順序において後に続く、あるいはその次に位置する / 結果として生じる、または結論や帰結としての側面を示す
What is this buttons?

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

Related Words

comparative

superlative

sequents

Noun
form-of plural
Japanese Meaning
「sequent」の複数形
What is this buttons?

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

sequent

IPA(Pronunciation)
Noun
obsolete
Japanese Meaning
与えられた系列に続くもの / 順序に従って次に来るもの
What is this buttons?

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

Related Words

plural

sequent calculus

Noun
Japanese Meaning
数学および論理学において、真であるシーケント(論理的推論の一形式)を他の真であるシーケントから導出するための推論規則の体系。
What is this buttons?

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

Related Words

plural

sequent calculi

Noun
form-of plural
Japanese Meaning
「sequent calculus」(シーケント計算)の複数形。すなわち、複数のシーケント計算、つまり論理学における形式体系としてのシーケント計算の複数形を指します。
What is this buttons?

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

sequential compactness

Noun
uncountable
Japanese Meaning
任意の列に対して、収束する部分列を必ず見つけることができるという性質(位相空間における特徴)。
What is this buttons?

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

sequential continuity

Noun
uncountable
Japanese Meaning
関数が、収束する数列(xₙ → x)に対して、対応する数列 f(xₙ) が f(x) に収束する性質。 / 数学的解析において、数列の収束性を保持する連続性の概念。
What is this buttons?

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

sequential manual gearboxes

Noun
form-of plural
Japanese Meaning
「シーケンシャル・マニュアル・ギアボックス」は、順次式(シーケンシャル)機構を持つマニュアルトランスミッションであり、複数形として、同様の装置が複数あることを示しています。
What is this buttons?

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

non-sequential

Adjective
not-comparable
Japanese Meaning
連続的でない / 順序通りでない / 非連続
What is this buttons?

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

sequential logic

Noun
uncountable
Japanese Meaning
(電気工学)現在の入力だけでなく、過去の入力や状態の記憶に依存して動作するデジタル回路の一種。
What is this buttons?

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

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★