「Inductive」を解説文に含む見出し語の検索結果(21～30/668件中)
帰納プログラミング (Inductive Programming, IP) は人工知能とプログラミングの研究分野をまたぐ自動プログラミングの特殊分野である．通常，入出力例や制約などの不完全な仕様からの...
ILP命令レベルの並列性 (Instruction-level parallelism)帰納論理プログラミング (Inductive logic programming)情報漏洩防止 (Informa...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/13 06:25 UTC 版)「自動推論」の記事における「Coq」の解説フランスで開発された証明支援システムで、仕様記...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/13 20:40 UTC 版)「Samsung Galaxy S9」の記事における「バッテリーと充電」の解説バッテリー...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 03:08 UTC 版)「依存型」の記事における「高階の依存型付き多相ラムダ計算」の解説高階の λ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/04 10:17 UTC 版)「免許を要しない無線局」の記事における「CEPT加盟国」の解説以下のシステムはCEPTが...
IOTイギリス領インド洋地域（Indian Ocean Territory）のISO 3166-1国名コード。ものつくり大学（Institute of Technologists）Ι, ι（iota）...
アルゴリズム的情報理論において、ソロモノフのアルゴリズム的確率とはある観察にたいし事前確率を割り当てる数学的方法である。 理論的には、その事前確率は普遍的である。 帰納的推論の理論やアルゴリズムの解析...
アルゴリズム的情報理論において、ソロモノフのアルゴリズム的確率とはある観察にたいし事前確率を割り当てる数学的方法である。 理論的には、その事前確率は普遍的である。 帰納的推論の理論やアルゴリズムの解析...
バルクマイクロマシニングとは、MEMS(マイクロマシン)作製技術の一つ。 基板もしくは厚膜(数十μm以上)を加工してMEMSデバイスを作製する技術の総称。(参考:サーフェイスマイクロマシニング)主にS...