MarriageTheoremのこと

_ MathSciNetの共著者距離を調べるツールは登録なしで使えることに気が付いたので、色々な人との共著者距離を調べているのだけど、今のところ８が最長（パスが無い場合を除く）で、中々二桁の相手が見つからない。

_ CSS2012参加用のメモ（10/30更新）

プログラムはここ

初日：1C1-1→1D1-3、1C2-1→1D2-2→1C2-4（移動大変そう…）

二日目：2D1全部、2C2全部、2C3全部、2C4全部

最終日：どうしようかなー

_ プレプリント確認状況：arXiv:math 4月3日分まで、IACR ePrint 2012/531まで

_ 気になった論文：Game arguments in computability theory and algorithmic information theory (Andrej Muchnik, Alexander Shen, Mikhail Vyugin, arXiv:1204.0198)

We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional complexity and total conditional complexity, Epstein--Levin theorem and some (yet unpublished) result of Muchnik and Vyugin