ならないんだよなあ。 そもそも数学とプログラミングはモチベーションが違うんだよね。数学における証明に構成的証明と非構成的証明があるように、「手続き」というのは数学のごく...

機械学習エンジニアのいう数式をシステムに落とし込む作業 ソフトウェアエンジニアでいう、実務をシステムに落とし込むみたいなことしてるんですね。 それがエンジニアリングです。...

例の〇沼ソフトウェアおじさんが来るぞー