motolog

Everything I love in my life.

2013-10-06から1日間の記事一覧

プログラミングと数学の証明の共通点

プログラミング初心者の雑感だけれど、たまにプログラミングは数学の証明と類似しているなーと思います。両者の共通項は次のような感じ。 解くべき問題の条件が与えられており、 証明すべき命題(完成形)を示すことが目的であり、 その道筋は当事者に委ねら…

© 2018 Motoki Yoshida