数式でリスクを解き明かす──ソフトウェアエンジニアがアクチュアリーへ転身し、あいおいニッセイ同和損保を選んだ理由