コラム151: エントロピーと熱力学第二法則の定式化