ALGODEX_book_ALGODesign_INDUCTION DESIGN_Makoto Sei Watanabe