材料シミュレーションとBayes最適化を用いたNASICON型構造を持つ高速Liイオン伝導体に対する徹底的および情報学支援探索【JST・京大機械翻訳】