Similar to 計算複雑性理論
データサイエンス
Data science
デジタル・ヒューマニティーズ
Digital humanities
日本語処理
Japanese language and computers
BERT (言語モデル)
BERT (language model)
パターン認識
Pattern recognition
フラクタル
Fractal
理論計算機科学
Theoretical computer science
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
形式言語
Formal language形式言語の階層
形式手法
Formal methods
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ゲーム意味論
Game semantics
公理的意味論
Axiomatic semantics
コンビネータ論理
Combinatory logic再帰的定義
Recursive definition
失敗による否定
Negation as failure
弱文脈依存言語
Mildly context-sensitive grammar formalism
ロジャー・シャンク
Roger Schank
述語変換意味論
Predicate transformer semantics
数理論理学
Mathematical logic
制約論理プログラミング
Constraint logic programming