Similar to 計算機科学哲学
カリー＝ハワード同型対応
Curry–Howard correspondence
チャーチ＝チューリングのテーゼ
Church–Turing thesis
計算機科学
Computer science
Avida
Avida (software)
アグノスティック (情報工学)
Agnostic (data)
アソシアトロン
AP コンピューターサイエンス
AP Computer Science
アルス・エレクトロニカ
Ars Electronica
岩波講座 情報科学
International Journal of Advanced Computer Technology
International Journal of Advanced Computer Technology
インフォマティクス
Informatics
隠れマルコフモデル
Hidden Markov model
空間コンピューティング
Spatial computingクライスリ圏
Kleisli category
計算機援用証明
Computer-assisted proof計算機科学教育
計算機科学の未解決問題
List of unsolved problems in computer science
検索エンジン (情報技術)
Search engine (computing)
コンテキストアウェアネス
Context awareness
コンテクスト
Context
時間と空間のトレードオフ
Space–time tradeoff自己反映計算 (計算機科学)
自動定理証明
Automated theorem proving
ジャロ・ウィンクラー距離
Jaro–Winkler distance
冗長化
Redundancy (engineering)
情報科学
情報検索
Information retrieval情報工学
Informatics engineering