青ポスの部屋

旅と技術とポエムのブログ

2019-11-08から1日間の記事一覧

公理的数学論とオブジェクト指向プログラミング

公理とは プログラミングで公理に当たるもの オブジェクト指向の数学的根拠 先日公理系について書かれた良記事を見つけた。 arai-no-math.hatenablog.jp 自分は数学系ではないが、インスピレーションを受けたので、まとめてみたい。 公理とは 議論を始めるに…