一、
1. 一上来问我在硕士阶段做过什么项目(Project),我说没做过什么相关项目,只是自己做XandS做着玩的。他说他们那边的授课型硕士和研究型硕士都要做项目,不过不是大的是小的那种,我说哦,那我在上课的时候做过一些。
2. 他就继续问我说都学过哪些课程和SW相关的(汗),我说学过两门,因为我们的硕士比较general,不象他们可能从头到尾都focus在一个东西上,我还学了诸如cryptography,abstractalgebra之类的东东…他说没关系大家都一样(晕倒).
3. 那你就给说一下你们学的SW相关的课程吧.这下总算可以发挥一下了,从Cgraph开始讲,X、R、D、O、L,等等。而WS呢,则是和SW相关的,呵呵。
4. 那你们学L是怎么学的呢?我说是结合O学的,对应O的是S吧,然后把它们的每一个constructors都拿出来掰一掰.他说OK,好方法…
5. 我看你本科的时候学过很多计算机相关的课程,那你对逻辑学过什么吗?呵呵我说我学过数理逻辑,其中有P和F,它们的Sand C,以及S和F.还有,我还学过它们的相关的证明算法(多嘴).
6. 好,那说说它们的相关证明算法吧.…P当然就直接搞定了,F我知道R,还有相关的一些东西,比如S,H模型啊什么的.R是个S的,不好,不如T.
7. 哦?那你说说什么是S?晕,说这个的时候我忘记了“命题”怎么说了,幸亏旁边有金山词霸…那就是说,….
8. 恩,不错,你对F和L怎么看?或者说,它们之间有什么关系?呵呵,L是F的真子集,我在SW课程的finalproject就做的是一个把L转成F来形式表示,并且用R来消解的东东.
9.(感兴趣)那你做R的时候,你是自己实现R的算法,还是用现成的呢?其实我最后只是给出了一个转换方案,并没有做真正的R,但我觉得他既然这样问了,我只好选一个,那就后面那个吧,因为自己去写实在是太难了,而且只有一个月的时间。
10. I think you made the right choice.那你用的是什么R呢?我的天啊露怯了!只好说:对不起时间太久我实在是忘记了…
11. 那好吧,那你总记得那个R是怎么用的吧?我就套着R'去说了…好象是把东西formalize以后装到R上面去Q,然后它就给你返回结果了…
12. 哦?那你的意思是它是个WS咯?我说那倒也不能说是吧,因为网上很多东西都是这个样子的,输入一个串,submit,然后得出结果,象google一样…但你总不能说google就是个WS吧.他笑说是.
13. 你为什么觉得X and S的FM重要呢?这个是偶事先准备的,说什么理论联系实际,实践需要理论的指导…又把O和L的关系拿来类比,说L之于O不是也很重要么.他说恩.
14. 我看你还学了AI,那上面学了些什么?我说我学了逻辑,还有SC,FandBC,甚至一些P的方法…总之,用的书是AI....他说我知道那本书,good book.
15. 好,general questions就到这吧.看来你和我们很related.(啊?就这就很related?)下面说一些pragmatic的东东,你好象申请了一个scholarship(呵呵scholarship这个词还是我提示他的),那个东东需要我们先admit你吗?我说这个倒也不一定,但你们先admit我总是会有些帮助吧.
16. 我看你写的funding还有一个是有a little internal funding,那是啥东东啊?我说internal当然是自己掏腰包啦…但是您来也知道俺们中国人都穷困,没多少银子,不能和英国人比啊。他说呵呵那是(这个时候气氛很happy,hiahia).
17. 如果(请注意是如果)偶们要你的话,你啥时候能来?九月吗?恩,是的,八到十月都可以,总之是秋季嘛。
18.最后一个问题:如果(请注意还是如果)偶们要你的话,你有多大的概率能来?诚实地回答,如果Cam也要我,我就会考虑一下.(他说Cam啊,恩,reasonable.)当然我会仔细地权衡,因为要知道您老是我们实验室的集体偶像啊!(他笑)而且我会尽快把我考虑的结果知会您.
19. 最后我向他索要了一分钟时间说fina lwords: It has been a great pleasure and honor to have such a wonderful discussion with you.Thank you for your interview andyou’re your effort on me. Finally, wish you all the best as a representative of our laboratory.