検索結果- 英語 - 英語

検索内容:

sequent

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

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

関連語

plural

sequent

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

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

関連語

comparative

superlative

sequents

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

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

sequent calculus

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

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

関連語

plural

sequent calculi

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

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

sequential file

名詞
日本語の意味
同じ種類のレコードで構成され、二次記憶装置に格納されるファイル。その物理的なレコードの並びは、1つ以上のデータ項目のソート値に基づいて決定される場合がある。
このボタンはなに?

データベースのバックアップは、アーカイブからの取り出し時の読み取りスループットを最適化するため、順次ファイルとして保存されました。

関連語

plural

sequential manual gearbox

名詞
日本語の意味
自動車やモーターサイクル用に設計された、ギアシフトが順次しか操作できないマニュアルトランスミッション。クラッチ操作は手動または全自動で行えるタイプで、通常のHパターン式には見られない。
このボタンはなに?

レーシングエンジニアは、タイトなサーキットでのラップタイムを向上させるためにシーケンシャル式マニュアルトランスミッションへの変更を勧めた。

関連語

sequential

形容詞
比較不可 活用形
日本語の意味
順序に従って続く、連続して起こる / 順番に起こる、順次進行する
このボタンはなに?

研究室は化学反応の経過を監視するために連続した測定を記録した。

sequential art

名詞
不可算名詞
日本語の意味
一連の芸術作品を順序良く並べ、その順番によって物語やメッセージ、効果を伝える芸術形式(例:コミックストリップなど)
このボタンはなに?

彼女の修士論文は、言葉を使わずに順序立てられた絵による表現がどのように複雑な感情を伝えられるかを検討した。

sequentially

副詞
比較不可
日本語の意味
順番に / 順次 / 連続して
このボタンはなに?

依存関係が守られるように、タスクを順番に完了してください。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★