「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

167(1): 2024/03/31(日)18:06 ID:954vZkOe(3/3) AAS
ただし>>160 は支持するぞ
公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい