  |
はてなキーワード: 代数とは
定数係数回帰数列が無限に多くの 0 を含むかを判断するアルゴリズムは存在し、もし無限に多くの 0 を含むのであれば、漸化式の特性多項式の根の代数的性質に基づいて、0 の位置の「分解」を周期的な部分列として示すことができる[3]。スコーレム問題の難しい部分は、0 が有限個である（したがって周期的でない）場合に、0 が存在するかを判定する部分で
ま、そんな冗談は置いといてオレ、すきなこ
いるんですわ。もちろん女の子ね（当たり前だろw）何で好きになったかって体育の時、理由は分からないけどその子見学してたんすわ。その時にちょっと苦しいのかお腹ぎゅってしててその姿がめちゃくちゃかわいいんすよ。で、べた褒れってわけなのだwでもまだ
あんまり話はできてないけど…(´- ̯-`)ま、今度話しかけてみるっす勇気出して
、んで本題なんすけどねオレ最近他言語にハマってるんすわ。しかも、めっちゃマイナーな言語（ズール語とかミゾ語とか）そん中でも一番好きな言語がスロバキア語なんすよ。でもまだ単語単語しか覚えてないけど（日本語も怪しいからだろw）でもスロバキア語って
ちょーかっこよくないすか？例えば聖者→ svätýとか 破壊→ zničenieとかめっちゃ気に入ってるんすよ！学校に持ってかない秘密のノートとかもうその単語ばっかりメモしてるwこんなかっこいいなら好きな子に教えたいとかならないすか？最初はこう、簡単な単語からあたふた教えていってでも「Páči sa mi to」ってのだけはなかなか教えないでいてある日突然耳元で囁くんすわ「好きって意味」だって。くーめっちゃたまらないのだ！あ、その子ことなんすけどめっちゃ見た目かわいい
系ですわ。プライベートなんか口紅してるんすよ！ブランドのバック持ってヤバくないすか？？しかも、多分虫歯もないみたいで、歯医者の待合室で偶然会ったことあるんすけど
「今日は検査だね」って受付が言うと「はい」ってにこやかに微笑んでたんす。もう、めっちゃ羨ましい！あれっすね、昔の流行語に「貧乏人は麦を食え」ってあるじゃないすか。
彼女は貧乏でもないし麦じゃなくて愛情をたくさん食べてるんすね！だからオレも告白して愛情たくさん食べてもらいたいっす！阿諛なんか使わない様にしてるけどあの子の前だったらついぽろっと口にしちゃうっす！
ABC予想というのは宮岡洋一先生は１９８５年に、フェルマー予想は微分幾何で解けるだろうと考えていたが、解けなかった。ABC予想も初等幾何学の発想、すなわち、必要なものは
三角形と円と直線に関する初等幾何学の研究の論理からヒントを出て、所望の結論を何らかの方法で一気に出現させられるだろうというもので、ABC予想が証明されると、ｎは５までを
証明すればいいこととなる。しかし、いわゆる、x^n+y^n=z^n はn≧３で no solutionsであることがごっそり出てくるわけではない。 ｎ≧６は検討しなくていいということがごっそり
出てくるだけである。しかし、数学で言う、何かが出現することがすなわち、結論であること、技術的出現とはよくわからない。何かが出現するということでそのまま結論となるのが技術的出現
であり、ここで、技術的出現で出てくる例として、 Lemma、パスカルの定理、inductionがよく知られている。 この技術的出現によって結論が得られるのは、あたかも、カメハメハが出てくる
にも関係にあるので、これを子供に教えてしまうと、数学の勉強で子供がはしゃいでしまう可能性がある。よって小学校中学校学習指導要諦でも、この種の、技術的出現によりそのまま結論を
deductionとなることを味わうことにより数学に対する興味関心を啓発するということは学習指導要諦に記載されていない。押方彰一は算数教諭だがいかんながら、押方彰一が教えたのは
数学における技術的出現ないしは、技術的発現ではなく、 １～１０の足し算の代数的計算のひっくりかえして足せばいいということである。確かに当時から郡部には別の小学校もあったので
（１） 勘違いしているが、a^n+b^n=c^n は、 指数が一般のｎでしかもこの形のときには該当するものがないという構成の定理であって、Collarzと比較すると、５００から開始
して有限回の操作で１にいくが、美しい事実は、 有限回で、２種類の操作で、初期値は全ての自然数であり、結論は１にいくという構成の定理である。
（２） n=3,4のときは、 融合定理などから推測される、 背理法と帰納法を融合させて結論を得る無限降下法という理想的な証明法により確立している。
融合定理とは、素数の中に等差数列ががっつり入っているなどの結論である。そこからの逆算で、背理法と帰納法は同時に機能するだろうと思われたが実際に編み出された。
n=3のときに証明すると、 ３の倍数では証明できているので、数が大きいから難しくなるわけではない、自然数のうち、３３％は簡単に証明される。
（３） 素因数分解で素数だけでいいという性質をもっているため、 a^p+b^p=c^pが フェルマーだろうとどつめられた。しかし、 ｐに対する無限降下法が使用できず
裁判官のフェルマーは最初は使用できるだろうといって、真に驚くべき証明を編み出したと余白に書いたが間違いであることが判明した。
定理の結論として、規模が大きい。基本条件がこの形式のときだけでしかも全てのｎなので極限的かつ驚愕的である。３３％の証明は全部証明ではないので数学界では評価されない。
全部証明の引き金は、スキームの圏とコリヴァギン＝フラッハ法という専門知識や着想により得られたが技術的に難解すぎて世界中でも理解できる者がほとんどいない。
（４）１８世紀に、６１％の正則素数では成立するというイデアル理論が出現したがそれ以上出来なかった。フランスアカデミー科学院は数学的には価値がないと思いながらもクンマーに
賞金を出した。
（５）１９５０年代に、東大理学部数学科の志村五郎は、 y=x(x^2-u^p)(x^2-v^2) という関数が複素関数論上、modularではないことと同値であると突き止めて専門知識化
し教科書に書いたが、これがmodularではないことの証明はまだアイデアがなく、到達不可能だと思われていた。
多くの数学者がこれを証明するために、ｐ進群、既約表現、代数的サイクルやエタールコホモロジー、楕円幾何学などの研究を進めて行き、様々な教養から推測していったが、
１９８０年代に、宮岡洋一がマックスプランク研究所にいたときに証明できそうだという発表があったが、欠陥があり失敗した。宮岡洋一は宮岡礼子という数学者と一緒に住んでいる
小さいおじさんで、カタネーゼなどのサッカー選手をみて盛り上がっていたが、時期不詳で、もどきなどのガキが、レインボーロードからばあさんにのこぎりをもたせて落としたら、その
のこぎりに当たって殺された。
（６）志村五郎の共同研究者だった谷村豊はこれができないので自殺したが、１９９３年に、ワイルズが屋根裏部屋でこっそり研究していて、おぺちが、おい、今日の発表はやくしろと言われて
いたので、最初の発表をプレプリントによって行ったが、一か所間違っていて、突き返された。１９９４年に、コリヴァン＝フラッハ法を着想し、査読の結果、間違いがないことが確認され
我々数学者はどのような定理ないしは問題に対しても、驚愕的な証明にあこがれるのであるけれども、ひとくちに、驚愕的な証明といっても、その意味内容はよく分からないのである。
三平方の定理は、righted-angleという三角形といっても様々な形態がある中の極限的なときに、a^2+b^2=c^2が成立するという定理であるので、結局、美的に極限的な場合に
極限的な定理が成立するのが一般である。そしていわゆるエレガントな証明というのも、これと同じことで、極限的な事実がその問題の中にあるときに極限的な既存の法則を用いるという
のがエレガントな証明の実質である。しかし数学界には様々な定理があるので５次方程式以上の多項式には解の公式が存在しないという代数学の基本定理があるけれども、これの場合は
ポリノミアルという非常に有名なものを基礎として、４次までは解の公式が存在するが５次以上では存在しない、証明は巡回置換群という非常に難しい理論によってなされる。
ここで当然、有理係数多項式の解の公式が５次以上では存在しないことは発表時は驚愕されるわけだけども、その後常に驚愕されるわけではない。一般人は誤った認識をしているが、有名な
フェルマー予想は、 a^n+b^n=c^n は n≧３で解を持たないことは発表時に驚愕されてもそれ自体が驚愕されることではない。実際に驚愕され続けているのはスキームの圏等を用いた
構成の方である。ところで代数の世界では、それだけでは説明がつかないような技術、すなわち、シンメトリーキャンセルなどの、より原初的な初等的な処理方法などもみられて、必ずしも、
フェルマーの大体系で、n=4のときのフェルマーの証明がもっとも要点を得ていて、なおかつ、無限降下法という以後に一般的に知られる驚愕的な技術を編み出したと言われているので
フェルマーのしたn=4における仕事がもっとも多産であったと言われている。フェルマーは全部のｎに対する証明は難しいと言われているが、４のときが構成されたため、４の倍数では全て
証明され、２５％の自然数で証明されて多大な利益を獲得した。これに対して、オイラーのｎ＝３における証明は、同じように無限降下法を用いているが非常に進捗のないものだった。
18世紀になると、クンマーが、理想数という独自の見地から６１％の素数で証明を達成したが、本質的でなかった。特段に体系的な利益が得られなかったため、志村谷山は、複素関数
モジュラー性から迫ろうとしたところ、現代数学界に多大な進捗がみられ、コホモロジー理論など実りのある一般理論を多く生み出した。代数的サイクルやエタールコホモロジーなどについて
一般的な著作をものしたのは、今年で定年退官になる斎藤秀司教授である。他方で、初等研究は、n=4で行き詰まり、n=3.5の証明ではとりかかった各数学者の独自の領域にとどまり
何らの応用のある着想も出てこなかった。x^p+y^p=z^p以後、ソフィージェルマンは１つの定理を発表したが条件付きのもので以後なんらの進展もしていない。
戦後の東京社会ないし工場の研究状況であるが、昭和天皇は、共同研究による経済的効率性を優先して徹底してやったことから戦後30年の時代には様々な学問分野で生産の沃野
を獲得することができた。そのきっかけは、とにかく工場で共同知見で行えば一人でやるよりも多くの結果が出るだろうという考えで実際に戦後30年で日本国民の平均余命は４０歳から７０歳
８０代まで一気に爆増した。昭和時代における数学の書物によくみられる表現として、そう考えるのは自然である、自明である、といったものである。昭和天皇は、哲学を徹底的に研究し
えー、押方彰一算数教諭から教えてもらったことはですね、というか、押方彰一教諭は、高千穂中学校校長時代に、私は昭和５４年頃に教員になって哲学者のなんたらから習った
と言っていましたがそれはともかく
押方彰一先生から平成６年に紹介されたのは、っていうかあれは、 押方彰一×川崎浩二の共同授業だったと思いますが
１＋２＋３＋・・・・＋１０ を計算しろと。 これのアイデアとして２つくらいのアイデアが重なっていたような気がしますが、１つのアイデアは、これをＳとおいてブラックボックス
化するんですね。
えーと、１から１０の足し算って、代数なんですかね。代数というのは、具体の数の代わりに、記号を扱うものなので、普通、具体的な数があるときにそれを Ｓと置いたら代数の世界に
もっていくことになるんですね。
ひっくりかえしたら、 ２Ｓ＝１１０になるから、これは代数の計算なんですね。だから結局、押方から教わったのは、代数化してひっくり返すということなわけですが。
私が押方から算数を教わったときにつまらないと思ったのは、これが最高ではないからですね、アイデアとして、別にてっぺんにあるもんじゃないですからね。
高校生時代は、自分で自習して、コーシーシュワルツを知りましたが、証明の方は理解できないからそのまま覚えましたね。コーシーシュワルツを知ったのは、井上修二がやった第一回の
押方彰一先生からは次のようなものを教わったという記憶しかない。 時代は、平成６年。
１＋２＋３＋・・・＋１０ までの足し方の計算 これを幾何学的に図形と見て、ひっくりかえす
１０＋９＋８＋・・・＋１
上下を足したら、 １１が１０個出るので、 １１０になる。それを２で割ったものだから５５。
何が問題か？ 幾何の問題で、与えられた図形をひっくり返しただけでただちに所望の結論が出てくるような問題はないと思う。しかしこの初等代数では、ひっくり返すという簡潔な操作で
病的に簡潔な結論が出てくる。甲斐沙織君には、他にも３人の仲間がいたと思うし、 中柴裕次郎などの人もいたが、ノートに写すくらいのことはしたと思う。
Caushy-shwarzの不等式は a^2+b^2+c^2 ≧ ab + bc + ca という結論になっておりますので、平凡に考えると、左から右を引いて平方完成をしようとする。
平方完成っていうのは、適当な代数を、（）^2にするということですが、
a^2+b^2+c^2 ー ab ー bc ー ca としたときに、機械的に平方完成できるかというと怪しい。 左から右を引いて、平方完成できるものだけ平方完成しようとすると
a^2-2ab+b^2 + ab + c^2 - bc - ca = (a-b)^2 + c(c-b) + a(b-c) = (a-b)^2 + (b-c)(a-c)にしかならないので。
(b-c)(a-c)≧０を示してもよい。
延岡西高校で数学の教諭をしていた末永祐治および、北予備の数学講師からも教えられなかったですね。最初に示したやり方はスペシャルなやり方なので、Caushy-Shuwarzが分かれば
ただし、Cahusy-shuwarzは、具体的な問題の中で応用するものなので。ただし最初の証明の仕方が驚愕的とすればこれはお気に入りの不等式である。
んーとそれで、弁護士の古城とかもちゃんと山田朋美ってなんか２ちゃんねらーみたいな感じだから、古城が越谷支部に接見に来て、準抗告でもなんでもするとかいうのですね、あと、
検察官にも言いに行くみたいなことをいう。しかし、古城が検察官の部屋にいいに行っても、山田が、絶対に起訴する、許さない、と言ったらしいのですね。あとそれから山田から
他に言われたことは何もないというか、刑務所に行く可能性が高いんでしょということと、３回しか呼ばなかったのはクソフェミだからだと思うのですが。当時私は体重が８６キロあったんで
単に山田が見たくないから３回しか呼ばなかったと思うのですね。あとそれ以外に、埼玉地方検察庁越谷支部って、さいたま地方検察庁の中でも越谷にある支部だから、
一般的にはださいんですね。警察の車の中からみても、特になんという印象もないし、一般人として行ってみても古いし汚いしつまらないところです。印紙売り場っていうんですかそれもありますが
職員は苛ついているしよく分からないところである。それで検察官について言う事と言えば基本的に検察官って尋問のテクニックをやる人だから法令上の技術が幾何の技術とすると、検察官の
仕事はよく分からないが、整数とか代数にみられるような操作上のテクニックではないかと思う。幾何の技術っていうのは構成するときに教科書に書いているものをもってくることが多いが、
整数とか代数っていうか、不等式とか実関数論はalgebraだと思いますが、algebraのテクニックってものを持ってくるんじゃなくて計算のやり方が凄いところが多分にあるのではないか。
裁判官が高邁な人格による法解釈のテクニックが必要とすると、検察官は計算上のテクニックが必要だと思うのですが、全く知らんのですが、でもそういえば数学者の植田一石がやてるのは
ダイマー模型で、ダイマーって組み合わせ論の大人版みたいな奴で、組み合わせ論って、induction hyposhesisとcontradictionの組み合わせみたいなものもあるのでやっぱり計算が多いから検察官
向けだと思うのですが、あ、それから、弁護士の古城からは、法律というのはそういうものだと言われて、それだけだと理解できないので後から、前橋地検に行ったときに検事の土屋から、テクニック
だけど存在しないとか言われて、その際の印象として、地検検事だけ生きているけど、高検検事とか最高検検事が死んでいるみたいな印象を受けたのですが、検察の尋問技術って検察官しか
そういうテキストブックを読まないので何が書いてあるのか知りませんが、検事の土屋が、検事のすることはテクニックとかいって、一方で判例六法は投げてきたので、じゃあ判例六法はテクニックでは
ないのかとか言われても分からないのですね。
ずっと忘れていた。
いや、脳の奥に生乾きのかさぶたのようなものがじっとりとこびりついて、ふとした時に思い出したりはしていた。
なぜだか、それが昨日になって出てきた
百子はJava言語の技術者だった。いや、技術者か分からないがJavaを学ぶ25歳の若い女性だった。
当時Java言語はJ2EEの登場により大きな注目を集めており、エンタープライズ用途で稼働していた業務系アプリケーションをWEBベースのJavaアプリケーションへのリプレースする事が大きな需要を生んでおり、VBやDelphi又はバックエンドとしてのCOBOL等で活躍していたエンジニアは技術転換を求められていた
現在も大して変わらんないかもしれないが、業務系エンジニアにコンピューターサイエンスを学んだ者は少なかった。
文系出身で(数学としての)関数や代数もちゃんと理解しているのか怪しいような者も数多く居り、当然ながらオブジェクト指向言語に戸惑う者も多かった。自分がそうだった。
当時の技術コミュニティはいくつかはあったが、古くからあったがどれも敷居が高かった。
fj.comp.lang.* (ネットニュース:現在と意味が異なる)は正当な技術者も多かったが初心者が書き込める雰囲気が無かったり過疎っていた。ニフティーサーブやPC-VAN等のパソコン通信(当時既にサービス名が変わっていたかもしれないがみんな昔の名前で読んでいた)をベースにしたものは歴史があったが、老害が偉そうにしているフォーラムも多く、やがて廃れていった。
そうした中で初心者も熟練者も和気あいあいと活発な議論が行われていたのが、JavaHouseというメーリングリストのコミュニティだった。
主催者は現在インターネットセキュリティの大物左翼として時折世間をビビらせまくっている、ひろみちゅ先生こと高木浩光氏。当時既に産総研の研究者になっていたとはいえ、あくまで個人が手弁当で運用していた。無料で誰でも自由に入退会ができるコミュニティであり、他に行き場のなさを感じた初心者のJavaエンジニアたちにとって大きな心の拠り所となった。
でも百子が注目された事があったのだ。
当時は適切な印刷用の整形ソリューションが無く比較的頻繁に挙がっていた話題で、
百子も同様に苦しんでいた
するような方法が、現時点ではり一ゾナブル
かとも思います。
ドラえもんのようなひらがなとカタカナを組み合わせたチャーミングな文体でその焦りを徹底的かつ高度に表現していた。
しかしこの議論中に問題が起こる。JavaHouseに障害が発生しメールが配信されない事象が発生したのだ。
NFSで他のサーバーにマウントしていたが不要と思われたNFSサーバーのデータを一部で参照していたため処理が行えなかった、応急的に対応したが根本対応を後日行うと管理者の高木浩光は告げた。
しかし、議論が途切れた事を不安に思った百子は高木浩光に直接確認を行った。返事は帰ってこなかった。
＞ This Message was undeliverable due to the following reason:
＞ The user(s) account is temporarily over quota.
というエラーで戻ってきました。
いろいろとご心配のようでしたので（その内容については書きませんが）、迅
速にお返事を差し上げる必要を感じておりますが、上記の通りでは、連絡の取
り様がありませんので、やむを得ず、お返事を差し上げた事実をここで示させ
ていただきます。
まるで百子に非があるかのように。
恥ずかしさと悔しさで真っ赤となった泣き顔の百子を想像することは難しくない。
次はインスタンス生成時のコストに関する伝統的な議論であったが、
その流れで議論とは関係が無かったが百子はやりとりのマナーについて言及した。
議論をしていた者たちは本質的では無い指摘に形式的な謝罪をしたが、
高木浩光だ
そんな慣習はありませんよ。
きっと百子は憤然たる思いを抱えたに違いなかった
最後に決定的な事が起こる
先日の障害の復旧のためメンテナンスのためサービスを停止すると高木浩光が予告した。
百子はさんざん煮え湯を飲まされてきた高木に対して
以下ちゃちゃです。
全サービスが利用不可というのは、大変なことでしょうに。
以上、ちゃちゃでした。
挙げ句Javaコミュニティを自分で立ち上げてみてはどうかと言う者まで現れた。
か弱く繊細で思いやりのある儚き百子が、このような嘲りに耐えるのは致命的な苦痛だったに違いない。
百子は精一杯の力でJava界の将来についてその想いを書き綴った
私が恐れているのは、恐怖の日が襲い、対応の行動が遅すぎる前に
協議を行って欲しい、ということです。
別れは突然訪れた
「百子の夫です」
技術コミュニティに相応しない短い件名の投稿は衝撃的なものであった
私の妻百子は１１日に進行性癌に伴う急性心不全で永眠いたしました
25才でした
医師の診断をもらったとき私たちに残された時間は１ヶ月というものでした
毎日が恐怖でした。、
なんという事だ！こんな悲劇があってよかろうはずがない！
しかもあのプりントアウトの話をしていたときには余命を悟っていたのか。
自分は打ちのめされた
そしてさらに衝撃的な事が続く
百子は先週からふさぎがちになっていました
聞くとブー様とうまくいっていないのではないかということでした
百子はずいぶん前からたびたび高木という男の名を出してひとりでジャバなる
パソコンを動かし一人で全部やってのけているのだと絶賛しておりました
おのれ高木さんめ！いや、ぶー様め！
百子の心に闇で満たしたという事か。
悔しくてウイスキーをストレートで何倍も痛飲し、この辛い出来事を忘れるように努めた。
自分はアプリケーションのプログラミングをする事もすっかりなくなっていた。
数年に１度くらいフッと湧き上がってくる事があったが、すぐに忘れようとした。
しかし、昨日はなぜ、菊池百子を思い出したのかずっと考えていた。
ずっと、ずっと
愛していたんだと思う、百子を。
直接会ったことはないし、見たこともない、投稿の文面の文字でしか見ていない、直接のメッセージのやりとりもしていない、だけど確かに自分は百子を愛していた。
雅人よりもずっと。
ぶー様よりもきっと。
Rest in peace, I love you.
https://web.archive.org/web/20091027013532/http://java-house.jp/ml/archive/j-h-b/052276.html#body
おれ、chatGPT使えるようになって真っ先に望月新一のABC予想についての海外数学コミュニティでの受け止めについて聞いてみたんだけど、その時はまあまあちゃんとした内容（通り一遍ではあるが）が返ってきた。いま望月新一について尋ねてみたらこんなのが戻ってきた。
望月新一（もちづきしんいち）は、日本の漫画家であり、推理小説家でもあります。彼は、特に『名探偵コナン』の作者として知られています。
望月新一は、1965年6月4日に青森県青森市で生まれました。彼は若い頃から漫画や小説を書くことに情熱を持っており、高校生の頃から漫画家としてのキャリアをスタートさせました。
1994年に、望月新一は『名探偵コナン』を連載し始めました。この漫画は、高校生探偵の江戸川コナンが、毒を飲まされて小さくなってしまった身体を利用して、事件を解決するストーリーです。この作品は、世界中で大きな成功を収め、アニメ化や映画化など、さまざまなメディアで展開されました。
望月新一は、漫画だけでなく、小説でも才能を発揮しています。『名探偵コナン』の小説版をはじめ、数多くの推理小説を執筆しています。
また、望月新一は、漫画や小説以外にも、音楽にも興味を持っており、自ら作曲した楽曲を使用したアニメーション作品もあります。
いや数学者だろ、とツッコミを入れたら以下。もっともらしいがデタラメ多い、というか、望月拓郎とごた混ぜになっている。
望月新一（あきら・もちづき）は、日本の数学者であり、代数幾何学を専門としています。主に、モチヅキ理論やモチヅキ加群、モチヅキ因子などの研究で知られています。
代数幾何学は、代数学と幾何学の融合であり、代数方程式の幾何学的な対象である代数多様体を研究する数学の分野です。望月新一は、代数多様体の幾何学的性質を研究する際に、代数的手法を用いて新しい理論を発展させました。
具体的には、望月新一は、代数多様体上の「D加群」と呼ばれる特殊な加群を研究し、それを用いて、代数多様体の幾何学的性質を解明しました。また、望月新一は、代数多様体上の「モチヅキ因子」と呼ばれるものを定義し、これを用いて、代数多様体の双有理幾何学に関する新しい理論を構築しました。
キャリアプランとして、どうやって成長できるかを考えたい。
英語は出来たほうがいいんだろうけど、そのために時間を使うのもなんかなぁっと。
数学は、普段、仮説検定や推定は使ってるので、出題範囲を見る限り、統計検定2級は全て知ってる単語なので、少し頑張ればとれそうな気がする。
準一級は知ってる単語が7割くらい、単語として知ってるだけで使ったことがないものがほとんど無理そうだ。
統計や機械学習でPythonとRは使ったから、PythonやRをつかって資格でもとったら、少しは転職に役立つ？
今でも、Excelで描けないグラフやExcelじゃ難しい仮説検定はPythonやRでやってるし。
アプリ作ったりは出来ないけど。
Python3エンジニア認定データ分析試験は取れるんじゃないかなぁと。
データベース使わないんだけど、書いてあることを読むくらいはできる。
内部結合外部結合、直積やら射影やら、ちゃんとリレーショナル代数を勉強したわけじゃないけれど、Pandasを使ってたら代表的な演算くらいは出来るようになった。
会社も金出してくれそうだし。
3シグマとかQC7つ道具とかいまさら言われてもだが、取るだけなら簡単そうだし。
お前はなにを目指してるんだ？と言われそうだけど、知ってたほうが便利そうだし。
会社が出してくれるならばだけど無理。
無理だし。
これも無理。修士以前に
でも、いくつか科目履修させてもらって（現実的には放送大学くらいか）単位取得するだけでも、なんか箔がつかないか？たぶんつかないんだろうけど。
放送大学だと45分の授業15回で1万円、社会人向けのセミナーって、一日4～5万くらいあたりまえだから、コスパすごい。
今の業務内容とわずかにかぶるが近くもない、という感じでいくつか単位を取り、自分の見識を広げつつ、業務にも役立てるように、くらいの感じがまあ現実的。
それと、コンピュータ系やプログラミングの資格を取る前に、大学の授業の形態で、アルゴリズムの知識や、データベースの基本設計などなど、実務より先に基礎知識を叩き込まれたら、資格試験の勉強もはかどりそうだし。
三角関数やその加法定理を教える事や測量などへの応用を教える事まではいいとしておいて…
数IIIや数Cまで学習する高校生には三角関数の微分（と積分）まで教えるのが当然という風潮があるがそれでいいのか少し疑問はある
というのも三角関数の微分というのは高校生が学習するには難しい部分が多分に含まれているからだ。加法定理より難しい
まず sinx/x=1 (x→0) さえ証明できれば加法定理を使ってsinxの微分が分かり
その後に他の関数の微分可能性や微積分が求まるのは事実である。しかしsinx/xの極限については証明が中々難しい
S^1を合同変換群の制限と同型になるような群とみなして実数群R^1からS^1への準同型のパラメーター表示として与えられるものやその亜種が
sinx,cosxの幾何的な定義であり高校数学の三角関数もこの類に連なる定義を採用している。この場合はsinx/xの極限は直ちに求まるものではなく
高校数学の範囲で証明しようとするとうっかり循環論法になる事がある。証明が台無しになるのを避けるのが中々難しいのだ。
一方で代数関数の積分として逆三角関数を定義してそこから三角関数を定義する流儀もあり、高木貞治の解析概論ではこの定義を採用している。
この場合は微積分はほぼ自明なものとして導かれるが上記の幾何的な定義との同値性を示さない事には
三角関数の幾何的なお話が全く出来なくなってしまい教育として足りなくなってしまう。
このように三角関数はどのように定義しようが微積分が難しいか幾何的な性質との関係を示すのが難しいかの何れかの困難が立ちはだかる物なのである。
そこを曖昧なままにして大雑把に教えるやり方もあるが、その場合は当の高校生達に「数学が厳密な学問ってギャグなの？」と笑われても仕方ないものになる。
結局どうすればいいのやら…
ラテン語・古代ギリシャ語・サンスクリット語のうち、最低どれか１つは読めるようになった方が良いとは思う。
少し前に、ギリシア詞華集に出てくる女性詩人をヒロインにしたマンガが一部で流行って、それで古典ギリシャ語に手を出した人が相当数いたみたいだが、何らかのきっかけでこういう古典言語に入ると広い世界が拡がってる。
それはともかく、たとえばHaskellを勉強して遅延評価関数型言語の妙味を知り、Rustを勉強してメモリ管理の大変さを知り、Goを勉強してCSP代数の面白さを再認識する、などの知的好奇心を満足させる意味で、各言語の特徴を把握した上で勉強するのはすごく楽しいんじゃないだろうか。
さらにバックグラウンドとして、簡単でも良いので半導体ゲートと同期回路がどうCPUやメモリを作り出していったか、を知ると、よりこれらの「プログラミング言語」というものの妙味を味わえるだろう。
金を儲けたければ、浅く広く勉強した上で、どれか１つの言語に絞って、深く、深く、ライブラリと同じ機能は自前で用意できる程度まで深められたなら、おそらく食いっぱぐれはない。
正確には大学受験で物理・化学・生物・地学などの理科目を勉強しない人達だけど
そういう人達が数学に関心が薄い傾向があるのは仕方ないと思う。
確かに理科目を受験の科目として殆ど勉強しなくても大学入試で二次試験でも数学の試験をやる人達はいる。
しかしそのような人達にとって数学というのはあくまで数学単体で完結してしまっている。
一方で理科目は数学をかなり使っていて受験でそれが要求される人にとって
数学が応用される科目でもある状況と比べるとぜんぜん違う。
理科目以外では例えば地理などで要求される数学なんて僅かだし他の科目はもっと少ない。
だから理科目を勉強しない人達にとって数学のウェイトが小さいのは仕方ないとも思う…
これで大学に入ったら経済学で微積分だの線形代数だのひっきりなしに要求されるんだよな…
だからといって経済学部を目指してる高校生が数3数Cレベルの微積分やってるのを大学に評価する余裕はない
代数関数の積分に三角関数が出てくるのを当たり前に知ってる人達はAO入試とかで若干受け入れるしかない
いやマジで理科目を受験で要求しない学部でどうやって数学の応用の勉強を評価したらいいんだろうな…
小説だって何巻というのを無視して途中の巻から読めば作中特有の概念や人物を示す固有名詞でつまづくのは普通で、そうならないように何巻とか上下巻みたいな目印がある。
しかし数学書はそういうのがなく仕方なく手に取ってみても行単位で見知らぬ固有名詞がぼんぼん出て来る。予備知識を手に入れようにも「前の巻」という概念自体がどうにもならない。
岩波基礎(!?)数学叢書だかいうのに微分多様体の本があったと思うけどはしがきには基本的な解析数学と代数学と微積分学を既知のものとして扱っていると書いてあったと思う。
しかしたとえばお前の言う基本的な代数学とは具体的にどこまでの範囲を指しているんだ？ていうか何の本を読めばいい？てかお前が大学生時代読んできた本のなかでその範囲に属するものを列挙すりゃそれで済むし確実なのになぜそうしない？という言葉がつい漏れる。
だって同じ岩波基礎の本でもアフィン代数みたいな本があってこれが大学数学に代数のスタートラインにあたるものなのは確実だろうがそこのはしがきにはその応用は標準形は別の本にまとめられてると書いてあって確かにジョルダン標準形とか二次形式は別の本になっている。
しかしこれらもそれなりのボリュームがあるわけで読んでやっとのことで理解した後に「実はそこまで代数を掘り下げて学ぶ必要はなかった」と言われたんじゃ遅いわけ。
興味ある分野へ最短経路で学べるようになりたい人も当然多いわけで、実は不必要なのに無駄な学習に時間注ぎたくないわな。そわそわしてもこれは必要な学習だということだから頑張れるわけで。
高校みたいに数１とか数２とかなってて高校行ってなくて道筋が明瞭でどうとでも独学できるのとはわけが違う。しかも全てのはしがきに予備知識として学ぶべきものが書いてあるわけじゃなくこのはしがきを頼りとした芋づる式で学ぶべき順番に見当をつける方法をもってしても袋小路に入ることもあるという…。んでどうでもいいことだが俺の学びたいものにベクトル解析が必要なのかいまだに判断がつかない。
日本語に一家言ある人や政治的な思想がある人は検索してるうち日本語学や法律学の論文に当たることもあるだろうけど、そもそも興味があるのもあって字面は難しそうでもじっくり読めば理解できなかったということはなかったはず。でも数学は知識が無い人を門前払いです…。
ドラクエだかでファルスでコクーンなんていうスラングに象徴されてる現象もプレイすればゲーム展開に沿って難なく解消されるわけで要するにそんなのよりずっとタチが悪いのが大学数学の現状
