マーチンデイブスの計算の理論は?