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