絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/29

例文

The Cartesian closed category of simply-typed lambda calculus models makes reasoning about higher-order functions straightforward.

単純型ラムダ計算のモデルとなる、終対象と任意の2対象の直積および指数対象を備えた圏は、高階関数に関する推論を容易にする。

正解を見る

The Cartesian closed category of simply-typed lambda calculus models makes reasoning about higher-order functions straightforward.

音声機能が動作しない場合はこちらをご確認ください

(category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ.

日本語の意味

圏論において、終対象を持ち、任意の2つの対象 A, B に対して積 A × B および指数対象 B^A を備える圏

The Cartesian closed category of simply-typed lambda calculus models makes reasoning about higher-order functions straightforward.

単純型ラムダ計算のモデルとなる、終対象と任意の2対象の直積および指数対象を備えた圏は、高階関数に関する推論を容易にする。

項目の編集設定

例文の編集設定

問題の編集設定