co-induction

Noun

alt-of alternative countable uncountable

Alternative spelling of coinduction

Japanese Meaning

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

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

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

Sense（1）

Alternative spelling of coinduction

co-inductions

（ plural ）