[プレスリリース] 熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明