目標指向型アクティブラーニングを用いたガウス過程回帰によるベイズ的逆問題の解決 | Synapse