研究社新英和大辞典 ページ 230919 での【・theory of types＝type theory 3.】単語。