絵文字の困った問題 2022
引用元：https://news.ycombinator.com/item?id=44039864
これに対するめっちゃいいQuoraの回答があるよ： https://www.quora.com/How-do-you-find-the-positive-integer-s…
＞これに対するQuoraの回答
あのQuoraの記事はAlon Amitが書いたもので、ちなみにTFA（元記事）もAlon Amitを引用してるんだ。
だから彼の考えは後付けってことになるね。
聞いた話だと、彼らはLLMを使って質問と回答を生成してトラフィックを増やしてるらしいよ。
だからGoogleにどんなめちゃくちゃなこと入れても大体Quoraのページが出てくるんだ。
なんとかかんとか、dead internet theoryってやつだね。
あるredditスレッドで、{specific retailer} in {specific geographical region} のOPがChatGPTの「このテキストの他のバリエーションはいかがですか？」応答で終わってて、他のユーザーが楽しそうに返信してるけど、OPがbotと気づいてない。他のユーザーもbotかも。でもkarmaは増えるし、activityもあるし、{geographic region}メンバーだから、politicalスレッドでの意見はlegitってことか？
まあdead internet theoryだね、ほんと。
ああ、うんうん、diophantineとかelliptic curveとかWeierstrass formとか、退屈なおじさんみたいにゴニョゴニョ言ってるだけだろ。
早く答えを教えろよ！
154476802108746166441951315019919837485664325669565431700026634898253202035277999
36875131794129999827197811565225474825492979968971970996283137471637224634055579
4373612677928697257861252602371390152816537558161613618621437993378423467772036
小さい子に数学を教えるとき、変数xを「ふわふわの雲」や「星」などに置き換えてた。
子どもは面倒がったけど興味を持ち続けた。
xは特別なものじゃなく、「total number of kittens」って言葉でもいいんだって示すのが大切だったんだ。
＞「total number of kittens」って言葉でもいいんだ
数学のミニマリズムは数式いじる時は便利だけど、発表されると読みにくい！
「Okay here is an item doing some heavy lifting in this formula what is it for? hell if I know some joker labeled it ’φ’ 」
冗談だけど、プログラマーより数学者の方が命名下手だ。
論文由来のプログラムは最悪。
相関係数ならそう呼べ！
アイデア共有に言語があるだろ。
暗号化して”rho”と呼ぶなよ．
Unicodeには数学者向けのEnglish alphabetが13セットも余計にある。
多くのフリーフォントはこれらを普通の文字と区別しない。
これは晴眼者に、視覚障碍者が体験する困難を味わせる。
人々が斜体や太字代わりに使うと、screen readersは単語でなく「”d”かける”o”かける”g”」のような数式として読み上げるからだ。
ChatGPTに記事の問題解かせてみたんだ。画像をアップしたら、自信満々に推測して、計算して間違ってると判断して、何度も同じ推測を繰り返して試すんだよね。対称性も認識せず、最終的に解はないって強く断言してた。全く予想外で、今後のモデルの挙動に対する考えを改めるわ。https://chatgpt.com/share/682cce62-c53c-8003-be2c-2929395868…
Geminiの結果だよhttps://g.co/gemini/share/ab287b25648f
ChatGPT o3にも聞いてみたんだけど、11.5分も考えてた！
https://chatgpt.com/share/682d0993-db4c-8004-a66c-3908ef7203…
すごいね。「reasonable”な解がないのは確かだ。「reasonable”ってのは人間が頭で考えたり理解できる数字って意味で勝手に定義してるんだけどさ。Wolfram Alphaに繋がるChatGPTのバージョンなかったっけ？あれ試してみた？
＞ Sridhar Rameshってやつについてだけど、Sridharはプロのフォローだよ、数学とshitpostingの両方でPhD持ってる人なんてそうそういないからね。
このジャンル大好き！「Dantzig Sniping”って呼び始めたんだ。自分の例はこれね：
https://x.com/TheOisinMoran/status/1298305686082744320Some more context and related ones here: https://x.com/TheOisinMoran/status/1299124512240398336
この種のプロパティを持つ問題ってどうやって発見するの？
もう2025年なのに、作者はなんで変数名に実際のフルーツの絵文字使わないの？
複雑なCコードの変数名を絵文字に変えると理解しやすかった経験を共有するね。変数追跡しやすくなるし、構造も一目でわかるんだ。前に投稿した例：https://imgur.com/F27ZNfk。残念なことに、RustやJSみたいな現代語のほとんどはXID_Start/XID_Continueの推奨に従ってて、絵文字を識別子に使えないんだよ。
絵文字をアルファベットに変えるパーサー書くのって超簡単じゃないの？
プリプロセッサーは簡単ってのはその通り。でも開発体験は最悪。エディタがエラー出すからリネームや補完が動かないんだ。VSCodeでTypeScriptパッチして一時しのぎはできたけど、JSトランスパイラーやPrettierとか他のツールも全部パッチ必須で現実的じゃない。
参考：リンク
C#でフルーツ絵文字を変数に使ったGeminiの（力技っぽい？）解決策がここにあるよ。
リンク
いいね！たぶん動かないけど、絵文字はいい感じ。
追記：このコード、なんかDisneyのプリンセスの絵みたいだわ。よく見れば見るほど怖くなるやつ。
だね、これ本番環境に入れちゃだめだよ :laughing_emoji:
自分はログとかステータス画面とかコメントでは絵文字めっちゃ使うんだ。コード本体で使うのはあんまり考えたことなかったけど、なんかいい感じにコードを良くする方法ないか今度考えてみようと思う。
今が2025年だとしてもさ、その言語が作られた年はたぶん違うでしょ。
新しい言語でも絵文字サポートしないのはUnicode正規化を好むから。見た目同じでも形式違う単語を同じと見なすため。let café = 1; café += 1; みたいにエラー出るのはイライラするでしょ？これは非正規化言語で起きる。正規化は絵文字にも影響するし、新しい絵文字でルール変わる可能性もあるんだ。
この前64ビット文字コード使うアイデア思いついたんだ。そうすると各コードを8×8のビットマップとして解釈できる。文字ごとに一意のビットマップ表現が保証される。レンダリングには使わないけど、フォントがない時のフォールバックに使えるかもね。これで、見た目同じ文字が同じ値になるから、君が言ってる問題は多少避けられるかな。まあ、実装する気は全くないんだけど、ただの思考実験ってことで。
8×8フォント経験者だけど、その64ビット文字コードアイデアは問題多いよ。「a」とか「g」みたいに形２つで過度に一意になったり、見た目違うアルファベット（数学用とか）の区別が難しい。8×8は合成済み文字作るの難しいし。16×16ならマシだけど、Unicode正規化より容量ヤバいよ。
参考：リンク
英語話者が非ASCII文字サポートを盲目的に信頼してるの驚き。Windows 11のユーザー名まだASCII必須だし。今は再インストールよりマシだけど。ソースコードの非ASCIIコメント、AndroidやHTMLみたいな全部Unicodeのシステム以外だと結構怖いんだよね。
Swiftのドキュメントの初期の方に絵文字を変数名に使えるって載ってて、確かSwift 1.0ハンドブックの最初のページだったんだよね。あれ見てると、言語設計の元々の動機って絵文字だったんじゃないかって説があるんだよ。だって、文字列周りで面白い仕様がいっぱいあったし、例えば最初は”.length”メソッドがなかったとかね。
Swiftドキュメントの絵文字例はここだよ。https://docs.swift.org/swift-book/documentation/the-swift-pr…
イースターエッグ：例の名前dogcowはSusan Kareデザインの90年代Macアイコンが元ネタ。https://512pixels.net/dogcow/
”.length”がないのはUnicodeの複雑さの結果。コードポイント、コードユニット、書記素クラスターは1対1じゃないんだ。世界の文字体系、絵文字の複雑さだね。
うん、”.length”がない理由分かる。でも使う人の大半は気にしないから追加されたんだ。他の文字列機能も長さが不確かなことに合わせて設計されてて、n番目アクセスがO(n)だったり、substringが複雑だったりね。他の言語より考えて作られてて複雑だよ。他の言語も拡張書記素クラスターは使うけど、絵文字が本当の動機だった気がするね。
はっきり言うと、このトレードオフは複雑な絵文字をすごく気にする場合に理にかなってるけど、そうじゃないならあまり意味がないんだ。
他のプログラミング言語の文字列も書記素クラスターを格納できるけど、それを中心に最適化はしてないんだよ。
当時他に見つけた唯一の例は、現代的じゃない別の韓国語の文字体系だったな。
もっとコメントを表示（1）
‘4’の代わりに他の定数を使うと、本当に巨大な最小解が出てくることがあるんだよ：https://observablehq.com/@robinhouston/a-remarkable-diophant…
ああ、あのバカげてるけど素晴らしい、小さなテキストエリアに1億2000万桁の数字をオンデマンドで読み込むやつ、マジで大好き！
あれ、楽しかったよ！誰かが評価してくれて嬉しいな。
S3がRange: headerをサポートしてるおかげで、ああいうことが驚くほど安く効率的にできるんだ。
その問題が最初に出た時を覚えてるよ。数論のセミナーで大笑いしたんだね。
数論とか変なグラフへの深い話はありがたいけど、元のリンゴ/バナナのパズルって何がトリッキー/分かりにくいはずなの？
簡単に混乱するところがあって議論になるように仕向けてるの？それとも簡単だからみんなが急いで答え見せびらかしてるだけ？（私は10, 4, 2になったけど、もしかして混乱したかな？）
”仕掛け”はね、最後のバナナの房には3本しかなくて他のは4本なんだ。最後の式ではココナッツが1つだよ。これは1 + 10 + 3って解釈できるみたいだね。
クエリパラメータの”srsltid”っていらんやつだよ。このリンク見てみて。https://artofproblemsolving.com/community/c2532359h2760821_t…
elliptic curvesの理論ってめちゃくちゃ奥深いんだわ。記事にあった”2Pとか無視”ってとこ補足するとね、線と曲線の交点って実は「点どうしの足し算」っていうグループ演算になるんだよ。この理論、あのelliptic curve cryptographyにも使われてて、計算はプライムpで割った余りでやるんだけど、ある計算（スカラー倍算）が難しいから暗号として使えるわけ。めっちゃ面白いよね。
馬鹿な質問かもだけど、どうしてそれが一番小さいって分かるの？
全然馬鹿な質問じゃないよー。Alon Amitが上にあるQuoraの記事で答えてるみたい。これ見てみて。https://www.quora.com/How-do-you-find-the-positive-integer-s…
昔は数学めっちゃ得意だったんだー、州の大会で優勝したり奨学金もらったりするくらい。ここで書かれてる内容は簡単に追えるのに、自分でこういう道筋を立てるなんて全然無理なのが悲しいわ。
こんなの誰も一人じゃできないって！高校レベルの才能だけじゃ無理で、elliptic curvesとか数論の教科書や論文を読み込まないとだよ。PoincaréとかEulerとか、先人の助けがあってこそ。あなたの話聞くと、ちゃんと数学やれば絶対できる才能はあると思うよ。教えるスキルも大事だけどね。
写真には95パーセントが解けないって書いてあったけど、本当は何パーセントくらいなんだろうね？あなたの解説読むと、たぶん99.999パーセントに近いと思うわ。
元々はね、もっとで、99.999995パーセントくらいだと思うよ。
余談だけどさ，昔IMOの銅と金のメダリストと一緒に仕事したことあるんだ。マジで頭良かったよ。あとさ，一度Erdősと話す機会があったんだけど，そのチャンスをもっと真剣に受け止めるべきだったって後悔してるんだよね。
なんかさ，数学は一人で，個人でやんなきゃいけないって考え方，抜けてるんじゃない？これって，数学が科学と違うところなのかな？だって，EulerとかPoincaréとかが，”数学をやってる”時に，一緒にいてくれるわけじゃないでしょ？結局，数学はチームゲームじゃない。でも他の全部はチームゲームなの？？
合同とかGaussの消去法を教えてる時，生徒にこう言うんだよ。「期末試験は一人で解くか，それとも横の椅子に座ったGaussの幽霊と一緒に解くか，どっちかだよ。」ってね。
それ良いね。「巨人の肩の上に立つ」っていう言い方，これはよくある表現だし真実も捉えてるけど，「歴史上最高の数学者たちとチームを組む」っていうのも，すごく面白いな。まあ，そういうチームだと自分が一番弱いリンクなのが残念だけどね。
＞ 結局，数学はチームゲームじゃない。でも他の全部はチームゲームなの？？ ごめん，まだ早い時間だし，皮肉言ってるのか分からないな。そうだと良いんだけど？数学はものすごくチームゲームだよ。
少なくとも，それは既知の解決法があって，標準的な手順でそれほど多くのステップを踏まずに得られる問題だったんだね。解があるかどうかも不明な，見かけは単純なDiophantine equationを選んだ可能性もあったのにさ。こことか見てみて。
https://thehighergeometer.wordpress.com/2021/07/27/diophanti…
本当のジョークはさ、高等数学とか知らない普通のFacebookユーザーが、解こうとして騙（だま）されて、自分でdiophantine equationsとかelliptic curvesの解き方を見つけ出しちゃうかもってとこなんだよね。全部、イチゴがいくつかってコメントして、自分は３％に入ってるって証明したいからなんだよ。
ハハ、そうだね。でも多分もっと０．０３％（ぜんぜん冗談抜きで）かもね。
