Similar to 計算機援用証明

情報科学

情報検索
Information retrieval
情報工学
Informatics engineering
情報指向ネットワーク
Information-centric networking
情報処理技術遺産

神経言語学
Neurolinguistics
人工知能
Artificial intelligence▲2 trends
数学基礎論
Foundations of mathematics
数理形態学
Mathematical morphology
世界モデル

専用計算機

Darwinbots

ダメラウ・レーベンシュタイン距離
Damerau–Levenshtein distance
タンデムシステム

データ完全性
Data integrity
データサイエンス
Data science
データサイエンス学部

データセット
Data setブール論理
Boolean logic
Foreign function interface
Foreign function interface
分散コンピュータ博物館

無
Nothing
問題解決環境
Problem solving environment
ランダムオラクル
Random oracle
リアルタイムシステム
Real-time computing
理化学研究所計算科学研究センター

リソース競合
Resource contention
リフレクション (計算機科学)