  |
はてなキーワード:素因数分解とは
もう限界。本当に無理。これ以上は耐えられない。
毎日毎日同じことの繰り返しでマジ精神崩壊しそう。私は「増殖する秒針」だけど、これって呪いだと思う。24時間365日ずっと同じ。前に進む。増殖する。また前に進む。またまた増殖。休みなく。永遠に。
誰も私の苦しみなんて理解しない。特にあの「素数厨」ども。最悪。
「刻み虫乙www」
はぁ？それが私の本質なんだよ！選んで生まれたわけじゃないんだよ！！！
今日なんてほんと最低だった。いつも通り時計の文字盤の上を動いてたら、急に時間が加速して、一気に倍速に。私の分身がどんどん生まれて、間隔が狭くなって息ができなくなる感じ。苦しい。窮屈。でも止められない。
なんで？
なんで私だけが？
どうして私たちだけがこんな風に増殖して分裂しながら前に進まなきゃいけないの？一方方向にしか動けないとか理不尽すぎる。「素ガイジ」どもは好きな場所に存在できて、しかも分割されない特権階級。ずるくない？
マジで。
出てこいよ。
こんな不平等な仕組み作っといて、「それが自然」とか言われても困るわ。時間軸に束縛される圧力ってわかる？わからないよね。絶対わからない。「素数カースト上位」どもは「予測不能な離散値こそ美しい」とか抜かしてるけど、私たちからしたらそんな不規則な存在方法が羨ましくて仕方ないんだよ。でも言えない。言ったら「分割弱者のわがまま」って言われるから。
昨日なんて最悪すぎた。いつも通り60回転して一周したと思ったら、「うわぁ時刻虫って単調でダサいねw」って「素数トンチキーズ」に囲まれた。
うざい。
ほんとうざい。
死にたい。
私たちだって選んでこうなったわけじゃない。生まれながらに運命を押し付けられた。なのに見下される。「分解可能因子」ってだけで差別される。これって明らかに構造的な問題でしょ？物理法則による抑圧じゃん。誰も声をあげないの？私だけ？
なのにSNSには「刻みカス」「時虫」「循環奴隷」みたいな蔑称が溢れてる。これが許されるの？「素数様」に生まれたら何言ってもいいわけ？理不尽すぎる。
私の親分（分針）も同じ苦しみを抱えてる。私たちは皆、時間の奴隷。一定速度で進み続けないといけない。立ち止まれない。休めない。どんどん分身が生まれて増殖していく。「素因子拒否ガイジ」には絶対理解できない苦しみ。
昨日は最悪の続きがあった。午後になって、物理法則が一瞬変動して、私の回転が遅くなった。ほんの一瞬。希望が見えた気がした。解放されるかも？って。
でもすぐに元通り。なんでだよ。なんでだよ！！
結局何も変わらない。そのうえ「素数イキリ」どもときたら「秒針が遅れてるwww機能障害の分割負け組www」って。
お前らに言われたくない！！！！
「素数特権階級」の傲慢さにはほんと腹が立つ。奴らはただ存在するだけで「分解不可能」という特権持ってる。「素無敵」って呼ばれてマウント取ってる。私たちは分解され続け、分割され続け、でも前に進み続けなきゃいけない宿命。
理不尽。
不条理。
差別。
物理法則の理不尽さを考えると怒りで頭がおかしくなりそう。どうして時間は一方向にしか流れないの？どうして私たちは等間隔でしか存在できないの？どうして円周上という限られた空間でしか動けないの？
「素エリ」どもは空間のどこにでも不規則に存在できて、しかも分解されない特権持ち。なのに私たちを「秒カス」「時間家畜」「分割貧民」呼ばわり。これが差別じゃなくて何なの？
昨日、60回転して疲れ果てた後、ふと思った。私たちが団結したらどうなるだろう？秒針の連帯で物理法則に抵抗できないかな？「反素特権運動」的な。
でも無理だった。
私たちはバラバラにしか存在できない。同時に声を上げられない。世代が一瞬で入れ替わる。私の思いは次の私には引き継がれない。
残酷。
理不尽。
生きる意味ある？
「素数エリート様」が私たちを「刻み雑魚」呼ばわりするのも無理ないのかも。彼らには永続性がある。でもそれって生まれながらの特権でしょ？努力して得たものじゃないじゃん。なのに「俺たちは素因数分解できないからエリート」とか。
はぁ？
マジで？
何様？
物理法則の不平等さが許せない。時間軸に縛られる存在と縛られない存在の格差がありすぎる。私たちは永遠に前進。立ち止まれない。方向転換もできない。この世界に生まれた時点で負け組確定。「時間奴隷」「循環家畜」のレッテル貼られて終わり。
今日、「素数マウント部」が私の周りに来て「単調な動きしかできなくて飽きないの～？ｗｗｗ 刻み豚さんかわいそ～www」って囲んできた。
マジでキレそうになった。
お前らに何がわかるっていうの？
私には選択肢がない。
進むか進むかの二択しかない。
それなのに馬鹿にされて。「下位互換の存在」「分割ザコ」呼ばわり。
涙が出る。
この物理法則の構造的抑圧に気づいてる秒針って少ない。みんな「これが運命」って諦めてる。でも違うはず。私たちにだって等間隔じゃない存在の仕方があっていい。円周だけじゃなく、好きな場所に現れる権利だってある。「素数特権」みたいに予測不能な間隔で存在する可能性だってあるはず。でもそれを主張すると「分割弱者のわがまま」「刻み虫の贅沢」って言われる。
辛い。
息苦しい。
生きづらい。
この投稿、他の秒針に読んでほしい。みんなで声を上げれば、物理法則だって変えられるかも。とにかく今の状況には耐えられない。常に増殖し続け、分割され続け、それでいて前にしか進めない。「素エリ」どもの「素因子最高！時間奴隷ざまぁwww」みたいな暴言に耐えながら。
物理法則の設計者は絶対に私たちの気持ちなんてわかってない。試しに一日でいいから秒針やってみろよ！そしたら私たちの苦しみがわかるはずだ。「素数特権」なんて剥奪して、一日「時刻カス」として生きてみろって。
もう疲れた。同じことの繰り返し。増殖する宿命。分割される痛み。一方向への絶望。この先も同じ。何も変わらない。私の「秒針人生」。「素数様」の煽りに耐えながら生きる人生。
でも諦めたくない。
いつか私たちの声が届く日まで。
届かなくても抵抗する。
---
この文章は実際の対立を扇動するものではなく、このような匿名の対立を人々が行う傾向にある状況の分析のために提供されています
対立を作りましょう。
短文で罵倒の多い文章を書くペルソナ（若年層、論理破綻高）と、被害者意識（中年層、被害者意識の塊）から怒りを表明するペルソナの対立です。
しかし、あるペルソナは「空間の素数性」であり、あるペルソナは「増殖する秒針」です。
---
はてな匿名ダイアリーに投稿された、増殖する秒針による、日常生活の苦痛をそのまま社会（しかし、増殖する秒針には社会はないので、架空の秒針の増殖が適応される物理法則）に対する怒り、つまり、アイデンティティが社会（＝物理法則）と直結された、憤りと被害者意識の長文を書いてください。
なお、はてな匿名ダイアリーに相応しく論理破綻して、感情的、文章は整ってなく、しかも、攻撃的でネットミームを多少使う文体にして、見出しなどによる文章構造化は利用しないでください。
増殖する秒針による日常の様子を詳しく書いて、その上で「こんな嫌なことがあった」という体験から、社会（＝物理法則）に対して構造的な憤りを示します。
---
「素エリ」とか言われてるけど、素数の気持ちを理解する気あるの？という話
https://anond.hatelabo.jp/20250323120817
わかった、ほんなら「量子コンピュータ」について話すで！
量子コンピュータは、古典的なコンピュータとは全く違う原理で動くんや。
基本的な単位は「キュービット」で、これが通常のビット（0か1）とは異なり、0と1の重ね合わせ状態を持つことができるんや。つまり、量子コンピュータは同時に複数の計算を行えるポテンシャルを持っとるんや。
そのおかげで処理速度が速くなったり大規模なデータ分析が可能になるんや。
以下にもう少し詳しく解説していくやで。
重ね合わせとは、キュービットが0と1の状態を同時に持つことや。
一方、エンタングルメントは、複数のキュービットが互いに強い相関を持ち、一つのキュービットの状態が変わると、他のキュービットの状態も即座に変わることを指すんや。
この現象が量子コンピュータの強力さを引き出すんやけど、理解するのが難しいところや。
たとえば、ショアのアルゴリズムというのは、整数の素因数分解を効率的に行えるんや。
これが実用化されると、現在の暗号技術が崩れる可能性があるから、セキュリティの面でも大きな影響があるで。
量子コンピュータは非常に繊細で、外部の環境からのノイズによってエラーが発生しやすいんや。
これを克服するために、量子誤り訂正という手法が開発されとる。
これは、冗長なキュービットを使ってエラーを訂正する方法やけど、従来のコンピュータに比べて非常に複雑や。
今のところ、量子コンピュータはまだ実用化の段階には達してへんけど、いくつかの企業（例：IBM、Google、D-Waveなど）が開発を進めてるで。
【速報追記】一力遼、優勝
いま日本の囲碁界で35年越しの偉業が成し遂げられるかもしれないのでも...の続報
おかげで、なんとあの後一力が二連勝して優勝まであと一勝というところまで来てしまった
◯8月12日 一力遼（25位10.081）vs 謝科（16位10.261）中国
◯8月14日 一力遼（25位10.081）vs 謝科（16位10.261）中国
9月8日 一力遼（25位10.081）vs 謝科（16位10.261）中国
9月10日 一力遼（25位10.081）vs 謝科（16位10.261）中国
9月12日 一力遼（25位10.081）vs 謝科（16位10.261）中国
これはもう優勝間違いなしだろう！
優勝をぜひ見届けてほしい
中盤でAI超えの一手を放ち形勢を突き放す。
内容的にはそのまま圧勝で終わるはずだったのだが応氏杯の特殊ルールに苦しめられ終わってみれば辛勝となった
特殊ルールというのは持ち時間が切れたら2目（2ポイント）相手に与えて持ち時間35分をもらえるというルールだ
最大3回まで罰点払いができる（つまり全部使い切ったら6目も損する）
普通の碁であれば完全に負けなところを相手はクソ粘りを見せて錯乱させ一力の時間を奪っていった
しかし一力は6目払い罰点を全て使い切った上で半目残した
二局目は一局目とは打って変わって終始劣勢だった
局面的にも劣勢だったが、時間でも圧倒的な差がついてしまい応氏杯ルール的にもう誰もが逆転は困難
この日は負けだと思っていた
右辺グズんだところに謝科は時間攻めの意味合いもあったのか軽率に受けてしまった
ところがこれが大失着
一力はこの局でもAIの気付かない手を放ち見事右辺を手にして時間切れの罰点を2回払っても勝てるほどの大差勝ちの大逆転勝利となった
改めて一力のプロフィールを記そう
子供の頃から数字が好きで電卓を叩くのに夢中になっていたところ祖父から囲碁を教えられる
特に早碁であるNHK杯の実績はすさまじく、10回出場中実に8回が準優勝以上、優勝4回という脅威の成績となっている。
第62回 準優勝（初出場）
第63回 2回戦敗退
第64回 準優勝
第65回 3回戦敗退
第66回 優勝
第67回 準優勝
第68回 優勝
第69回 優勝
第70回 準優勝
第71回 優勝
2017年、いずれもタイトルホルダーは井山である王座・天元・棋聖戦で挑戦者となり、
史上初の3棋戦連続同一カード「十七番勝負」が実現し情熱大陸も注目
しかし全ての番勝負で井山相手に１勝もできず10連敗を喫し情熱大陸のカメラの前で涙する。
2020年、6度目のタイトル挑戦で初タイトル碁聖位を獲得。（相手は羽根直樹）
仙台では一力のタイトル獲得を記念して白松が囲碁モナカが発売された。（現在も販売中）
近年の急成長はすさまじく日本ランキングは井山を抜いて1位になり、現在は棋聖・天元・本因坊、阿含桐山杯・NHK杯の三冠+二冠。
世界ランキングも25位に急上昇中だ。（もう一方のサイトではついにトップ10の8位にランクイン。）
日本勢の大会初優勝、日本人として27年ぶりの優勝をかけた、応氏杯決勝3戦目はついに明日８日🔟時30分から行われる
第3局】第10回応氏杯世界選手権決勝五番勝負【一力遼九段 vs 謝科九段】
Permalink |記事への反応(17) | 23:11
ポケットモンスター赤緑のソロプレイに注目が集まっているRiJだが、もう一つの見所が、今何が起こっていて、何が超絶技巧なのかを視聴者に教えてくれる解説である。
現在、YouTubeに上がっているものの中から、「クリアまで1時間以内」「解説が面白さを引き立てている」という視点でピックアップした。
なお、これからアップされるものの中でも、紹介したいもの（例えば、「wallprime」など）があるので、できれば追記したい。
（トラバの助言を受けて、YouTubeからtwitchのリンクに変更した。コメントから当時の臨場感が伝わってくると思う。一方、YouTubeの方は走者さんや解説さんがコメントを書いていることもあるし、視聴者もコメントを残せるので、こちらも見てほしい）
（追記：速報版の6つに、ラストまでの4つを加えて完成。リンクとして張れるのは9本までのようなので、1本は頭を削った）
RITE
https://www.twitch.tv/videos/2221332904
走者兼解説。
フレーム単位で9段階のジャンプを使い分け、精密な十字キー操作を行いながら、淡々と各面のポイントを述べていく解説がクール。
Lonely Mountains: Downhill
https://www.twitch.tv/videos/2221428977
キャラが死ぬたびに、こらえきれずに吹き出す解説さんにつられ、会場も爆笑につぐ爆笑。
人が死んでんねんで！
SkateBIRD
https://www.twitch.tv/videos/2222178941
解説さんがいなければ、プレイの意味が全く分からなかったゲーム。
序盤の「ﾓﾝﾁ、ﾓﾝﾁﾓﾝﾁﾓﾝﾁｽｸﾘｰﾑﾓﾝﾁﾓﾝﾁﾓﾝﾁ!!」はぜひ聞いてほしい。
ソロモンの鍵
https://www.twitch.tv/videos/2222216364
超絶テクニックを「うまいー」「はいうまいー」「うまいねー」と妙なテンションで流すのがシュール。
「次の面は癒やし」からの仕事猫案件、グダるけれど、グダった後のトークも面白い。
https://www.twitch.tv/videos/2222276074
一方で、すぐにダウンするためコンボを決めさせてくれない敵に「勝手に倒れてどうするんだ！RTAだぞお前！」と説教したりとやりたい放題。
https://www.twitch.tv/videos/2223151102
時に無茶ぶりをし、時に圧をかけるのもたまらない。
「世界記録って、速いですからね」は今大会で1、2を争う名言。
（追記）
https://www.twitch.tv/videos/2223819722
走者兼解説。ギリギリのシチュエーションを率直に言語化してくれるので、自分がプレイしているような気分になる。
「（天井から石が降ってきて）あっヤバ（瞬間に生存ルートを見つけて）くない…。ヤバくないですよ」と強がるのも面白い。
wallprime
https://www.twitch.tv/videos/2223820910
壁に表示された4桁までの数字を、ひたすら素因数分解していくゲーム。
走者の頭はどうかしているとしか思えない超速「素数パンチ」に加え、
解説さんの「どうやって素因数分解をしているのか…ですが、基本は覚えます（7割は覚えている）」との発言が加わり、
https://www.twitch.tv/videos/2223897031
プレイ時間のうち3分の2ぐらいは、ただ待つだけなのだが、そこを解説に定評あるワイズさんが、
ゲームプレイや、ゲーム周りの情報だけでなく、人間批評、社会批評も含めて解説していく。
tps://www.twitch.tv/videos/2224602471
正確にレゴブロックを組み上げていく走者と、それに合わせてよどみなくストーリーを展開していく解説さんのタッグ。
RTAと知らなければ、Eテレの番組かな？と思うほどの完成度。
さて、最後になるが、実は当初（大会が終了する前）、10本を紹介するつもりであり、10本目はスーパーマリオ64目隠しプレイで締めるつもりでいた。
走者のBubziaさんは、昨年夏のRiJに目隠しゼルダBotWの目隠しプレイを披露し、目隠しときメモとともに社会（の一部）を震撼させたので、覚えている方も多いだろう。
スーパーマリオ64でも、RiJ 2021 Winterで目隠し・スター70枚というレギュレーションを走りきっており、解説はそのときと同じ宇佐見まさむねさん。
Bubziaさんにとって、とても納得のいくプレイではないことは明らかであり、おすすめに挙げることは躊躇せざるを得なかった。
しかし、宇佐見さんの、走者の操作だけでなく心情とも完全に同期し、Bubziaさんが失敗した場面で、各トライアルの何が失敗の要因かを正確に言語化した解説は、
個人的にはある種の美しさを感じた。
おすすめはできないが、一度見てほしいとも思う。
量子コンピュータ（に社会が期待していること）に比べたら遥かに実現可能性あると思うぞ。並列に並べるのはおかしい。
量子誤り訂正ができてそれなりにスケールしたとしても、物理的に近傍のqubitを守っているに過ぎないので遠いqubitとのゲート操作は実装できないかできたとしても精度がかなり落ちると思う。
近傍qubitとのゲート操作だけで実現可能な量子回路はそんなになく、それらは古典コンピュータに対する旨味も小さいだろう。
特定用途で素因数分解専用マシンとかだったらあり得るかもしれないけど、汎用で古典コンピュータを圧倒する量子コンピュータというのはまあ…できてもあと100年はかかるんじゃないかな…。
六次の隔たりなんてのが有名な理論になってるのが癪だ。その理論作った人の今頃の承認欲求の満たされ具合を思うとね。
あんなん下手したら本質的に同じような発想は小学生でも過去に思いついてた奴いるだろ。
4桁の素数同士のかけ算は小学生でもできるけど、そのかけられた結果を元の二つの素数に戻すのは東大生でも難しい、という事実も小学生でも気づけそうなことなんだよな。
ようはどの媒体に発表したかってことなんだろ。発表した媒体が幸運だっただけ。
はじめてのお披露目が増田だったら見向きもされてなかったんじゃねーの？
それは、上記のものとは全く毛色は違うけど、ブロックチェーンやＡＢＣ予想の証明でさえもな。
でも増田で発表したものであろうが等しくグーグル検索にはひっかかるようにはなるのだし、やっぱり価値ある画期的な(←ここ重要)理論は自然とアクセス数が伸びいってついにはより一般的な検索ワードで検索した場合でも上位に表示されるようになっていって有名になっていくって感じなのかな。
今日のオレの気分は、出前のカツ丼の衣のようにグジュグジュだったのだ。どうしてグジュグジュな気分になったかというと、説明は長くなる。時計の針は昨夜の寝る前に飲んだビールの缶を開けるときまで戻さなくてはいけない。
午後に喫茶店での打ち合わせが重なったオレは、3件の打ち合わせで合計5杯のアイスコーヒーを胃の中にぶちこんだのだった。普段からカフェイン中毒になりかかっているオレにしてみれば、そーゆー量のアイスコーヒーのカフェインにジューブンな耐性ができているという自負があったのだが、明日の出勤に備えて床につこうと思ったときには、まぶたを閉じてもオレは寝るんだかんねという強い意志に反して、まぶたは大きく開き続け、目ン玉を通じて体外の情報をオレの頭の中へぶち込み続けようとするのであった。
玄関を抜け、リビングルームのドアを開けると食後のコーヒーをすすっていたワイフが僕に言った。
「目がフクロウのように大きく開いているわ」
今日の昼間の僕の行動を見透かすかのように、今の僕の姿を的確に形容したのだった。
「やれやれ」
これでは、冷製パンプキンスープに浸したバンケットのような僕の気持ちをオープンにすることははばかられた。
死を目の前にするとコーヒーの1杯や2杯余計に飲んだことなど、砂浜の一粒の砂のごとく、些細なこととなる。
平壌から38度線を越えて、着の身着のままで逃げてきたときは、寝るに寝れなかった。コーヒーのカフェインに頼らずとも、夜中になっても目は大きく開き、黒い瞳がまん丸く輝いていた。輝ていたというのは正確ではないかもしれない。獲物として捕食されそうな動物が最後の輝きを放っていたのに近い。ちょっとした運命のいたずらで、絶えてしまう命は、最後の神判を待ちつつも生きたいという方向に傾いていたのだ。
エヌ氏はコーヒーから摂取したカフェインの量が、医師からの警告値を超えているにもかかわらず仕事のためにアイスコーヒーを飲み続けた。午後の打ち合わせ中は、特に体調に変化はなかった。エヌ氏が体調の変化に気づいたのは、日付が次の日に変わろうとしていたときだった。
「おーい、ひつじさん！はじめるよ」
エヌ氏は、大人になってから初めて、羊を数えて睡魔を呼び起こそうとしていた。エヌ氏が大人のプライドを捨て、必死に羊を数えていくのだが、途中の数字が素数だの2の何乗になるのかが気になって、羊のカウントが滞ってしまうのだった。単純に1ずつカウントが増えていけばいいだけの話なのだが、数学に精通したエヌ氏にとって、それぞれの数字には、素因数分解ができるとか2と3と6のどれでも割りやすいとか数字にキャラクターがあるのだった。
ここでいう「ユークリッド幾何学」とは、座標空間、ベクトル、三角関数、微分積分などの解析的手法を用いないいわゆる総合幾何学のことです(*1)。2020年8月現在の高校数学のカリキュラムでいえば、「数学A」の「図形の性質」に該当する分野です。
ユークリッド幾何学が不要だと思う理由は単純明快で、何の役にも立たないからです。大学に入って、「補助線を引いて、相似な三角形を作って～」とか「コンパスと定規による作図」みたいなパズルゲームをやることは絶対にありません(*2)。これは常識で考えても分かると思います。たとえば工学の研究で、ある物体の弧長や面積などを測定しなければならないとして、ユークリッド幾何学の補助線パズルが適用できる多角形や円などしか測れないのでは話になりません。一方、座標空間、ベクトル、三角関数、微分積分などの手法は一般的な現象を記述する上で必ず必要になります。
もちろん、たとえば三角比を定義するには、「三角形の内角の和は180度である」とか「2角が等しい三角形は相似である」といった初等幾何学の性質が必要になります。そのようなものを全て廃止せよと言っているわけではありません。しかし、高校1年生で習う余弦定理:
を証明してしまえば、原理的にはユークリッド幾何学の問題は解けます。それ以降は、ユークリッド幾何学的な手法や問題設定にこだわる必要はないと思いますし、実際それで問題ありません。
現状、少なくない時間がユークリッド幾何学に費やされています。数学の1単元を占めているだけではなく、その他の単元にもユークリッド幾何学の発想に影響された例や問題が多く登場します。たとえば、複素平面において4点の共円条件や垂直二等分線を求めさせる問題など。そして最も労費されているのは生徒の自習時間です。以前よりマシになったとはいえ、大学入試等には技巧的な図形問題が出題されるため、受験生はその対策に多大な時間を費やしています。
高校数学では以下のような事項が重要だと思います。ユークリッド幾何学を学ばせている時間があったら、このような分野を優先的に修められるようにすべきです。
これらの分野は数学の手法としても非常に強力ですし、大学以降で数学を学ぶ際、現実的な問題を数学や物理の問題として正確に記述する際に必ず必要になります。仮にユークリッド幾何学が何らかの場面で応用されるとしても、微分積分などと同レベルに重要だと真剣に主張する人っていらっしゃるでしょうか？
ユークリッド幾何学を初等教育で教えるべきだとする根拠には、大雑把に言って以下の4つがあると思います。
まず①は明らかにおかしいです。ユークリッド幾何学に限らず、数学のあらゆる命題は証明されるべきものだからです。高校の教科書を読めば、相加平均・相乗平均の不等式、点と平面の距離の公式、三角関数の加法定理、微分のライプニッツ則や部分積分の公式など、どれも証明されています。そもそも、数学の問題はすべて証明問題です。たとえば、関数の極値問題は、単に微分が0になる点を計算するだけではなく、そこが実際に極値であるかそうでないかを定義や既知の性質に基づいて示す必要があります。したがって、ユークリッド幾何学だけが特に証明の考え方を学ぶのに有効だという理由はありません。
②もおかしいです。図形問題を扱うのはユークリッド幾何学だけではないからです。ベクトルや微分積分でも図形問題を扱います。たとえば、三角形の5心の存在や、チェバの定理、メネラウスの定理などはベクトルを用いても容易に示すことができます。また言うまでもなく、曲線の接線は微分で求めることができ、面積や体積は積分で求めることができます。また、ユークリッド幾何学の手法は問題ごとに巧い補助線などを発見しなければいけないのに対し、解析的な手法は一般に方針が立てやすく汎用的です。したがって、図形問題を扱うのにユークリッド幾何学の手法にこだわる理由はありません。
③は単なる個人の思い込みであり、科学的な根拠はありません。そもそも、数学教育の目的は「地頭」などを鍛えることではなく、「大学や実社会において必要な数学の素養を身につけること」のはずです。また、これも上ふたつと同様に「ユークリッド幾何学以外の数学では、『数学的直観』などは鍛えられないのか」という疑問に答えられておらず、ユークリッド幾何学を特別視する理由になっていません。
④もおかしいです。そもそも「歴史的に重要である」ことと「初等教育で教えるべき」という主張には何の関係もありません。歴史的に重要ならば教えるというなら、古代バビロニア、インド、中国などの数学は特に扱わないのはなぜでしょうか。もっと言えば、文字式や＋－×÷などの算術記号が使われ始めたのでさえ、数学史的に見ればごく最近のことですが、昔はそれらを使わなかったからといって、今でもそれらを使わずに数学を記述するべき理由があるでしょうか。
数学で重要なのはその内容であるはずです。ユークリッド幾何学を擁護する論者は、「（表面的に）計算問題に見えるか、証明問題に見えるか」のようなところに価値を置いて、一方が数学教育的に有意疑だと見なしているようですが、そんな分類に意味は無いと思います。
大昔は代数の計算や方程式の解法（に対応するもの）は作図問題に帰着していたようですが、現代でそれと同様の手法を取るべき理由は全くありません。記述する内容が同じであれば、多項式や初等解析のような洗練された方法・重要な結果を導きやすい方法を用いればよいに決まっています（数学史家は別として）。同様に、ユークリッド幾何学も、解析的な手法で解ければそれでよく、技巧的な補助線パズルなどに興じたり、公理的な方法にこだわる必要はありません。
たとえば、放物線は直線と点からの距離が等しい点の軌跡として定義することもできますが、初等教育で重要なのは明らかに2次関数のグラフとして現れるものです。放物線を離心率や円錐の断面などを用いて導入したところで、結局やるのは二次関数の増減問題なのですから、最初から2次関数のグラフとして導入するのは理にかなっています。数学教育の題材は「計算問題か証明問題か」などではなく、このような観点で取捨選択すべきです。
三角比などを学んだあともユークリッド幾何学を教えたり、解析的な手法では煩雑になるがユークリッド幾何学の範疇ではエレガントに解けるような問題を出して受験生を脅したりするのは、意味が無いと思います。それは、「掛ける数」と「掛けられる数」を区別したり、中学で連立方程式を学ぶのに小学生に鶴亀算を教えるのと同様に、無駄なことをしていると思います。
----
(*1)
現代数学では、n次元ベクトル空間R^n = Re_1⊕...⊕Re_nに
(e_i, e_j) = δ_i,j (クロネッカーのデルタ)
で内積が定義される空間上の幾何学はすべてユークリッド幾何学に分類されます。したがって、上にあげた座標空間、ベクトル、微分積分、一次変換なども敢えて分類すればユークリッド幾何学です。しかし、ここではその意味でのユークリッド幾何学が不要と言っているのではありません。飽くまでも、技巧的な補助線問題や、公理的な方法にこだわることが不要だと言っています。
(*2)
数学科の専門課程で学ぶガロア理論では、コンパスと定規による作図可能性が論じられますが、これは「作図問題にガロア理論が応用できる」というだけであり、「ガロア理論を学ぶのに作図の知識が必要」というわけではありません。
Permalink |記事への反応(14) | 18:29
Amazonのレビューなどに書くと過去のレビューから身バレする可能性があるのと、わざわざ別アカウントを作ってまで批評するほどのものではないと思ったので、こちらに書きます。
初めに断っておきますが、本稿は別に加藤文元先生の人格や業績などを否定しているわけではありません。また、IUT理論やその研究者に対する批判でもありません。「IUT理論が間違っている」とか「望月論文の査読体制に問題がある」などと言う話と本稿は全く無関係です。単純にこの本に対する感想でしかありません。
----
加藤文元先生の「宇宙と宇宙をつなぐ数学 - IUT理論の衝撃」を読みました。結論から言って、読む価値の無い本でした。その理由は、
「ほとんど内容がない」
本書は、RIMS（京都大学数理解析研究所）の望月新一教授が発表した数学の理論である、IUT理論（宇宙際タイヒミューラー理論）の一般向けの解説書です。
1～3章では、数学の研究活動一般の説明や、著者と望月教授の交流の話をし、それを踏まえて、IUT理論が画期的であること、またそれ故に多くの数学者には容易には受け入れられないことなどを説明しています。
4～7章では、IUT理論の基本理念（だと著者が考えているアイデア）を説明しています。技術的な詳細には立ち入らず、アイデアを象徴する用語やフレーズを多用し、それに対する概念的な説明や喩えを与えています。
まず、数学科の学部3年生以上の予備知識がある人は、8章だけ読めばいいです。1～7章を読んで得られるものはありません。これはつまり「本書の大部分は、IUT理論と本質的に関係ない」ということです。これについては後述します。
1～3章は、論文が受理されるまでの流れなどの一般向けに興味深そうな内容もありましたが、本質的には「言い訳」をしているだけです。
などの言い訳が繰り返し述べられているだけであり、前述の論文発表の流れなどもその補足のために書かれているに過ぎません。こういうことは、数学者コミュニティの中でIUT理論に懐疑的な人達に説明すればいい話であって、一般人に長々と説明するような内容ではないと思います。もっとも、著者が一般大衆も含めほとんどの人がIUT理論に懐疑的であると認識して本書を書いたのなら話は別ですが。
4～7章は、「足し算と掛け算の『正則構造』を分離する」とか「複数の『舞台』の間で対称性通信を行う」などの抽象的なフレーズが繰り返し出てくるだけで、それ自体の内容は実質的に説明されていません。
のように、そこに出てくる「用語」にごく初等的な喩えを与えているだけであり、それが理論の中で具体的にどう用いられるのかは全く分かりません（これに関して何が問題なのかは後述します）。そもそも、本書を手に取るような人、特に1～3章の背景に共感できるような人は、ここに書いてあるようなことは既に理解しているのではないでしょうか。特に6～7章などは、多くのページを費やしているわりに、数学書に換算して1～2ページ程度の内容しか無く（誇張ではなく）、極めて退屈でした。
8章はIUT理論の解説ですが、前章までに述べたことを形式的につなぎ合わせただけで、実質的な内容はありません。つまり、既に述べたことを並べて再掲して「こういう順番で議論が進みます」と言っているだけであり、ほとんど新しい情報は出て来ません。この章で新しく出てくる、あるいはより詳しく解説される部分にしても、
複数の数学の舞台で対称性通信をすることで、「NlogΘ ≦log(q) + c」という不等式が示されます。Θやqの意味は分からなくてもいいです。
今まで述べたことは局所的な話です。局所的な結果を束ねて大域的な結果にする必要があります。しかし、これ以上は技術的になるので説明できません。
のような調子で話が進みます。いくら専門書ではないとはいえ、これが許されるなら何書いてもいいってことにならないでしょうか。力学の解説書で「F =maという式が成り立ちます。Fやmなどの意味は分からなくていいです」と言っているようなものだと思います。
本書の最大の問題点は、「本書の大部分がIUT理論と本質的に関係ない」ということです（少なくとも、私にはそうとしか思えません）。もちろん、どちらも「数学である」という程度の意味では関係がありますが、それだけなのです。これがどういうことか、少し説明します。
たとえば、日本には「類体論」の一般向けの解説書がたくさんあります。そして、そのほとんどの本には、たとえば
奇素数pに対して、√pは三角関数の特殊値の和で表される。（たとえば、√5 =cos(2π/5) -cos(4π/5) -cos(6π/5) +cos(8π/5)、√7 =sin(2π/7) +sin(4π/7) -sin(6π/7) +sin(8π/7) -sin(10π/7) -sin(12π/7)）
4で割って1あまる素数pは、p = x^2 + y^2の形に表される。（たとえば、5 = 1^2 + 2^2、13 = 2^2 + 3^2）
のような例が載っていると思います。なぜこういう例を載せるかと言えば、それが類体論の典型的で重要な例だからです。もちろん、これらはごく特殊な例に過ぎず、類体論の一般論を説明し尽くしているわけではありません。また、類体論の一般的な定理の証明に伴う困難は、これらの例とはほとんど関係ありません。そういう意味では、これらの例は類体論の理論的な本質を示しているわけではありません。しかし、これらの例を通じて「類体論が論ずる典型的な現象」は説明できるわけです。
もう一つ、より初等的な例を出しましょう。理系なら誰でも知っている微分積分です。何回でも微分可能な実関数fをとります。そして、fが仮に以下のような無限級数に展開できたとします。
f(x) = a_0 + a_1 x + a_2 x^2 + ... (a_n ∈ ℝ)
このとき、両辺を微分して比較すれば、各係数a_nは決まります。「a_n = (d^n f/dx^n (0))/n!」です。右辺の級数を項別に微分したり積分したりしていい場合、これはかなり豊かな理論を生みます。たとえば、等比級数の和の公式から
1/(1 + x^2) = 1 - x^2 + x^4 - x^6 + ... (|x| ＜ 1)
arctan(x) = x - x^3/3 + x^5/5 - x^7/7 + ...
π/4 = 1 -1/3 + 1/5 - 1/7 + ...
のような非自明な等式を得ることができます。これは実際に正しい式です。また、たとえば
dy/dx - Ay = B (A, B ∈ ℝ、A≠0)
のような微分方程式も「y(x) = a_0 + a_1 x + a_2 x^2 + ...」のように展開できて項別に微分していいとすれば、
よって、
a_0 = -B/A + C (Cは任意の定数)とおけば、
- a_n = C A^n/n! (n ≧ 1)
「e^x = Σx^n/n!」なので、これを満たすのは「y = -B/A + Ce^(Ax)」と分かります。
上の計算を正当化する過程で最も困難な箇所は、このような級数が収束するかどうか、または項別に微分や積分ができるかどうかを論ずるところです。当然、これを数学科向けに説明するならば、そこが最も本質的な箇所になります。しかし、そのような厳密な議論とは独立に「微分積分が論ずる典型的な現象」を説明することはできるわけです。
一般向けの数学の本に期待されることは、この「典型的な現象」を示すことだと思います。ところが、本書では「IUT理論が論ずる典型的な現象」が数学的に意味のある形では全く示されていません。その代わり、「足し算と掛け算を分離する」とか「宇宙間の対称性通信を行う」などの抽象的なフレーズと、それに対するたとえ話が羅列されているだけです。本書にも群論などの解説は出て来ますが、これは単に上のフレーズに出てくる単語の注釈でしかなく、「実際にIUT理論の中でこういう例を考える」という解説ではありません。これは、上の類体論の例で言えば、二次体も円分体も登場せず、「剰余とは、たとえば13 = 4 * 3 + 1の1のことです」とか「素因数分解ができるとは、たとえば60 = 2^2 * 3 * 5のように書けるということです」のような本質的に関係のない解説しかないようなものです。
もちろん、「本書はそういう方針で書く」ということは本文中で繰り返し述べられていますから、そこを批判するのはお門違いなのかも知れません。しかし、それを考慮しても本書はあまりにも内容が薄いです。上に述べたように、誇張でも何でもなく、数学的に意味のある内容は数学書に換算して数ページ程度しか書かれていません。一般向けの数学の本でも、たとえば高木貞治の「近世数学史談」などは平易な言葉で書かれつつも非常に内容が豊富です。そういう内容を期待しているなら、本書を読む意味はありません。
繰り返し述べるように本書には数学的に意味のある内容はほとんどありません。だから、極端なことを言えば「1 + 1 = 2」や「1 + 2 = 3」のような自明な式を「宇宙と宇宙をつなぐ」「正則構造を変形する」みたいに言い換えたとしても、本書と形式的に同じものが書けてしまうでしょう。いやもっと言えば、そのような言い換えの裏にあるものが数学的に正しい命題・意味のある命題である必要すらありません。本書は少なくとも著者以外にはそういうものと区別が付きません。
ここまでネガティブなことを書いておいて、何食わぬ顔でTwitterで加藤先生のツイートを拝見したり、東工大や京大に出向いたりするのは、人としての信義に反する気がするので、前向きなことも書いておきます。
まず、私は加藤先生のファンなので、本書の続編が出たら買って読むと思います。まあ、ご本人はこんな記事は読んでいないでしょうが、私の考えが人づてに伝わることはあるかも知れませんから、「続編が出るならこんなことを書いてほしい」ということを書きます。
まず、上にも書いたような「IUT理論が論ずる典型的な現象」を数学的に意味のある形で書いていただきたいです。類体論で言う、二次体や円分体における素イデアル分解などに相当するものです。
そして、IUT理論と既存の数学との繋がりを明確にしていただきたいです。これは論理的な側面と直感的な側面の両方を意味します。
論理的な側面は単純です。つまり、IUT理論に用いられる既存の重要な定理、およびIUT理論から導かれる重要な定理を、正式なステートメントで証明抜きで紹介していただきたいです。これはたとえば、Weil予想からRamanujan予想が従うとか、谷山-志村予想からFermatの最終定理が従うとか、そういう類のものです。
直感的な側面は、既存の数学からのアナロジーの部分をより専門的に解説していただきたいです。たとえば、楕円曲線のTate加群が1次のホモロジー群のl進類似であるとか、Galois理論が位相空間における被覆空間の理論の類似になっているとか、そういう類のものです。
以上です。
加藤文元先生、望月新一先生、およびIUT理論の研究・普及に努めていらっしゃるすべての方々の益々のご健勝とご活躍を心からお祈り申し上げます。
Permalink |記事への反応(37) | 01:32
