co-induction（coinductionの別表記）とは - 英語 - 多言語

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

検索結果- 英語 - 多言語

検索内容:

co-induction

co-inductions

名詞

活用形複数形

plural of co-induction

原形: co-induction

日本語の意味

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

英語の意味

plural of co-induction

このボタンはなに？

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

翻訳する

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

詳細

co-induction

名詞

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

Alternative spelling of coinduction

日本語の意味

coinductionの別表記

英語の意味

Alternative spelling of coinduction

このボタンはなに？

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

翻訳する

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

詳細

検索結果- 英語 - 多言語

co-inductions

co-induction

英語 - 多言語

項目

例文

その他

ログイン / 新規登録

アプリをダウンロード！

検索結果- 英語 - 多言語

co-inductions

co-induction

英語 - 多言語

項目

例文

その他

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！