ALGORITHMIC DESIGN INDUCTION DESIGN KeiRiki  MAKOTO SEI WATANABE