ALGODEX_simple_program_ALGODesign_INDUCTION DESIGN_Makoto Sei Watanabe