コラッツ予想とおにぎり屋さんの二重構造
― 有限から「すべて」へ向かう数学と、「この先大丈夫か?」から今日へ戻る商売 ―
コラッツ予想について考えていた。
いろいろな角度から眺めているうちに、ふと気づいたことがある。
コラッツ予想は、最初から難しいことをしているわけではない。
むしろ入口は、とんでもなく単純だ。
ところが途中で、問いの大きさが突然変わる。
同じ階段を登っていたつもりなのに、次の一段だけ高さがおかしい。
そんな構造になっている。
そして、そのことを考えていたら、なぜか「おにぎり屋さん」が頭に浮かんだ。
まったく関係なさそうな二つだが、並べてみると妙な二重構造が見えてきた。
前半|コラッツ予想――次の一段だけ高さがおかしい
コラッツ予想の規則は単純だ。
正整数 n を一つ選ぶ。
偶数なら2で割る。
奇数なら3倍して1を足す。
そして、出てきた数に同じ操作を繰り返す。
たとえば、
6
→ 3
→ 10
→ 5
→ 16
→ 8
→ 4
→ 2
→ 1
となる。
ここまでは普通の計算である。
初期値を決める
→ 規則を適用する
→ 次の値が決まる
→ また規則を適用する。
有限回なら、実際に計算して確認できる。
100回でも1000回でも、
「ここまで計算したら、こうなった」
と言える。
計算機を使えば、その観測範囲をさらに広げることもできる。
ここまではずっと、有限の世界にいる。
ところが、突然問いが変わる
有限の計算を続けていると、自然に一つの問いが現れる。
では、どんな正整数から始めても、最終的には1へ到達するのか?
これがコラッツ予想である。
ここで、それまでとは問題の種類が変わる。
それまでは、
ある n
→ 計算
→ 観測
別の n
→ 計算
→ 観測
さらに別の n
→ 計算
→ 観測
だった。
ところが次に求められるのは、
すべての正整数について言えるのか
である。
つまり、
有限観測
→ 有限観測
→ 有限観測
→ ……
と同じ階段を登っていたところから、
【境界】
→ すべての正整数について保証する
という別のステージへ移る。
次の一段として、同じ種類の有限観測を要求されたわけではない。
一般性を保証する証明が必要になった。
有限観測と全称保証
ここは区別しておきたい。
これは、
「コラッツ予想の問題設定がおかしい」
という話ではない。
数学が悪いわけでもない。
無限が悪いわけでもない。
有限の計算結果をいくら積み上げても、それだけでは「すべての正整数について成立する」ことを証明したことにはならない。
単純に、
問いの階層が変わった。
のである。
図にすれば、
有限に計算できる
→ 個別の軌道を確認できる
→ 観測範囲を広げられる
→ 【境界】
→ すべての正整数を対象にする
→ 一般保証が必要になる
→ 証明の問題になる
となる。
だからコラッツ予想を観測問題として見直すなら、
有限に確定できる範囲では、何が構造として言えるのか?
という別の問いを立てることもできる。
観測できたものは確定。
そこから論理的に導けるものは導出。
まだ保証できないものは未確定。
観測していない先は観測外。
これはコラッツ予想を解くことではない。
ただ、
どこまでが有限観測で、どこから一般証明が必要になるのか
を分離することはできる。
ここまで整理したところで、なぜか別のものが気になった。
おにぎり屋さんである。
後半|おにぎり屋さん――それだけで商売するのか
おにぎり屋さん。
改めて名前を見ると、なかなか強い。
ラーメン屋。
パン屋。
ケーキ屋。
聞き慣れているから特に何とも思わない。
しかし、
おにぎり屋さん。
米を炊く。
具を入れる。
握る。
海苔を巻く。
そして店主は決断する。
「これで商売をする」
なかなか勇気がある。
商品領域をかなり限定している。
ところが「商売」と言った瞬間、おにぎりとは関係なく巨大な問題が発生する。
家賃を払えるのか。
材料費を払えるのか。
人件費を払えるのか。
店主は生活できるのか。
つまり、
おにぎりだけで、本当に大丈夫なのか?
である。
せっかくなので、本当に考えてみる。
「大丈夫なのか?」では計算できない
「おにぎり屋さんだけで食べていけるのか?」
この問いは大きすぎる。
未来の客数は分からない。
材料価格も変わる。
天気も変わる。
競合店ができるかもしれない。
だから、問いを分解する。
商売として成立するか?
→ 月にいくら残れば成立とする?
その金額を残せるか?
→ 月商はいくら必要?
その月商を作れるか?
→ 1日いくら売ればいい?
その日商を作れるか?
→ 客単価はいくら?
その客単価を作れるか?
→ 1人に何を何個買ってもらう?
すると、
「この先、この店だけで生きていけるのか?」
という巨大な問いが、
「今日、何人に何個売ればいいのか?」
まで降りてくる。
急に観測できる問題になった。
架空の「おにぎり屋さん」を作る
ここからの数字は実在店の収益ではなく、商売の構造を見るための仮定とする。
小さなテイクアウト型店舗。
月26日営業。
平均客単価500円。
1日100人。
この500円・100人という設定は、J-Net21が公開しているおにぎり専門店の開業モデルでも使われている。
計算すると、
500円 × 100人
→ 日商5万円
5万円 × 26日
→ 月商130万円
年間では、
130万円 × 12
→ 年商1,560万円
となる。
では、
月商130万円なら、おにぎり屋さんは大丈夫なのか?
まだ分からない。
売上は利益ではない。
130万円は店主の財布には入らない
130万円の売上から、
米
→ 具材
→ 海苔
→ 包装
→ 廃棄
が発生する。
さらに、
家賃
→ 人件費
→ 水道光熱費
→ 決済手数料
→ 消耗品
→ その他経費
もある。
ここでは構造を見るためだけに、
食材・包装等 30%
人件費 20%
家賃 10%
その他経費 15%
と仮定してみる。
月商130万円なら、
食材・包装等
→ 39万円
人件費
→ 26万円
家賃
→ 13万円
その他経費
→ 19万5,000円
残りは、
32万5,000円。
もちろん、これは店主の手取りを意味しない。
税金、設備更新、借入返済など、それぞれの店によってさらに条件が変わる。
それでも一つの構造は見える。
「おにぎりだけで大丈夫なのか?」が、数字を置くことで有限な問題へ変わった。
100人来なかったらどうする
では、1日70人しか来なかったらどうする。
客単価500円なら、
500円 × 70人 × 26日
→ 月商91万円
50人なら、
500円 × 50人 × 26日
→ 月商65万円
かなり景色が変わる。
しかし、
「100人来なかった。終わり」
とは限らない。
客数が足りない
→ 客単価を上げられないか?
客単価500円
→ 650円
それでも足りない
→ 家賃を下げられないか?
人件費が重い
→ 一人で回せる規模にできないか?
廃棄が多い
→ 仕込み量を変えられないか?
昼しか売れない
→ 営業時間を変えられないか?
店頭客だけでは足りない
→ 予約や法人注文を組み合わせられないか?
巨大だった「大丈夫なのか?」という問いが、
動かせる有限変数の集合
へ変わっていく。
ここで二つが反転する
ここまで来て、ようやくコラッツ予想とおにぎり屋さんを並べられる。
同じ理論ではない。
数学と経営を同一視するつもりもない。
ただ、「問いと観測の距離」だけを見る。
コラッツ予想
単純な規則
→ 有限計算
→ 有限観測
→ 観測範囲を広げる
→ 【境界】
→ すべての正整数について言えるのか?
つまり、
有限 → 全称保証
へ向かう。
おにぎり屋さん
おにぎりだけで商売する
→ この先大丈夫なのか?
→ 必要利益は?
→ 必要月商は?
→ 必要日商は?
→ 客単価 × 客数は?
→ 今日何人来た?
つまり、
巨大な不確定性 → 有限観測
へ向かう。
進行方向が逆なのである。
結論|未来を証明しなくても、おにぎりは握れる
コラッツ予想では、
有限に確認できる個別軌道から、
「すべての正整数について、いつか必ず」
という一般命題へ進む。
そこで問題の階層が変わる。
一方、おにぎり屋さんは、
「この店だけで、この先ずっと大丈夫なのか?」
という、とても大きな不確定性を抱えて始まる。
しかし店主は、未来すべてを証明しようとはしない。
今日は何人来たか。
何個売れたか。
客単価はいくらだったか。
原価はいくらだったか。
何個余ったか。
昨日と何が違ったか。
観測できるものまで問いを小さくして、次の判断をする。
だから二つを並べると、妙な反転が見える。
コラッツ予想
有限を積み上げる
→ 境界
→ 「すべて」を保証したい
おにぎり屋さん
「この先すべて大丈夫か?」
→ 分解する
→ 今日の有限へ戻る
片方は有限から無限方向へ進み、
片方は不確定な未来から有限へ戻ってくる。
コラッツ予想を考えていたはずなのに、なぜか最後にはおにぎり屋さんの経営計画ができてしまった。
ただ、こうして並べてみると、この寄り道も案外悪くない。
未来全部を保証できなくても、
今日観測できるものはある。
今日判断できることもある。
そして、おにぎり屋さんの店主は今日も、
未来永劫の営業可能性を証明する代わりに、米を炊く。
