Similar to グルシュコフ記念サイバネティクス研究所
自動定理証明
Automated theorem proving
ジャロ・ウィンクラー距離
Jaro–Winkler distance
冗長化
Redundancy (engineering)
情報検索
Information retrieval
情報指向ネットワーク
Information-centric networking
情報処理技術遺産
神経言語学
Neurolinguistics
人工知能
Artificial intelligence
数学基礎論
Foundations of mathematics
数理形態学
Mathematical morphology
数理論理学
Mathematical logic
世界モデル
専用計算機
Darwinbots
ダメラウ・レーベンシュタイン距離
Damerau–Levenshtein distanceタンデムシステム
データ完全性
Data integrity
データサイエンス学部
データセット
Data setトモグラフィー
Tomographyブール論理
Boolean logic
Foreign function interface
Foreign function interface
分散コンピュータ博物館
ミュオグラフィ
Muon tomography
無
Nothing
問題解決環境
Problem solving environment
ランダムオラクル
Random oracle
リアルタイムシステム
Real-time computing
