商功 {菅習斎先生算法集}