>>529
いや、楽しいは感情だけど
有用は一定の基準を決めれば証明できるもの

型がわからないと示せないというのは、
そもそも有用性を示せないと言ってるようなものだから