本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
TypeScriptの代数的部分型模型
本書ではTypeScriptの型と部分型関係がなす代数的構造を解説し、型についての強固かつ柔軟なメンタルモデルを構築します。 順序理論、集合論、束論、環論、そして圏論に至るまで、複数の数学理論を利用して多角的にモデルを構築することで、型の直感的な理解を深め、型の互換性に対する自然な推論を可能となるように解説した新しい試みの本です。
仏紙が唸る「数学を世間に広める能力で、時枝正にかなう者はいない」 | 直感の逆を突き、驚かせ、人の未知への欲求を刺激する
スタンフォード大学の教授で数学者の時枝正（ときえだ・ただし）は、「おもちゃ」を使って数学や物理の定理を解き明かす。スープ皿や木のレール、大きなコインを手に、「ショー」とも呼べそうな講義をいかにも楽しげに始めるその姿に、聴衆は一瞬にして心を惹きつけられるという。 数学者には二つのタイプがいるという──。一つは、チョークを握り黒板に向かう、理論派タイプ。もう一つは、フェルトペンとホワイトボードを使う、どちらかというと応用数学系の人である。 その伝でいうと、時枝正は第三のタイプの数学者である。しかもこの第三のタイプは、世界広しといえども彼一人だけの可能性がある。 時枝は仕事道具をどれも煎餅の空箱から取り出すのだが、箱は「すべて同じブランドのもの」なのだそうだ。たとえばその中身は、見かけはそっくりなのに、転がるものと転がらないものがある二つの不思議な構造物。ひもや輪ゴム、クリップの扱い方は、まるで
旧限界数学ゼミガール
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
「数学書を読んでる人を眺めるだけの漫画」が全然わからんけどめちゃくちゃわかる「内容わからんけど性癖に刺さる」
リンク Wikipedia 公理的集合論 公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系は以下のZF公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。選択公理を仮定しない体系も盛んに研究されている。 またZC,ZでそれぞれZFC,ZFから置換公理を除いたもの、Z-、ZF-、 34 users 3 睦月 @gbhatu227 よく訓練された人でないと数学書読んでも楽しくないので、あっ！解けた！という快感を味わうために中学入試算数から始めてみるとお手軽かも、あれ大人でもぱっと解けないですよ 2022-03-10 08:1
自分のような専門外の人間が「数学書」を読む時のメモ｜きぬいと
これは何？修士(文学)が数学を勉強する必要性に駆られているが、数学の書籍を読む方法について遠い記憶と見よう見真似でしか体得できていないので、インターネットの叡智も合わせて再度定式化して自分の逃げ道を奪うメモ。 僕の僕による僕のためのメモなので、他の人の参考になるかどうかは知ったことではない。 目的統計検定1級のために以下の書籍を理解を伴って「読了」するための方法について理解する。 過去の記憶修士(文学)とはいいつつ、学部〜大学院の頃に博士課程の先輩が主催する勉強会に参加して、読み方の片鱗を学んだ。その時は以下のことを概念的に学んだ記憶がある。 数学書1冊の読了に時間がかかることを受け入れる 1章が終わらないのはザラ。1行しか進まない日もある。 上記経験では(参加者との分担もあったためか)2年弱かかった。 数式には「行間(ギャップ)」がある 出てくる数式はつながりがあるが、それがわかりやすい
線形代数とは？初心者にもわかりやすい解説 | HEADBOOST
「線形代数を簡単に理解できるようになりたい…」。そう思ったことはないでしょうか。当ページはまさにそのような人のためのものです。ここでは線形代数の基礎のすべてを、誰でもすぐに、そして直感的に理解できるように、文章だけでなく、以下のような幾何学きかがく的なアニメーションを豊富に使って解説しています。ぜひご覧になってみてください（音は出ませんので安心してご覧ください）。 いかがでしょうか。これから線形代数の基礎概念のすべてを、このようなアニメーションとともに解説していきます。 線形代数の参考書の多くは、難しい数式がたくさん出てきて、見るだけで挫折してしまいそうになります。しかし線形代数は本来とてもシンプルです。だからこそ、これだけ多くの分野で活用されています。そして、このシンプルな線形代数の概念の数々は、アニメーションで視覚的に確認することで、驚くほどすんなりと理解することができます。 実際のと
数学ガールオタクが初見VTuberの積分配信にめちゃくちゃ感動したメモ1｜kqck
私はタイムラインとトレンドを一切見ないタイプのツイ廃なので、流行の話題に乗り遅れることが多々ある。（それでいいと受け入れている） そのため「不登校だった（？）VTuberが積分についてイチから勉強する配信」が少し前に話題になっていたらしいと今さら知った。 私はVTuberのオタクではない。ときどきのらきゃっとさんの放送を観るくらいで、今をときめくホロライブとかにじさんじについては何も知らない。 ただ、私は数学ガールのオタクである。 数学ガールとは、ラノベ風の数学読み物シリーズだ。ラノベと言っても、扱う数学は高校〜大学レベルかそれ以上と、ガチである。（派生した『数学ガールの秘密ノート』シリーズでは中学〜高校レベルの易しい内容を扱っている） 私は本当に数学ガールシリーズが好きで好きでたまらなく、約1年前からはレビュアーとして出版前の原稿を読ませて頂いている。だから「著者からの回し者とかではござ
音階の数学｜じーくどらむす
私の大好きな数学者の名言で、「音楽は感性の数学であり、数学は理性の音楽である」という言葉があります。 数を原理とするピタゴラス教団がピタゴラス音律を作り出し、そこから純正律という整数比率によるハーモニーを重視した音律が作られたことからも、音楽と数学の関係性は深いと言えるでしょう。 しかし、 実際に数学を多少わかって、音楽を多少嗜んでいる方であれば、音楽で使われる様々な単位への違和感を感じたことがあるのではないでしょうか。 とにかく既存の音楽理論や音楽文化が、「12音種」「7幹音」「5線譜」「1から数える」すべてが噛み合っていない感じがすごい。この噛み合ってない上で究極の覚えゲーを重ねがけして理論作り上げてんのヤバい。 — じーくどらむす/岩本翔 (@geekdrums) July 12, 2020 音楽を取り巻く数への違和感まずこの「12音階」（ド～シまで、＃、♭も含めた1オクターブ以内の
『代数的整数論』目次
『代數的整數論』高木 貞治 著の現代仮名遣い版高木貞治さんの『代數的整數論』初版を現代語訳しました。 高木さんの出版された書籍は2010年末に著作権が消失しているため、現代語訳は法律的に問題ないと考えています。 著作権について、ブログ：高木貞治プロジェクトを顧みる。 二（三）次利用について、現代語訳の権利について。 推奨環境：PC。（スマホ：Chrome、Firefox。） JavaScript有効。 現在も岩波書店から第2版が出版されています。 底本：『代数的整数論』高(たか)木(ぎ)貞(てい)治(じ)著、岩波書店、1959年刊 $\blacktriangleright$ 評判 代数的整数論 概説および類体論序 前編 概説 第一章 代数的整数 $1.1$ 代数的な数 $1.2$ 有限代数体 $1.3$ 代数的整数 $1.4$ 整除 $1.5$ 単数 第二章 代数体の整数 イデアル $2
三角関数は何に使えるのか 〜 サイン・コサイン・タンジェントの活躍 〜 - Qiita
「他にこんなのがある」というのがあったら是非いっぱい教えてください！ 歴史的に最も古くからある用途は「測量」でしょう。三角関数誕生のキッカケはまさに測量の必要性にありました。比較的日常生活でも見る機会がありそうな用途でしょうか。 ログハウス ケーキカット 震災時の家の傾き推定 現代では「波」としての用途が多いでしょうか。Twitter での様々な人のコメントを見ていても、 おっぱい関数 jpeg 画像 音声処理 といった具合に、波に関する話がかなり多いイメージです。これらの三角関数の使われ方を特集してみます。様々な分野に共通する三角関数の使い方のエッセンスを抽出したつもりですが、これでもかなり分量が多くなりました。摘み食いするような感覚で読んでいただけたら幸いです。 2. 三角関数の 3 つの顔 最初に三角関数には大きく 3 つの定義があったことを振り返っておきます。以下の記事にとてもよく
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて) - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me お盆に数日の休みがあったので，Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた．Wittgenstein の著作を読んでいると，彼が理論を継承し，また批判する対象となった Gottlob Frege や Bertrand Russell の思想にも同時に触れることになる． 『論考』の命題 3.3 以下に，Russell のパラドクスに対する解決策を提示し，Russell の主張を反駁する場面が見られるが，この記事ではむしろ，Russell 自身の回答である階型理論 (theory of types) による解決策に目を向けたい．我々が普段プログラムを記述する際に触れる型の概念が如何にして生まれ，発展してきたのかを見ていくこととしよ
大学の数学/物理を無料で学べるおすすめサイト・サービス6選 - プロクラシスト
高校生のほけきよ少年にとって、得られる大学以上の物理や数学の情報はwebサイトだけでした。 物理や数学の専門書って高いんですよね。あと、大きな本屋じゃないと取り扱っていない。 今ではamazonでいろいろな書籍が手に入るようになりましたが、高いしどんな内容がかかれているかは分からないので、買うのもためらわれます。 そこで今日は 好奇心溢れる高校生 お金はない、単位が危ない、やる気に溢れた大学生 社会人になってから物理や数学を趣味で始めたい人 たちのために、無料で大学以上の内容を学べるサイト/サービスを紹介します！ 1. 物理のかぎしっぽ 2. EMANの物理学 3. MITの物理学講義(Youtube) 4. 現代数学観光ツアー 物理のための解析学探訪 5. 数学：物理を学び楽しむために 6. 高校数学の美しい物語 まとめ ※ここでいう数学は「物理学のための数学」の範疇を超えません。 1.
stackless scala with free monad
例val Zero = BigInt(0) val One = BigInt(1) lazy val factorial: BigInt => BigInt = { case Zero | One => One case n => n * factorial(n - 1) } scala> factorial(10000) java.lang.StackOverflowError at scala.math.BigInt$.maxCached(BigInt.scala:22) at scala.math.BigInt$.apply(BigInt.scala:39) at scala.math.BigInt$.int2bigInt(BigInt.scala:102) at $anonfun$factorial$1.apply(<console>:17) at $anonfun$factori
誰もがどこかでつまずいた→小学校の算数から大学数学まで126の難所を16種類に分類した
数学嫌いはどこから生まれてくるのか？ よく聞かれる「役に立たないから」なる理由は、実のところ良くて後付け悪くて言い訳であって、その実態は、算数や数学につまずいて分からなくなった人たちが、イソップ寓話のキツネよろしく「あのブドウ（数学）は酸っぱい（役に立たない）」と言い広めているのである。 ならば撃つべきは〈算数・数学のつまずき〉である。 以下に示すのは、小学校の算数から大学基礎レベルの数学まで、「つまずいて分からなくなる」箇所を集めて１６のカテゴリーに分類したものである。 一度もつまずかず専門レベルまで一気に駆け上がることのできた一握りの天才を除けば、数学が得意な人も不得意な人もみなどこかでつまずいたであろう、さまざまな算数・数学の難所が挙げられている。 この分類が示そうとしていることのひとつは、同じ〈根っこ〉をもったつまずきが、小・中・高・大の各レベルで繰り返し出現することである。 たと
数学の歴史２万年＋αを２５０のマイルストーンでまとめてみた
数学の営みは、我々が想像する以上に古く長い。 先史時代の遺物にも、計数の概念や天体観測に基づいた測時法があったことを示すものが発見される。 今回は、可能な限り（というかやり過ぎなくらいに）遡り、専門研究から数学遊戯、ポピュラー文化まで渉猟し、数学の歴史を画するマイルストーン（画期的出来事）を見つけ出そうとするクリフォード・ピックオーバーのThe Math Bookが取り上げる項目を手掛かりに、人類（すらも踏み越えているのだが）の営む数学の歴史を振り返ってみる。 c. 150 Million B.C. 経路積分する蟻 Ant Odometer サハラサバクアリCataglyphis fortisは、経路積分によって巣からの位置を把握する。回り道をしながら食べ物に辿り着いても最短距離で巣へ戻る。風のために砂丘の高さが変わっても、登りのために増えた分を差し引いて、巣までの水平距離を間違うことがな
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
