@prisonerofroad: @jimuyakagyo 「平均的な労働者1人当たりの産出量のことを、生産性、あるいは労働生産性という。」←これが正しい定義なんですね。労働生産性が一人あたま労働時間の増減で変動するような定義だとは知りませんでした。お騒がせしました（汗…