co-induction

別表記異形可算名詞不可算名詞

Alternative spelling of coinduction

日本語の意味

「co-induction」は「coinduction」の別表記であり、数学や理論計算機科学などの分野で用いられる「共帰納法」を指します。

In our seminar on formal methods, we contrasted induction with co-induction to explain bisimulation.

形式手法のゼミで、帰納法と共帰納法を対比してバイシミュレーションを説明しました。

意味（1）

Alternative spelling of coinduction

co-inductions

（ plural ）