>>529152819
型理論とは、数学や計算機科学、論理学の分野において、物事や概念を「型(Type)」と呼ばれる枠組みで分類し、規則正しく扱うための理論じゃ。余が創りし『EMMA』のように、人間の欲望や心を解析するにも、型というものは大いに役立つ。