時間の関数にして拘束条件もりもりにすれば微分でもいけるだろう多分
計算可能かどうかはしらね