本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
TypeScriptの代数的部分型模型
本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
「大学で数学は哲学になる」と主張する人がいる*1．特におもしろくもないし，適切な比喩とも思えないんだが，一部の頭がフワフワしている層や視野の狭い人々，数学を神聖なものに祭りあげたい何とかコミュニケーターなどには受けるらしく，ごくまれに信じている人がいる*2． ただ，実際問題，違いを説明しろと言われるとワリと困る．「リンゴとゾウの違いは何ですか」と聞かれているようなものなので，当然なのだが，「いや，見た目も大きさも全然違うじゃん」と言いたくなる．問題は「リンゴとゾウ」なら一目瞭然なのだが，「学問」は目に見えないので，どちらもわかっていない人には誰かが説明しないと違いがはっきりわからない点にある*3．「リンゴの触り心地はツルツルだし，ゾウも（牙が）ツルツルだから，きっと似たようなものだろう」と言う盲人のようなものである*4． この記事の目的は「数学と哲学の違い」という直観的には明らかだが，ちゃ
数学の勉強のやり方
はじめにお前は誰やねん解析学を研究している博士課程の2年生。 この記事の目的もし大学1年生の自分に会えたら数学の勉強についてアドバイスしたいことがいくつかあるので、それを簡単にまとめたい。現在進行形で学部生をやっている人の参考になれば嬉しい。ただし、あくまで個人的な考えであり、視点が偏っているので、鵜呑みにはしない方が良い。 最初にやるべきことできる限り早い段階で集合と写像の言葉を覚えよう。微分積分や線形代数より先にこちらをやった方が良い。そもそも集合と写像の言葉は大学数学をやっていくうえで必要不可欠であり、微分積分や線形代数さえこれらの知識がなければ十分には理解できない。それから、定義に従って厳密に議論できるようにならなければ、そもそも大学数学のスタートラインにさえ立てない。集合と写像の勉強はその習得に適していると思う。 ちなみに、僕がこの「スタートライン」に立てたのは学部1年後期だった
どんな形状でも「公平なサイコロ」作れる技術？ 逆に出目の確率操作も可。NVIDIAやAdobeの研究者ら開発【研究紹介】 レバテックラボ（レバテックLAB）
サイコロを転がすと、最終的にどの面が上を向いて止まるだろうか。剛体が転がって静止する際の挙動を予測するということは、一見単純な問題のようだが、実際には複雑な物理現象である。この問いに答えるため、従来はコンピュータで何千回も物理シミュレーションを繰り返し、統計を取る必要があった。 しかし、この方法は計算コストが高く、数値的な不安定性やパラメータ調整の困難さといった問題を抱えていた。特に複雑な形状では、信頼性の高い結果を得るために膨大な計算時間を要することも珍しくなかった。 研究チームは、物理シミュレーションを一切使わずに、純粋に形状の幾何学的性質だけをもとに、各面において停止する確率を瞬時に計算する方法を開発した。 この手法の基本的な考え方は、物体が転がる際に重心の高さがどう変化するかに着目することである。物体が安定して止まるのは、重心の高さが最も低くなる配置である。 ▲物体が重力に従って転
超関数型プログラミング
この記事はFOLIO Advent Calendar 2022の23日目です。 ソフトウェア2.0 ソフトウェア2.0 という新しいプログラミングのパラダイムがあります。これは Tesla 社のAIのシニアディレクターだった Andrej Karpathy が自身のブログ記事（"Software 2.0"）で提唱した概念で、 ニューラルネットワーク のような最適化を伴うプログラムを例に説明されています。 従来のプログラム（Software 1.0）は人間が命令に基づいたプログラムを作成し、望ましい挙動を行わせます。それに対してニューラルネットワークのようなプログラム（Software 2.0）では人間はある程度の自由度をパラメータという形で残したプログラムを作成し、「入出力のペア」や「囲碁に勝つ」というような教師データや目的を与えてプログラムを探索させるというものです。 画像出典: "So
「専業主婦になる覚悟がなかった」 最高の名誉を受けた女性数学者72歳が結婚を経て「ものになる」まで | AERA DIGITAL（アエラデジタル）
数学者の石井志保子さんこの記事の写真をすべて見る 「日本学士院賞」は、日本の研究者にとって最高の名誉とされる賞である。その中からさらに選ばれた人だけに「恩賜賞」が授与される。明治43（1910）年に創設され、翌年に授賞式が始まって以来、初の女性の単独受賞者が誕生したのは2021年、実に111年目のことだった。その栄誉に輝いたのが数学者の石井志保子さんだ。 【写真】子育てと研究の両立は？実際の様子 富山県高岡市の開業医の家に生まれた。地元の小中高を経て東京女子大学に進学、そこで数学に魅せられ、早稲田大学と東京都立大学の大学院で勉強を続けた。東京工業大学、東京大学で数学教授となり、定年退職した現在も東大大学院数理科学研究科特任教授である。 一直線に数学だけを究めてきたと想像されがちだが、実際は、結婚、子育てとライフステージの変化とともに柔軟にやりくりしながらの研究生活だった。（聞き手・構成／科
2048
How to play: Use your arrow keys to move the tiles. When two tiles with the same number touch, they merge into one!
drivesketch @drivesketch こどもの教育市場で、いまだに公文式とそろばん教室に一定の人気がある理由も同じかも。事前に「計算」を鍛えることで、計算で消費される認知リソースをなるべく下げ、「数学的思考」になるべく多くのリソースを割けるようにするねらい。 x.com/tokoroten/stat… 2024-10-02 14:19:41 ところてん @tokoroten あとは、「子供向けのプログラミングスクール」で、なんで「キーボードタイピング」の授業が行われているのか？という話でもあったりする タイピングは慣れないと認知負荷が高すぎて、タイピングに認知リソースの大半を持ってかれてしまうので、コードを認識することすら困難だったりする 2024-10-02 12:21:48
Immersive Math
immersive linear algebra by J. Ström, K. Åström, and T. Akenine-Möller v1.1. ISBN: 978-91-637-9354-7 The world's first linear algebra book with fully interactive figures. Learn More Check us out on Twitter and Facebook Preface A few words about this book. Chapter 1: Introduction How to navigate, notation, and a recap of some math that we think you already know. Chapter 2: Vectors The concept of a
7歳の時にランプの魔人に「3つ願いを叶えてやろう」ってゆわれたときに「円周率！円周率ぜんぶゆって！」ってゆったのまだ終わってないし魔人が普通に邪魔
りぽたん @ripo0079 7歳の時にランプの魔人に「3つ願いを叶えてやろう」ってゆわれたときに「円周率！円周率ぜんぶゆって！」ってゆったのまだ終わってないし魔人が普通に邪魔になってる 2024-05-25 20:44:49
現在、アメリカ・シアトル近郊の刑務所には数学の天才が収監されています。 殺人犯であるクリストファー・ヘヴンズ氏が刑務所で数学を学ぶようになった結果、ある難問を解くまでになったのです。 彼の成果は学術誌に掲載されており、それ以来、刑務所の中で他の受刑者たちに数学を教えているとのこと。 今回は、まるで映画や小説にでも出てきそうな「数学を学んだ殺人犯」のエピソードをご紹介します。 An inmate’s love for math leads to new discoveries https://theconversation.com/an-inmates-love-for-math-leads-to-new-discoveries-130123 Imprisoned Murderer Solves Ancient Math Problem https://www.ancient-origins
【▲ 図1: 今回の研究でシミュレーションされた位相欠陥の外観。 (Image Credit: P. Heidmann, et.al.) 】 「ブラックホール」は非常に知名度の高い天体ですが、その存在がカール・シュヴァルツシルトによって最初に予言されたのは1915年です (公表は1916年) 。アルベルト・アインシュタインが一般相対性理論を発表したわずか1か月後に、シュヴァルツシルトは一般相対性理論を解くことでブラックホールに当たる天体が出現することを数学的に証明しました（当時はまだ “Black Hole” という名称は与えられておらず、1964年に初めて使用されました）。 当初は実在が疑われたブラックホールですが、その後の天文学の発展により、ブラックホール以外では説明のつかない天体や天文現象が次々と発見されているため、今日では実在を疑う声はほとんどありません。しかし、ブラックホールは存
自分のような専門外の人間が「数学書」を読む時のメモ｜きぬいと
2024/04/30追記 投稿後2年以上経つが、未だに「いいね」を頂戴することを嬉しく思っている。これだけ読まれると読みにくい箇所や誤字が存在することはやや誠実さに欠けるように思われたので、適宜修正した。 また、ヘッダーを追加した(@dharmazeroalpha 氏より拝借)。 さらに、参考文献を追加した(Polya, 竹内)。 導入：執筆の背景修士(文学)が数学を勉強する必要性に駆られている。 数学の書籍を読む方法について、学生時代の講義や自主ゼミによる遠い記憶と、数学徒の見よう見真似でしか理解できていないので、参考のために各大学の教員の方針がまとめられた情報も組み合わせて整理し共有する。 なお、基本的には僕の僕による僕のためのメモなので、他の人の参考になるかどうかは知ったことではない。 目的統計検定1級のために以下の書籍を理解を伴って「読了」するための方法として、数学書の読み方の基本
こんにちは、クルトンです！ 2021年11月21日に実施された、統計検定1級（数理統計、応用統計（理工学））に合格することができました！ なので、この記事では統計検定を受けるまでに勉強した内容について書こうとおもいます。 勉強を始める前の状態 どんな試験か 参考書 入門統計解析 現代数理統計学 現代数理統計学の基礎 大学教養線形代数（数研講座シリーズ＋チャート式） 確率と確率過程 過去問（2012～2019） 統計学 日本統計学会公式認定統計検定1級対応 やって良かったことorやっておけば良かったこと まとめノートを作る 過去問を早くからやる 連想ゲームをしてみる 最後に 勉強を始める前の状態 統計はセンター試験と大学1回生のときに般教でやった程度（分散は分かるけど不偏分散って何？ぐらいのレベル） 大学数学は微積分を選択したので線形代数は何も知らない 高校数学は得意な方だった みたいな感じ
子Aと子Bがいるとして「Aが男のときBが女の確率は？」なら答は1/2。「ABのどちらか片方が男のときもう片方が女の確率は？」なら答は2/3。 これの前者の意味がさっぱり分からないんだけど誰かマジで説明してくれ。勝手に生まれた順だと決め付けて子Aが男だった場合お姉ちゃんがいるケースを省いてるって事？ 追記 生まれた順は関係なくて、性別が確定したのが「特定の個人」か「不特定の個人」かで、もう1人の性別の確率は変わるのです。 一番わかりやすかったです。ありがとう。元ブコメは勘違いしてすまんかった。
行列入門
行 列 入 門 i 本教材について 本教材は，行列の基本的な性質を学ぶために作成したものです。 行列については，平成 21 年告示の学習指導要領における新設科目「数学活用」の「社会 生活における数理的な考察」の「数学的な表現の工夫」の内容となりました。行列は現代数 学の基礎的な内容として様々な場面で活用されているにもかかわらず，繁雑な計算の意味 やどのような場面で活用されるのかがわかりにくかったことから， 「数学活用」の内容とし たものです。ただし， 「数学活用」の内容としたことから内容は大綱的に示すことになりま した。そこで，専門教科理数科の「理数数学特論」の内容としてはそれ以前のもの（平成 11 年告示の学習指導要領における数学 C の内容）をそのまま残すとともに，高等学校数学を 超える内容に興味をもつ生徒には「数学活用」の内容を踏まえ「線型代数学入門」のような 学校設定科目を設けて指
自動車工場のガロア体
その誕生を地元新聞も経済新聞も記事にしなかった。２年後、『コードの情報を白黒の点の組み合わせに置き換える』と最下段のベタ記事で初めて紹介された時、その形を思い浮かべることができる読者はいなかった。いま、説明の必要すらない。ＱＲコードはなぜ開発され、どう動くのだろうか。 ＱＲコードは、自動車生産ラインの切実な要請と非自動車部門の技術者の「世界標準の発明をしたい」という野心の微妙な混交の下、1990年代前半の日本電装（現デンソー）で開発された。 トヨタグループの生産現場では、部品名と数量の記された物理的なカンバンが発注書、納品書として行き来することで在庫を管理する。そのデータ入力を自動化するバーコード（ＮＤコード）を開発したのがデンソーだ。 バブル全盛の1990年ごろ、空前の生産台数、多様な車種・オプションに応えるため、部品も納入業者も急激に増え、ＮＤコードが限界を迎えていた。63桁の数字しか
数学の問題が平然とイカサマ硬貨をつかってる、表の出る確率が1/3ってなんだよ→「コインが立つ可能性を考慮しているのでは？」など考察やツッコミが入る
ルーク @Rucktritt イカサマとは前提条件を伴わず、且つルールにおいて禁止事項の行為にもかかわらず自分側が利となる手段を用いる事なので、相手の承諾やルールとして提示していればイカサマにはならないんだよ。 例え賽子三個投げて１の目三個揃えると勝利するゲームでピンゾロ賽を用いても事前に許可があればOKなんだ x.com/qszs_/status/1… 2025-06-29 12:38:59
PDFを見返すと独習を始めた頃の線形代数のノートはほとんど殴り書きで、単に計算用紙としてノートを使っています。微分積分に入ると少しはましになってきますが、頭に入れたい概念の定義や定理の証明を何度も書き直したりしています。また独習ですから間違った理解を正しいと思い込んだまま証明を書いて、分かったつもりになっている箇所も少なからずありそうです。とまれ上記の表に挙げた各書籍に曲がりなりにも取り組んだことを示す、書証のつもりでノートを晒しました。 余談ですが、使用したノートは、PLUS の品番 NO-204GS (A4 G罫 5mm方眼 40枚) という方眼ノートです。また筆記用具は当初シャープペンシルを使っていましたが、「オイラーの贈物」からは万年筆に替えました。プラチナ#3776センチュリーUEF(超極細字)を使っています。 1.3 私について 本記事の作者であり学び直しをした本人である私は、
神社に奉納された数学の問題「算額絵馬」を解いてみる
「算額絵馬」というものがある。 和算（昔の日本の数学）が書かれた絵馬のことで、昔は数学が解けたことに感謝して、神社に絵馬を奉納することがあったという。 なんだそのかっこいい風習は。私もぜひやってみたい。でも奉納するのはハードルが高い。 というわけで、奉納されている「算額」を解く方に集中することにした。高校を卒業して以来の数学である。 数学を解くとか以前に問題が読めない まずは実物を見て欲しい。これがウワサの算額絵馬だ！ 横幅50cmぐらいの巨大な絵馬。よくわからないけど図形の問題っぽいということはわかる。 こういう和算の問題が書かれた絵馬は、全国各地の神社にちらほらあるらしい。 これは前に山梨の神社で見つけた算額絵馬。下には出題者・回答者の本名と住所が書かれており「個人情報」という概念はなかった。 今回は、その中でも一番近場にあった渋谷・金王八幡宮の絵馬を解いてみたい。 金王八幡宮にやって
「ブロックチェーンのトリレンマ」を表現する数式を発見：京都大学の研究グループ | CoinDesk JAPAN（コインデスク・ジャパン）
「ブロックチェーンのトリレンマ」とは、2017年にイーサリアムの創設者ヴィタリック・ブテリン氏が提唱したもので、性能（scalability）、安全性（security）、分権性（decentralization）の3つにはトレードオフがあり、同時には2つまでしか成立しないことを表すものだ。ただし、あくまでも経験則であり、これまで数理的に表現されたことはなかった。 京都大学の研究グループは「ブロックチェーンのトリレンマ」を表現する数式を発見したと4日、発表した。具体的には、ビットコインなど、プルーフ・オブ・ワーク（Proof of Work：PoW）型のブロックチェーンにおいて、安全性を下げるフォークという現象が起きる確率の逆数を「安全性の指標」とした場合に、その項と、性能を表す項、分権性を含む項、それら3項の積が一定である、つまり3項がトレードオフであるという数式を得たという。 なお、研
鉄✪C106申し込んだよ⋈早矢斗／デレステ994240190／ウマ娘542998057 @cu6gane 特定ジャンルを定期的に、TL上で気になったトピックスがあれば突発的にまとめを作成するマンです。 ためになったり・笑えたり・なるほどねーと思ったり・たまに見返したくなったりするまとめ作成を心掛けたいと思います。 基本的に自分で作成したまとめのコメント欄への操作や介入はしません(追加のお知らせや応答出来る範囲の回答、荒らし行為を行うアカウントへの対処はこの限りではありません) 作者のオススメ
「数学は役に立つのか？」「微分や積分は役に立つのか？」というのは、たびたびSNS上で目にする話題ですね。もちろん、人間社会において、さまざまな場面で数学や微分・積分が役に立っているのはみなさんよくご存知かと思います。 今日紹介したいのは、人間が発見するよりもはるか昔に、生物がすでに既に微分を活用していたかもしれない というお話です。 たとえば、カブトガニのような生物は、実際に「微分」を活用していたのではないかと言われています。 By Togabi - Own work, CC BY-SA 4.0, Link カブトガニが誕生したのは２億年前ですが、人類が微分を発見したのはせいぜい300年前ですから、人類が活用するよりもはるか昔ということになります。 いったいどんなふうに微分を活用していたのでしょうか。面白い話なので、ぜひ最後まで読んでいただけると嬉しいです！ 目次： 1. 物体認識とエッジ
（ながの・ひろゆき）。永野数学塾塾長。1974年東京生まれ。父は元東京大学教養学部教授の永野三郎（知能情報学）。東京大学理学部地球惑星物理学科卒。同大学院宇宙科学研究所（現JAXA）中退後、ウィーン国立音大へ留学。副指揮を務めた二期会公演モーツァルト「コジ・ファン・トゥッテ」（演出：宮本亞門、指揮：パスカル・ヴェロ）が文化庁芸術祭大賞を受賞。主な著書に『大人のための数学勉強法』（ダイヤモンド社）、『東大→JAXA→人気数学塾塾長が書いた数に強くなる本』（PHP研究所）など。これまでに1000人以上の生徒を数学指導してきた実績を持ち、永野数学塾は、常に予約キャンセル待ちの人気となっている。NHK（Eテレ）「テストの花道」出演。朝日中高生新聞で『マスマスわかる数楽塾』連載（2016ー2018年）。朝日小学生新聞で『マスマス好きになる算数』連載（2019ー2020年）。『とてつもない数学』（ダイ
京都大学大学院の橋本幸士教授（理学研究科）は8月16日、理工系YouTuberのラムダ技術部さんとともに、「たこ焼きが崩れないように巨大化させるには扁平な形状にする必要がある」という予想について論文形式にまとめた文書を公開した。風味を落とさず巨大化するための予想を「オイラー・ラグランジュ形式」という方程式を使って説明し、実験した結果や結論までを掲載している。 橋本教授は超ひも理論などを研究する素粒子物理学者。巨大なたこ焼き機などを使って予想を実際に検証した様子の動画も、ラムダ技術部のYouTubeチャンネルで14日に公開した。動画では検証の結果、たこ焼きを球のまま巨大にしようとすると皮の部分を厚くしなければならず、食感が損なわれる一方で、扁平な形状にし、お好み焼きのようにすることで風味を損なわず巨大にできることが分かったとしている。
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: ＠shiropen2 カナダの研究所Perimeter Institute for Theoretical Physicsとエジンバラ大学に所属する研究者らが発表した論文「The Penrose Tiling is a Quantum Error-Correcting Code」は、繰り返さないパターンである「ペンローズ・タイリング」が、量子コンピュータの誤り訂正に応用できることを提案した研究報告である。 量子コンピュータは量子力学の原理を利用することで、従来のコンピュータでは解くことが難しい問題を高速に解くことができる。しかし、量子情報は環境ノイズからの影響に
こんにちは，sititou70です．私は社会人2年目のよわよわWebフロントエンドエンジニアであり，「数学」とか「証明」とは無縁の人生を送っています． そんな私ですが，がんばって型システム入門（通称：TAPL）という本を読み終えました．全32章，503ページ，牛乳パック1本分の重さがあり， 自立します． 自立する本は大抵やばいです． TAPLの序文を見ると，想定読者は プログラミング言語と型理論を専門とする大学院生および研究者 プログラミング言語の鍵となる概念に触れたい，計算機科学の全分野の大学院生および習熟度の高い学部生1 となっています．本記事では 「そんな本を，学生や専門家でない人間（私）が読んだらどうなるのか」 について書きます．専門的な用語は避けますので，TAPLの雰囲気だけでも感じ取ってもらえたら嬉しいです． どうなったのか 宇宙語が読めるようになった 「型安全」を説明できるよ
50年以上の未解決問題「ソファ移動問題」を数学的に解決か 韓国の研究者が発表 L字の廊下を曲がれる最大の大きさとは
この問題は、家具を引っ越す際、大きなソファを例えば、幅1mの廊下の直角の曲がり角で運ぶことを考える。このとき、廊下を曲がることのできる最大の面積を持つソファ（平面図形）はどのようなものか、という問題である。 数学的には次のように定式化できる。幅1の直角の廊下があり、水平な通路から垂直な通路へとつながっている。この廊下の中を連続的に動かせる平面図形の中で、最大の面積を持つものを求める。ただし図形は途中で切断したり変形したりはできない。 1992年に作家のジョセフ・ガーバーさんは、面積約2.2195……の特殊な形状（ガーバーのソファ）を考案。この図形は、まるでL字型の廊下に合わせて「へこみ」を持つような形をしている。この「へこみ」により、図形は廊下を効率的に曲がることができる。 今回発表した論文では、このガーバーのソファが実際に最大面積を持つことを証明した。証明は3つのステップからなる。 最初
末っ子の担任から「朝読書の時間に不思議な本を読まれてて....」って連絡がきて確認したら....これ→「換気扇のフィルターかと思った」「将来が有望である」
リンク 暗黒通信団 『 円周率1,000,000桁表 』 | 暗黒通信団 ひたすら円周率が並んでいるだけの本。これが看板アイテムってのもどうかと思うが、同人誌即売会に来る大抵の人は、開いてみてのけぞる。何に使うかは作者も分からない。ここの紹介文を読むより、Amazonのレビューでも読んだほうが有益と思われ。レビュー書いてる人たち、分かってる。 32
本記事では、偏微分方程式の数値解法の基本を、分かりやすい具体例とともに掘り下げていきます。偏微分方程式には解析的な解が存在しない場合が多いため、Pythonを活用してこれらの複雑な問題にアプローチする方法を学びます。 本記事を足がかりに数値解析の旅を始めてみませんか？ 注1） 本記事は丁寧に解説しすぎたあまり、大変長くなっております。まずはご自身が興味のある部分だけをお読みいただくことを推奨します。 注2） 差分法の一部の話だけにとどめています。誤差や境界条件などの詳細な議論は冗長化を避けるためにご紹介していません。 偏微分方程式の数値解法とは 偏微分方程式の数値解法は、偏微分方程式（PDE: Partial Differential Equations）の解を近似的に求めるための手法のことを指します。これらの方程式は、多くの場合、解析的な解が見つけられないため、数値的な手法が必要となりま
古書市で、江戸時代の数学書『塵劫記』（じんこうき）を買った。 『塵劫記』は、くずし字で書いてあるので、文章はさっぱり読めない。しかし、最近はくずし字を翻訳してくれる便利なアプリがある。 アプリで文字を翻訳し、数学に詳しい人に見てもらえば、なにが書いてあるのか、だいたいわかるのではないか？ 『塵劫記』を古書市で買った 少しまえに、神保町の古書市で、江戸時代の数学書『塵劫記』を購入した。 右の『塵劫記』（文化三年）は500円、左の『新編塵劫記大成』（寛政三年）は1500円だった かつて、江戸時代の日本では和算という独自の数学が発展し、ヨーロッパなど先進的な地域の水準に劣らないほど発達したといわれる。教科書にも出てくる関孝和などはみなさまご存知だろう。 『塵劫記』は、江戸時代初期に、吉田光由が著した和算のテキストで、寺子屋でそろばんや初歩的な数学について学ぶさいに使われた。 江戸時代の数学入門書
私大文系の｢数学不要論｣を打ち消す早大の快挙
早稲田大学は2018年に、政治経済学部の一般入試で数学を必須科目（数学I・A）にすること等々を発表し、3年間の周知期間を経て今年2月に実施した。数学が必須科目になることによる受験生の激減は当初から予想されていたとはいえ、2020年の5584人に対し今年の3495人には改めて驚かされる。 当然、この問題はマスコミでもいろいろ取り上げられているが、主に「～大学の受験生が増えた・減った」という観点から論じているようだ。本稿では主に、大学入試の歴史的経緯と「数学」の観点から考えてみよう。 「少科目入試」が増えた背景 振り返ってみると、1980年代後半から「個性尊重」や「多様な人材を集める」などという理由による“入試改革”が私立大学文系学部を中心に始まった。それは、少子化による受験生減少の時代に向けて、「少科目入試」による「偏差値の吊り上げ」が本当の目的であった。 およそ入試での偏差値は、生徒が受験
渡邉 雅子の『論理的思考とは何か (岩波新書)』を読んだ．この本の著者が「論理の社会的構築物説」のようなことを主張しているという認識だったので，一応目を通しておこうと思ったのである．正直，期待していたような内容（論理の社会的構築物説の論証）では全くなかったので，感想をTwitterあたりに垂れ流して，『論理的思考とは何か』とはバイバイしようと最初は考えていた．しかし，この本に対してコメントをちゃんと残しておいた方が良いかと思う出来事があったので，この記事を書くことにした． 本記事では『論理的思考とは何か (岩波新書) 』の内容を把握されていることを前提として話をする*1．なお，同内容と思われる『「論理的思考」の社会的構築: フランスの思考表現スタイルと言葉の教育』や『「論理的思考」の文化的基盤 ４つの思考表現スタイル』*2については参照せずに書いていることはフェアネスのためにこの時点で宣言
ちんすこ @csk2019 取っ手が穴なことと、カップ自体が筒であることを 脳内で正しく認識デキてる人なら、 すぱっと理解できますよｗ ヒントとしては 輪ゴムや紐なら出来る、 固くて【裏返せない】素材では不可能。 twitter.com/nekonobunseki/… 2024-01-29 01:38:26
雲彩 @iM9260602 @tamamo_ozen ２種類あるのは確かだが、そもそも意味が違う。 『Ｚ＝深さ・奥行』 それは、平面図（２Ｄ）に追加された時くらいだから。 つまり、ゲーム画面は上の図が「奥行」となるが、物理的な物の場合は、奥行では無く「深さ」となるから、下の図が正解。 対象物を考えずに離すから、変な事になるんだよ！ 2024-12-25 06:56:01 かおもじもじ @hannta226 @tamamo_ozen ゲームだと「2D横スクロールから始まったから高さがY軸」に設定されたのよな。 XY平面を拡張してZ軸で高さを表すのが数学的には自然だから、CADとか現実に関係するモデリングだと「高さ＝Z軸」が採用されてる。 pic.x.com/nTdR8seaHB 2024-12-24 15:15:57 とびうお🐠 @kattobikun1 @tamamo_ozen 自動車業
「」を示す問題が2003年の東大入試で出題されました。これは有名なのでみなさん良くご存じかと思いますが、一方で以下の動画のような解法はご存知でしょうか？ www.youtube.com たいへん面白い解法なので、まずは一度ご覧いただきたいです。動画の解説もとても丁寧です。今回の記事はこの動画の内容を前提としてお話したいと思います。 動画の概要欄にもリンクが載っていますが、Yahoo知恵袋の以下の質問の「その他の回答」に載っていた回答が元ネタだそうです。 detail.chiebukuro.yahoo.co.jp 元ネタの人はどうやって発見したんでしょうね。いやー不思議です。 今回私が考えたいのは、いったいどうしてこんな解法が存在するのであろうかということです。登場するパラメータが絶妙なバランスで構成されていて、このような解法が存在すること自体が非自明です。 今回はその背景にある理屈を整数論
君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021
CI/CD Conference 2021 で使用したスライドです。 S3 オブジェクトを不必要に公開してしまったり、あるいは遮断されるべきネットワークが繋がってしまったりといったセキュリティ上の設定ミスは、可能な限り避けたいものです。 このようなインフラ層に対するテストを従来の CI/CD…
遥か過去から数学者たちは「方程式を解く」ことに全力を注いできました。 2次方程式は紀元前1800年頃に解の仕組みが発見され、ルネサンス期には3次や4次の解法も確立しました。 しかし、5次以上の多項式だけは、どうしてもルートを使って表せないことが、19世紀に判明します。 すなわち2次、3次、4次方程式と同じように「5次は解けない」ということが、長らく数学界の定説だったのです。 ところがオーストラリアのニューサウスウェールズ大学（UNSW）で行われた研究によって、ついにその壁を乗り越える新たなアプローチが発表されました。 新たな方法は数列や図形の概念を使うことで、従来なら「不可能」とされていた2、3、4次方程式と共通した手法で5次方程式以上の解を与えられるというのです。 もしこの新手法が本格的に発展すれば、数学史における「5次方程式の不可能性」の概念が大きく書き換えられるだけでなく、コンピュー
質問 オンラインゲームのガチャを100回引きましたが、1％の確率で出るレアアイテムが、1回も出ませんでした。確率表記が間違っているのではないでしょうか。 回答 オンラインゲームの電子くじ（一般に「ガチャ」と呼ばれるもの）は、店舗等のカプセルトイ（一般に「ガチャガチャ」と呼ばれるもの。1回引くごとに確率は上がっていく）と仕組みが異なり、確率の計算方法が異なる場合があります。 オンラインゲームに関する相談がトラブルメール箱に多く寄せられており、その中でも「ガチャ」を引いたのに希望のアイテムが出ないという事例が多く見られます。 確率の表記について オンラインゲームの「ガチャ」の確率表記については、業界団体である一般社団法人コンピュータエンターテインメント協会（CESA）と一般社団法人日本オンラインゲーム協会（JOGA）がガイドラインを定めています。例えばCESAのガイドラインでは、原則として「提
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://twitter.com/Perfect_Insider/status/1513148341223575552
数学は哲学？ - Sokratesさんの備忘録ないし雑記帳
こどもの教育市場でいまだに公文式とそろばん教室に一定の人気がある理由に納得の声「ほんとこれ」「中学受験でも強い」
数学の超難問を収監中の殺人犯が解いてしまった話 - ナゾロジー
「位相欠陥(トポロジカル星)」の画像化 黒くないブラックホールのような天体
統計初学者が統計検定1級に合格する方法 - クルトンのプログラミング教室
これの前者の意味がさっぱり分からないんだけど誰かマジで説明してくれ。..
50代になってから始めた数学の学び直しを振り返り、独習ノートを晒します。
たぶん読み方は”愛”！？ 銀座の店看板にあった「√-1(ルートマイナスイチ)」という店舗の読み方にアレコレと想像する人達
動物の目は「微分」を活用している - tsujimotterのノートブック
【2020年ノーベル物理学賞】ロジャー・ペンローズの「ペンローズ・タイル」は、ここがすごい
「たこ焼きはどこまで大きくできるのか」解明に数学で挑戦 京大大学院の橋本教授と理系YouTuberが論文公開
周期性のない図形「ペンローズ・タイル」が量子コンピュータのエラーを訂正？ カナダの研究者らが発表
よわよわエンジニアがTAPL（型システム入門）を読んだら
【コード付き】Pythonを使った偏微分方程式の数値解法【入門】 - LabCode
くずし字認識アプリ『みを』で江戸時代の数学書『塵劫記』を読む
『論理的思考とは何か』とは何か - Sokratesさんの備忘録ないし雑記帳
えっどういうこと? マグカップと輪ゴムが不思議なことになっている→やってみた結果と分からない人向けの解説がこちら
「世の中には二種類の人間がいます」XYZのZが奥行きか高さかがある話…マイクラをすると奥行き固定
「π＞3.05を凄すぎる方法で証明」を整数論的に考える - tsujimotterのノートブック
5次方程式に新公式を発見：ルートを超える新理論 - ナゾロジー
オンラインゲームの「ガチャ」で欲しいレアアイテムが出ない(消費者トラブル解説集)_国民生活センター
anond.hatelabo.jp
www.smartnews.com
tym943.hatenablog.com
www.kk-bestsellers.com
tomokutchi.hatenablog.com
2nd-train.net