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

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

418: 2024/04/24(水)07:26 ID:sd26LqbM(1/7) AAS
>>415
お前の首の上につけているものはなんだｗ

421: 2024/04/24(水)11:44 ID:sd26LqbM(2/7) AAS
ポエムしか書けないアホ

423: 2024/04/24(水)12:18 ID:sd26LqbM(3/7) AAS
馬鹿だね、ただの道具

426: 2024/04/24(水)16:07 ID:sd26LqbM(4/7) AAS
数学知らないんだろ

427: 2024/04/24(水)16:28 ID:sd26LqbM(5/7) AAS
外部ﾘﾝｸ:leanprover-community.github.io

こういう話をしてるんだよ

430: 2024/04/24(水)17:27 ID:sd26LqbM(6/7) AAS
意味不明を繰り返す爺

435: 2024/04/24(水)21:01 ID:sd26LqbM(7/7) AAS
ソフトウェアは道具だろ、ボケ