o***r
发帖数: 81 | 1 【 以下文字转载自 Programming 讨论区 】
我下学期要学人工智能的课，编程量挺大（50% assignment+30%project）
教课的老师说可以随便用任何编程语言。
去年这门课的5个assignment是
vacuum planner,theorem prover,general planner,reinforcement learning,
classifier
我只会C/C++,目前考虑捡一门语言上课用，希望大家帮我出出主意。备选如下：
1.Ocaml
这个是任课老师用的语言。而且我也一直想学一门能函数式编程的lisp类的语言。
看过一点Berkeley的scheme教学视频，觉得很震撼很强大。
2.Java
以前看过一点，而且从C/C++转也容易点。下学期同时上一门数据库的课程要用Java。
3.Python
看同学用过，很方便很强大，也能做functional programming. | s*x
发帖数: 3328 | 2 有theorem prover, 显然是选1.Ocaml
【在 o***r 的大作中提到】
: 【 以下文字转载自 Programming 讨论区 】
: 我下学期要学人工智能的课，编程量挺大（50% assignment+30%project）
: 教课的老师说可以随便用任何编程语言。
: 去年这门课的5个assignment是
: vacuum planner,theorem prover,general planner,reinforcement learning,
: classifier
: 我只会C/C++,目前考虑捡一门语言上课用，希望大家帮我出出主意。备选如下：
: 1.Ocaml
: 这个是任课老师用的语言。而且我也一直想学一门能函数式编程的lisp类的语言。
: 看过一点Berkeley的scheme教学视频，觉得很震撼很强大。
| o***r
发帖数: 81 | 3 这个是因为传统么？ML语言好像就是为了定理证明专门设计的？
要是用其他语言（比如java）需要写很多复杂的数据结构和算法么？
不好意思，不太了解，问了这么多问题……
planning可以看做是定理证明么……
【在 s*x 的大作中提到】
: 有theorem prover, 显然是选1.Ocaml
|
|
