coinduction（論理学における補帰納法。非良基な）とは - 英語 - 多言語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

coinduction

coinduction

可算名詞不可算名詞

(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation

日本語の意味

論理学における補帰納法。非良基な（well foundedでない）集合に対して推論を行う手法であり、双シミュレーション（bisimulation）と呼ばれる関係を利用する。

英語の意味

(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation

このボタンはなに？

セミナーで彼女は、無限のストリームやその他の非整礎的構造について推論することを可能にする一種の帰納法として共帰納法を説明した。

関連語

coinductions

（ plural ）

coinductions

活用形複数形

plural of coinduction

原形: coinduction

日本語の意味

"coinductions" は「coinduction」の複数形です。

英語の意味

plural of coinduction

このボタンはなに？

In modern type theory, coinductions often appear when defining infinite data structures such as streams.

現代の型理論では、ストリームのような無限データ構造を定義する際に、共帰納法の例がしばしば現れます。

coinductive

Of, pertaining to, or producing coinduction

日本語の意味

共帰納法に関する / 共帰納法を用いて生成される

英語の意味

Of, pertaining to, or producing coinduction

このボタンはなに？

The coinductive definition allowed us to reason about infinite streams in a rigorous way.

共帰納的な定義により、無限のストリームについて厳密に推論することができました。

関連語

more coinductive

（ comparative ）

most coinductive

（ superlative ）

coinductively

In a coinductive manner.

日本語の意味

共帰納的に

英語の意味

In a coinductive manner.

このボタンはなに？

We established the equivalence coinductively by constructing a bisimulation relation between the two processes.

我々は二つのプロセス間にビシミュレーション関係を構築することで、共帰納的にその同値を示した。

関連語

more coinductively

（ comparative ）

most coinductively

（ superlative ）

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★