高木くんがアクセプトされるまで見守るスレ ★10 (699ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
500(3): ◆pObFevaelafK [sage] 07/30(水)19:25 ID:2+nx4jYa(6/6)
>>499
そうだから、初期条件だと書いているだろう
501(4): １３２人目の素数さん [sage] 07/30(水)23:01 ID:s5Il96Rf(4/7)
>>498
>>500
論理式でその初期条件とか条件を外すとかがどう表現されるのか全く検討がつかない
論理式で書けない代物なってるようしか見えない
書いた本人である高木くんが論理式に直せないなら、もうそれは諦めることをお勧めする
そして論理式を書く手がかりなれば良いが、証明支援系使って書いたほうが書き手読み手共の精神衛生上いい
フリーソフトで転がってる代物はいくつかある
https://note.com/morikita/n/nf45b6e44964f
502: １３２人目の素数さん [sage] 07/30(水)23:02 ID:s5Il96Rf(5/7)
>>501
>>498
>>500
訂正ね
論理式では書けない代物になってるようにしか見えない
503: １３２人目の素数さん [sage] 07/30(水)23:05 ID:s5Il96Rf(6/7)
>>500
条件を外したあとに、もう一度
>k_4,k_5,k_6に共通素因数(整数倍の数)を持つようにする
と戻しているように見えるのだが、それは初期条件、二段階目条件、三段階目条件とでも呼ぶのか…？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 4.683s*