Monad for functional programming
Q: Theoretical computing science是什么？我是不是应该搞这个方向？
Q: 什么是evaluator?
Q: Haskell的data类型很像BNF定义，其他语言做得到吗？
Q: 用Term来构造一个table，看看能否去掉括号对语句进行翻译?
A: 可以
- Term = Con Int
- Term = Div Term Term
IS0 {Term = . Con Int, Term = . Div Term Term}
Symbols {Con, Div}
IS0 Con IS1 {Term = Con . Int}
Symbols {Int}
IS0 Div IS2 {Term = Div . Term Term, Term = . Con Int, Term = . Div Term Term}
Symbols {Term, Con, Div}
IS1 Int IS3 {Term = Con Int .}
Reduce 1
IS2 Term IS4 {Term = Div Term . Term, Term = . Con Int, Term = . Div Term Term}
Symbols {Term, Con, Div}
IS2 Con IS5 {Term = Con . Int}
Symbols {Int}
IS2 Div IS2 {Term = Div . Term Term}
IS4 Term IS6 {Term = Div Term Term .}
Reduce 2
IS4 Con IS5
IS4 Div IS2
IS5 Int IS3
识别Div Div Con Int Con Int Con Int, OK
Q: 虽然可以去掉括号翻译，但是不知道顺序对不对?
A: 肯定没问题，因为只有一个除法…
Q: 不知道BNF能否描述运算符的优先级?
A: 可以
Q: 自然语言研究主要是在研究什么？
A: 主要是跟自然语言相关的东西，比如翻译，比如内容抽出之类的，跟大数据挂钩, 跟语言学挂钩
Q: 关于自然语言的研究室介绍，在哪里看比较好？
A: 小町研的主页 -> 自然言語処理が学べる研究室
Q: Theoretical Computing science 有没有研究室？
Q: 理论计算机科学应该进哪个学部？
Q: 图论主要在研究什么？现在有细分成什么方向? 和编程接壤吗？
Q: 如果我想选自然语言研究，那做哪个方向会比较好？