ALGORITHMIC DESIGN INDUCTION DESIGN KeiRiki program MAKOTO SEI WATANABE