ニューラルと記号的推論融合で省電力AI実現。