検索結果- 英語 - 英語

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

検索内容:

co-inductions

活用形複数形

plural of co-induction

日本語の意味

「co-induction」の複数形。つまり、co-inductionという概念の複数形として用いられる活用形

The paper compares several co-inductions used to define infinite data structures in functional programming.

その論文は、関数型プログラミングにおける無限データ構造を定義するために用いられるいくつかの共帰納法を比較している。

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

Alternative spelling of coinduction

日本語の意味

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

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

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