そういえば、 短縮極めるなら1万を指数表記にして1E4とか、あと1万を式の最後に持って来て：を省くとか