Similar to 計算論的哲学
システム生物学
Systems biology自然言語処理
Natural language processing▲1 trends数値予報
Numerical weather prediction数値流体力学
Computational fluid dynamics▲1 trends計算数論
Computational number theoryセル・オートマトン
Cellular automaton▲1 trends地域情報化政策
Community informatics地球情報学
Geoinformatics地理情報システム
Geographic information systemデータ解析
Data analysisデータサイエンス
Data scienceデジタル・ヒューマニティーズ
Digital humanities日本語処理
Japanese language and computersパターン認識
Pattern recognitionフラクタル
Fractal▲1 trendsカリー=ハワード同型対応
Curry–Howard correspondenceグスタフソンの法則
Gustafson's lawクヌース賞
Knuth Prizeクヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm計算木論理
Computation tree logic形式言語
Formal language形式言語の階層
形式手法
Formal methods形式的検証
Formal verificationゲーム意味論
Game semantics公理的意味論
Axiomatic semanticsコンビネータ論理
Combinatory logic再帰的定義
Recursive definition