オブジェクト
en: object
単に「物体」であったり、特に「対象物」を意味したりする
SVOのO、目的語とか
値というのは操作 (関数 ないし 手続き) の対象
Javaなどではプリミティブと対比される複合型のことを示すこともあり、オブジェクトは常に参照の形であるというような特徴があったり
first-class objects
https://leanprover.github.io/theorem_proving_in_lean4/dependent_type_theory.html