知識処理のための推論高速化技法 - 日本オペレーションズ・リサーチ学会