トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0557
132人目の素数さん
2009/02/13(金) 18:54:35
dim x as string
dim y as string
dim + as string
でできるじゃん
あとは配列にいれてソートしてイコールになればQED
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています