2024-07-01から1日間の記事一覧

動詞とその周辺

主動詞: declare〈宣言する〉, define〈定義する〉, approve〈承認する〉 副動詞: request〈要求する〉, respond〈応答する〉 主語は We, One of us, I だが、省略可能。組み合わせは: declare 名前 仕様 : 名前を宣言する。存在に関しては中立。 declar…

用語運用規則

記述の事例: 圏論/小さいとは限らない【形】 -(同義)→ 圏論/大きい 圏論/小さくない【形】 -(同義)→ 圏論/真に大きい 圏論/大きい集合 -(同義)→ 集合論/クラス 圏論/小さい集合 -(同義)→ 集合論/集合 圏論/小さくない集合 -(同義)→ 集合論/真のクラス 一般/…