兩人都是說幹就幹的型別，在和周教授商定後，葉非就入駐計算機算力實驗室。
“周教授，你手下的研究生呢？”第二天，葉非來到算力實驗室，看到整個實驗室只有周教授一人，沒有其他人。
周教授道：“這實驗室就我一人。”
“你一人？”葉非驚愕：“你手下研究生不在這實驗室？”
“我手下沒研究生。”
“沒研究生？”葉非驚訝，還有教授手下沒研究生的？
“本來有的，但走了。”
“申請調走了？”葉非問道。
讀研或讀博，如果發現導師不行，想換導師，可以有兩種選擇。
一、退學重考，重新選學校，重新選導師。
二、向學校申請換導師。
兩種選擇都比較困難。
如果重考，那又要經歷一次考研經歷。
參加過考研的人都懂，考研非常的痛苦，不亞於高考。
第二種，必須有正當理由，還要與現任導師溝通好，然後才能向學校申請換導師。
但換導師比較困難，因為這涉及到很多事情。
如果導師手下研究生減少，會減少導師手下課題經費，還有很多其他問題。
所以，非不得已，學校不會為學生換導師。
“嗯！”周教授點頭：“我們開始吧！”
“行！”葉非雖然對這事很疑惑，但也沒多問。
“我們分工合作！”周教授道：“我研究計算性理論方面，你研究集合論方面。”
圖靈等價問題，是關於可計算性理論和集合論兩大領域邊界上的問題。
可計算性理論屬於計算機數學領域，又叫做演算法理論。
“可以！”葉非點頭。
一週後！
葉非道：“周教授，我集合論的模型已經做好了，你什麼時候能好？”
“你的好了？”周教授驚愕。
“是啊！”葉非點頭。
“伱確定你的是對的？”