2019-07-05 この論文面白そう コンピューター https://arxiv.org/pdf/1906.08784.pdf probcomp.github.ioこれも面白そう。 http://delivery.acm.org/10.1145/3320000/3314642/pldi19main-p645-p.pdf?ip=121.105.40.34&id=3314642&acc=OA&key=BF85BBA5741FDC6E%2E83F2654D43953101%2E4D4702B0C3E38B35%2EE959BD37CA561672&__acm__=1562256212_5c1c3eba4225f8ad93ef3b9f8d047059 https://arxiv.org/pdf/1206.5538.pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.6171&rep=rep1&type=pdf