两人都是说干就干的类型，在和周教授商定后，叶非就入驻计算机算力实验室。

“周教授，你手下的研究生呢？”

第二天，叶非来到算力实验室，看到整个实验室只有周教授一人，没有其他人。

周教授道：“这实验室就我一人。”

“你一人？”

叶非惊愕：“你手下研究生不在这实验室？”

“我手下没研究生。”

“没研究生？”

叶非惊讶，还有教授手下没研究生的？

“本来有的，但走了。”

“申请调走了？”

叶非问道。

读研或读博，如果发现导师不行，想换导师，可以有两种选择。

一、退学重考，重新选学校，重新选导师。

二、向学校申请换导师。

两种选择都比较困难。

如果重考，那又要经历一次考研经历。

参加过考研的人都懂，考研非常的痛苦，不亚于高考。

第二种，必须有正当理由，还要与现任导师沟通好，然后才能向学校申请换导师。

但换导师比较困难，因为这涉及到很多事情。

如果导师手下研究生减少，会减少导师手下课题经费，还有很多其他问题。

所以，非不得已，学校不会为学生换导师。

“嗯！”

周教授点头：“我们开始吧！”

“行！”

叶非虽然对这事很疑惑，但也没多问。

“我们分工合作！”

周教授道：“我研究计算性理论方面，你研究集合论方面。”

图灵等价问题，是关于可计算性理论和集合论两大领域边界上的问题。

可计算性理论属于计算机数学领域，又叫做算法理论。

“可以！”

叶非点头。

一周后！

叶非道：“周教授，我集合论的模型已经做好了，你什么时候能好？”