Download Coq(英語) ダウンロードしなければ何も始まらない。 Download | The Coq Proof Assistant ちなみにLinuxディストリならcoqideパッケージをインストールするのが吉 Coqの入門記事を書く会 そこそこ体系的な入門サイト 2010-09-02 - ひとり勉強会 201…

↓今読みなおすと頭抱えたくなるような記事なんですが残しておきます基本的なことは 黄金原本更新, 【もはや最短理解でもなんでもない】なぜ5×3ではなく3×5なのか - 跡地, たくさんの反響ありがとうございます - ワタタツの日記!(2010-11-13)に譲るとして。あ…

JMO夏季セミナー JMO夏季セミナー公式ページ 数学オリンピック財団が主催するセミナー。 数学関係の本がいくつかあり、好きな本を選ぶ。その本を選んだ人と担当のチューターでゼミを行い、最後に発表する。自由時間は遊ぶ。期間:8/22〜28 山梨の清里に篭る。…

第５１回国際数学オリンピック（カザフスタン大会）日本代表選手K茶いけなかったのが残念でしかたない。というか筑駒から代表だせなくてごめんね。来年は本気出しますよ。ぶっちゃけ僕は今までちゃんと勉強してこなかった。だから逆に言うと、まだ伸びしろは…

1 3/25〜3/31にわたって合宿が行われました。(ちなみに25日は情報オリンピックの合宿が終了したあとに秋葉原に寄ってアニメイトに入り目の保養をしたがもはやアキバ観光する体力がなかったので昼飯を食べたあとすぐ数学オリンピックの集合場所に行きました。…

3/19〜3/25まで情報オリンピック合宿、3/25〜3/31まで数学オリンピック合宿に行ってまいります。情報オリンピックはカナダ大会代表4名、数学オリンピックはカザフスタン大会6名の選抜なのです。情報オリンピックも数学オリンピックも枠が実質増加しているの…

まさか取れるとは思ってもみなかった。順位がいろいろびっくりすぎる。それと@semiexpがヤバい。素でhosの後を追っている。恐ろしい子…まあとにかく、今年も12泊がんばります。カナダ行きますんでよろしくお願いします。カザフは、行けたらいいなー程度で。

FEは出なかった。 1.Elementary Geometry 錯角と内接四角形の内角と外角と接弦定理。 または鏡像反転と垂線でも解けるらしい。 2.Number Theory オイラー。 3.Graph 帰納法とか。 4.Inequation 自分は捨てたのでわからない。 5.Combination 普通の組合せ。答…

正確には、RiemannZetaをDirichletのL関数に置きかえた「拡張リーマン予想」(一般化されたリーマン予想、GRH)が証明されると、暗号解読の鍵となる、とかそんなのらしい。例えば、拡張リーマン予想が証明されると、Miller-Rabin素数判定法による決定的な素数…

そういえばアレ流し読んだ。「有限の公理で無限に関する性質を網羅するのは無理」という解釈に行きついたんだけどどれぐらい近いだろうか。たぶん不完全性定理で使われるペアノの公理は、無限を扱う公理系の代表例としての役割をもったと言えるんじゃないか…

[結] 2009年5月 - 結城浩の日記やばい、ゲーデルだ。。。ゲーデルエッシャーバッハ読み直すか…

15パズルの状態は2つの集合にわけられ、片方からもう片方の状態に遷移することはない。どちらの集合に所属しているかを、ある値で表現してみる。 並びのパリティー 15パズルの各部品に0から15の番号をつける。今回は、板は番号そのまま、穴は0とした。また、…

遅れましたが、おととい3/31まで、JMO春の強化合宿・代表選抜合宿にいってました。 結果 惨敗。 反省 独学いくない。 よって数Aとかから順番にがんばる。 それと、Portal • Art of Problem Solving 抱負 来年は覚悟するべき。

今日の僕の話。 登場人物 俺 中3。数研部員。 趣味は数学とプログラミング。 数学好きだけど、厳密な証明とかは好きではなく、数式をいじって遊ぶのは好き。 数学のカリキュラムに乗っ取った勉強はしていないので、抜け落ちてる定理は多い。 友1 友2 先輩1 W…

やったね! あなたは、2月11日に行われました第19回日本数学オリンピック本選において、別紙のように優秀な成績を修めました。おめでとうございます。この結果、あなたは第50回IMOドイツ大会日本代表選手候補として財団主催の「春の合宿」に参加し、代表選手…

JMO(日本数学オリンピック)本選にいってきました。JOIとおなじようにオリセンでやったらいいのに。 1 式が整数になるような自然数nの列挙。足したり引いたりして式を簡単にする。 2 総和が半分になる部分集合の存在を証明。隣接する値のペア(0で補完)すれば…