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