言及状況

外部データベース (DOI)

はてなブックマーク (9 users, 9 posts)

[ラムダ計算][数学][プログラミング]

Twitter (16 users, 16 posts, 35 favorites)

78 計算機と数学 ラムダ計算の型問題について −−−数学基礎論からプログラミング言語の構造へ−−− 藤 田 憲 悦 1 はじめに ラムダ計算 [ 8 ] は,Turing 機械と同様に万能な計算モデルであ https://t.co/MtG630Ho2U
“78 計算機と数学 ラムダ計算の型問題について −−−数学基礎論からプログラミング言語の構造へ−−− 藤 田 憲 悦 1 はじめに ラムダ計算 [ 8 ] は,Turing 機械と同様に万能な計算モデルであ” https://t.co/S1fTXNNngt

収集済み URL リスト