Computer Science

• コンピューターサイエンスのすべて
• OS
  • DB
  • linux
• 計算理論 #computation/complexity
  • λ計算
    『計算理論の基礎』
  • Circuit-SAT
  • ComputerScience
  • Cook-Levin Theorem
  • NP Hard
  • Probabilistic_polynomial_time_Turing_machine
  • QAP
  • Turing Machine
  • プッシュダウンオートマトン
  • 文脈自由文法
  • 有限オートマトン
• プログラミング言語 #lang
  • 型理論
  • formal-methods 形式手法
  • プログラミング言語
  • 言語処理系
  • コンパイラ基盤
    • LLVM
• アルゴリズム
  • グラフ理論 #grpah
    • Abstract Rewriting
    • AIGER_format
    • Automated Code Optimization with E-Graphs
    • BDD
    • BDD簡約化アルゴリズムの並列化
    • Chordal Graph
    • Dag Representation and Optimization of Rewriting
    • E-Graph
    • Equality Saturation
    • Equality saturation a new approach to optimization
    • Exact Algorithms for Maximum Acyclic Subgraph on a Superclass of Cubic Graphs
    • Feedback Vertex Set
    • Metatheory.jl
    • Optimizing homomorphic evaluation circuits by program synthesis and term rewriting
    • Term Rewriting
    • The Reduction of Directed Cyclic Graph for Task Assignment Problem
    • グラフ簡約
• 機械学習
  • 自然言語処理 #ml/nlp

list from #ml and !#ml/nlp 

暗号

list from #crypto 

ソフトウェア開発

list from #software 

アルゴリズム

• 最適化問題 algorithm
  • 2022-09-03 Python言語による実務で使える100+の最適化問題 | opt100

list from #algorithm 

参考文献

• 2022-08-18 コンピュータサイエンスを分野ごとに考える - Qiita