https://123deta.com/document/zlmnlg6y-並列論理型言語処理系KLICによるPARI並列化数式処おける理論その応用.html