このディレクトリの索引

f(_x,_y,_z) :-
        _z is _y + sin(_x).

オイラー法を用いて常微分方程式の解を数値的に求める(_xの初期値,_yの初期値,_xの最終値,_分割数,_y) :-
        _刻み is (_xの最終値 - _xの初期値) / _分割数,
        オイラー法を用いて常微分方程式の解を数値的に求める(0,_分割数,_xの初期値,_yの初期値,_刻み,_y).


オイラー法を用いて常微分方程式の解を数値的に求める(_分割数,_分割数,_,_y,_,_y) :- !.
オイラー法を用いて常微分方程式の解を数値的に求める(_i,_分割数,_xの初期値,_y_1,_刻み,_y) :-
        _x is _xの初期値 + _i * _刻み,
        オイラー法(_x,_y_1,_刻み,_y_2),
        i_2 is i + 1,
        オイラー法を用いて常微分方程式の解を数値的に求める(_i_2,_分割数,_xの初期値,_y_2,_刻み,_y).

オイラー法(_x,_y_1,_刻み,_y_2) :-
        f(_x,_y_1,_z),
        _y_2 is _y_1 + _z * _刻み.