[B! 数学] kirakkingのブックマーク

浮動小数点型の算術とお近づきになりたい人向けの記事 - えびちゃんの日記

お近づきになりたい人向けシリーズです。いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。まえがき予備知識規格用語精度という語について記法表現について有限値の表現についてエンコードについて丸めについてよくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価用語に関して実数の丸め有理数の丸め基本演算の丸め差について複数回の演算補題たち桁落ちについて Re: Rump’s example 融合積和数学関数に関する式の計算誤差の削減に関して総和計算数学関数の精度について比較演算について雑

kirakking 2024/02/26

このあたりの知識を数学的に抑えていなかったので参考になった。Rump’s exampleは知っていたけど、浮動小数点の定義との照らし合わせはこうなるんだ。

リンク

数学の定義は本当に厳密で一意なものと言えるのか気になりました

たとえばユークリッド幾何学での直線は﹁幅をもたず、両側に方向に無限にのびたまっすぐな線﹂だそうですが、これも﹁幅﹂とは？﹁(幅を)持つ﹂とは？両側とは？﹁方向﹂の定義は？﹁無限(限りが無く)﹂とは？そもそも﹁限り﹂って何？﹁のびる﹂とは？﹁まっすぐ﹂とは？﹁線﹂と結論づけるのは循環論法じゃないの？と突っ込む人にとっては厳密ではなくなっていませんか？ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。たとえば﹁方向﹂を調べたら﹁向くこと﹂とでます。これを調べると﹁物がある方向を指す﹂というふうに出ます。これは循環論法に陥ってますし、﹁物の正面があるものに面する位置にある﹂という別の語釈もありますが、物とは？正面とは？面するとは？位置とは？となります。これを繰り返せば結局どこかで

kirakking 2024/02/16

過去まさにその危惧を持った数学者達により数学基礎論という分野が誕生しました。現代において数学とは、述語論理により厳密に定義された数式に基づく記号操作と、その上のメタ論理に分かれています。調べてみてね。 ●数学 ●増田

リンク

AIが数学オリンピックの難問証明　ひらめき獲得　数学者「ついに」：朝日新聞デジタル

","naka5":"","naka6":"","naka6Sp":"","adcreative72":"\n\n\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

kirakking 2024/01/22

AIが解答を探索して、定理証明器がその証明を形式的に検証して、そして人間の理解が追いつかない時代はすぐそこか。

数学
AI

リンク

哲学の問題に数学で挑むってどういうかんじ？ - I'm Ko !

僕は経済学研究科に所属する大学院生です。ただし経済学の中でも特殊な領域を専攻しており、﹁どんな社会が”良い"社会か？﹂﹁”公平な"資源の配分とは何か？﹂など哲学的な問いを扱っています。この記事では、初歩的な数学以外は前提知識なしに、社会的選択理論︵経済学の一分野。社会についての哲学的な問いに対して数学でアプローチする︶のイメージを共有してみたいと思います。具体的にはより細かいテーマとして最近取り組んでいるPopulation Ethicsについて取り上げます。 Population Ethics(人口倫理)のモチベーションを紹介しながら、Ng(1989)によって示された僕が好きな不可能性定理を証明も含めて説明します。﹁数学をこんな問題を考えるのに使っているんだ！﹂﹁経済学の中にはこういう領域もあるんだ﹂みたいなことを共有できたら嬉しいです。長い旅にはなりますが、ぜひ経済学の中でも特

kirakking 2023/03/03

違う分野の話は面白い。ただ門外漢の自分は表面上でしか理解できないから、本質部分の面白さには触れられていないのだろう。/最近 Higman's lemma に触れる機会があったので構造上に順序を見出す話は興味深い。 ●数学 ●哲学

リンク

旧限界数学ゼミガール

某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。第一話　「巨大基数の崩壊」第二話　「クレパの木」第三話　「ペアノの公理系」第四話　「ストーンの表現定理」第五話　「ゲーデルの不完全性定理」おまけ最初期の落書きですこの頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）

kirakking 2022/03/11

絶妙に学生ゼミのグダグダ感が出ている。/この辺の話題を理解するには記号論理数学、公理的集合論、あと位相論の基礎知識が必要だね。

リンク

ポケモンの最強タイプを考える【グラフ理論】 - Qiita

導入先日、ポケモンの最新作﹃Pokémon LEGENDS アルセウス﹄が発売されました。ポケモン愛好家の中で密かに話題を集めたのが、新たに登場したポケモン﹁ゾロア︵ヒスイのすがた︶﹂と﹁ゾロアーク︵ヒスイの姿︶﹂のタイプです。なんと驚くべきことに、両者のタイプは未だ登場したことのなかった﹁ノーマル・ゴースト﹂だったのです。ポケモンを知る人には説明不要ですが、これはノーマルタイプの唯一の弱点であるかくとう技をゴーストタイプで無効化しながら、ゴーストタイプの弱点であるゴースト技をノーマルタイプで無効化するという、非常にバランスのとれた、まさに夢のような複合タイプです。一部では、この﹁ノーマル・ゴースト﹂こそ最強の組み合わせなのではないかと噂されました。しかし、果たして本当にそうなのでしょうか？ポケモンのタイプは全部で18種類あり、一匹のポケモンは二つまでタイプを持つことができます。考

kirakking 2022/02/08

面白い。本家の開発陣はどのような方法で定量的分析をしているのだろうか。

リンク

数学における「自明」の意味｜さのたけと

一昨日、数学における﹁自明﹂の意味についてツイートしたところ一定の反響がありました。数学の教科書において﹁自明﹂﹁明らか﹂といった言葉は頻出でありながら、本文でその意味がちゃんと説明されることは稀で、結果としてそれらの言葉を誤解している人や、それらの言葉が使われることに圧力・反感を感じる人も一定の割合でいるようです。この記事では、その言葉の意味を説明すると共に、なぜそれらの言葉が数学において必要であるのかを解説してみたいと思います。背景三日前、数学系 YouTuber の数学野郎さんが﹁ひろゆきに影響された数学系YouTuber﹂という︵とても面白い︶動画を公開していました。彼はその中で﹁√2 が無理数であることを証明するには、まず √2 が実数であることを示さなければならない﹂と主張していました。それに対して﹁√2 が実数であることは自明であって欲しい﹂とコメント

kirakking 2021/10/28

"「明らかに」が出て来たら必ず「なぜ？」と問い、手元で証明を試みる。" これは本当にそう。数学の証明はボトムアップなのでどこかで躓くとそこから先があやふやな理解になってしまう。

数学

リンク

江戸時代の数学「和算」は何であって何でないのか｜柞刈湯葉

江戸時代の日本では、数学が子供から大人まで、殿様から町民まで楽しめる娯楽として親しまれていたという。……と聞くと﹁なんだなんだ、また江戸しぐさ系の作り話か﹂というのが平均的な令和人の感覚だろう。現代社会の検索欄に﹁数学﹂と入力しても、予測変換に﹁娯楽﹂は出ない。一般的な人生で数学と分かちがたいのは﹁受験﹂であり、つまり立身出世の道具だ。必要であるが楽しくはないので効率的に消化したい一日分の野菜350グラム、のような扱いになっている。そういう時代に生きていると﹁数学が娯楽である社会﹂なんてものは想像しづらいが、考えてみると﹁頭を使うエンタメ﹂は古今東西どの社会に存在する。囲碁将棋はずっと定番コンテンツだし、どのチャンネルでもクイズ番組をやっているし、大抵のバトル漫画は単なる殴り合いではなく頭脳戦要素がある。世間一般の大衆は、不要なことに頭を使うのが好きなのだ。歴史のある時代に数学がその一

kirakking 2021/07/11

リンク

「解けない方程式」

よくアニソンとかの歌詞で﹁解けない方程式﹂みたいなフレーズが出てくるが、代数方程式だって5次方程式︵たった5次！︶以上になったら一般には解けないし、微分方程式に至っては﹁ミレニアム懸賞問題﹂として100万ドルの懸賞金が懸かってたりする難しさなわけで、たいていの方程式は解けなくて当たり前なんだよ！って、聞くたびにツッコミたくなる。つまり、﹁解ける方程式﹂なんてほとんど無いのだから、﹁解けない方程式﹂に悩むなんて、空が飛べる翼がないことに悩むくらい実現不可能な空想であり、そもそも悩み方として間違っている。というかまずは、お前の歌詞で求める﹁解﹂は近似解ではダメなのか、どうしてダメなのか、歌詞はせいぜい10分も無いけど、小一時間膝を付き合わせて問い詰めたい。ゼミを開いてお前の意図を詳らかにしたい。ガロア群が可解にならないからって諦める前に、最適化のための近似アルゴリズムを試せよ。ニュートン

kirakking 2021/04/30

まじめな解釈だと、この(あなたとわたしとその他大勢を変数とした)方程式を解くには空間的にも時間的にも私の一生ではリソースが足りないということだと思う。/でも「解のある方程式」だとなんかかっこいい気がする。

リンク

算数が苦手なやつが考えた７の段が難しい理由を詳しい人に聞いてもらう

算数が苦手だった。だった。と書くと、今は得意みたいな感じにみえるが、そんなわけもなく、今も苦手だ。いまだに、掛け算九九があやしい。とくに7の段。ただしこれは、ぼくに限ったことではないらしい。インターネットを検索すると、同じように7の段が難しいと感じるといった意見が多数みられた。いったいなぜどうして、7の段は難しいのか、算数が苦手なぼくなりに考えてみた。数学と算数がどれほど苦手か聞いてほしいなぜ九九が、とくに7の段が難しいのか。その思いを聞いてもらうために、数学が分かる人、得意な人に集まってもらった。上側が、算数がやばい感じの人、下側が数学がわかる人となっておりますデイリーポータルZ編集部の古賀さんと、私ライター西村は、数学というより、算数の時点からやばい感じである。ライターの三土さんは、プログラミングをするほどなので、数学のことはだいたいわかっている。ただし、無人島に持っ

kirakking 2021/03/10

ちょっと関係ないけど、確か森博嗣の浮遊工作室で「１がときどき０になるなら、１００がときどき０になる」っていう算数ネタがあったことを思い出した。これをちゃんと説明できる人は数学センスがあると思う。

リンク

「0は偶数ではない」と多くの人が信じているのは教育に問題があるという指摘

﹁0﹂は2で割り切れるため偶数ですが、しばしば奇数や、﹁偶数でも奇数でもない数﹂と間違われます。なぜ人々がこのような間違いをするのかを数学者のコリン・ライト氏が解説しています。 The Parity Of Zero https://www.solipsys.co.uk/new/TheParityOfZero.html ある日、友人から﹁0は偶数でも奇数でもないはずだ。確かにそう習った﹂と言われたコリン氏は、どれくらいの人が同じような勘違いをしているのか気になり、Twitterでアンケート調査を実施しました。﹁0は次のうちどれ?﹂という質問に対して64.5％の人は﹁偶数﹂と正しい回答をしたものの、31.4％の人は﹁偶数でも奇数でもない﹂と回答しました。 Been having a discussion, and thought I'd have a quick poll. Please re

kirakking 2020/12/28

納得しない人はペアノ数(0とsuccessorから作られる自然数表現)の上で再帰的にevenを定義したらいいよ。こうするしかないことがわかるから。/整数上で割り切れる ⇔ 余りが0、よって何で割っても余りが0となる0は偶数。

リンク

未解明だった数学の超難問「ABC予想」を証明　京大の望月教授　斬新・難解で査読に8年 | 毎日新聞

未解明だった数学の超難問﹁ABC予想﹂を証明したとする望月新一・京都大数理解析研究所教授︵51︶の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読︵論文の内容チェック︶に8年かかったが、その正しさが認められることになった。有名な数学の難問﹁フェルマーの最終定理﹂︵1995年解決︶や﹁ポアンカレ予想﹂︵2006年解決︶の証明などと並ぶ快挙となる。︻阿部周一、松本光樹︼望月教授は2012年8月、構想から10年以上かけた﹁宇宙際タイヒミューラー︵IUT︶理論﹂の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み︵宇宙︶を複数考えるという構想は

kirakking 2020/04/03

へー。数論はあこがれあるなー。これからは理解できた人たちがよりわかり易い表現を探すことに血道を上げるターンかな。

数学

リンク

数値計算の研究をしている学生が"数値計算に潜むとんでもないリスク"について話してみる - Qiita

筆者は﹁精度保証付き数値計算﹂という分野で研究をしている大学院生です．﹁数値計算は分かるけど﹂﹁精度保証付き数値計算？ナニソレ？﹂という方がほとんどだと思います．﹁精度保証付き数値計算﹂の研究自体は30年ほど前から盛んに行われていますが，世間に浸透しているとは言えない状況です．自分の研究分野が世間に知られていないのは何か少し寂しい感じがするので﹁精度保証付き数値計算﹂を少しでも広めるべく記事を投稿することにしました．(シリーズ化するかも知れません) 本日は﹁精度保証付き数値計算﹂というワードだけでも覚えていただければ幸いです．今回は"数値計算に潜むとんでもないリスク"に関してカジュアルにお話します．そして筆者の研究分野である﹁精度保証付き数値計算﹂の必要性を知ってもらえればなと思います．この記事を読み終える頃には計算機を信頼できなくなっているかも知れません(笑) ※不安を煽るこ

kirakking 2019/12/26

文献を出すならリファレンス貼ろうぜ。 "Rump's Example Revisited", https://doi.org/10.1023/A:1015569431383

リンク

ちょっと自慢させてくれ

7歳の娘に﹁20ヶ月後は何月でしょうか？﹂って問題を出したら、3秒ぐらいで﹁2月！﹂って答えてびびった。数えるのが早すぎるので﹁どうやってわかったの？﹂って聞いたら、﹁4を引いた﹂って。親のほうがまだ理解できていないので、更に聞いてみると﹁1年は12ヶ月だから、20-12＝8。12-8＝4。だから、6月から4を引いた﹂って。すごくない？﹁わかんなーい。﹂﹁じゃぁ、一緒に数えてみようか﹂ってやり取りを期待していたのに、計算で求めるとは想像もしなかった。少なくても、僕が同じ問題を出されたら8ヶ月後を指を折って数えると思う。これだけで算数の才能があるかは判断できないけど、パパはちょっと期待しちゃうよ。 ------- 追記‥6月20日23時人気エントリーに入っていてビビった。3秒は言いすぎたかな？5秒ぐらいかな？親への説明はこんなにスムーズじゃなかったです。でも、こん

kirakking 2019/06/20

時計計算を応用したのかなって思ったけど、多分まだ習ってないよな。なんにせよ測りを頭に持っているはず。/西之園萌絵みたいだと思いました、はい。

リンク

全員数学者の会合で、ホテルの方に集合写真をお願いしたら「1+1は～」と聞かれた→「どうすれば数学者に2と言わせられるのか？」いろいろな策略が集まる

千葉逸人 @HayatoChiba 今日は、僕の指導教員の先生の70歳の記念パーティでした。古い知人とたくさん会えて楽しかったです。集合写真のときにホテルのかたに﹁1＋1は～﹂と聞かれました。あの、こっち全員数学者なんです。 2019-05-25 22:27:38 リンク Wikipedia 千葉逸人千葉逸人︵ちばはやと、1982年1月18日 - ︶は日本の数学者、東北大学材料科学高等研究所教授。福岡県久留米市生まれ。福岡県立明善高等学校を経て、2005年京都大学工学部物理工学科卒業。2009年京都大学情報学研究科数理工学専攻博士課程修了。専門は力学系理論、微分方程式、および非線形函数方程式。大学3回生の時に﹃これならわかる工学部で学ぶ数学﹄を出版した。 2013年より九州大学マス・フォア・インダストリ研究所准教授。 2015年に蔵本予想︵蔵本モデル︶の証明をした。 2019年

kirakking 2019/05/29

うちの界隈では、ペアノ算術と同等の等式論理により得られる標準形は s(s(0)) である、が解。

リンク

大学数学の難関分野：【位相空間論】とは一体何なのか？｜きいねく

第1節　数学の3つの柱と位相空間論の役割　大学の数学科で学ぶ数学には，実に様々な分野があります．それらは主に次の3つの分野に類別されることが多いです．︻解析︼︻代数︼︻幾何︼純粋数学は，厳密な論理を土台として展開されます．解析・代数・幾何，それぞれの分野にも特有の論理の土台が存在します．解析なら実数や微分などの論理，代数であれば群や環の論理，そして幾何なら空間の論理などです．位相空間は幾何学を展開する上で最も基本的なものである連続概念の論理的な部分を扱う分野であると言えます．空間の中では，連続変形や微分積分など様々なことが行われます．そのなかでも空間の連続性に着目し，それを突き詰めて考えていくと出てくるのが位相空間という考え方です．私たちが空間を思いうかべるとき，そこには必ず連続という考え方があります．空間の中で図形を﹁連続的に動かす﹂とかグラフが﹁連続的につながっている﹂な

kirakking 2019/05/22

リンク

not found

kirakking 2019/03/19

学生の時、数学科出身で計算機科学に来た人と一緒になったけど、基礎力が段違いだった。こういうのくぐり抜けてたんだな。

リンク

http://www.math.kobe-u.ac.jp/Asir/ca.pdf

kirakking 2019/01/07

たまたま見つけた。Grobner bases こと Buchberger のグレブナー基底について。

リンク

無限べき乗a^a^a^...の収束と発散との境目が気になる - アジマティクス

一般に、境目は大事です。どこまでが友人で、どこからが恋人なのか、とか。この記事は﹁好きな証明﹂アドベントカレンダー1日目の記事です。上記の式のことを考えます。今回はは正の実数とします。そのが無限に乗じられているわけです。一見面食らってしまう見た目をしていますが、という列の極限として捉えられる、と考えればそこまで異常な概念でもないと思います。あるいは、この式全体を﹁﹂とでも置けば与式はと閉じた見た目にできるので怖くないです。︵※極限値があると仮定︶さて、当然のこととして、に値を入れてみたときにこの式がどう振る舞うのか知りたくなるのが人情です。とりあえず試しにだとしてみましょう。これはすなわち﹁﹂のことなわけですが、これはまあ1を何回乗じても1なのでも1になると予想がつくでしょう。今度はだとしてみます。という数列は、実際に計算するととなり、明らかに発散︵いくらでも大きくなる︶しそうな雰

kirakking 2018/12/01

リンク

なぜビンゴゲームで同じ数字を書いてはいけないのか

先日、結婚式の二次会に招待していただきました。新郎・新婦ともに大学時代からの友人です。歓談中にビンゴゲームが開催されました。私はビンゴゲームに完全に勝利にしたにも関わらず、景品をもらうことができませんでした。あまりに理不尽な経験だったので、泣き寝入りしてたまるものかと思い、Qiitaに初投稿してみようと思います。ビンゴゲームとはビンゴはビンゴですよね。﹁ビンゴ！﹂って叫ぶやつです。今回のビンゴゲームは $3 \times 3 = 9$ マスのカードを利用しました。縦・横・ナナメに一直線に3マス穴を開ければ﹁ビンゴ！﹂になります。実は、各参加者には白紙のビンゴカードが配られ、各テーブルにはビンゴゲームのルールが書かれた紙が配られていました。下記がその内容です。真ん中のマスに "free" と書いてください。︵i.e. 真ん中のマスはゲーム開始時に穴を開けて良い︶それ以外

kirakking 2018/10/03

リンク

はてなブックマーク

タグ

関連タグで絞り込む (76)

数学に関するkirakkingのブックマーク (77)

お知らせ

今週のはてなブックマーク数ランキング（2024年6月第3週）

今週のはてなブックマーク数ランキング（2024年6月第2週）

月間はてなブックマーク数ランキング（2024年5月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス