きつね @wreck1214 ずっと数学が苦手だったという後輩に「中高生の時に脳みそが発達しきってなかっただけ!あなたの賢さがあれば今なら絶対わかる!少なくとも数IAは絶対大丈夫!!」って力説してチャート式見せたら「なんだ!確かに今ならできるかも!やってみたい!」とその場でチャート式をポチってて激アツ展開だった
NTT基礎数学研究センタでは、数学の基礎研究をとおして科学技術の源泉である「知の泉」をより豊かにしたいと考えています。本稿ではまず、NTT基礎数学研究センタでの研究の全体像を俯瞰します。さらに、センタの中心的な研究領域である「数論、特に数論力学系」「代数幾何・数論幾何」「表現論・保型形式」について紹介します。 およそ2500年前のギリシャで、素数の研究がなされたことは驚きです。素数が無限に存在することや自然数が素数の積に一意に分解できることが示されていました。どんな動機があったのかは不明です。しかも1977年のリベスト、シャミア、エーデルマンによるRSA暗号方式の発明まで、その工学や社会での応用は期待さえありませんでした。加えてRSAの鍵となる「 を素数、 を整数とすれば が成り立つ」というフェルマーの小定理(1)の発見(証明はライプニッツ)後も、その確立に300年余を要しました。 数論(
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 カナダのマニトバ大学などに所属する研究者らが発表した論文「Small volume bodies of constant width」は、どんな次元でも一定の幅を保ちながら、球よりも小さい体積を持つ図形を発見した研究報告である。 「定幅図形」とは、円や球のように転がした時に高さが変わらない(どの方向から見ても幅が同じ)図形である。円や球とは別の例として、曲線の辺を持つ「ルーローの三角形」が挙げられる。またイギリスでは、20ペンスや50ペンス硬貨の形状として知られる正七角形の曲線版も同様の特性を持つ。定幅図形であることにより、これらの硬貨はどの方向から挿
インド科学研究所の科学者らが、高エネルギー粒子の振る舞いを研究している最中に、偶然「円周率(π)」の新しい表現方法を発見したことを報告しました。 Phys. Rev. Lett. 132, 221601 (2024) - Field Theory Expansions of String Theory Amplitudes https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.132.221601 Indian Institute of Science https://iisc.ac.in/events/iisc-physicists-find-a-new-way-to-represent-pi/ 円周率の新しい公式を発見したのは、インド科学研究所高エネルギー物理学センターのAninda Sinha氏(左)とArnab Saha
先日こういうツイートが流れてきた。 Q:なぜ金融系では未だにCOBOLが使われるんですか? A:お手元にExcelがありましたら任意のセルに「=4.8-4.7-0.1」って入れてみてください。— 遊撃部長F/S&RWAs (@fstora) 2024年6月6日 Q:なぜ金融系では未だにCOBOLが使われるんですか? A:お手元にExcelがありましたら任意のセルに「=4.8-4.7-0.1」って入れてみてください。 普段我々がゴリゴリ馬車馬のように使っているソフトウェアでよく利用されている浮動小数点型、すなわちfloatやdoubleなどは特定の算術に弱いことが知られている。というかもうこの手の話題はあまりに拡散されてしまったので、なぜかネット民はみんな知っている基礎教養、三毛別羆事件とかデーモンコアみたいな感じになっている。 ちなみにこれはCOBOLかそうではないか、という軸が問題になっ
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 英インペリアル・カレッジ・ロンドン(ICL)の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明(形式化)においてその曖昧さが障害になっている」と指摘する。 「=」(等号)にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 この問題は「ラングランズ・プログラム」と呼ばれる大きな構想の一部である。ラングランズ・プログラムは、数学のいくつもの異なる分野の間に深い関連性があることを提案した考えで、そのアイデアは、1967年に数学者ロバート・ラングランズさんが別の数学者アンドレ・ヴェイユさんに宛てた手紙にさかのぼる。 そこでは「数論」と「調和解析」という明らかに異なる2つの数学の分野が実は深く関連しているというアイデアを提唱していた。しかし、ラングランズさんは実際にこれを証明することができず、自分が正しいかどうか確信が持てなかった。 ラングランズさんのアイデアを用いて、ある数学の
「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数本」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ&ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね
恐るべし、の発想…!ワイヤレスを片方だけ落とし、数学を使って場所を特定した18歳の現役のエピソードが、SNS上で注目を集めている。Bluetooth機能を活用しながら、「三角形の外心の性質」という高校数学で習う知識を基に、10分ほどで場所を導き出したとという。「脳汁が止まらなかった」という方法とは。 「三角形の外心の性質」を活用東大理科一類1年で、X名・なんじゃこりゃてゃさん(@nenerushimo1919)。中学3年の時に買ってもらった数学の雑誌を読んでから数学が好きになり、授業のスピードを逸脱して高校範囲まで勉強を進めていた。「もともと理系科目が好きですが、数学は他の科学よりも自由度において優れていると思っています」と話す。 は4月末、東大の駒場キャンパスで落としたという。紛失に気付いたのは約30分後。「諦めかけていたんですが、落ち着いてBluetoothをONにして、来た道を辿って
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
IPv6円周率 @IPv6_ensyuritu これと似たような問題かわからないけど 文字が抜ける→脱字 文字を間違える→誤字 文字が増える→??? ってのもあるね (衍字(えんじ)と言うらしい) x.com/k_love_math/st… 2024-04-22 22:57:14 セキネン @Road_to_26M この類の言い方は小4の四捨五入で登場します、四捨五入の説明には極めて便利です 「以下」は「以上」とわかりやすく対になる言葉ということで出ていると思われます 「超過」が出ていない理由としては、四捨五入の説明に不要であることや、「超」や「過」が小4時点で見登場であることが挙げられそうです x.com/k_love_math/st… 2024-04-22 21:02:49
","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"
三谷 純 Jun MITANI @jmitani 筑波大学 システム情報系 教授('75生)CG/折紙/幾何/プログラミング,一風変わった折り紙の設計,制作をしてます.令和元年度文化庁文化交流使としてアジア諸国をまわってきました.主に数学と折紙と日常のことについてツイートします.折紙作品の写真をこちらで公開しています instagram.com/mitani.jun/ mitani.cs.tsukuba.ac.jp/ja/ 三谷 純 Jun MITANI @jmitani 理工系の大学生1年生の多くは まずはじめの数学で「線形代数」を学ぶことになると思います。 僕が学生だった頃、 「結局これって何を勉強しているの?」 という疑問がずっと拭えなかった記憶があります。 同じような疑問を持っている学生向けに、線形代数で何を学ぶのか説明する文章を作ってみました pic.twitter.com/1j
あいかわらず掛算の順序の話がもりあがってるようなのだけど、コーディングルールの話なんだから計算の定義の話をしても徒労だよなと思いながら見ていた。 で、ちょっと教育指導要領解説を見てみたのでまとめる。 学習指導要領解説の記述 「【算数編】小学校学習指導要領(平成29年告示)解説」では次のようになっています。順序は表現のときの問題で、計算では交換則を使っていいとなっています。 被乗数と乗数の順序は、「一つ分の大きさの幾つ分かに当たる大きさを求める」という日常生活などの問題の場面を式で表現する場合に大切にすべきことである。一方、乗法の計算の結果を求める場合には、交換法則を必要に応じて活用し、被乗数と乗数を逆にして計算してもよい。 このPDFの115ページ。 https://www.mext.go.jp/content/20211102-mxt_kyoiku02-100002607_04.pdf
2024-03-29: 初稿 注意: 「遺書」とありますが、別に自殺はしないのでご安心ください。 はじめに 私は代数学専攻のポスドク(学振PD3年目30歳)ですが、2024年3月末でアカデミアを離れて、4月から一般企業へ就職します。 このようにアカデミア界隈のポスドクやら研究者やらが、研究職のアカデミアを離れて民間企業へ就職することを 脱アカ・acadexit と呼ぶことがあります。そういう人はよく記事を書くようなので、私も書いてみることとします。 そういう記事でありがちな就活体験談や就活ノウハウ等というよりは、かなりシリアスで鬱な精神面についての重い話になりますが、私の経験を共有して、同じような悩みを持つ人に少しでも助けになれば、またアカデミアの人たちにも「こういう人もいるんだ」という参考になればと思い、書いています。正直過去の自分へ向けて・また現在の自分の心境の整理という意味の強い記事
「大学で数学は哲学になる」と主張する人がいる*1.特におもしろくもないし,適切な比喩とも思えないんだが,一部の頭がフワフワしている層や視野の狭い人々,数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく,ごくまれに信じている人がいる*2. ただ,実際問題,違いを説明しろと言われるとワリと困る.「リンゴとゾウの違いは何ですか」と聞かれているようなものなので,当然なのだが,「いや,見た目も大きさも全然違うじゃん」と言いたくなる.問題は「リンゴとゾウ」なら一目瞭然なのだが,「学問」は目に見えないので,どちらもわかっていない人には誰かが説明しないと違いがはっきりわからない点にある*3.「リンゴの触り心地はツルツルだし,ゾウも(牙が)ツルツルだから,きっと似たようなものだろう」と言う盲人のようなものである*4. この記事の目的は「数学と哲学の違い」という直観的には明らかだが,ちゃ
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: @shiropen2 ペンシルベニア大学などに所属する研究者らが発表した論文「Information content of note transitions in the music of J. S. Bach」は、音楽作品を情報ネットワークへと変換し、作品が内包する情報量と伝達効率を調査した研究報告である。この研究では、バッハの楽曲を情報ネットワークとしてモデル化し、楽曲が持つ情報量とその情報をいかに効率よく伝達するかを定量的に評価する。 手法の第一歩として、楽曲の各音符をネットワーク上のノードとして捉え、音符間の遷移をエッジで結び付けている。このエッジは指向
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく
問題提起 そこそこ有名な「自然言語にwell-definedを求めるな。」という文がある。 X (ex-Twitter) ではこの文に様々な意見がついている。 この文の形式(=つまり文そのもの)について議論することは一定程度可能だと思う。 しかしこの文の意味する主張の妥当性についてあなたが議論しようとするとき、私はあなたが正しくこの文を解釈できているのか問いたい。 文の中には文脈(context)、違う言い方をすればその文を取り巻く環境(environment)への明示的・暗黙的な参照(reference)が散りばめられており、文章を解釈するためにはこれを正しく参照解決(dereference)してやらねばならない。 あなたはこの文が発せられた当初のコンテキストを、あるいはその出来事を記憶している人々が発するこの言葉のコンテキストを調べずにこの文の意味を断定しようとはしていないか?その状態
0. はじめに 2023年10月,将棋棋士の藤井聡太さんが前代未聞の八大タイトル全制覇を成し遂げた。既にタイトル戦以外の一般棋戦4つも制していたことから,イニシャルのFより す べ て が F に な る とも言われた。元ネタは森博嗣氏の小説S&Mシリーズの第一作である。初版は今から30年ほど前であるが,その後,何度もコミカライズ,テレビドラマ化,アニメ化され,息の長いコンテンツとなった。ちなみに自分はテレビドラマ版が一番好きだ。周囲の目を惹く美人という西之園萌絵くんのイメージに一番しっくりくる。原作小説もその時に集めたものだ。 1996年04月05日 小説「すべてがFになる」講談社,森博嗣 1996年09月02日 小説「笑わない数学者」講談社,森博嗣 2002年02月24日 漫画「すべてがFになる」全1巻,幻冬舎,浅田寅ヲ 2014年10月21日 テレビドラマ「すべてがFになる」全10回
確率から画像処理まで、離散畳み込みと高速フーリエ変換(FFT) 激ムズ数え上げパズルと驚きの解法 https://youtu.be/FR6_JK5thCY フーリエ変換の解説動画 https://youtu.be/fGos3wrKeHY 【注釈】 整数のかけ算のアルゴリズムについて、FFTの"straightforward"な適用はO(N * log(n) log(log(n)) )の実行時間になる。log(log(n))の項は小さいが、2019年になってHarvey and van der Hoevenがこの項を取り除くアルゴリズムを発見した。また、O(N^2)を、必要な計算量がN^2と共に大きくなると表現したが、厳密にはこれはTheta(N^2)が意味するところである。 O(N^2)は計算量が高々N^2の定数倍になるという意味で、特に、実行時間がN^2項を持たないが有界であるアル
指導要領で数学Cが復活したから「数学IIIと数学C」と表記するけどまぁそれはともかく… その範囲に入らない段階での三角関数について学んでもかなりつまんないとは正直思う 結局数学II・数学Bまでの三角関数はグラフを書いてどんな形になるか確かめたり、せいぜい加法定理を習うまでだからだ これでは特定のxに対して sin x, cos x, tan x が幾つになるかばっかり考える事になる 三角測量という重要な応用があるにはあるが、それは結局実生活に役立ってる事が分かりはするが 三角関数自体の豊かな性質には触れられない これじゃ退屈に感じてしまう人がいても仕方ないよ 一方で数学IIIや数学Cまでやると三角関数はどうなるか 微積分と繋がる訳だ これで様々な有理関数の不定積分が三角関数を用いて表す事が出来たりと 他の分野との有機的な繋がりが見えてくる 様々な平面図形や立体の面積・体積も求められるように
最近の話ですが、以下のようなニュースが話題になっているのを見かけました。 データサイエンス系の学部は文理融合の学びを掲げ、文系の受験生も集めるため、受験科目に「数学」を含まない入試方式を設ける大学も少なくない。河合塾によると、私立大のデータサイエンス系学部・学科における昨春の一般選抜のうち、数学を選ばずに受験できる大学は約半数もあった。 要は「数学不要」のデータサイエンス学部が出てくるようになったというお話で、各種SNSでは論議を呼んでいるようです。界隈によってはほとんど「嘲笑」に近い評が流布していることもあり、少なくともデータサイエンス業界におけるこのニュースの受け止められ方としてはかなり冷ややかだという印象があります。 とは言え、冗談でも何でもなく「全国津々浦々どこに行っても大学の新設データサイエンス学部の広告を見かける」*1というのが既に常態化している昨今では、これに類する話題は今後
仏紙「ル・モンド」は2023年5月、米スタンフォード大学の数学教授である時枝をこう評した。 「数学者は2つのグループに分けられがちだ。黒板にチョークで数式を書く理論派とプラスチックのシートにフェルトペンで書き込む応用数学者──しかし、日本の時枝正は第三のカテゴリーに属している」 ル・モンドは、パリのアンリ・ポアンカレ研究所での時枝の講義に注目する。彼は数学や物理学における古典的な内容を取り扱う際に、チョークではなく大きなコインを用意し、それで理論を視覚的に伝えているのだ。 時枝が注目される理由は、「わかりやすく数学を広める」という彼の特殊能力にある。シンプルな道具を使い、深淵な数学理論を親しみやすく解説するその手法は「手品のよう」とも形容される。 時枝の経歴もまた非常にユニークだ。もともと彼は画家としての将来を嘱望されるほど絵画に長けていた。日本を離れ、フランスに発ったのは14歳のころ。「
ゲーム作りとかCGとかに関わる数学(初歩)① 今回HIKKYさんのアドベントカレンダーに投稿するにあたって、別の温めてたネタはあったんですが諸事情により封印してしまったので、何か別のテーマにしようと考えました。 で、色々考えたのですが、特に思いつかなかったのでCG数学の初歩的な話をしようかなと思います。実際VKetCloudの中でも基本的な数学は必ず使われてますし。 あと「ゲームメーカーズ」さんの記事でも取り上げていただいた、僕のCEDEC+KYUSHU2023の数学のお話がやたらとウケがよかったため、数学の話で行くことにしました。 で最初に書いておくと、書きたかったことの半分もかけていません。 時間の都合上と、あと数式と頭が多すぎるのか、このドキュメントの編集が何度も落ちるからです。 と言うわけで、今回は概要と三角関数とベクトルの話だけにします。 あとは年末年始休みの間にでも続きを書きま
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く