コンピュータッド
computad
後で読む
Ref.icon
computad in nLab