やはり、FimoseくんがWolframが使えるというのは嘘だったみたいだな。