语言
没有数据
通知
无通知
〔論〕 なんらの仮定条件をつけずに端的に述定する立言。 断言。 直言。
〔disjunctive〕
〔hypothetical〕
アルゴリズムであり、その多くは実際のコンピュータで効率的に実行できる実用性を備えている。決定性アルゴリズムと言うことも多い。 決定的アルゴリズムは、同じ入力に対しては常に(ひとつの)同じ結果を返すという点で、関数の一種とみなせる。アルゴリズムはその結果の計算の具体的な手順を与えるものである。
定言命法(ていげんめいほう、独: Kategorischer Imperativ、英: categorical imperative)とは、カント倫理学における根本的な原理であり、無条件に「~せよ」と命じる絶対的命法である。 定言的命令(ていげんてきめいれい)とも言う。『人倫の形而上学の基礎づけ』
選言肯定(せんげんこうてい、英: Affirming a disjunct)は、次のような形式の誤謬である。 A または B A である 従って、B ではない A または B B である 従って A ではない この誤謬は、論理和の一方が真であるとき両方が真である可能性もあるのに、もう一方が偽であると
ではプログラムをS式として解析可能である。 動的プログラミング言語の中には、コードのイントロスペクションと eval 機能を組み合わせてマクロと呼ばれる機能を提供するものもある。C言語やC++におけるマクロは、プログラム内の文字列を置換するサブセット的かつ静的な機能でしかない。これに対し動的
総合的言語(そうごうてきげんご、英: Synthetic language)とは、言語類型論における言語の分類で、単語が複数の形態素から構成される言語をいう。構成的言語、統合的言語などともいう 形態素の使用法に基づく分類(屈折語、膠着語など)とは別の分類だが、多くの膠着語(日本語、朝鮮語、アルタイ語