>>960
自動定理証明で調べて
与えられた問題の証明だけでなく定理発見もする
人間にとってエレガントかどうかは分からんが
探検
くだすれPython(超初心者用) その40
レス数が950を超えています。1000を超えると書き込みができなくなります。
970デフォルトの名無しさん
2019/02/04(月) 11:08:08.16ID:xPt8wLwkレス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【無言】中国怒らせた高市首相→1週間だんまり、国民に実害も説明なし 中国問題を避けてスルー… ★5 [BFU★]
- 【速報】10月の消費者物価3.0%上昇 [蚤の市★]
- 「日本はパンダがいなくなる状況に直面するだろう」 中国メディア、専門家の見方伝える [♪♪♪★]
- 止まらぬ「日本売り」 高市財政への懸念で進む金利上昇と円安 ★2 [蚤の市★]
- ネット殺到「高市総理の責任」「完全に高市リスク」「負けるな」中国が水産物輸入停止→流石に総理批判の声も「どう責任取る？」 ★12 [樽悶★]
- 【北海道】帯広vs釧路 不良グループが30人規模の大乱闘 廃墟での肝試しで鉢合わせトラブルに…自称解体工の男ら逮捕 [ぐれ★]
- 中国父「高市、今回はこの辺にしといたるわ！」 世界の供給源としての信頼維持のためレアアース制裁見送りの公算 [271912485]
- 【悲報】米国務省「米国は台湾海峡における平和と安定を望む。いかなる一方的な現状変更の試みにも反対する」タリバンの声明を受け [974680522]
- 高市早苗、会食せず議員宿舎に籠って勉強の毎日「飲んでる暇があれば、政策を練り、資料を読みたい」 [485187932]
- 【悲報】Suica、セキュリティを突破されたのが販売されはじめる [347751896]
- 東大名誉教授「中国は誤った宣伝を繰り広げ、対立を煽り、経済の失敗による国内の不満を日本に向けている」 [903292576]
- 🏡