公務員からエンジニアに転職する友人がいるんだが……