ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
coinductions
名詞
活用形
複数形
plural of coinduction
原形:
coinduction
日本語の意味
"coinductions" は「coinduction」の複数形です。
英語の意味
plural of coinduction
coinductive
形容詞
Of, pertaining to, or producing coinduction
日本語の意味
共帰納法に関する / 共帰納法を用いて生成される
英語の意味
Of, pertaining to, or producing coinduction
関連語
coinductively
関連語
coinduction
名詞
可算名詞
不可算名詞
(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
日本語の意味
論理学における補帰納法。非良基な（well foundedでない）集合に対して推論を行う手法であり、双シミュレーション（bisimulation）と呼ばれる関係を利用する。
英語の意味
(logic) A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
関連語
