某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
旧限界数学ゼミガール
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
Wordleの最善手をめぐる巷説と、真の答え - セミになっちゃた
最近、twitterで🟩🟩🟨⬜⬜みたいな謎の色付き正方形がいっぱいシェアされてくるようになりました。 Wordle 218 3/6 ⬜⬜⬜⬜⬜ 🟩⬜🟨⬜🟨 🟩🟩🟩🟩🟩— 氷点下カチコチかもリバー (@xcloche) 2022年1月22日 これは「Wordle」というパズルゲームで、５文字の単語を入力して得られた手がかりから、正解の５文字の単語を当てるゲーム（その文字が正解に含まれていて位置もあっていたら🟩、含まれているが位置はあっていないときは🟨でヒントが出る*1）です。 www.powerlanguage.co.uk Wordle、おもしろいですよね。 aseruneko.github.io 日本語版も有志によって作られたようです。 この記事では、インターネット上で囁かれているさまざまなWordleの戦略を概観・レビューした後、情報量を用いたもっとも効率的な単
マスターデーモンがついに解けました - 流れる空の中で数学を。
Amazon.co.jp: Yoshiki Ueoka:作品一覧、著者略歴 整数論の絶版本・品切れ本をコチラから購入できます！ 追記(2018/07/25):計算ミスがあり、証明も冗長だったので、少し修正しました。 マスターデーモン マスターデーモンとは、1990年IMO中国大会の第3問で出題された次の問題である。 「2以上の自然数で ……(1) が整数となるものを全て求めよ。」 この問題、かなり前に挑戦したが、解けなくてしばらく放置していた。 sky-time-math.hatenablog.jp ひさびさに問題を見てみるとなんだか解ける感触がしたので、やってみたらついに解けました。そこで、今回は自分がたどり着いた解法を記事にまとめておきます。フェルマーの小定理と合同式さえしっていれば、普通の高校生でも理解できるように書いたつもりです。最近暑くて頭の回転が鈍っているので、うっかりどこかを
差分検出アルゴリズム三種盛り - Object.create(null)
こんばんは. 気がつけばもうずいぶんと涼しくなってきました. 勢い余って凍ってしまったりせぬよう, くれぐれも普段の言動にはお気をつけください. はじめに さて, 我々人類にはどうしても二つの文字列 (あるいは行ごとに区切られたテキスト) 間の差分を求めなければいけない瞬間が発生します. 先人たちはそういった時のために diff のようなツールを開発し, それを利用することで文明はめざましい発展を遂げてきました. しかしながら, 使用するアルゴリズムを比較検討したい場合, 「差分」の定義を変えるなどして既存のアルゴリズムに変更を加えたい場合, diff のない異世界に飛ばされて自分で実装しなければいけない時などにおいては, 差分検出アルゴリズムについての理解が必要不可欠です. というわけで, この記事では文字列間の差分検出とは何かということと, 差分を求める三種類のアルゴリズムの紹介・解説
クォータニオンとは何ぞや？：基礎線形代数講座 - SEGA TECH Blog
---【追記：2022-04-01】--- 「基礎線形代数講座」のPDFファイルをこの記事から直接閲覧、ダウンロードできるようにしました。記事内後半の「公開先」に追記してあります。 --- 【追記ここまで】--- みなさん、はじめまして。技術本部 開発技術部のYです。 ひさびさの技術ブログ記事ですが、タイトルからお察しの通り、今回は数学のお話です。 ＃数学かよ って思った方、ごめんなさい（苦笑） 数学の勉強会 弊社では昨年、有志による隔週での数学の勉強会を行いました。ご多分に漏れず、コロナ禍の影響で会議室に集合しての勉強会は中断、再開の目処も立たず諸々の事情により残念ながら中止となり、用意した資料の配布および各自の自学ということになりました。 勉強会の内容は、高校数学の超駆け足での復習から始めて、主に大学初年度で学ぶ線形代数の基礎の学び直し 、および応用としての３次元回転の表現の基礎の理解
グラフ理論入門 | DevelopersIO
こんにちは、ドイツのモナでございます〜 いろんなサイエンスにおいてグラフ理論がとても重要な用具となっていますが、グラフ理論ってそもそも何なのかご存知ない方も少なくもないですね。 ということで、今日は簡単にグラフ理論の基本や用語など紹介したいと思います！なお、入門のため誰にでも分かるように数学的な定義は避けるようにします。 また、グラフ理論の応用は別の話ですので今回は応用の話しません〜 なぜグラフが面白いのか 具体的な応用の話はしませんが、たくさんの分野においてグラフ理論が重要となっています。 ネットワーク（例：トポロジー、ルーティングアルゴリズム） AI（例：ニューラルネットワーク） コンピューターサイエンス（例：ファイルシステム） 社会科学（例：ソーシャルネットワーク分析） 皆さんの生活の中（例：カーナビの最短ルートの計算） グラフ理論とは？ ここで議論するグラフというのは、よく思い浮か
大学数学のロードマップ ～ 分野一覧と学ぶ順序 | 趣味の大学数学
どうも、木村（@kimu3_slime）です。 大学数学の各分野、一般的なロードマップを紹介したいと思います。 東京大学数学科のカリキュラムを参考に、自分なりに図を作りました。 このマップに合わせて入門書を紹介しています：「趣味の大学数学」おすすめ入門書籍・教科書・参考文献 この画像の分野名をクリックすれば、その分野のまとめ記事へ飛びます（一部分のみ対応）。 教養数学微積分学、線形代数学は、大学で数学をする人はもちろん、自然科学や工学、社会科学や人文科学を学ぶすべての人が身につけて損はない数学です。高校数学から大学数学への接続をするきっかけとなります。 統計学は、特に数学以外への応用に役立つ分野です。ただし、数学の（諸分野の）基礎としての役割は、微積分や線形代数に比べると小さいでしょう。 数学基礎論理学は、通常数学科のカリキュラムに明示されていませんが、集合論や教養数学で教えられるので明示
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
C++SIMPLE例題集V26
趣味の大学数学