研究室及研究方向
Programming Logic Laboratory プログラム論理研究室
筑波大学
プログラム論理： ラムダ計算、型理論、プログラム抽出・変換
ソフトウェア検証： モデル検査、定理証明
可以看到这里的lambda计算是独立一个研究方向
说明我以前小看了它
需要好好了解一下
型理论应该是我比较喜欢的
估计跟haskell之类的函数式编程有关
所以这个重点关注
然后程序抽出与变换
并不是十分了解
暂时也没有一个概念
可能的课题
Q: Haskell存在的问题，我想提供怎样的帮助
Q: 程序语言和自然语言的结合？能否提供一个口语化的编程方式？
千葉研
这个偏工业化一点，感觉就是在日程写代码, 也许可以考虑