高木くんがアクセプトされるまで見守るスレ ★10 (652ﾚｽ)
高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
500: ◆pObFevaelafK [sage] 2025/07/30(水) 19:25:05.58 ID:2+nx4jYa >>499 そうだから、初期条件だと書いているだろう http://rio2016.5ch.net/test/read.cgi/math/1753007638/500
501: １３２人目の素数さん [sage] 2025/07/30(水) 23:01:30.68 ID:s5Il96Rf >>498 >>500 論理式でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない 論理式で書けない代物なってるようしか見えない 書いた本人である高木くんが論理式に直せないなら、もうそれは諦めることをお勧めする そして論理式を書く手がかりなれば良いが、証明支援系使って書いたほうが書き手読み手共の精神衛生上いい フリーソフトで転がってる代物はいくつかある https://note.com/morikita/n/nf45b6e44964f http://rio2016.5ch.net/test/read.cgi/math/1753007638/501
502: １３２人目の素数さん [sage] 2025/07/30(水) 23:02:45.95 ID:s5Il96Rf >>501 >>498 >>500 訂正ね 論理式では書けない代物になってるようにしか見えない http://rio2016.5ch.net/test/read.cgi/math/1753007638/502
503: １３２人目の素数さん [sage] 2025/07/30(水) 23:05:53.61 ID:s5Il96Rf >>500 条件を外したあとに、もう一度 >k_4,k_5,k_6に共通素因数(整数倍の数)を持つようにする と戻しているように見えるのだが、それは初期条件、二段階目条件、三段階目条件とでも呼ぶのか…？ http://rio2016.5ch.net/test/read.cgi/math/1753007638/503
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s