请问是姚期智同学吗？