slip の厳密解 maxima で no-slip, slip とも FTS まで組む(mono-slip)。 チェック済み。 Felderhof の parameter を検証。 簡略化には貢献しないので、今のままで行く。 結果をノートにまとめる。