今のところ計算できるのはウォルシュしかいないなぁ