未解決変数を state に変換します。