盈朒後集 {菅習斎先生算法集}