関数型(笑)金融工学(笑)