例外はく可能性があると副作用って言っちゃったら、引数にゼロがあると(あるいはゼロ以外の何らかの既知の数値があると)ゼロ除算が発生する関数が全部「副作用ある」になっちゃわない？＞＜；