Mathematics

日本に住む小学４年生のホームスクーラーです。 小学１年生から学校には通っていません。 ちょっとした事を書いていきたいと思います。 日本語と英語を書きます。 I am a homeschooler living in Japan. I am 4th grade. I stopped going to school from 1st grade. The English translation is below the Japanese text. I will write the Japanese text and the English text. 海外のオンライン数学サークルに参加しました。…

日本に住む小学４年生のホームスクーラーです。 小学１年生から学校には通っていません。 ちょっとした事を書いていきたいと思います。 日本語と英語を書きます。 I am a homeschooler living in Japan. I am 4th grade. I stopped going to school from 1st grade. The English translation is below the Japanese text. I will write the Japanese text and the English text. 数学の勉強で新しい研究のことを考えていました…

Mathematics. マテマティクス

数学書の「容易に」「明らかに」は，演習問題だ。著者によれば容易にできるはずなので，書き下してみる。 佐武一郎「線形代数学」p.241 一つの群Gが与えられているとする。Gの(K上の)ベクトル空間Vにおける(線形)表現とはGの各元gにVの正則一時変換を対応させる対応で， (1) を満たすものをいう。(1)から容易に を得る。 とあるので，どういうことかを書き下す。 (1)のgに1を代入する。 は1なので， となる。 この式は，同士をかけ合わせてもになることを表している。つまりは単位元。もう一つの方も，まずは(1)式にを代入する。 ところで，(逆元をかけると1になる。それが逆元の機能)。なので， …

The British and the Americans also made important contributions to Allied cryptanalysis. The supremacy of the Allied codebreakers and their influence on the Great War are best illustrated by the decipherment of a German telegram that was intercepted by the British on 17 January 1917. The story of th…

数学書読書の記録をWeb上に残しておきたい。はてなでも数式は書ける，とのことだが，いろいろと注意も必要な様子。どんなサイトがあるのかをリストにする(順次追加)。 www.mathwills.com zenn.dev

ぼーっと数学書を眺めていたら，R*の定義として R* = {a ∈ R ; a is a unit in R} というのがあった(p.10,Siegfried Bosch,"Algebraic Geometry and Commutative Algebra")。 R*の定義としては，どこかで R* = R - {0} というのを見て，これしか覚えていなかったので一瞬とまどった。どちらも同じ集合を表す，というのは計算すると分かる。unitで表現しているのは，本書がスキームの話をしているからなのかな。同書p.16で， Spec R = {p ⊂ R; p prime ideal in R} Sp…

ガリレオが次のように述べたように、物理学では数学を言語として使用します。 The book of Nature is written in the language of mathematics. (Galileo) 自然(という書物)は数学という言葉で書かれている しかし、数学の授業ではないので、使う数学は基本的なものばかりです。ここでは、いくつかのトピックに分けて説明します。 等式を解く 等式とはイコールのある式の事。3x+2y=3とか、x=ut+1/2at^2とか、ma=Fとか。 様々なシーンで等式が出てきますが、生徒を見ていると、等式を作ることはできているのに、等式を解くときに間違えて…

はじめに こんにちは。データ部ML Product Devチームに所属している谷澤です。 ML Product Devチームは「機械学習を活用した競合優位性のあるプロダクト開発」をミッションとし、プロダクト開発チームと協力して日々開発を行っています。 今回のブログでは、プライベート参加したKaggleコンペティション「Eedi – Mining Misconceptions in Mathematics」で得られた学びについて共有します。 コンペティション概要 タスク Eediコンペティションでは、算数の4択問題が与えられます。問題ごとに1つの正答と3つの誤答が存在し、それぞれの誤答には「どん…

Fortran 10 位 今月も安定の１０位圏内。 www.tiobe.com Modern Fortran Explained: Incorporating Fortran 2023 (Numerical Mathematics and Scientific Computation)作者:Metcalf, Michael,Reid, John,Cohen, Malcolm,Bader, ReinholdOxford Univ PrAmazon Modern Fortran: Building efficient parallel applications作者:Curcic, MilanMan…

おそらく、英語では最大5000種類ぐらいだと思うよ・・だから、この4137は凄いのだ！ 思った以上に疲れたから・・・・これで収集は終わりかな？ フー・・・シンド！ Phobia general term for an irrational fear of anything 何かに対する不合理な恐怖の総称 または嫌悪感 Aaaaphobia アーアフォビア fear of being at the beginning 最初にいるという恐怖 先頭恐怖症？ Aaliaphobia アリアフォビア fear of anime and weebs アニメとウィーブ（日本オタク）の恐怖 Abanaphob…

やったこと 箱根駅伝を見る 父方の親戚の集い 雑感 毎年恒例の親戚の集まりに参加した。 生まれてこの方20年間親戚内最年少の座を守りぬいた私も、2020年ついにその座を従兄夫婦の子に譲り渡した。それからわずか5年にして、従姉が結婚兄が結婚。したかと思えば立て続けに第一子を生み、長らく顔ぶれの変わらなかった親戚の集いも俄かに賑やかな雰囲気を取り戻しつつある。机を挟んで飛び交う話題も大人たちの仕事話から子育てトークに変貌し、日本を覆う少子化の暗雲を振り払うかのような明るさが場を包む。 だが、明るい話題だけとは問屋が卸さない。年末は2年前に急死した母方の祖父の三回忌だった。祖母の認知症はいっそう深刻…

一塾に通わせる理由NS小学生向けコースCambridgeLowerSecondary･English.Mathematics.Science.ICT･Global Perspectives.PSHENS小学生コース（ 11歳-14歳）でNS1～NS3までを提供しています。

今回はプレイ中のゲーム「エルデンリング」についてです。時間の無いサラリーマンにとって，テレビゲームは歯止めが利かないと危険な諸刃の剣ですが，実際プレイしてみて，上手く付き合えばサラリーマン生活を豊かにしてくれる，本や映画などと同様に優れたエンタメの１つだと改めて思いました。プレイの進行状況としてはゆっくりプレイして100時間経過したところ終盤に差し掛かってきたところです。まだエンディングは迎えてないのですが，一番熱が入っている時期に備忘録的に書いてみようと思います。 エルデンリングとは サラリーマンにおすすめの理由 ゲームに集中してその世界に没入することでストレス回避できる いつでも中断できる…

一塾に通わせる理由また本コースを提供しているネイティブ教師が授業を担当するため、必要な科目知識もちろん英語力なども同時に育成をしていきます。安心して 9月から本コースに入学していただくことができます。BoosterコースEnglishMathematics

はじめに 今年も本当にあっという間の一年でした． 昨年くらいから，一週間以上前のことを思い出すのも大変になってきたので，将来の自分のためにも毎年恒例の振り返りをしておきたいと思います． 参加していたコンペ kaggle LLM - Detect AI Generated Text 14 / 4358（ソロ金） HMS - Harmful Brain Activity Classification 269 / 2767（ソロ銅） The Learning Agency Lab - PII Data Detection 16 / 2048（銀） Home Credit - Credit Risk …

現在２０２４年１２月２６日２０時１６分である。（この投稿は、ほぼ２３１０文字）麻友「（その３）くらいは、続くだろうと思っていた」若菜「やっぱり、ワクワクが、続くかどうかですよね」結弦「お父さん。昨日も今日も、『退屈評価』、やったの？」私「学生時代、ホーキングの論文、手で書き写していたのを、思い出した」麻友「本当に、やってる」結弦「一昨日の、論文、 論文（１／９）クリスマス過ぎても、変わらない」私「一昨日の続き、『(By Serge Lang and André Weil.)サージ・ラング、アンドレ・ヴェイユ共著』『(1.Statement and proof of the main theor…

今回もMathematics In Lean 4の第8章 群と環 から8.1.3 部分群を読んでいます。前回の記事でラグランジュの定理「有限群の元の個数は部分群の源の個数で割り切れる」をLean4で形式証明しました。 maxima.hatenablog.jp 証明の肝はSubgroup.groupEquivQuotientProdSubgroupという長い名前の定理です。定理の内容は次の式です。 G ≃ (G ⧸ G') × G' ここでGは群、G'はその部分群です。G⧸G'はGをG'で割った商集合（同値類の集合）です。×は群の直積、≃は群同型です。 意味は群はその部分群で割った商集合と部分群…

放置しておくのも何なので、今年購入した・購入した本の感想をまとめておこうと思います。