Akira's Commentary

情報理論

符号理論

文字の表現

述語論理

形式言語

オートマトン

正当性理論

計算量

人工知能

コンパイラ理論

プログラミング言語論・意味論