検索内容:
形式言語では、引数を取らない演算子は定数記号として扱われる。
式を評価する際、空の和を 0 と扱い、余分な項が導入されないようにした。
圏論では、引数のない和は始対象に対応し、空族の余積を表します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★