数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
ABC予想証明に新理論？ 望月氏「著者は無知」と一蹴、混迷深まる：朝日新聞デジタル
","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 ＰＣ誘導枠５行 ★ここから -->\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
「僕たちに証明できないですかね」数学好き高校生が常識破りの成果、海外誌に掲載｜高校生新聞オンライン｜高校生活と進路選択を応援するお役立ちメディア
「大学で学ぶ知識がないと解けない」とされていた数学の証明問題。西宮市立西宮高校（兵庫）の3年生4人は約1年かけて、高校で学ぶ知識のみで証明してみせ、オーストラリアの数学専門誌に論文が掲載された。常識を覆した4人の熱意に迫る。（文・黒澤真紀、写真・学校提供） もともとは週に１度、「総合的な探究の時間」（現高２以降は「理数探究」）の授業で4人は円周率の新しい求め方を探していたが、うまくいかなかった。試行錯誤する中で「円に内接する多角形の中で、正多角形が一番大きな面積を持つということをなぜ言えるのか」と新たな疑問が浮かんだ。 非常勤講師の宮寺良平先生に質問すると「証明するには、大学の数学科1年生以上のレベルの知識が必要」と言われた。 「僕たちに証明できないですかね」。生徒たちは諦めなかった。「内容自体はシンプル。高校で習う範囲でも太刀打ちできるのではないか」という田中陸人さんの言葉に全員が同意。
中学の数学テストで「文字を使って説明しなさい」という問題に文字で回答したら「式で説明」と赤ペンが入り減点→どう解釈すればいい？
よわむし @0315_osami 生徒の数学の解答（ 記述）について、あんまりアレコレ言わないのだけど、 高校時代から、僕の解答はめちゃくちゃ日本語が多かったんだよね。 大体７割くらいが日本語。 生徒がなぜ式だけで解答を作っていくのか、実は不思議に思ってる。式で解答きちんと書く方が難しくない？？ 2023-05-04 16:40:50 elkiti @elkiti 2023年度①高1、LD(学習障害)。②社交性抜群小6の息子を持つバイト塾講師やってる母。下手の横好きモンスト。とりあえずやってみる、がモットー。 「やるかやらないか」じゃない「やるかどうやるか」だ！ blog.goo.ne.jp/mutsusuker
長岡亮介先生の数学｜旺文社
長岡亮介(ながおかりょうすけ)先生の著作物などに関する情報サイトです。「長岡先生の集中講義」、 「長岡の教科書」、「総合的研究」の追加情報を用意しています。また、動画などを通して、長岡先生の魅力を伝えていくつもりです。
横山 明日希 on Twitter: "二項分布が正規分布になる様子 https://t.co/CsGDHJogzQ"
二項分布が正規分布になる様子 https://t.co/CsGDHJogzQ
地球の重さは「6ロナグラム」 計量単位に接頭語4種追加
【11月19日 AFP】仏パリ近郊のベルサイユ宮殿（Versailles Palace）で開催された第27回国際度量衡総会で18日、メートル法を基本とする国際単位系（SI）に「ロナ」や「クエタ」などの新たな接頭語4種を追加することが決まった。 一般になじみが深い「キロ」や「ミリ」と同じ接頭語に新たに加えられたのは、10の27乗を表す「ロナ」、10の30乗を表す「クエタ」、10のマイナス27乗を示す「ロント」、10のマイナス30乗を示す「クエクト」の四つ。 SIに新たな接頭語が追加されるのは31年ぶり。これまで最大だったSI接頭語は10の24乗を示す「ヨタ」で、1991年に制定されていた。 新たなSI接頭語制定を推進した英国立物理学研究所（National Physical Laboratory）の度量衡学責任者リチャード・ブラウン（Richard Brown）氏によると、その「ヨタ」でさえ
私は数学がなぜ苦手なのか？高校生が分析してあみ出した勉強法が効果抜群だった｜高校生新聞オンライン｜高校生活と進路選択を応援するお役立ちメディア
私は高校入試で、数学以外の科目は 80～90点台でしたが、数学だけ55点でした……（合格者平均は約70点）。しかし試行錯誤の結果、定期テストで平均より少し上となり、評定平均4、模試偏差値65くらいを取れるようになりました。その方法について紹介します。（高校生記者・みかみ＝３月卒業） なぜ苦手か分析してみたら 数学が苦手だった原因を分析してみました。「解けない問題の解答を丸暗記しようとしていたこと」「解答用紙やノートがうまく使えないこと」「暗記するなという言葉を曲解し、復習せず思考停止していたこと」とわかりました。そこで、主に次の4つの方法を実践してみました。 【１】自分の言葉に変えてみる まず、私には数学特有の言い回しが難しかったので、問われた内容を自分の言葉に変えて、問題集に解答の流れを書き込みました。そしてセルフレクチャーという方法で、問題を見て瞬時に答えが導き出せるようにしました。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
小３の先日のテストに出た問題の一つ。大学受験でも解けない学生がいっぱいいるだろうし、数学好きを除き多くの大人は解けないだろう。
XiiixxiQ: Free Euclidean non-linear step-sequencer plugin
「なんだよこのいかがわしい旅行は」女性5人と男性3人のグループで4つの部屋に泊り…確率の問題の設定が想像を掻き立てる
Desmos | Let's learn together.
New MIDI Sequencer, Binarhythmic Rhythm Generator, Generates Sequences Based On Binary Arithmetic – Synthtopia
2年間針を投げ続けて円周率を求めた結果
京都大学の学祭カウントダウンが頭良すぎて感心してしまう→実際できるのか検証してみた
Fibonacci Note Echo version 0.0.2 by zsteinkamp on maxforlive.com
Reddit - Dive into anything
Desmos | Graphing Calculator
「どうして 0 で割っちゃいけないの？」「それが数学のルールだからよ」というのは教育方法としてやばすぎるのでは
