1.2_Leanによるプログラミングの例