Ruby プログラムの型推論 - 松本宗太郎