タグ

mathに関するmas-higaのブックマーク (35)

  • 数学の理論を使い「妬みのない」家事分担を実現する | 東京大学

    公平な資源配分のアルゴリズムを研究する情報理工学系研究科の五十嵐歩美准教授。「公平性」の概念を数学的に定義して、配分のしかたを数理的に解析する「公平分割理論」を研究してきました。その取り組みが評価され、2021年にMITテクノロジーレヴューの「Innovators Under 35 Japan 2021」に選出。2022年には、一般社団法人コード・フォー・ジャパンと共同で、家事分担のへだたりを可視化してくれるWebアプリ「家事分担コンシェルジュ」を開発しました。 ゴミ出し、掃除、料理、洗濯など、パートナー間で不満が募りやすい家事の分担。どうすれば公平に、双方が納得できる形で分担できるのか。そこに数学の理論を持ち込み、それぞれが得意な家事を振り分ける数理モデルを開発して完成したのが「家事分担コンシェルジュ」です。画面に表示される家事リストの中から該当家事を選択し、それぞれの家事を週に何回担当

    数学の理論を使い「妬みのない」家事分担を実現する | 東京大学
    mas-higa
    mas-higa 2024/11/14
    天秤っぽい不思議な画像が気持ち悪すぎて先に進めなかった
  • 米国の女子高校生2人「ピタゴラスの定理」を新証明 しかも5通り 査読済みで権威ある学術誌に登場

    このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X: @shiropen2 2023年、米国の高校生ネキヤ・ジャクソンさんとカルセア・ジョンソンさんは、地元の高校のコンテストで驚くべき成果を披露した。それは、三角関数を用いてピタゴラスの定理を証明するという方法の発見であった。 「a^2+b^2=c^2」で表されるピタゴラスの定理は、よく知られている数学の基定理である。この式は、直角三角形において、最も長い辺(斜辺)の2乗が、残りの二辺の2乗の和に等しいことを示している。 これまで数多くの数学者たちが代数学や幾何学を用いてこの定理を証明してきたが、三角関数による証明はより難しかった。三角関数の基公式自体がピタゴラスの定理を前

    米国の女子高校生2人「ピタゴラスの定理」を新証明 しかも5通り 査読済みで権威ある学術誌に登場
  • 最古級の「九九早見表」と判明 飛鳥時代の木簡、藤原京から出土 | 毎日新聞

    藤原京左京七条一坊跡(奈良県橿原市上飛騨町)から2001年に出土した飛鳥時代末期の木簡1点を奈良文化財研究所(奈文研)が再調査した結果、当時の役人が使っていた「九九早見表」の一部とみられることが分かり、同研究所紀要で4日公表した。担当した桑田訓也・主任研究員(古代史)によると、最古級の九九早見表の確認例。律令国家で九九が広く用いられたことを示す貴重な史料という。 木簡は長さ16・2センチ、幅1・2センチ。縦書きで1行に文字群が3段分書かれ、肉眼で「十一」「六」「六八」の計5文字のみ判別できた。奈文研は当初、1段目を「九々(くく)八十一」、3段目を「六八卌(しじゅう)八」と推定。九九を練習したメモ代わりの木簡と解釈した。

    最古級の「九九早見表」と判明 飛鳥時代の木簡、藤原京から出土 | 毎日新聞
    mas-higa
    mas-higa 2024/09/05
    木簡の形してなかったら文字が書いてあるとは思えない / 飛鳥時代にはかけ算の順序問題は解決していた!
  • わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」

    「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ&ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね

    わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」
  • 数学IIIと数学Cに入らない段階の三角関数つまんない

    指導要領で数学Cが復活したから「数学IIIと数学C」と表記するけどまぁそれはともかく… その範囲に入らない段階での三角関数について学んでもかなりつまんないとは正直思う 結局数学II・数学Bまでの三角関数はグラフを書いてどんな形になるか確かめたり、せいぜい加法定理を習うまでだからだ これでは特定のxに対して sin x, cos x, tan x が幾つになるかばっかり考える事になる 三角測量という重要な応用があるにはあるが、それは結局実生活に役立ってる事が分かりはするが 三角関数自体の豊かな性質には触れられない これじゃ退屈に感じてしまう人がいても仕方ないよ 一方で数学IIIや数学Cまでやると三角関数はどうなるか 微積分と繋がる訳だ これで様々な有理関数の不定積分が三角関数を用いて表す事が出来たりと 他の分野との有機的な繋がりが見えてくる 様々な平面図形や立体の面積・体積も求められるように

    数学IIIと数学Cに入らない段階の三角関数つまんない
  • 「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的説明

    発端 @fumieval 様のツイート。 空の配列を渡したら True を返すべき この関数に空の配列を渡したら True を返すべきである。仕様によるとか状況によるとか相談すべきとか例外を返すべきかもといった意見もあるようだが、議論の余地がないレベルで True を返すしかない。最大の理由は 「True を返さないと、空集合があらゆる集合の部分集合になるというルールに矛盾するから」 である。これは数学における集合論の定理のひとつであり、「これを認めないとそれに連なる集合論のすべてが瓦解する」というルールのひとつであって、認めない相応の理由があるとすれば「数学のもっとも基礎的なルールのひとつを覆してでも実現しなければならないことがある」という次元での話になる。 少なくとも私は 10 年以上プログラミングをしていてそんな状況に遭遇したことはない。 【2023/06/01 追記】 数式がわから

    「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的説明
  • 10代の少女がピタゴラスの定理の新しい証明を示す、「最も美しい証明」と評価

    アメリカ数学会で2人の10代の少女がピタゴラスの定理について新しい証明方法をプレゼンテーションしたことが話題になっています。応用数学の専門家であるキース・マクナルティ氏は「性別、民族、社会人口学的背景に関係なく、喜びと情熱があれば誰でも、研究分野での卓越性は達成可能であることを示す素晴らしい出来事」と評しているほか、その証明方法自体が波紋を呼んでいます。 Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem | by Keith McNulty | Apr, 2023 | Medium https://keith-mcnulty.medium.com/heres-how-two-new-orleans-teenagers-found-a-new-proof-of-the-pytha

    10代の少女がピタゴラスの定理の新しい証明を示す、「最も美しい証明」と評価
  • 150 分で学ぶ高校数学の基礎

    [重要なお知らせ (2023/8/12)] 現在,スライドの p.10 に不十分な記述があります.ルートの答えは 0 以上の数に限定することに注意してください (たとえば -3 を 2 乗しても 9 ですが,ルート 9 は -3 ではありません).なお,現在筆者のパソコンが修理中でデータがないので,修…

    150 分で学ぶ高校数学の基礎
  • 無限アラートは不正プログラムとして逮捕されるらしいので警察にゴールドバッハ予想を証明してもらおう - Qiita

    これは何? これは以下のツイートに触発されて作ったn回目のアラートダイアログで2n+2を二つの素数の和で表せるかを全探索して表せた場合もう一度アラートダイアログを表示するJavaScriptプログラムです n回目のアラートダイアログで2n+2を二つの素数の和で表せるかを全探索して表せた場合もう一度アラートダイアログを表示するみたいなプログラムを書けば警察がゴールドバッハ解いてくれるのでは — ほんまか? (@Kory__3) March 4, 2019 つまりどういうこと? 経緯 エンジニアの方ならわかると思いますが、今日(3月5日)の朝から、Twitterなどで、不正プログラムを書き込んだ疑いで女子中学生が補導され、男性2人が書類送検されるという方針だというニュースがトレンド入りし、話題になりました。(確認したら今もトレンド入りしてるようです。ある程度パーソナライズされてるらしいので全員

    無限アラートは不正プログラムとして逮捕されるらしいので警察にゴールドバッハ予想を証明してもらおう - Qiita
    mas-higa
    mas-higa 2019/03/06
    通報しよう。書類送検されたら証明されたことになる。(逆は真ではない)
  • 「円周率=4」を証明してみせましょう。“3.14…”を覆す新理論(?)に驚愕する声多数! 理数系学生「反論思いつかなくて草」

    円周率を100桁近く記憶している人にはガチ悲報。円周率(π:パイ)は4であることが証明されてしまいました。何かがおかしいことはわかるけど、どうおかしいのか明確な反論ができないヘリクツ証明にたくさんのコメントが集まっています。 半径が2で、中心角が直角の扇形を考えます。弧の長さは「2×(半径)×π(円周率)÷4」、半径は2なので、弧の長さはπ(円周率)になります。 次に扇形を囲む、辺の長さが2の正方形を考えます。弧の上に点を取り、正方形の辺から弧に向かい直角に降ろした線を考えます。線の総和は、正方形の2辺と同じなので4になります。 弧の上に取られる点を増やしていきます。 点の数をどれだけ増やしても、線分の長さは常に4になります。 では、点の数を無限大にします。そうすると、弧の長さと線分の長さは等しくなります。ゆえに円周率は4。 この詐欺のような証明にコメント欄は大紛糾。「一般的な極限と数学

    「円周率=4」を証明してみせましょう。“3.14…”を覆す新理論(?)に驚愕する声多数! 理数系学生「反論思いつかなくて草」
  • なぜビンゴゲームで同じ数字を書いてはいけないのか

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

    なぜビンゴゲームで同じ数字を書いてはいけないのか
    mas-higa
    mas-higa 2018/10/03
    途中で疲れちゃったから結論だけ教えて。なぜ?
  • https://jp.techcrunch.com/2018/01/22/huffpost-amazing-book_a_23338997/

    https://jp.techcrunch.com/2018/01/22/huffpost-amazing-book_a_23338997/
    mas-higa
    mas-higa 2018/01/24
    "あなたが世界で初めてです"
  • "独創的すぎる証明"「ABC予想」をその主張だけでも理解する - アジマティクス

    2017年12月16日、数学界に激震が走りました。……というと少し語弊があるでしょうか。 この日、あの「フェルマーの最終定理」に匹敵するとも言われる数学の重要な予想、つまり未解決問題であった「ABC予想」が京都大数理解析研究所の望月新一氏によってついに解決されたというニュースが、数学界を、いや、世界中を駆け巡ったのです。 science.srad.jp とは言っても実は、ABC予想を証明したとする論文は2012年にすでに発表されていて、そこから5年間ずっと「査読中」、つまりその証明が正しいかどうかの検証中だったのです(5年もかかったというのは、それだけこの証明が独創的で難解だったことの証左でもあります)。 端から見ていた所感として、論文が出た当初は、当にこれがABC予想の証明になっているのか疑う向きも多かったようですが、最近では、証明はほぼ間違いないのだろう、というような雰囲気だったよう

    "独創的すぎる証明"「ABC予想」をその主張だけでも理解する - アジマティクス
    mas-higa
    mas-higa 2017/12/18
    じゃあなんでこんなこと予想したのか。って追っていくと面白くなってくる…のか?
  • Knuth multiplicative hash が最小完全ハッシュ関数であることの証明 | メルカリエンジニアリング

    こんにちは!サーチチームの @metal_unk です。普段はサーバーサイドエンジニアとして、メルカリの検索を改善する仕事をしています。 メルカリには Be Professional Day という「普段できないことをやろう」をテーマとする日があり、その日は業務に直接関係のないことや、普段は手をつけられないリファクタリングなどがされます。Be Professional Day の様子はこちらで紹介されています。 tech.mercari.com わたしは今回の Be Professional Day で、Knuth multiplicative hash が最小完全ハッシュであることを証明しました。このブログはその証明についての記事です。 「普段できないことをやろう」という Be Professional Day では、証明もアリです。 Knuth multiplicative hash

    Knuth multiplicative hash が最小完全ハッシュ関数であることの証明 | メルカリエンジニアリング
    mas-higa
    mas-higa 2017/09/14
    この数式を描画する仕組みはどうなっているのだろうか?
  • まさかのNP困難?「九九って36種類しか数がないの不思議だよな」から始まる数学談義

    maki @maki_glenscape $ python3 -c 'print(len(set([x * y for x in range(1, 10) for y in range(1, 10)])))' 36 へぇ、ほんとだ twitter.com/motcho_tw/stat… 2017-04-06 01:53:53

    まさかのNP困難?「九九って36種類しか数がないの不思議だよな」から始まる数学談義
  • 私たちはいかにして環状線で”悪さをする列車”を捕まえたか | プログラミング | POSTD

    文:Daniel Sim 分析:Lee Shangqian、Daniel Sim、Clarence Ng ここ数ヶ月、シンガポールのMRT環状線では列車が何度も止まるものの、その原因が分からないため、通勤客の大きな混乱や心配の種となっていました。 私も多くの同僚と同じように環状線を使ってワンノースのオフィスに通っています。そのため、11月5日に列車が止まる原因を調査する依頼がチームに来た時は、ためらうことなく業務に携わることを志願しました。 鉄道運営会社SMRTと陸上交通庁(LTA)による事前調査から、いくつかの電車の信号を消失させる信号の干渉があり、それがインシデントを引き起こすことが既に分かっていました。信号が消失すると列車の安全機能である緊急ブレーキが作動するため、不規則に電車が止まる原因となります。 しかし8月に初めて発生した今回のインシデントは、不規則に起こっているように見えるた

    私たちはいかにして環状線で”悪さをする列車”を捕まえたか | プログラミング | POSTD
  • お前Rは初めてか?力抜けよ - Qiita

    R の入門記事――というよりも詰まりやすいトピック、いや正確に言うと自分が理解するのに少し躓いた物事を連ねた、半ば恨み節といっても良いような記事です。 私は今ではRを毎日のように書いていますが、使い始めた当初は「何じゃこりゃ?」と思うことの嵐でした。……いや、正直に言って今でもそうなのですが。私は R の前には C、C++Python をそれなりに書いていて、申し訳程度に Haskell と Scheme に触ったことがあったのですが、どうも R は書いていて「あれ?」と思わされるポイントが多いように思います。もし私と同じような経験の元にRを書くことになって途方に暮れている人がいれば助けにならないかなあと思って書きました。 普通の入門であれば触れるようなこと(基的な構文、ブロードキャスティング、よくある操作など)には触れません。また、一つ一つのトピックを掘り下げることは重視していません

    お前Rは初めてか?力抜けよ - Qiita
  • 珍しいSHA1ハッシュを追い求めて - プログラムモグモグ

    「SHA1ハッシュってあるだろう?」 放課後、いつものように情報処理室に行くと、高山先輩が嬉しそうな顔でそう言った。 「ええ、SHA1、ありますね」 「SHA1って何桁か覚えているかい?」 「えっと…」 一年下の後輩、岡村が口を開いた。 「50桁くらいはありましたっけ…?」 先輩はパソコンに向かって何かを打ちはじめた。 現在、情報部の部員は三人しかいない。部長の高山先輩と、二年の自分と、後輩の岡村だ。いや、正確に言うと、先輩の学年にはもう少しいたのだが、もうほとんど部室に来ることはなくなってしまった。無理もない、この季節になると先輩たちは受験勉強で忙しくなる。 「例えば、こういうふうに… 適当なSHA1の長さを…」 echo -n | openssl sha1 | awk '{print length}' 部長だけは今も部活に来てこうやって色々なことを教えてくれている。人曰く、普通に勉強

    珍しいSHA1ハッシュを追い求めて - プログラムモグモグ
    mas-higa
    mas-higa 2017/01/06
    "これに何の意味があるんですかね"
  • 折り紙一枚で証明する三角関数の加法定理

    絶対わすれるでしょ. 三角関数の加法定理は,文系でも理系でも,誰しもが高校で習うんですが,意外と図形的な意味を理解してる人って少ないんです. ということで,今回はこの,加法定理を折り紙を使って理解してみましょう. 折り紙を使った証明 例えば,下にこんな折り紙があると考えます. これを,真ん中あたりで折ってみましょう. すると,以下のようになりますね. ここではわかりやすいように,表と裏が違う色の折り紙を使っています. 折り目の長さが1だったとして考えてみましょう. この青い部分の三角形だけ抜き出して考えてみましょう. 以下の図のように,折った角度が角\(\alpha\)だとすると,青い三角形の各辺の長さは以下のようになりますね. 今は,青い部分の三角形だけを抜き出したので,元の場所に戻してあげます. 以下の図に示す場所を角\(\beta\)とします. 小学校で,「三角形の3つの角の和は18

    折り紙一枚で証明する三角関数の加法定理
  • lifememo.jp

    lifememo.jp 2021 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy

    lifememo.jp
    mas-higa
    mas-higa 2016/03/23
    double の有効桁数やろ