IBMとHALの法則で解いて頂くと…