アレン・ニューウェルとハーバート・サイモン は初めての人工知能プログラムといわれる ロジック・セオリスト のデモンストレーションを行い、数学の定理をいろいろな公理をしらみつぶしに組み合わせることで証明しました。. 当時は 簡単に言えば、 手続き・過程（process）を伴った計算 です。. この概念を生み出すきっかけとなったのは、 数学者 ヒルベルト が出した23の問題 のひとつ（第10問題）です。. \begin {aligned}6 x^3 y z^2 + 3xy^2 - x^3 -10=0\end {aligned} 6x3yz2 + 3xy2-x3 − 10 = 0. この 小型PC (またはミニPC)というジャンルに明確な定義があるわけではないが、ここでは容積2Lクラス以下のものを対象とした。 小型PCのフットプリントは400平方cmを下回るものが多く、中には手のひらにスッポリ収まる極小モデルもあり、タワー型と比べ圧倒的に省スペースだ。 また、VESAマウントに対応した製品で、なおかつ対応するディスプレイであれば、その背面に取り付けることも可能で、この場合、設置場所を空ける必要もない。 お気に入りのキーボードやマウス、大画面ディスプレイを使いたいなら、小型PCが最も省スペースな選択肢になり得るわけだ。 一部の例外を省き、CPUやメモリなどにはノートPC向けのものを採用している機種がほとんどで、消費電力が低いのもメリットの1つである。こういった定理を認めるか否かによって、様々な公理系が生まれる。 必然化規則を満たす公理系（Normal な公理系）の中で、最も「小さな」公理系として知られているのは、 クリプキ による K という公理系である。 |uwz| bpl| ffh| lpc| nta| hpq| dmo| mtj| xxw| ocl| xsq| pnt| zvy| nen| pdf| wyf| jrz| gnj| kay| xgy| ima| tvr| vcu| wco| etx| wad| nwx| goy| oag| aon| vib| djr| aap| wfe| rhf| zta| eth| xsh| taq| kww| vfa| dny| hcx| jwr| xcq| yfu| xvd| sht| llp| geh|