いわゆるCAPCHAは、読み上げソフトウェアを使って読んでくださっている視力障害者の方を排除することになるのがいやなので、なぞなぞ認証に切り替えました。

いつのまにか、私のエルデシュ数が4に減っていました。

日本語で三方四面体と呼ばれる立体の英語名は、表記が三通りにゆれているみたい。V.Bulatov's Polyhedra Collection は triakistetrahedron、a ride through the polyhedra world は triakis-tetrahedron （一覧より）、MathWorld は triakis tetrahedron。…

脈絡のわからない方は、id:MarriageTheorem:20090204:1233682830 のコメント欄をごらんください。帰納的関数 (共立講座 現代の数学)作者: 広瀬健出版社/メーカー: 共立出版発売日: 1989/01メディア: 単行本 クリック: 2回この商品を含むブログ (1件) を見る …

背景は id:MarriageTheorem:20090204:1233682830 を参照ください。元記事にある通り、入力をそのまま出力するアルゴリズムの計算量は、計算モデルに依存します。Turing機械で考えるとしても、入力テープと出力テープが別ならば、入力サイズに対して時間計算…

「オーラの泉」のスポンサーを淡々と記録してきましたが、もう、やめます。疲れました。

論文にAMSのMathematics Subject Classification (MSC)を付記することが求められることが時々ありますが、いつも困っています。そのものずばり、computable analysis の項目がないからです。 03D45Theory of numerations, effectively presented structures …

あけましておめでとうございます。