田崎晴明『熱力学』での温度の扱い方と説明は、一見した判りやすさに反して、実際には微妙に判りにくいように思う。
エルブランというと、述語論理に出てくる「エルブランの定理」や「エルブラン領域」などがまず思い浮かぶけれど、整数論についての貢献もある。 逆にエルブランを整数論の人と認識していて、論理学の業績があることを知らないという人もいるみたいだけど。
ニュートン法との類似 完備化とp進数体 因数分解形のヘンゼルの補題
「メモ:群のコホモロジー」の5-2.単体的複体のコホモロジーに これを 「内部に穴のない2次元領域(=単連結領域)の境界となる閉曲線に対してはとなる」 と言い換えると、コーシーの積分定理との類似や積分(微分形式)との関連が見え、それを追求していくとド・…
メモ: ヒルベルトの定理90の続き 数式の一部が表示されないときがある?ので分割した
クンマー拡大 ヒルベルトの定理90 群のコホモロジーの一歩手前 群のコホモロジー その1
圏論への入門の仕方 ホモロジー コホモロジー 関数のつながりにくさと(コ)ホモロジー 完全系列と圏論的視点
ドラクエ世界の形 パラレルワールドと被覆 被覆変換と被覆空間の住人たち 被覆のガロア対応 体のガロア理論 普遍被覆と基本群 文献 ヒルベルトの類体論
代数的整数論ノート 素因数分解の一意性の喪失と回復 補足1: イデアルの導入 補足2: 素イデアル分解の一意性の証明
主要な素因数分解アルゴリズム SQUFOFについて
http://blog.practical-scheme.net/shiro/20130216a-factorizeを読んで疑問に思ったので調べた。
最初に書こうと思ったのはファイルの依存関係とタイムスタンプから実行の必要なテストを見つけるプログラムで、makefile風に書くと
(以前疑問に思ったところで再び同じ疑問を感じて解決していないので記録しておく) RFC 2388はmultipart/form-data形式を定義している。 フォームを使うとき特に指定をしないと、multipart/form-data形式ではなくapplication/x-www-form-urlencoded形式によっ…
ウィンドウについての主な操作のまとめ (「VimでのSchemeプログラミング」に追記したもの)
ここでの議論の流れは歴史的な経緯や実際に登場した順番とは全く関係ない。 ダーモン・グランヴィルの定理を前振りにしたABC予想の説明。
書きかけだった数学やLisp・Schemeの文章、プログラムをあらかた破棄した。他は未定。
反復的集合観とZFCについて
方程式の解法の話からガロア理論にたどり着くまでの要点のようなもの。
方程式の解の公式の話とガロア理論の話はもちろん深い関係があるけど、にもかかわらず意外と相性は悪い。
LispやSchemeがとっつきにくく感じられる理由の一つに、プログラミング支援機能がまったくない状態だとすごくプログラムが書きにくいことがあるんじゃないかと思う。インタプリタを立ち上げてみてもカッコの対応表示機能がないとちょっとした式の入力も苦労…
LispやSchemeを使う理由としてマクロの強力さや動的な性質といった側面が挙がるけれど、そういう例を出せば出すほどLispやSchemeは小難しくてとっつきにくいというイメージ(しかもその割には期待して使ってみても見返りが得られない)を広げている気がする。…
すでにいろいろ記憶が曖昧になってきているのでメモしておく。
序には 予備知識としては、基本的に高校数学で学ぶもので足りるとして、[…] と書かれているけど、色々な概念や定理がすごくあっさり説明されてあちこち話が進んでいくので、高校レベルの数学知識で読み進められそうな感じがまったくしない。それどころか大学…
Tutorial DやLINQがあるから「出てこない」というのは本当は正しくないけど、プログラミング言語については野心的なものから冗談みたいなものまで色々な言語が日々作られているのと比較すると、関係データベース向けの言語は全然出てこないという印象がある…
オイラーについて教えてくれ http://science6.2ch.net/test/read.cgi/math/1134551417/ から。
ネイピアや小数の話からの派生で、p進展開についてのメモ。
よく判らないものがさも当たり前のもののように導入され。
タイトルだけみるとかなりレベルの高い専門書という印象を受けるのだけど、実際には前書きに 予備知識をあまり必要としないで理論の全体像を理解していただけるものにすること。[...]証明を書く代わりに、実例を多く提示することで説明をおこなった。 とある…
ここ半月ぐらいに書いた方程式やガロア理論についての文章のリスト