最終更新日：2025/11/21
例文
復習用の問題
During the seminar, she explained coinduction by showing how it can be used to reason about infinite streams and other non-well-founded structures.
正解を見る
During the seminar, she explained coinduction by showing how it can be used to reason about infinite streams and other non-well-founded structures.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
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
関連語
英語 - 多言語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
