『発想的仮説生成のための述語論理知識ベースのコンパイル法』2024/3/17 3:33:00 https://www.jstage.jst.go.jp/article/jjsai/7/1/7_130/_pdf