AIに聞いてみただけだから確実ではなく個人的な予想に過ぎないけれど
LEANには排他的論理和に関す表す機能？が無いらしくMathLibに載っていないらしい
排他的論理和はc言語やPythonはハット記号「^」だけれども
Basicやネット上では乗数で用いられているので実装が難しいと予想
ＷHat？状態な予感
【数学】ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ [すらいむ★]
■ このスレッドは過去ログ倉庫に格納されています
135名無しのひみつ
2026/05/02(土) 15:12:57.30ID:RKwZurj1■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「袋麺の王だと思ってる」 男性が選ぶ“麺がうまい袋麺シリーズ”1位に「下手なお店よりおいしいと思います」 [パンナ・コッタ★]
- 【ブランド米】山形の雪若丸、食味は8年連続「特A」なのに販売振るわず 勝負の秋に「今年こそ」 [蚤の市★]
- 「解党」の中道改革連合、交付金満額受領に批判集中…最終的に新党「民主改革の会」が引き継ぐ可能性も [煮卵★]
- 自転車交通違反の“反則金”の裏に警察の苦しい懐事情… 警察官僚の悲願だった“反則金化”とカネの行方 [煮卵★]
- 【自動車】残クレ650万円で買った「アルファード」わずか8ヶ月で廃車に…まだ残価580万円あるのに全部借金？ 相手のいる事故でも？ ★3 [ぐれ★]
- 【STARTO ENTERTAINMENT】timelesz猪俣周杜容疑者 なぜ釈放されない?軽傷の傷害事件では異例…10日間の勾留請求が認められる [Ailuropoda melanoleuca★]
- Youtuber、悩む 高市総理をほめるのと叩くの、どちらがバズる？ [147827849]
- 【悲報】ONE OK ROCKのtaka、エドシーランを擁護して世界で炎上、全てを失う [124690655]
- 【悲報】40歳独身女性狂う「結婚もできないし、仕事もつまらない。趣味もない。このまま死ぬまで50年。何を楽しみに生きればいいの？ [257926174]
- 【SW暇な奴来い】あんかで指定されたものを全力で探してうpするスレ
- 【国民食】ローソンの贅沢弁当、きょう発売🍱 [583597859]
- 【名古屋悲報】中国代表スタッフ「これは先進国の国際大会じゃない」 [782460143]