水野さんの「数学的帰納法は演繹じゃん」だという指摘の鋭さに感銘を受けました!ちゃんとした数理論理学とかプログラミング言語理論の教科書ではその命名の歪具合を明言してて,私はそういうのを読んで初めて気付かされました.歴史的経緯なんでしょうかね.ちなみにproof by inductionというと帰納法(という名前の演繹)による証明を意味するけど,inductive logic programmingというと帰納的推論を取り込んだ論理プログラミングだったりします.ちなみにこれはコンピュータサイエンスの話題とも言えますね!>堀本さん