野球の投手が投じる変化球の「キレ」の定量化の試み