「Type」を日本語で使い分ける

英語の「type」を日本語で表現する際、型 と 型理論 では明確なニュアンスの使い分けが存在します。 型 は主に「かた (kata)（N3）」として使われ、Used for a 'type' or 'model' (e.g., 新しい型), a 'pattern' or 'style' (e.g., 型にはまる), or a 'mold' used to shape something (e.g., ケーキの型).を指します。 一方、型理論 は「かたりろん (katariron)（C2）」として使用され、(CEFR C2語彙シラバスにおける重要表現です。)を表現します。アメリカ人学習者が直訳で最も間違えやすいポイントですので、違いを意識しましょう。