「型付きラムダ計算」を解説文に含む見出し語の検索結果(1～10/91件中)
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
型付きラムダ計算（かたつきラムダけいさん、英: typed lambda calculus）とは、無名の関数の抽象表現にラムダ ( λ {\displaystyle \lambd...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)「直観主義論理」の記事における「ラムダ計算」の解説カリー＝ハワード対応はIPCと直和と直...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/04 02:56 UTC 版)「糖衣構文」の記事における「ML」の解説ここでは、ML系の言語のDerived Form...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「一階の依存型理論」の解説一階の依存型を持つ λ ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「二階の依存型理論」の解説二階の依存型を持つ λ ...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で，単純型付きラムダ計算に型についての...
< 前の結果 | 次の結果 >