某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
同世代の子供と比較して、突出した知性や精神性を兼ね備えた子供は「ギフテッド」と呼ばれることが多い。いわば“才能がある”ということで、これまでアメリカでは「ギフテッド」であることを祝福し、伸ばそうとする傾向が強かった。 しかし、カリフォルニア州では学校教育の「数学」を巡って、この「ギフテッド」という概念をなくそうとする動きが起こっている。 これまでの同州のシステムでは、数学の成績の良い生徒は「特別コース」に配置され、高校では微積分などの高度な数学の授業を受けてきた。 一方、米紙「ニューヨーク・タイムズ」によれば、中学までに「特別コース」に入れなかった生徒は、高校生になっても特別コースに入れず、微積分を学ばずに卒業することが多いという。 実際、微積分は難関校の入試で必須であることが少なくないと同紙は書く。つまり、微積分を理解しているか否かで、多かれ少なかれふるいに掛けられてしまう現実がある。
※本記事はアフィリエイトプログラムによる収益を得ています セガが6月15日、社内勉強会用の資料をSEGA TECH BLOGで公開しました。ゲームの開発に必要な知識ということなのですが、内容は大学初年度レベルのガチ数学、そしてその内容は150ページ以上! よ、読んでも全然分からん……! う、うわぁぁぁ(画像はセガ公式Twitterから) この資料は、セガで2020年に有志で行われていた数学の勉強会で使用されていたもの。内容としては、高校数学を超駆け足で復習し、大学初年度で学ぶ線形代数の基礎の学び直しと応用としての3次元回転の表現の基礎の理解を主目的としています。 勉強会のゴールは、「クォータニオン」(日本語では「四元数」)を数学的に理解すること。クォータニオンは、ゲームではキャラや背景などを3次元回転させるときに応用されるものだそうです。 150ページ以上に及ぶ資料は全ページ公開されている
1983年徳島県生まれ。大阪在住。散歩が趣味の組込エンジニア。エアコンの配管や室外機のある風景など、普段着の街を見るのが好き。日常的すぎて誰も気にしないようなモノに気付いていきたい。(動画インタビュー) 前の記事:タイムズパーキングの看板、でっぱってるか? でっぱってないか? > 個人サイト NEKOPLA Tumblr 逆ポーランド記法とは 世の中には、大きく分けて2種類の電卓がある。ほとんどの人が使っている普通の電卓(「中置記法の電卓」という)と、入力方法の異なる「逆ポーランド記法の電卓」だ。 これが逆ポーランド電卓(HP-16C)。どこにも“=”キーがなく、反面デカデカと“ENTER”キーがあるのが特徴 電卓の紹介をする前に、まずは「逆ポーランド記法」ってなんだ? という点について説明する必要がある。めんどうだけど、少しお付き合い下さい。 言語にはいろんな語順がある。日本語だと「主語
円周率は2020年時点で小数点以下50兆桁まで計算されるほど途方もない桁数を持つ数です。一般的には「3」や「3.14」のような数で計算が行われますが、桁が切り捨てられるほど結果の正確さは損なわれてしまうもの。正確さが必要そうな宇宙開発の現場では「円周率を何桁まで使っているのか?」という質問に対して、アメリカ航空宇宙局(NASA)が実際に使用している値とその理由について回答しています。 How Many Decimals of Pi Do We Really Need? - Edu News | NASA/JPL Edu https://www.jpl.nasa.gov/edu/news/2016/3/16/how-many-decimals-of-pi-do-we-really-need/ 「NASAのジェット推進研究所(JPL)は円周率を計算に使うとき、『3.14』を使用していますか?
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授(51)の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読(論文の内容チェック)に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」(1995年解決)や「ポアンカレ予想」(2006年解決)の証明などと並ぶ快挙となる。【阿部周一、松本光樹】 望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー(IUT)理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み(宇宙)を複数考えるという構想は
ある日、テレビ局からメールが届いた。内容は要約すると以下の通りだ。 "数学検定1級に9歳で合格した安藤匠吾くんに取材をしているのだが、どうやって勉強したのかと聞くと、あなたのYouTubeチャンネルを愛用しているらしい。番組内でYouTubeの授業動画を使用させて頂けないか" え・・・、 ほんとに・・・?数検1級といえば、その試験範囲に大学数学(微分積分・線形代数・確率統計など)を含む、合格率が10%を切ることもある難関試験である。 それを小学4年生の子供が・・・?冷静なフリをして返信を済ませ、そっと喜びを噛み締めた。自分のYouTubeチャンネル(予備校のノリで学ぶ「大学の数学・物理」:通称『ヨビノリ』)は主に大学レベルの数学や物理を扱うチャンネルであり、メインのターゲットはもちろん理系大学生である。 しかし、開設当初から「学校の勉強に満足ができない子に進んだ教材として利用してほしい」と
2019年6月に以下の記事が投稿されました。 ループ、再帰、gotoを使わずに1から100までを印字するC++プログラムは書けますか?に対するIchi Kanayaさんの回答 - Quora 英語版の記事「How to print 1 to 100 in C++ without a loop, goto or recursion - Quora」から興味深い回答を抜き出して、それにランク付けをしながら和訳してくださっている記事です。 初級や中級は「まぁあるよね(C++知らないけれど……)」という感じですが、 上級とされた「マイクロソフト社のデータサイエンティスト Conner Davis 氏」の回答が面白かった ので、ご紹介を兼ねてその発想の源泉を推測してみることにしました。 以下に Conner Davis 氏の回答の和訳を引用します。 マイクロソフト社のデータサイエンティスト Conn
先日、飲んでたときに「 9 」という数字が面白いというになったのですが、「 数字が合わないときに『 9 』で割ったりするよね。 」と言ったら誰もやってなかったのでその話をします。たぶん、会計に携わってる人なら知ってる人も多いはず。 例えば、経理の仕事をしてたりすると、仕訳を全部入力したのに帳簿の残高と実際の預金残高が合わないということがあると思います。会計の仕事をしていない人でも、家計簿ソフトを使ってて、レシートを全部入力したのに現金の残高が合わないなんていうことがあるんじゃないでしょうか。そんなときは闇雲に間違いを探しはじめないで、とりあえず差額を「 2 」か「 9 」で割ってみるといいかもしれません。割り切れると↓こんな可能性が考えられます。 「 2 」で割り切れる → ±を逆に入力してる可能性がある「 9 」で割り切れる → 桁間違い or 数字の一部を逆に入力してる可能性がある
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く