提起された問いに過不足なく答える、もしくはより能率的な別の問いへ言い換える 過剰 = 問いに対する答えないし解決を包含するが過剰な資源を必要とする 不足 = 問いに対する事後条件を満たしていない 能率的 = より答えが出しやすく、かつ元の問いから情報…