霜の厚みを熱力学的損失の指標とする算出アルゴリズム | VOIDER