>>364
y1 = 3exp(t) - exp(-t), y2 = -exp(t)+exp(-t).
解法はラプラス変換。これしかない。他の方法もあるかも
しれないが、面倒くさくて試す気にならない。