@misc{oai:tsukuba.repo.nii.ac.jp:00042820,
 author = {Kobayashi, Munehiro and 小林, 宗広},
 month = {},
 note = {2016, 【要旨】},
 title = {Symbolic computation and machine learning on logical formulas},
 year = {2017}
}