「直観主義型理論」を解説文に含む見出し語の検索結果(1～10/206件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 01:05 UTC 版)「直観主義型理論」の記事における「判断（judgement）」の解説直観主義型理論の形式...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/23 02:46 UTC 版)「直観主義型理論」の記事における「MLTT71」の解説MLTT71 はペール・マルティン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 01:05 UTC 版)「直観主義型理論」の記事における「型理論」の解説直観主義型理論は３つの有限型を持つ。その...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 01:05 UTC 版)「直観主義型理論」の記事における「設計方針」の解説マルティン＝レーフは、この型理論を数学...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 01:05 UTC 版)「直観主義型理論」の記事における「型理論の実装」の解説さまざまな形式の型理論が、多数の証...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/10 01:05 UTC 版)「直観主義型理論」の記事における「型理論のバージョン」の解説ペール・マルティン＝レーフは...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
直観主義型理論（ちょっかんしゅぎかたりろん、英: intuitionistic type theory）とは、数学の代替基盤を目指して論理学・哲学者のペール・マルティン＝レーフによって開発され...
< 前の結果 | 次の結果 >