C++で変数を使わずに1+1=2を証明する（ペアノ算術による証明） - pyopyopyo - Linuxとかプログラミングの覚え書き -

C++で変数を使わずに1+1=2を証明する（ペアノ算術による証明） - pyopyopyo - Linuxとかプログラミングの覚え書き -

プログラミングは得意だけど数学は苦手． プログラミングはわかるけど数学はわからない． そういうとき...概要を表示 プログラミングは得意だけど数学は苦手． プログラミングはわかるけど数学はわからない． そういうときは数学の話をプログラミングの話に置換して考えてみましょう． お題：1+1=2の証明 例として 1+1=2 の証明を取り上げます ja.wikipedia.org ここにある「ペアノ算術による証明」をc++で実装してみます． c++を使った 1+1=2の証明（ペアノ算術による証明） c++を使って 1+1=2を証明します． ただし，定数や変数，加算の演算子"+"は使用しません． 変数や演算子は使わずに「型」を使って 1+1が2になることを示します． 第１ステップ：c++で整数を定義する 変数や定数を使わず，整数自体を「型」で定義します． 整数 Zero の定義 整数のゼロ（"0"）をZero型と定義します． struct Zero {}; 整数 One の定義 整数の1に対応する型をOne型とし