「数学」をプログラミングするには2 (186ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
113: 03/08(土)15:54 ID:5FsN+R93(1) AAS
プログラムの証明といえば、契約プログラミングというのがあった（ある）ね
Kotlinなんかでもその機能は一応あるが
まC/C++でもassertを使えばその一部みたいなものか
と思えば単体テストを書くのはちょっとそれに近いノリなのかも
普通は有限の事例を試すだけなので証明とはいえんけど
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s