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）と呼ばれる関係を利用する。

このボタンはなに？

During the seminar, she explained coinduction by showing how it can be used to reason about infinite streams and other non-well-founded structures.

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

詳細

意味（1）

(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

意味（2）

(biology) The simultaneous induction of two or more compounds into a cell line

coinductions （ plural ）