某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
旧限界数学ゼミガール
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ（議論が詰まった時のブロックバスター）というのはぼんやりながら固まってました（笑）
アルゴリズム・AtCoder のための数学【後編：数学的考察編】 - Qiita
0. はじめに こんにちは、大学 1 年生になったばかりの E869120 です。本記事は、 アルゴリズム・AtCoder のための数学【前編：数学的知識編①】 アルゴリズム・AtCoder のための数学【中編：数学的知識編②】 からの続きです！！！ ※前編・中編を読んでいなくても理解できる、独立したトピックになっているので、ご安心ください。 後編から読む方へ 21 世紀も中盤に入り、情報化社会が急激に進行していく中、プログラミング的思考やアルゴリズムの知識、そしてアルゴリズムを用いた問題解決力が日々重要になっています。 しかし、アルゴリズム構築能力・競プロの実力は、単純にプログラミングの知識を学ぶだけでは身につきません。近年、数学的なスキルが重要になりつつあります。実際、私はこれまでの経験で「数学の壁で躓いた競プロ参加者」をたくさん見てきました。そこで本記事では、 AtCoder のコン
「円周率＝４」を証明してみせましょう。“3.14…”を覆す新理論（？）に驚愕する声多数！ 理数系学生「反論思いつかなくて草」
円周率を100桁近く記憶している人にはガチ悲報。円周率（π：パイ）は4であることが証明されてしまいました。何かがおかしいことはわかるけど、どうおかしいのか明確な反論ができないヘリクツ証明にたくさんのコメントが集まっています。 半径が2で、中心角が直角の扇形を考えます。弧の長さは「2×（半径）×π（円周率）÷4」、半径は2なので、弧の長さはπ（円周率）になります。 次に扇形を囲む、辺の長さが2の正方形を考えます。弧の上に点を取り、正方形の辺から弧に向かい直角に降ろした線を考えます。線の総和は、正方形の2辺と同じなので4になります。 弧の上に取られる点を増やしていきます。 点の数をどれだけ増やしても、線分の長さは常に4になります。 では、点の数を無限大にします。そうすると、弧の長さと線分の長さは等しくなります。ゆえに円周率は4。 この詐欺のような証明にコメント欄は大紛糾。「一般的な極限と数学的
【暗記しない数学】図形で理解するシグマ公式
シグマ公式ってなんだ？ さて，まずシグマってなんだ？ってところからの方もいらっしゃるでしょう． 教科書をめくるとこんな公式が． ぱっと見難しそうですよね． と，高校生の時の僕も例外なくこんな感じでした． でも，実際のところシグマ公式って全然難しくありません． 実は，ただ足し算をするだけです． 例えば，「1+2+3+4+5を計算しろ」って言われたら小学生でも答えられます． それをシグマを使って書き表すと以下のようになります． そう，シグマ表記さえできれば，あとは公式に入れるだけで計算が可能になるというわけです． これだけだとありがたみがわからないと思います． 例えば，「1〜10000まで全部足して!!」と言われたら，普通に計算したらとてもめんどくさいですが，シグマ公式を使えば一瞬です． もちろん，電卓を使ってがんばって足し算で計算したものとシグマ公式を使って求めた答えは一致します． さて，問
数学を避けてきた社会人プログラマが機械学習の勉強を始める際の最短経路 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 巷ではDeep Learningとか急に盛り上がりだして、機械学習でもいっちょやってみるかー、と分厚くて黄色い表紙の本に手をだしたもののまったく手が出ず（数式で脳みそが詰む）、そうか僕には機械学習向いてなかったんだ、と白い目で空を見上げ始めたら、ちょっとこの記事を最後まで見るといいことが書いてあるかもしれません。 対象 勉強に時間が取れない社会人プログラマ そろそろ上司やらお客様から「機械学習使えばこんなの簡単なんちゃうん？」と言われそうな人 理系で数学はやってきたつもりだが、微分とか行列とか言われても困っちゃう人 この記事で行うこと
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
アルゴリズムの紹介
ここでは、プログラムなどでよく使用されるアルゴリズムについて紹介したいと思います。 元々は、自分の頭の中を整理することを目的にこのコーナーを開設してみたのですが、最近は継続させることを目的に新しいネタを探すようになってきました。まだまだ面白いテーマがいろいろと残っているので、気力の続く限りは更新していきたいと思います。 今までに紹介したテーマに関しても、新しい内容や変更したい箇所などがたくさんあるため、新規テーマと同時進行で修正作業も行なっています。 アルゴリズムのコーナーで紹介してきたサンプル・プログラムをいくつか公開しています。「ライン・ルーチン」「円弧描画」「ペイント・ルーチン」「グラフィック・パターンの処理」「多角形の塗りつぶし」を一つにまとめた GraphicLibrary と、「確率・統計」より「一般化線形モデル」までを一つにまとめた Statistics を現在は用意していま
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
