帰納的推論
Inductive reasoning
いくつかの例から普遍的法則を導く
Get a theorem from examples
一般化 / 知識形成
Generalization
事例獲得→仮説形成→検証
Examples => hypotheses => verification