掛算の順序と学習指導要領 - きしだのHatena
あいかわらず掛算の順序の話がもりあがってるようなのだけど、コーディングルールの話なんだから計算の定義の話をしても徒労だよなと思いながら見ていた。 で、ちょっと教育指導要領解説を見てみたのでまとめる。 学習指導要領解説の記述 「【算数編】小学校学習指導要領（平成29年告示）解説」では次のようになっています。順序は表現のときの問題で、計算では交換則を使っていいとなっています。 被乗数と乗数の順序は、「一つ分の大きさの幾つ分かに当たる大きさを求める」という日常生活などの問題の場面を式で表現する場合に大切にすべきことである。一方、乗法の計算の結果を求める場合には、交換法則を必要に応じて活用し、被乗数と乗数を逆にして計算してもよい。 このPDFの115ページ。 https://www.mext.go.jp/content/20211102-mxt_kyoiku02-100002607_04.pdf
周期性のない図形「ペンローズ・タイル」が量子コンピュータのエラーを訂正？ カナダの研究者らが発表
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: ＠shiropen2 カナダの研究所Perimeter Institute for Theoretical Physicsとエジンバラ大学に所属する研究者らが発表した論文「The Penrose Tiling is a Quantum Error-Correcting Code」は、繰り返さないパターンである「ペンローズ・タイリング」が、量子コンピュータの誤り訂正に応用できることを提案した研究報告である。 量子コンピュータは量子力学の原理を利用することで、従来のコンピュータでは解くことが難しい問題を高速に解くことができる。しかし、量子情報は環境ノイズからの影響に
アインシュタイン・タイル発見〜日経サイエンス2023年11月号より
ある数学愛好家が発見した帽子に似た図形に数学界が沸き立っている 英ヨークシャー在住の数学愛好家スミス（David Smith）が，とある13角形を発見した。数学者による探索を何十年もかいくぐってきた図形だ。いかつい帽子に似たその形（次ページの図で太線で描かれている図形）は，ドイツ語で「1個の石」を意味する「アインシュタイン」という名で呼ばれている。アインシュタイン・タイルを使うと浴室の床を隙間なく敷き詰めることができ，しかも同じパターンが繰り返されることが決してない。浴室の床だけでなく，どんな平面でも，それが無限に広がっていても，これが可能だ。 非周期的にしか敷き詰められないタイル 数学者は長年，敷き詰めが必ず非周期的になる「強非周期的タイル張り」を実現するタイル形状を探し求めてきた。まず見つかったのは形状が様々に異なるタイルのセットだった。1964年に発見された最初のセットは2万426種
数学入門公開講座｜京都大学数理解析研究所
ヒッチン方程式とその周辺 教授・望月 拓郎 ヒッチン方程式はリーマン面上で定義される非線形な微分方程式です。もともとは物理学で重要なヤン - ミルズ方程式を簡単にしたものとして導入されたのですが、むしろ数学的に興味深い方程式であり、微分幾 何・代数幾何・トポロジーなど様々な分野を結びつける役割を果たし、その影響は代数解析や数論といった かなり離れた分野にまで及んでいます。この講座では、ヒッチン方程式に関連する数学的対象について説明 し、ヒッチン方程式に触発されて発展した研究の一端を紹介する予定です。また、ヒッチン方程式を例とし て、非線形微分方程式の解析の難しさと面白さなどについても触れたいと考えています。 二重指数関数型数値積分公式の理論と発展 助教・大浦 拓哉 二重指数関数型数値積分公式（DE 公式）は高橋秀俊・森正武により1974年に提案された定積分の値を数 値的に求める手法です。現
まだある、カリー／ハワード／ランベック対応の辞書 - 檜山正幸のキマイラ飼育記 (はてなBlog)
カリー／ハワード／ランベック対応の辞書 続・カリー／ハワード／ランベック対応の辞書 まだあるの？ まだあります！ カリー／ハワード／ランベック対応〈Curry-Howard-Lambek correspondence〉は、「型理論（ラムダ計算を含む）」「論理」「圏論」の三分野のあいだの対応ですが、今回は、抽象的・一般的な圏ではなくて、集合圏と位相空間の圏を取り上げます。主に、依存型理論の概念を、論理、集合圏、位相空間の圏で何に対応するかをまとめます。 先に、幾つかの言葉の説明をしておきます。 バンドル〈bundle〉： 多様体上のベクトル・バンドルなどとは違って、単なる連続写像 $`f:E \to B`$ のことです。全射であることも仮定しません。逆像 $`f^{-1}(b)`$ に注目します。 自明バンドル〈trivial bundle〉： 直積とその射影をバンドルとみなしたものです。
超関数型プログラミング
この記事はFOLIO Advent Calendar 2022の23日目です。 ソフトウェア2.0 ソフトウェア2.0 という新しいプログラミングのパラダイムがあります。これは Tesla 社のAIのシニアディレクターだった Andrej Karpathy が自身のブログ記事（"Software 2.0"）で提唱した概念で、 ニューラルネットワーク のような最適化を伴うプログラムを例に説明されています。 従来のプログラム（Software 1.0）は人間が命令に基づいたプログラムを作成し、望ましい挙動を行わせます。それに対してニューラルネットワークのようなプログラム（Software 2.0）では人間はある程度の自由度をパラメータという形で残したプログラムを作成し、「入出力のペア」や「囲碁に勝つ」というような教師データや目的を与えてプログラムを探索させるというものです。 画像出典: "So
RealLib ではじめる誤差ゼロ実数計算 - 2008-09-09 - ひとり勉強会
RealLib のソースコード読みを始めるはずだったんですが、なんだか全然進んでないので適当なまとめエントリでお茶を濁します！ RealLib が普通にかっこよすぎるので紹介しまくりたくなりましたので紹介記事です。 実数計算と誤差 たいていのプログラミング言語の「実数 = 浮動小数点数」の計算には「誤差」があります。たとえばPythonのばあい： Python 2.5 (r25:51908, Sep 19 2006, 09:52:17) [MSC v.1310 32 bit (Intel)] on win32 Type "help", "copyright", "credits" or "license" for more information. >>> 0.1 + 0.1 + 0.1 - 0.3 5.5511151231257827e-017 0.1 を 3 回足しても 0.3 にはな
転がるとき”全ての表面が地面に接する”不思議な幾何学立体「オロイド」 - ナゾロジー
尖っているのにスムーズに転がる物体「オロイド」幾何学物体「オロイド」 / Credit:Matter Collection（Kickstarter）_The Mega Oloid: Geometric perfection into a colossal artwork（2022）オロイドとは、ドイツの彫刻家または数学者だったパウル・シャッツ氏によって、1929年に発見された幾何学的な物体です。 通常の生活ではめったに見かけない不思議な形をしていますが、構造自体は非常にシンプルです。 オロイド構造は、同じ大きさの円盤2つで成り立っています。 オロイド構造。2つの円が直交している / Credit:Thinkingarena（Wikipedia）_Oloid半径が等しい２つの円盤が直交しており、それぞれの円の中心がもう一方の円の外周と重なるよう設計されているのです。 あとは円盤のふちから円盤
SPHERICON｜幾何学とアートを融合した独特・不思議な回転をするオブジェ「スフェリコン」
幾何学とアートを融合した独特・不思議な回転をするオブジェ「SPHERICON（スフェリコン）」のご紹介です。 SPHERICON（スフェリコン）は、回転の半分を半分にカットし、90度回転させることで、自己矛盾するように見える幾何学的特性を持つ3次元フィギュア。 ステンレススチール・ブラス・コッパーの高品質メタル製であなたの空間にフィット。 Sphericon（スフェリコン） 昼も夜も美しく光りを反射し、滑らかな表面に魅了されます。合理性を体現するエッジに集中して集中力を高め、ピースが動くさまざまな軌道に見入ってください。 Hexasphericon（ヘキサスフェリコン） 特別な理由 様々な革命的な固体から製作 転がっている間、表面のすべての一点が地面に接触 各Sphericon（スフェリコン）はジオメトリに応じて異なるモーションラインを保有 モーションはランダムに見えますが、予測可能な方向
TokusiN on Twitter: "凄い魔方陣が出来てしまった。 使われている数字は1～512を重複なしで1回ずつ、全て既約真分数。 全てのマス目をatan(x)してから足すと、縦横斜めが全て2πになる。 https://t.co/mlIpykuTZQ"
凄い魔方陣が出来てしまった。 使われている数字は1～512を重複なしで1回ずつ、全て既約真分数。 全てのマス目をatan(x)してから足すと、縦横斜めが全て2πになる。 https://t.co/mlIpykuTZQ
5次方程式の解の公式が存在しないことのトポロジカルな証明
解を連続的に交換すると、多項式は解の交換により変化しないため、係数は連続的な軌跡を描いて元に返ってくる。しかし、交換された２つの解は元に戻ってこない。
数学とプログラミングの勉強を開始して、何度も挫折して今に至る軌跡を晒す
2013年の秋、その時の自分は30代前半だった。 衝動的に数学を学び直すことにした。 若くないし、数学を学びなおすには遅すぎると思って尻ごみしていたが、そこを一念発起。 というか軽い気持ちで。ぶっちゃけると分散分析とやらに興味を持ったから。 数学というか統計かな。 統計的に有意差があったといわれてもその意味がさっぱりだった。 一応、理系の大学を出てるので、有意差という単語をちょいちょい耳にはしていたが、 「よくわかんないけどt検定とかいうやつやっとけばいいんでしょ？」 くらいの理解だった。 で、ありがちな多重比較の例で、3群以上の比較にt検定は使っちゃダメだよっていう話を聞いて、なんか自分だけ置いてけぼりが悔しくなって、Amazonをポチッとしたのが全ての始まり。 あと、あの頃はライン作業の工員だったから、脳が疲れてなかったし。 そんなわけで、自分の軌跡を晒してみる。 みんな数学とかプログ
数学における「自明」の意味｜さのたけと
一昨日、数学における「自明」の意味について ツイート したところ一定の反響がありました。 数学の教科書において「自明」「明らか」といった言葉は頻出でありながら、本文でその意味がちゃんと説明されることは稀で、結果としてそれらの言葉を 誤解 している人や、それらの言葉が使われることに 圧力・反感 を感じる人も一定の割合でいるようです。 この記事では、その言葉の意味を説明すると共に、なぜそれらの言葉が数学において必要であるのかを解説してみたいと思います。 背景三日前、 数学系 YouTuber の数学野郎さんが 「ひろゆきに影響された数学系YouTuber」という（とても面白い）動画を公開していました。 彼はその中で「√2 が無理数であることを証明するには、まず √2 が実数であることを示さなければならない」と主張していました。それに対して「√2 が実数であることは自明であって欲しい」とコメント
「2乗してはじめて0になる数」とかあったら面白くないですか？ですよね - アジマティクス
「その数自体は0でないのに、2乗するとはじめて0になる数」ってなんですか？ そんな数あるはずがないと思いますか？ でももしそんな数を考えることができるなら、ちょっとワクワクすると思いませんか？ 今回はそんな謎の数のお話。 実数の中には、「2乗して0になる数」というのは0しかありません。 （2乗して0になる実数は0しかない図） ということは、「2乗してはじめて0になる数」というのがあるとしたら、それは実数ではありえません。 「1年A組にはメガネの人はいないので、メガネの人がいたとしたらその人は1年A組ではありえない」くらいの当たり前のことを言っています。 この辺の議論は、複素数で「」を導入したときと同じですね。 「実数の中には、2乗して-1になる数というのは存在しないので、それがあるとしたら実数ではありえない」ということで「虚数」であるが導入されるわけです。 それならばということで、ここでは
「数体の素元星座定理」に関するプレプリントについて - tsujimotterのノートブック
2021年 に入ってすぐに、とんでもないニュースが飛び込んできました。もちろん、数学のニュースです。 東北大学の研究チームによる論文のプレプリントがarXivで公開されました。タイトルは "Constellations in prime elements of number fields" で、こちらのリンクからアクセスできます： Constellations in prime elements of number fields Wataru Kai, Masato Mimura, Akihiro Munemasa, Shin-ichiro Seki, Kiyoto Yoshino https://arxiv.org/abs/2012.15669 Wataru Kai, Masato Mimura, Akihiro Munemasa, Shin-ichiro Seki, Kiyoto Yo
Smooth maximumを作って遊ぼう - Corollaryは必然に。
以前、maxやminを使って数式お絵描きをする記事を書きました。 corollary2525.hatenablog.com 要約すると、2つの不等式 \begin{align*} \color{red}{f(x,y)}\ge0,\\ \color{blue}{g(x,y)}\ge0 \end{align*}を \begin{equation*} \min(\color{red}{f(x,y)}, \color{blue}{g(x,y)})\ge0 \end{equation*}のようにでまとめると、領域との共通部分を表す領域になり、「」にするとその境界を表します。 同じように、 \begin{equation*} \max(\color{red}{f(x,y)}, \color{blue}{g(x,y)})\ge0 \end{equation*}のようにでまとめると、領域との和集合を表す領
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Life Universe
[pdf] Introduction to Exact Real Arithmetic
今井峻介 on Twitter: "数学、音楽クラスタのみなさま！うちの弟が「正二十面体の頂点12個に12個の音をうまく配置すると、正二十面体が持ってる基本的な性質によって西洋の音階の様々ん性質が説明できる」という論文を発表したのですが、難しすぎてよくわからないので… https://t.co/JhIu5xlfja"
線形代数というものの見方 / View from Linear Algebra
