III. 依存型を使ったプログラミング