公平な資源配分のアルゴリズムを研究する情報理工学系研究科の五十嵐歩美准教授。「公平性」の概念を数学的に定義して、配分のしかたを数理的に解析する「公平分割理論」を研究してきました。その取り組みが評価され、2021年にMITテクノロジーレヴューの「Innovators Under 35 Japan 2021」に選出。2022年には、一般社団法人コード・フォー・ジャパンと共同で、家事分担のへだたりを可視化してくれるWebアプリ「家事分担コンシェルジュ」を開発しました。 ゴミ出し、掃除、料理、洗濯など、パートナー間で不満が募りやすい家事の分担。どうすれば公平に、双方が納得できる形で分担できるのか。そこに数学の理論を持ち込み、それぞれが得意な家事を振り分ける数理モデルを開発して完成したのが「家事分担コンシェルジュ」です。画面に表示される家事リストの中から該当家事を選択し、それぞれの家事を週に何回担当
「だんご屋のひまつぶし」とは 最長手順の問題は…？ 組み合わせ、グラフ問題 プログラムで解く 状態の列挙 グラフの構築 最短経路問題を解く WASM化して、ブラウザ上で解く もしもすべて異なる団子だったら さらに一般化していくと 到達可能性 頂点数 本数を固定し、高さを変える 高さを固定し、本数を変える まとめ Repository 「だんご屋のひまつぶし」とは 「ハノイの塔」の派生型のようなパズル。 高さ3の串が3本あり、3色の団子2個ずつ計6個が刺さっている。これらを1個ずつ移し替えて、ある状態からある状態へと遷移させる、というゲーム。 移動できるのは各串で一番上にある団子だけ。 団子の大きさのような概念はなく、高さ3以内であればどこにでも動かせる。 単純なルールだがなかなかに奥が深く、じっくり考えて動かさないと最適な手順で達成するのは意外に難しい。 パズルオーディションというもので最
お近づきになりたい人向けシリーズです。 いろいろなトピックを詰め込みましたが、「これら全部を知らないといけない」のようなつもりではなく、いろいろなことを知るきっかけになったらいいなという気持ちなので、あまり身構えずにちょっとずつ読んでもらえたらうれしい気がします。 まえがき 予備知識 規格 用語 精度という語について 記法 表現について 有限値の表現について エンコードについて 丸めについて よくある誤差や勘違いの例 0.1 = 1 / 10? 0.1 + 0.2 = 0.3? 整数の誤差 Rump’s Example 基本的な誤差評価 用語に関して 実数の丸め 有理数の丸め 基本演算の丸め 差について 複数回の演算 補題たち 桁落ちについて Re: Rump’s example 融合積和 数学関数に関する式の計算 誤差の削減に関して 総和計算 数学関数の精度について 比較演算について 雑
たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そもそも「限り」って何？「のびる」とは？「まっすぐ」とは？「線」と結論づけるのは循環論法じゃないの？ と突っ込む人にとっては厳密ではなくなっていませんか？ ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。 たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは？正面とは？面するとは？位置とは？となります。これを繰り返せば結局どこかで
僕は経済学研究科に所属する大学院生です。 ただし経済学の中でも特殊な領域を専攻しており、「どんな社会が”良い"社会か？」「”公平な"資源の配分とは何か？」など哲学的な問いを扱っています。 この記事では、初歩的な数学以外は前提知識なしに、社会的選択理論（経済学の一分野。社会についての哲学的な問いに対して数学でアプローチする）のイメージを共有してみたいと思います。具体的にはより細かいテーマとして最近取り組んでいるPopulation Ethicss(人口倫理)について取り上げます。 Population Ethicのモチベーションを紹介しながら、Ng(1989)によって示された不可能性定理を証明も含めて説明します。 「数学をこんな問題を考えるのに使っているんだ！」「経済学の中にはこういう領域もあるんだ」みたいなことを共有できたら嬉しいです。 長い旅にはなりますが、ぜひ経済学の中でも特殊な世界を
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
導入 先日、ポケモンの最新作『Pokémon LEGENDS アルセウス』が発売されました。ポケモン愛好家の中で密かに話題を集めたのが、新たに登場したポケモン「ゾロア（ヒスイのすがた）」と「ゾロアーク（ヒスイの姿）」のタイプです。なんと驚くべきことに、両者のタイプは未だ登場したことのなかった「ノーマル・ゴースト」だったのです。 ポケモンを知る人には説明不要ですが、これはノーマルタイプの唯一の弱点であるかくとう技をゴーストタイプで無効化しながら、ゴーストタイプの弱点であるゴースト技をノーマルタイプで無効化するという、非常にバランスのとれた、まさに夢のような複合タイプです。一部では、この「ノーマル・ゴースト」こそ最強の組み合わせなのではないかと噂されました。 しかし、果たして本当にそうなのでしょうか？ ポケモンのタイプは全部で18種類あり、一匹のポケモンは二つまでタイプを持つことができます。考
一昨日、数学における「自明」の意味について ツイート したところ一定の反響がありました。 数学の教科書において「自明」「明らか」といった言葉は頻出でありながら、本文でその意味がちゃんと説明されることは稀で、結果としてそれらの言葉を 誤解 している人や、それらの言葉が使われることに 圧力・反感 を感じる人も一定の割合でいるようです。 この記事では、その言葉の意味を説明すると共に、なぜそれらの言葉が数学において必要であるのかを解説してみたいと思います。 背景三日前、 数学系 YouTuber の数学野郎さんが 「ひろゆきに影響された数学系YouTuber」という（とても面白い）動画を公開していました。 彼はその中で「√2 が無理数であることを証明するには、まず √2 が実数であることを示さなければならない」と主張していました。それに対して「√2 が実数であることは自明であって欲しい」とコメント
江戸時代の日本では、数学が子供から大人まで、殿様から町民まで楽しめる娯楽として親しまれていたという。……と聞くと「なんだなんだ、また江戸しぐさ系の作り話か」というのが平均的な令和人の感覚だろう。 現代社会の検索欄に「数学」と入力しても、予測変換に「娯楽」は出ない。一般的な人生で数学と分かちがたいのは「受験」であり、つまり立身出世の道具だ。必要であるが楽しくはないので効率的に消化したい一日分の野菜350グラム、のような扱いになっている。 そういう時代に生きていると「数学が娯楽である社会」なんてものは想像しづらいが、考えてみると「頭を使うエンタメ」は古今東西どの社会に存在する。囲碁将棋はずっと定番コンテンツだし、どのチャンネルでもクイズ番組をやっているし、大抵のバトル漫画は単なる殴り合いではなく頭脳戦要素がある。世間一般の大衆は、不要なことに頭を使うのが好きなのだ。歴史のある時代に数学がその一
よくアニソンとかの歌詞で「解けない方程式」みたいなフレーズが出てくるが、代数方程式だって5次方程式（たった5次！）以上になったら一般には解けないし、微分方程式に至っては「ミレニアム懸賞問題」として100万ドルの懸賞金が懸かってたりする難しさなわけで、たいていの方程式は解けなくて当たり前なんだよ！って、聞くたびにツッコミたくなる。 つまり、「解ける方程式」なんてほとんど無いのだから、「解けない方程式」に悩むなんて、空が飛べる翼がないことに悩むくらい実現不可能な空想であり、そもそも悩み方として間違っている。 というかまずは、お前の歌詞で求める「解」は近似解ではダメなのか、どうしてダメなのか、歌詞はせいぜい10分も無いけど、小一時間膝を付き合わせて問い詰めたい。ゼミを開いてお前の意図を詳らかにしたい。 ガロア群が可解にならないからって諦める前に、最適化のための近似アルゴリズムを試せよ。ニュートン
算数が苦手だった。 だった。と書くと、今は得意みたいな感じにみえるが、そんなわけもなく、今も苦手だ。いまだに、掛け算九九があやしい。とくに７の段。 ただしこれは、ぼくに限ったことではないらしい。インターネットを検索すると、同じように７の段が難しいと感じるといった意見が多数みられた。 いったいなぜどうして、７の段は難しいのか、算数が苦手なぼくなりに考えてみた。 数学と算数がどれほど苦手か聞いてほしい なぜ九九が、とくに７の段が難しいのか。 その思いを聞いてもらうために、数学が分かる人、得意な人に集まってもらった。 上側が、算数がやばい感じの人、下側が数学がわかる人となっております デイリーポータルZ編集部の古賀さんと、私ライター西村は、数学というより、算数の時点からやばい感じである。 ライターの三土さんは、プログラミングをするほどなので、数学のことはだいたいわかっている。ただし、無人島に持っ
「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
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授（51）の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読（論文の内容チェック）に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」（1995年解決）や「ポアンカレ予想」（2006年解決）の証明などと並ぶ快挙となる。【阿部周一、松本光樹】 望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー（IUT）理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み（宇宙）を複数考えるという構想は
※筆者は驚くと猫になってしまいます． 2次方程式の解の計算でさえこのように誤差が生じ，結局どっちが真の解かも分かりません． 普段計算機でしている計算の結果が本当に正しいものなのか，ちょっと心配になってきますね． 実は2次方程式に関しては誤差混入の原理が明らかになっていて誤差を回避する方法も知られています． 数値計算は前の計算結果を使って次の計算を行なうので，どこか一箇所でも誤差が混入してしまうとそれ以降の計算は信頼できないものになります． 大量の計算を行なう過程のどこかで致命的な誤差の混入が発生していたら…と考えると恐ろしくて夜しか眠れません． さて，ここからが本題です．(唐突) 本当に紹介したかったのは次の例で，筆者がこれを知った時は驚きのあまり研究室で叫びました． 計算機不信に陥るので，覚悟してください(笑) 3. 数値計算に潜むとんでもないリスク では，いよいよ本題の"数値計算に潜む
7歳の娘に「20ヶ月後は何月でしょうか？」って問題を出したら、 3秒ぐらいで「2月！」って答えてびびった。 数えるのが早すぎるので「どうやってわかったの？」って聞いたら、「4を引いた」って。 親のほうがまだ理解できていないので、更に聞いてみると 「1年は12ヶ月だから、20-12＝8。12-8＝4。だから、6月から4を引いた」って。 すごくない？ 「わかんなーい。」「じゃぁ、一緒に数えてみようか」 ってやり取りを期待していたのに、計算で求めるとは想像もしなかった。 少なくても、僕が同じ問題を出されたら8ヶ月後を指を折って数えると思う。 これだけで算数の才能があるかは判断できないけど、パパはちょっと期待しちゃうよ。 ------- 追記：6月20日 23時 人気エントリーに入っていてビビった。 3秒は言いすぎたかな？5秒ぐらいかな？ 親への説明はこんなにスムーズじゃなかったです。 でも、こん
千葉逸人 @HayatoChiba 今日は、僕の指導教員の先生の７０歳の記念パーティでした。古い知人とたくさん会えて楽しかったです。集合写真のときにホテルのかたに 「１＋１は～」 と聞かれました。あの、こっち全員数学者なんです。 リンク Wikipedia 千葉逸人 千葉 逸人（ちば はやと、1982年1月18日 - ）は日本の数学者、東北大学材料科学高等研究所教授。 福岡県久留米市生まれ。福岡県立明善高等学校を経て、2005年京都大学工学部物理工学科卒業。2009年京都大学情報学研究科数理工学専攻博士課程修了。専門は力学系理論、微分方程式、および非線形函数方程式。大学3回生の時に『これならわかる工学部で学ぶ数学』を出版した。 2013年より九州大学マス・フォア・インダストリ研究所准教授。 2015年に蔵本予想（蔵本モデル）の証明をした。 2019年度より九州大学を退
第1節 数学の3つの柱と位相空間論の役割 大学の数学科で学ぶ数学には，実に様々な分野があります．それらは主に次の3つの分野に類別されることが多いです． 【解析】 【代数】 【幾何】 純粋数学は，厳密な論理を土台として展開されます．解析・代数・幾何，それぞれの分野にも特有の論理の土台が存在します．解析なら実数や微分などの論理，代数であれば群や環の論理，そして幾何なら空間の論理などです． 位相空間は幾何学を展開する上で最も基本的なものである連続概念の論理的な部分を扱う分野であると言えます． 空間の中では，連続変形や微分積分など様々なことが行われます．そのなかでも空間の連続性に着目し，それを突き詰めて考えていくと出てくるのが位相空間という考え方です． 私たちが空間を思いうかべるとき，そこには必ず連続という考え方があります．空間の中で図形を「連続的に動かす」とかグラフが「連続的につながっている」な
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
