サポートベクターマシンによるデータ選択に基づくガウス過程回帰を用いたHamilton-Jacobi不等式の解法 | 文献情報 | J-GLOBAL 科学技術総合リンクセンター