新しいプログラミング・パラダイム⑤_型推論とML - 共立出版コンピュータサイエンス誌『bit』