格子アルゴリズム 格子基底簡約 数学 研究中間報告 中間報告