@misc{oai:tsukuba.repo.nii.ac.jp:00019515, author = {大倉, 安孝 and Ookura, Yasutaka}, month = {}, note = {2009, 【要旨】}, title = {Computer algebra on lattices}, year = {2010} }