関数呼び出し時の型推論・型検査の実装を行った