化学ポテンシャル分布に基づく全固体フッ化物イオン電池の設計