セーフサーチ：オン
| 例文 | 共起表現 |
functorsを含む例文一覧と使い方
該当件数 : 1件
Linear logic however makes the most sense when understood as a categorical logic, whose connectives are functors rather than mere operations. 例文帳に追加
線形論理はしかしながら、その結合子が単なる演算ではなくファンクタであるカテゴリ論理の一種として理解されるとき最も道理にかなっている。 - コンピューター用語辞典
| 例文 | 共起表現 |
 | Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
