数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
旧限界数学ゼミガール
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
存在しない beatmania IIDX の当たり待ちについて - メモ帳
この記事は CCS †裏† Advent Calendar 2021 の9日目の記事として作成されました。 adventar.org 前日の記事はくうらんくんのCHUNITHM曲紹介記事です。 note.com 解釈一致。 はじめにこの記事について、タイトルに beatmania IIDX と書いてますが音ゲーあんまり関係ないです。 beatmania IIDX、通称「弐寺」は、音ゲーの祖ともいえる伝統ある音楽ゲームです。7個の鍵盤と1つのスクラッチ（皿）をタイミングよく操作します。 beatmania IIDX には RANDOM、通称「乱」と呼ばれるオプションがあります。これはスクラッチを除いた7つのレーンをランダムに入れ替えるもので、運が良ければ正規譜面より押しやすい配置を引き当てることができます。 DENIM[A] 正規DENIM[A] 乱当たり（追記：逆割れになってたので画像差し
N番目の素数を求める - すぎゃーんメモ
SNSなどで話題になっていたので調べてみたら勉強になったのでメモ。 環境 Pythonでの実装例 例1 例2 例3 エラトステネスの篩 Rustでの実装例 試し割り法 エラトステネスの篩 アトキンの篩 おまけ: GMP Benchmark 高速化のテクニック 上限個数を見積もる Wheel factorization オチ Repository References 環境 手元のMacBook Pro 13-inchの開発機で実験した。 2.8 GHz Intel Core i7 16 GB 2133 MHz LPDDR3 Pythonでの実装例 例1 最も単純に「2以上p未満のすべての数で割ってみて余りが0にならなかったら素数」とする、brute force 的なアプローチ。 import cProfile import io import pstats import sys def m
数学系YouTubeコンテンツ
最近数学系の動画コンテンツについて調べてみたところ、意外にも既に多くのYouTuberが存在するということが判明した。我々もYouTubeのチャンネルは作ったところで、今後足りないジャンルのコンテンツは強化していきたいと考えているが、既に教育的な活動をなさっている方々のコンテンツを有効活用するのは先決だろう。全部調べきれたわけではないが、ここではシェアもかねて紹介したい。 ●龍孫江の数学日誌 in YouTube チャンネル https://www.youtube.com/channel/UCO34XpHxdG8P2n5aTPXSaZQ まずは、私が久々に数学を見るきっかけになった龍孫江さんのチャンネルである。主に群・環・体といった代数学について丁寧な解説がされており、「数学用語くらいはわかるが、実際の数学の証明や計算に慣れていない」人を対象にした内容だと思われる。一つ一つの動画は10～3
n⁵+5 と (n+1)⁵+5 の最大公約数 - 現実と数学の区別が付かない
Twitterで見かけた答えが意外過ぎる問題． 多項式の公約数と言えば、昔どこかに投稿したんだけど、nが自然数の時の n^5+5 と (n+1)^5+5 の正の公約数としてあり得る整数が、おそらく見た目からは予想できない結果で、面白い。— nishimura (@icqk3) 2020年8月10日 自然数 の最大公約数 (greatest common divisor) を で表します． を自然数とする． を求めよ． この手の問題は，小さい で試してみるのが常套手段です． くらいまで試してみると，すべて となります．その後， を 1万，10万と増やしていっても，ずっと gcd は のままです．こうなると，はいはいパターン見えてきたよと であると予想を立て，数学的帰納法で証明しようという気になります．しかしこれはうまくいきません．実は のときは なのに， で急に\begin{align}\m
今すぐブラウザ上で本格的な数式やグラフまで描くことが可能なオンライン数式エディタ「Mathcha」 - GIGAZINE
分数や関数など、本格的な数学で使われる数式を描画する際には、数式に特化した組版処理システムであるLaTeXがよく使われていますが、オンライン数式エディタの「Mathcha」はLaTeXと同等の機能をブラウザからアクセスするだけで今すぐ誰でも利用することができ、しかも作成した数式や文書はネット上でシェアしたり、PDFファイルとして書き出したりすることが可能です。 Mathcha - Powerful Online Math Editor - Fast Inputting, Diagram Drawing, Easy Sharing https://www.mathcha.io/ Mathchaは本格的な数式やグラフを作成し、さらにはテキストを挿入して説明文や注釈を入れることが可能なツール。この画面は英語で作成されていますが、日本語を入力することも可能です。 また、以下のような図形を作ることが
Webプログラマと数学の接点、その入り口
フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発
Download Microsoft Mathematics 4.0 (英語) from Official Microsoft Download Center
すべての Microsoft 製品Microsoft 365OfficeWindowsSurfaceXboxセールサポート ソフトウェアWindows アプリOneDriveOutlookSkypeOneNoteMicrosoft TeamsPC とデバイスXbox を購入するアクセサリVR & 複合現実エンタメXbox Game Pass UltimateXbox Live GoldXbox とゲームPC ゲームWindows ゲーム映画とテレビ番組法人向けMicrosoft AzureMicrosoft Dynamics 365Microsoft 365Microsoft Industryデータ プラットフォームPower Platform法人向けを購入するDeveloper & IT .NETVisual StudioWindows ServerWindows アプリの開発ドキュメン
1/9998 = 0.0001 0002 0004 0008 0016 0032 0064 0128 0256...
1/9998 = 0.0001 0002 0004 0008 0016 0032 0064 0128 0256... \(\frac{1}{9998}\)は、4桁で2^13まで2の累乗のパターンが出現する。 \[\frac{1}{9998} = 0.0001\;0002\;0004\;0008\;0016\;0032\;0064\;0128\;0256\;0512\;1024\;2048\;4096\;8193\;6387\;\cdots\] Hacker Newsによれば、これは以下のような理由による。 The pattern will break down once you get past 8192, which is 2^13. That means th\cdots | Hacker News このパターンは8192を超えると破れる。つまり、このパターンはすごいことに52桁も継続
微分方程式を図解する
物理では（実は物理によらず、いろいろな場面では）「微分方程式を解く」必要があることが多い。なぜなら、物理法則のほとんどが「微分形」で書かれているからである。「微分形で書かれている」というのは「微小変化と微小変化の関係式で書かれている」と言ってもよい。物理の主な分野における基礎方程式は、運動方程式 を初めとして、微分方程式だらけなのである。 微分方程式を解くには、積分という数学的技巧が必要になる。そのため「ややこしい」と嫌われる場合もあるようだ。 計算ではなく図形で「微分方程式を解いて関数を求める」というのはどういうことなのかを感じていただけたらと思い、アニメーションプログラムを作った。ただ計算するのではなく、「何を計算しているのか」をわかった上で計算のテクニックを学んだ方が理解は深まると思う。 ここでは微分方程式の中でも一番単純な「一階常微分方程式」を考える。「一階常微分方程式を解く」とは
やる夫で学ぶディジタル信号処理
やる夫cry2 実験データの解析とかで信号処理をしなくちゃならないことが多くなってきたお… やる夫cry 数学でフーリエ解析とか習ったけど，真面目に聞いてなかったのでさっぱりわからないお… やる夫 だからやらない夫に教えてもらうお! やる夫で学ぶディジタル信号処理 東北大学 大学院情報科学研究科 鏡 慎吾 更新履歴 (最終更新: 2016.01.08 ) PDF版 アスキーアートがないと読む気にならないという方は，ページ上部の「アイコンを表示する」をクリックしてください．アスキーアートではないけど多少は助けになるかも知れません． 講演の機会を頂きました．ご関係各位に感謝します: やる夫で信号処理は学べるか ―東北大学機械知能・航空工学科における信号処理教育とウェブ教材― (依頼講演), 電子情報通信学会総合大会, AS-2-8, 九州大学伊都キャンパス, 2016年3月16日. [PDF]
角の三等分
折り紙を使った角の３等分について 定規とコンパスのみを用いて任意の角の３等分はできないが、折り紙を用いると、０度から ９０度の任意の角の３等分は可能であることが知られている。 但し、折り紙とは、一辺の長さが１０ｃｍの正方形とする。 （１） 折り紙を適当に折って、任意の角を作る。 （２） 同じ間隔で２回折り、折り目をつける。 （３） ＡがＰＣ上Ａ’、ＣがＢＥ上Ｃ’になるように折り、折り目をつける。 （４） Ａ’Ｃ’の中点Ｂ’に関して、Ａ’Ｂ’とＣ’Ｂ’が重なるように折ると、その折り目はＣを通る。 （５） （４）において、ＣＢ’、ＣＣ’が角の３等分を与えている。 （（２）と（３）が、角の３等分のポイントである。） （参考文献：１９９１年度神奈川県数学講座 「かたちを科学する」 講師 高木隆司（東京農工大））
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「読む」といったら一字一句──エンジニア・光成 滋生（2） | サイボウズ式
オープンソースの動的数学ツール「GeoGebra」v4.4が公開
Amazon.co.jp: CAD・CGのための基礎数学 (インターネット時代の数学シリーズ 7): 静雄,島田: 本