同じ部署の人が，Coqの話をしていた． 終業後，歓送迎会があった．僕が部に入ったのが今週だが， 出て行く人もまたいるようだった．出て行く人とはあまり長く話せなかったし， 偉い人もあまり話せず．今は大して技術もないし， なんというか立ち位置が難しい…