MLやHaskellでmaximaを書き直そうとかそういう向きは
ないのかな。