(以前疑問に思ったところで再び同じ疑問を感じて解決していないので記録しておく) 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/ から。