「構成主義_(数学)」を解説文に含む見出し語の検索結果(211～220/863件中)
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言...
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言...
内井 惣七（うちい そうしち、1943年2月3日 - ）は、日本の哲学者（科学哲学）・科学史家である。京都大学名誉教授。Ph.D.（ミシガン大学、1971年）。来歴香川県高松市生まれ。1961年、香川...
野家 啓一人物情報生誕 (1949-02-21) 1949年2月21日（75歳） 日本宮城県仙台市出身校東北大学、東京大学学問研究分野哲学(科学哲学)研究機関南山大学、東北大学テンプレートを表示野家 ...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...