semi-discretization method 学習用プログラム