ShinMinamata MON ALGORITHMIC DESIGN INDUCTION DESIGN MAKOTO SEI WATANABE