「値_(計算機科学)」を解説文に含む見出し語の検索結果(81~90/1429件中)
Jump to navigationJump to search音楽家については「フェリー・コーステン」をご覧ください。System Fは型付きラムダ計算の一体系で,単純型付きラムダ計算に型についての...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
計算機科学において、形式文法が曖昧な文法(英: Ambiguous grammar)であるとは、文字列の解釈が複数存在することを意味する(すなわち、構文木が複数対応する)。言語が「本質的に曖昧」である...
計算機科学において、形式文法が曖昧な文法(英: Ambiguous grammar)であるとは、文字列の解釈が複数存在することを意味する(すなわち、構文木が複数対応する)。言語が「本質的に曖昧」である...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/28 14:35 UTC 版)「イスラエル工科大学」の記事における「テクニオン創立から今日まで」の解説19年間にわたっ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/03 03:59 UTC 版)「スモール・ワールド現象」の記事における「ネットワークモデル」の解説コーネル大学の二人の...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/09 06:19 UTC 版)「数学」の記事における「分類・分野」の解説現代における純粋数学の研究は主に代数学、幾何学...
数学の特に圏論における F-余代数 (エフよだいすう、英: F-coalgebra) は、(自己)関手 F によって定義される構造の一つである。代数や余代数を扱う文脈ではよく、シグ...
数学の特に圏論における F-余代数 (エフよだいすう、英: F-coalgebra) は、(自己)関手 F によって定義される構造の一つである。代数や余代数を扱う文脈ではよく、シグ...
アーサー・リー・サミュエル生誕1901年12月5日 アメリカ合衆国 カンザス州エンポリア死没1990年7月29日 アメリカ合衆国 カリフォルニア州スタンフォード (カリフォルニア州)市民権 アメリカ合...