最終更新日:2025/11/23
編集履歴(0)
元となった辞書の項目

co-induction

名詞
別表記 異形 可算名詞 不可算名詞
日本語の意味
「co-induction」は「coinduction」の別表記であり、数学や理論計算機科学などの分野で用いられる「共帰納法」を指します。
このボタンはなに?

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

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★