setoids
(dated) The springbok. / The pronghorn
(transitive) To deliver a speech that sets the main theme of a conference or other gathering.
plural of setoid
Obsolete form of potsherd.
型理論では、ネイティブな商型が利用できない場合に、同値関係を持つ集合が商を表現するためによく用いられます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
