厳密に言うとうちの部署に配属された人ではないけど まぁ殆どうちの部署？ そんな人の学生時代の研究発表＋歓迎会 Formal Verificationな話と3次元配線問題 後半はグラフが出るのかと思いきや出なかった 興味の幅が広そうだけど何するのか余計にわからんな …