18/05/26 20:56:17.99 SzRdqnm/.net
>>127
> アイディアがあるなら具体的に頼む。
ありがとう。
生煮えなので申し訳ないのだが、右（２の冪乗）から来る
値は、n ≡ 1(mod 3)か n ≡ 2(mod 3) だというのが
解っている（3 の倍数だったら、下((2n -1 が 3 の倍数になるので、
(3n + 1) / 2 の逆操作ができない)へ行けない)）と思う。
そうすると、わりとスケスケな感じで自然数の空間が
視えてくるような気はするのだが、「数直線」という
言葉があるように、フツーは自然数というのは一次元なんだよな？
そのあたり、なんかしらのパラダイム・シフトが必要な気はするんだが、
「それが具体的に何か」と訊かれても、「う～ん …」になっちゃうのだ。
「6 で割って 2 余る」とか「4 で割って 1 余る」とかいった話は
あるんだけど、6 と 4 の最小公倍数って 12 なんで、「(mod 12) って
ありそうな感じじゃねぇ？」とか言ってみただけな部分はあるわけですよ。
具体的な話をすると、「場合分けがパンクする」っつっても、
Tic-Tack-Toe＜（n-th Queen ではない）8-Queen ＜ make 10
＜ ペントミノ ＜ 四色問題 と並べてみると、組合せ的な話であれば
ペントミノ程度の話なんじゃねーかと思ってるワケですよ。
ただ、「どういうコンセプトで捉えたら、数学的かつ計算器数学的な
問題に落とせ