Weblio 辞書 > 辞書・百科事典 > タイプとトークンの区別の解説 > タイプとトークンの区別の全文検索
「タイプとトークンの区別」を解説文に含む見出し語の検索結果(91~100/494件中)

節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
ナビゲーションに移動検索に移動自然主義的二元論(しぜんしゅぎてきにげんろん、Naturalistic dualism)とは、心の哲学を専門とする哲学者デイヴィッド・チャルマーズが、意識のハード・プロブ...
ナビゲーションに移動検索に移動自然主義的二元論(しぜんしゅぎてきにげんろん、Naturalistic dualism)とは、心の哲学を専門とする哲学者デイヴィッド・チャルマーズが、意識のハード・プロブ...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
アルヴィン・ゴールドマンアルヴィン・ゴールドマン(Alvin Ira Goldman、1938年 - 2024年8月4日[1])は、アメリカの哲学者。ラトガース大学で哲学の教授をしてい...
アルヴィン・ゴールドマンアルヴィン・ゴールドマン(Alvin Ira Goldman、1938年 - 2024年8月4日[1])は、アメリカの哲学者。ラトガース大学で哲学の教授をしてい...
ナビゲーションに移動検索に移動 コウモリであるとはどのようなことか?「コウモリであるとはどのようなことか」(英:What is it like to be a bat?)は、アメリカの哲学者トマス・ネ...
.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...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS