「logic programming」を解説文に含む見出し語の検索結果(121~130/392件中)
ナビゲーションに移動検索に移動 食事する哲学者の問題は、並行性とリソース共有に関する古典的問題並行性(へいこうせい、英: concurrency)とは、計算機科学において、時間的にオーバーラッ...
ナビゲーションに移動検索に移動 食事する哲学者の問題は、並行性とリソース共有に関する古典的問題並行性(へいこうせい、英: concurrency)とは、計算機科学において、時間的にオーバーラッ...
トビー・ウォルシュToby Walsh国籍英国研究分野人工知能、自動推論研究機関ニューサウスウェールズ大学、Data61 (旧 NICTA)出身校ケンブリッジ大学、エディンバラ大学博士課程指導教員アラ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
プレスバーガー算術(英: Presburger arithmetic)とは加法を含む自然数に関する一階述語論理体系である。モイジェシュ・プレスバーガーにより1929年に導入された。プレスバーガ...
関心の分離(かんしんのぶんり、英語: separation of concerns、SoC)とは、ソフトウェア工学においては、プログラムを関心(責任・何をしたいのか)毎に分離された構成要素で構...
関心の分離(かんしんのぶんり、英語: separation of concerns、SoC)とは、ソフトウェア工学においては、プログラムを関心(責任・何をしたいのか)毎に分離された構成要素で構...
英語:prologue・prolog 「プロローグ」とは、演劇やオペラの序幕・事件の発端のことを意味する英語表現である。「プロローグ」とは・「プロローグ」の意味「プロローグ」とは英語の名詞で、スペルは...
英語:prologue・prolog 「プロローグ」とは、演劇やオペラの序幕・事件の発端のことを意味する英語表現である。「プロローグ」とは・「プロローグ」の意味「プロローグ」とは英語の名詞で、スペルは...