差分後編 {菅習斎先生算法集}