「System_F」を解説文に含む見出し語の検索結果(11~20/151件中)
ナビゲーションに移動検索に移動 ラムダ・キューブの図。上向き軸はパラメトリック多相、奥向き軸は型オペレータ、右向き軸は依存型。型理論において、ラムダ・キューブ (Lambda cube) とは、8つの...
ナビゲーションに移動検索に移動 ラムダ・キューブの図。上向き軸はパラメトリック多相、奥向き軸は型オペレータ、右向き軸は依存型。型理論において、ラムダ・キューブ (Lambda cube) とは、8つの...
型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算(かたつきラムダけいさん、英: typed lambda calculus)とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 04:50 UTC 版)「I am...」の記事における「CD / PLAYBUTTON」の解説I am... ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/05 07:11 UTC 版)「ポリモーフィズム」の記事における「パラメトリック多相」の解説詳細は「パラメトリック多相...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/22 07:41 UTC 版)「F-15SE (航空機)」の記事における「脚注・出典」の解説^ https://www...
DWS 39の写真DWS 39(ドイツ語: Dispenser Weapon System för Saab 39)またはBK 90(スウェーデン語: 600 kg bombkapse...