同名異人

同名異人、つまり、同姓同名を共有する異なる個人というのは、それほど珍しくもないけど、そういう人達が本を書いていたりすると紛らわしい。愛用するところのamazon.co.jpは、同姓同名の人間を同一視するようだ。本のお勧めのメールを見て、目が点になることがある：



↑は有名な作家とは別人。↓も、同名異人（と思う）。

有限アーベル群の自己同型群

そんなことも知らなかったのか，との誹りをおそれずエントリ：

有限アーベル群の自己同型群の位数を明示的に書くことが出来る．wikipediaに載っていた．

論文は，Hillar and Rhea, Automorphism of finite Abelian groups, 

arXiv:math/0605185v1 [math.GR]

木曜日はセミナ：形式群

定例の隣町セミナ。今回はある種の楕円曲線に付随する二つの形式群の同型に関する講演。登場する対象が具体的で（形式的冪級数）、聞くたびに巧妙な構成に感銘を受ける。不思議なものである。

Buhler, Pomerance, Robertsonの論文（11/16のエントリで触れている）については、知っている人は知っているという事らしかった。実は、その後の調査で、私用の論文コピー整理箱からもコピーを一部発見した。ありがちな話ではありますが。

帰りの高速バスを待つ数分のうちに、書店で、バッキンガム、クリフトン共著「さあ、才能(じぶん)に目覚めよう―あなたの5つの強みを見出し、活かす」を購入。車中でざっと目を通す。個々人の特性を、34の「強み」（例えば、「アレンジ」、「運命思考」、「回復志向」、「学習欲」等）で代表させ、それを伸ばしていこう、という主張。表紙の裏面に、「強み」を発見するためのwebソフトのIDが掲載されている。

それなりに面白いのだが、もう少し簡潔にも出来そうな本である。

円分体の最大実部分体の類数

導手がlのm乗である円分体の最大実部分体の類数をh^+(m)と書くことにすると，ほとんどすべてのl, mについて，h^+(m+1)/h^+(m)=1ではないかという予想（希望？）がある．

これについて，heuristicな議論をしている論文，J.Buhler, C. Pomerance, L. Robertson, heuristics for class numbers of prime-power real cyclotomic fields, Fields Inst. Commun., 41 (2004), 149--157を仙台滞在中に教わったので，メモ．リンクはGoogle booksで，先ほど試したら全文が見られた．ダウンロードできるわけでは勿論ないが……．

(11/20追記：C. Pomeranceのweb pageからダウンロードできる．）

仙台滞在中は，Google booksやオンラインジャーナル，著者らが公開しているプレプリントなどで，大分文献が参照できた．インターネットのありがたさである．

Amazon.co.jpでは書影が違っているので，指摘した．

パケット定額制廃止・EMobile導入

ここ数ヶ月、意図して携帯電話のパケット通信の使用（携帯電話でのウェブ閲覧）を控えてみて、実際にそれが可能であることを確認した。つまり、用もないのにGmailを確認したり、wikipediaのエントリを梯子したりというのを止めてみた。それで何の不都合もなく、月々のパケット通信料は100円を超えない。メールのやり取りも、もともと殆どしない（私にもっとも頻繁に送られてくるメールは、Google Calendarからのリマインダだが多くて日に数通、家人とはCメールのやり取り）。10月中旬にパケット定額制の廃止手続きをし、11月から適用になった。

auのダブル定額ライトは、月額1,000円を支払うことで、パケット代の上限を4,200円に抑えられるというものである。（ちなみに1パケットというのは128byte）。携帯電話会社からみると、データ通信でのAPRUの最低額を保障できる有難い制度であり、携帯電話のヘビーユーザから見れば、最大課金が定まっている安心できる制度だが、自分には関係ない。

その分で、EMobileのデータ通信専用端末D02HW（のアウトレット品）と、プリペイド型のサービスEMチャージを導入した。アウトレットの端末と1万円の事前チャージ込みで、17,800円。事務手数料無料のキャンペーン中。

EMチャージは、月々の基本使用料はなしで、1MBごとの従量制もしくは、1時間、1日、7日、1月の期限毎の定額制を、通信の際に選択するというプラン。手続きをしたのは11/1, 実際に端末が代引きで届いたのが、11/7であった。

端末が届いた後、オンラインでユーザ名などを設定するのだが、Firefoxを使っていたせいか、エラー処理でタイムアウトがおきたりした。IEで再度同じ事をして今度は無事終了。通信が出来ることを確認した。

冬に向けて、通勤で車中の時間も増えるし、出張も何件か予定していることから、通信手段の多様性を確保した。