RAND 法の定式化 最適解の決め方 条件式: Ax = B の形式 導出 ギブス自由エネルギーを適当な組成のまわりで展開