>>988
残念なことに（？）、個人的な体感では、純粋数学の分野ではそのような
「計算するプログラムを作った」
「大事な定理を証明支援系で実装した」
ことは業績としてカウントされず評価もあまりされず、
「ふーん、面白い遊びを作ってるんだね、で数学は？」
という目で見られるような感覚があります（認知のゆがみかも知れません）。
ポスドク後半では上のような私の興味に合わせた活動をして、その布教もしており、
またプログラムを作る過程で発見した数学的事実の論文を書いたりはしていたのですが、
この数学に関するプログラミングの楽しさというのは、「数学とは別の自分」の発見でした。
運良く、話していた企業さんからそのような「数学の理論の実装」のような箇所を評価していただき、そこへの就職が決まった形となります。