Coq、発音がおちんちんだからという理由で名前変えられてて笑った おちんちん定理証明エンジニア