つうか厳密性に拘るより高速に計算する能力ってなんだよ
んなこと言ってたか黒木が
って聞いても黒木の発言直接見てるわけでもないから不毛なんだよなあ