Iwao Kimura at Blogger

「理系のためのクラウド知的生産術」

2012-01-30T12:05:00.000+09:00

堀正岳さんの「理系のためのクラウド知的生産術 (ブルーバックス)」を読了．200頁ほどの新書．理系の研究者が，クラウド（特にこの本では，Googleの諸サービス，Dropbox, Evernoteの有名サービスの他，Remember the Milk, Skype, Mendeley, MindMeisterなど）を用いて，どのように仕事をするか，と言うことが紹介されている．

こういったクラウドサービスを使っていない，と言う人には，まず最初のとっかかりを得るという点で本書をお勧めする．一方，既にそういったサービスに眉毛まで浸って生きている，と言う人には，そうでない人にクラウドサービスを紹介するときに，どのようにどのくらいのことを説明すれば良いのか，と言う基準を得るために本書をおすすめする．

同書の書名から当然連想するのは，梅棹忠夫さんの「知的生産の技術 (岩波新書)」である．梅棹本の「はじめに」は今でも大変面白く，例えば

もっぱら研究の「やりかた」がまずいために，研究能力が低い段階にとどまったままでいる，ということがあるのではないだろうか．いわば，技術の不足にもとづく研究能力のひくさである．（5頁）

とか，

もっとも一般的な，研究者ならだれでも身につけていなければならないような，共通の基礎技術みたいなものについては，かえってだれも関心をはらわないのである．（6～7頁）

と言った指摘がある．

堀さんの本と，梅棹さんの本とで，扱っている事柄は実はそれほど変わらない．手帳，ノート，カード，スクラップ，ペンとタイプライタ，手紙，日記，原稿といったことで，それを野帳（フィールドノート）やB6カード（京大カード！）でやるか，クラウドでやるか，と言うことである．

私がこの手の技術書，最近の言い方ではライフハック関連の書籍を見るときに基準とする事が一つある．著者が何らかの内面的な困難に逢着し，それを解決する過程の一つとしてその技術に至ったのかどうか，である．堀さんの本では，「おわりに」に触れてあるように思う．

誕生日週間

2011-12-10T21:05:00.001+09:00

同じ週に子供の誕生日が２回あるので，毎年今頃はお誕生日週間である．子供らも家人も，いつもより浮ついている．
週末の今日、お望みの玩具を買ってもらい（サーティワンなんて滅多に行かないのに，どうしておもいついたのだろう），ケーキにもありついて嬉しそうだった．健やかに育ってくれて嬉しい．

暖かい文化の日・子供御輿・無線LAN

2011-11-03T18:54:00.000+09:00

文化の日は例年町内の子供御輿がある．毎年肌寒く，ことによると冷たい小雨に耐えながら，だったりするのだが，今年は汗ばむような気候だった．ここしばらく晴天が続いていて，北陸の晩秋がこんなに過ごしやすいことは珍しい．20人前後の子供たちが，青い法被をまとって町内を練り歩いた．

自宅に無線LANを導入．これまで有線でそれほど不便無く過ごしていたが，ちょっとした思いつきである．「BUFFALO おまかせ節電 11n/g/b対応無線LANルーター Air Station 単体 WHR-G301N」というもの．特に深く考えて選んだのではなく，殆ど値段で決めた．

設置作業も，添付の文書通りに繋いで，ディスクをパソコンに入れて，ぽちぽちとクリックしていくだけ．問題なく使えるようになった．何が起こっているのかぜんぜん分からないが，技術の進歩というのはそういうものなのだろうか．

添付文書を見ると，ゲーム機で使う場合，スマートフォンで使う場合，などの説明が先に来ていて，時代の流れを感じる．子供の雑誌「たのしい幼稚園 2011年 12月号 [雑誌]」の付録がそもそもスマートフォンカードケース，とかいうご時世である．

らじる★らじるでNHK-FMを聴く

2011-09-12T21:00:00.000+09:00

9月1日から，NHKラジオ放送のIPサイマルラジオ放送が始まった．「らじる★らじる」という．端的に言うと，NHKラジオのラジオ第一，第二，FM放送を，インターネット経由で，国内ならばどこに居住していても聴くことができる，というサービスである．

パソコンでhttp://www.nhk.or.jp/radiru/　にアクセスして，後は指示通りにすれば特に何の準備もいらない．音質はラジオ放送だと思えば十分である．私の自宅では，FMは綺麗に入ると思っていたが，らじる★らじるの方がより良い．ただ，例えばノートパソコンを使っているなら，内蔵のスピーカではなく外付けのものを使う方がよいと思う．私はUSB接続のDAC（ONKYO WAVIO USBデジタルオーディオプロセッサーブラック SE-U55SX2(B)をノートパソコンに接続し，光経由でミニコンポに接続している）．

パソコンで聴くのだから，録音するのも自在である．エアチェックという懐かしい単語を思い出す．Linux環境だと，rtmpdumpというソフトでファイルに書き出すことができ（Macの方は柏野さんのblog記事が参考になるだろう），cronを使えば定時に予約録音もできる．mp4aフォーマットの再生は，rhythmboxにしかるべきプラグインを導入して問題なくできた．

rtmpdumpは最新版をgit経由でもらってきて，自分でコンパイルする．私が使っているのはUbuntuなので，その前にlibsslを導入しておく必要があった．あとは make sys=posixで問題なし．起動する際の引数は検索して見つけて頂きたい :)

IPサイマルラジオ放送といえばradiko が先発だが，特定の地域に居住していないと聴けないようにしてあり，富山は未だに対象外である．

ここ数日，らじる★らじるを聴いていて，音源を購入する機会が増えた．音質は上述のように十分なのだが，十分満足のいくレベルではなく（ラジオなのだから当然だ），それなら，というので買ってしまうのである．

CDは，午前中に注文すれば翌日には届くし（amazon.co.jpのamazonプライムサービスを使っている．地方在住ならばメリットはあると思う），うまくすればダウンロード販売で手に入ることもあり（amazonのMP3ダウンロード，Apple iTunes, Universal Musicのダウンロードなどなど），そうすると聴いている最中に既に入手完了である．

このまま当然のサービスとして定着していってほしい．

PCAS'11

2011-09-02T06:57:00.000+09:00

研究集会「計算機代数システムの進展」に参加，講演もするために数日間博多に滞在（平成23年8月28日(日)～31日(水)）．その間，首相が替わったりしたようだが，ぜんぜんぴんときていない．多様なバックグラウンドを持った人たちが集まると言うことで，主に代数的整数論，計算機代数，暗号がキーワードという感じだった．大変刺激的な集まりだったと思う．特筆すべきなのは，この集会のオーガナイザーがD2の学生の方で，運営に当たられたスタッフの方々も込めて，院生が主体の催しだったと言うこと．非常に良くオーガナイズされており，舌を巻いた．もう一つは，非常にソーシャルな催しでも会った，事．雰囲気の一端を味わって頂くためには，以下に貼り付けたものを見て頂くと良いと思う：

なお私の講演の際のプレゼンはこちらに．

後記（2011/09/12）：参加者の一人 @t_teruya さんが，togetterにまとめてくださっています：PCAS 2011

海水浴

2011-08-07T23:19:00.003+09:00

子供にせがまれて海水浴へ．

あまり遠出もしたくないし，海岸まではそれほど離れてもいないので近所の海水浴場を探す．偶々前日に近くまで行っていた，射水市の海老江海浜公園の海水浴場へ．

駐車場は無料，シャワーも冷水ながら無料，手洗いもある．混んではいたが，芋を洗うような，と言うほどではない．子供たちを海水につからせて，自分もちょっと犬かきをしたりして遊ぶ．

木曜日はセミナ：Minimal Ramification Problem

2011-07-21T23:38:00.002+09:00

前期最後の北陸数論セミナ．今日はminimal ramification problemについて．
Kisilevsky and Sonnの次の論文を中心として，最近の進展（講演者のNさんのお仕事も含めて）の紹介だった：

On the minimal ramification problem for ℓ-groups

Hershy Kisilevsky and Jack Sonn (2010).

Compositio Mathematica,
Volume 146, Issue 03, May 2010 pp 599-606

http://journals.cambridge.org/abstract_S0010437X10004719

（arXivだと，http://arxiv.org/abs/0811.2978 と思われる）．

素数$l$に対して，$l$群$G$でランク（$G^{{ab}}:=G/[G, G]$について$G^{{ab}}/(G^{ab})^{l}$の$\mathbf{Z}/l\mathbf{Z}$上の次元，$\mathbf{Z}$は有理整数環）が$n>1$であるものを考える．最小分岐問題とは，$G$を，Galois拡大$K/\mathbf{Q}$ ($\mathbf{Q}$は有理数体）で，たかだか$n$個の素点が分岐するようなもののGalois群として実現できるか，と言う問題をいうらしい．

上の論文では，ある特別な$l$群のクラスに対して，そのクラスに属する$l$群については肯定的であることを示している．さらに進行中の様子については，上の著者らの共同研究者であるNeftinさんのプレゼンなどが参考になる．

プール・Under current

2011-07-18T22:51:00.004+09:00

子供にせがまれて，久々にプールで泳ぐ．泳ぐのではなく，子供がプールで水遊びをするのにつきあうのである．2人ともビート板を腹にあてがい，中腰になって水の中を歩き回ったり這い回ったりして大喜びだった．

試しに，水深1mほどのプールに移って，自分も泳いでみる．昔ちょっと凝ったことがあり，といっても自己流なので未だに平泳ぎ専門なのだが，水の中を滑空し，水を捕まえて引き寄せながら水面に乗り上げ，また水中に飛び込みつつ水を蹴り出す，と言う一連の動作を体がまだ覚えていた．

小一時間子供を遊ばせて撤収．

気怠い午後に，豊田徹也「アンダーカレントアフタヌーンKCDX」など，ごろごろしながら読む．連載されていた頃にも楽しく読んでいたのだが，単行本を買うのは今頃になってしまった．静謐な，僅かに調和しない響きが残るストーリーである．

水つながりなのは偶然．たぶん．

連休半ば，のとじま水族館

2011-05-12T22:07:00.000+09:00

連休半ばは，のとじま水族館へ日帰り．

道を調べてみると思ったほど遠くもなく，2時間少々である．氷見から中能登へ抜ける道は，山道でワインディングロード．水族館直前で30分近く渋滞していた．ドライバだけ車中へ残し，私と子供たちは10分ほど歩いて先に到着．11時前後．

園内に入るとすぐに，ジンベイザメの大きな模型があり，決まり事でもあるかのように皆写真を撮っている．ので郷に従う．家人とも合流．

最初の出し物は，いきなりジンベイザメの本物が泳ぐ大水槽．青い光の中を悠然と泳ぐ様を見て，手もなく感心していた．確かに大きいのである．

順路に沿ってみて回り，電気式カートに乗ったり（これならパパも運転できるぞ，と言ったら子供が不思議がっていた），ペンギンの行進をやり過ごしたり，昼食の時に味噌汁をこぼしたり（子供ではなく，私が），イルカショーを楽しんだりして，一日楽しく過ごした．

そういった家族が大勢ごった返す中にいると，ふと不思議の感にとらわれるのである．

連休前半

2011-05-12T21:57:00.000+09:00

連休前半は，実家から父母が来て，孫たちと交流するという催し．天気があまりよくなく，特段観光らしい観光にも出かけず，家の周囲で遊んでいた．

子供たちは，ショッピングモールでおもちゃを買ってもらったり，ゲームセンターで遊んだり（乗り物に乗るくらいだが），甘いものを食べさせてもらったりと，年相応に楽しんだようだった．

下の子などは，トーマスのプラレールだの，プラレールの立体交差用レールだのを買ってもらい，喜んでいたが，むしろ父親の差し金であることにいつ頃気がつくのだろうか．

日曜の朝に帰路につく祖父母の車を見送りながら，上の子供が，「じいちゃ～ん！」と号泣するのが哀れを誘った．

木曜日はセミナ：Cohen-Lenstra Heuristics

2011-04-29T01:22:00.010+09:00

恒例の，北陸数論セミナへ．今日は自分がしゃべる番で，H. CohenとH. W. Lenstraの，いわゆるCohen-Lenstra Heuristics（以下CLHと略）についての雑談をした．当該論文はこれ（PDF）．参加者は他に2人で，ひっそりと．

CLHが紹介されるときには，しばしば，奇素数$l$を固定して，判別式$D$を持つ虚2次体の類数（イデアル類群の位数）$h(D)$が$l$で割り切れないような$D$の密度の評価式として述べられるようだ：

この式がどうもうまく表示されない．念のため別の方法でも書いておく：

これはもちろん誤りではないが，CLHはより根本的な予想を述べたものである．つまり，虚2次体のイデアル類群の奇部分が，「ランダムに分布している」，という主張である．つまり，奇数位数の有限Abel群の同型類全体$\mathcal{A}_{o}$の上で定義されている関数$f$に対して，$M_{-}(f)$と$M_{0}(f)$をを次のように定義する:

こちらもうまく表示されないので，別の手段でも書いておこう：

\[
M_{0}(f):= \lim_{X\to\infty} \frac{\sum_{[G] \in\mathcal{A}_{o}(X)}
\frac{f([G])}{|\text{Aut}{([G])}|}}{\sum_{[G]\in\mathcal{A}_{o}(X)}
\frac{1}{|\text{Aut}{([G])}|}},
\]
ただし，正の実数 $X$ に対して$\mathcal{A}_{o}(X)$は奇数位数の有限Abel群で位数が$X$以下のものの同型類全体，$\text{Aut}(G)$は$G$の自己同型群，$|S|$は集合$S$の元の個数，である．

このとき，虚2次体のイデアル類群の奇部分のランダムな分布（Cohen-Lenstraの論文で，Fundamental Assumptionとされているもの）とは，次のように定式化される：
\[
M_{-}(f) = M_{0}(f).
\]
右辺が，純群論的な量であることに注意されたい．

$f$として，考えている群に対する色々な性質の特性関数をとり，右辺を計算することで，イデアル類群の奇部分が同じ性質を満たす虚2次体の「密度」が求まる，という仕組みである．例えば奇素数$l$を取り，$G$の位数が$l$で割り切れないとき$1$, そうでないとき$0$とすると，上に述べたような無限積が現れる．

Cohen-Lenstraの論文の大半が，このような計算をするための枠組みの解説に費やされている．しかも，有限Abel群ではなく，Dedekind整域$A$を固定して，有限$A$加群に対して定式化されている．実際に2次体の密度の話がされるのは，最後の節だけである．

また，2次体だけでなく，より高次の体の族を扱おうという試みも当初からなされているが，より一層speculativeになる．

セミナではまた，関数体の場合の話も少しだけ触れた．

MathJaxを使ってblog記事を書いてみたが，ちょっともどかしい．普段通りにエディタの上でTeXの文書を書き，それをblogの編集画面に貼り付けるのが一番簡単なようである．また，blog記事のpreview画面では，意図したようにTeXでレンダリングされないこともたまにある．難しいものである．補助的に，オンラインで使えるEquation Editorも使用した．

MathJaxを導入してみた

2011-04-13T06:16:00.000+09:00

blogに数式を表示する為に，MathJaxを導入してみた（つもり）．この投稿はMathJaxのテストなので，内容は特にないし，すぐに消すかもしれない．

MathJaxの導入のために参照したのは，黒木玄さんのこの頁．

まずRiemann zeta関数：$\zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s}$. 但し$\Re(s)>1$. ついで，ディスプレイ数式は，\[\zeta(s)=\prod_{p}\left(1-\frac{1}{p^s}\right)^{-1},\] 積はすべての素数$p$に渡り，$s$については先と同様に実部が$1$以上．

おおむねうまくいっているように見える．IE8を使うとレンダリングが非常に遅くなるらしいが，好んでIE8を使う人もいないだろうから，よいことにする．

人間の三つの弱点

2011-04-02T23:03:00.006+09:00

「滅多に更新されない」と揶揄されたりもするこのblogだが，年度も変わったことだし，などと理由を付けて閑文字を連ねる．しかし，引用である：

人類が，何であれ大きな事業に着すする機会に直面したときに，私たちの努力をはなはだしく妨げる人間の弱点がいつも三つある．第一に，私たちは共通の目標を設定して，合意に達することがなかなかできない．第二に，十分な資金を調達できない．第三に，惨憺たる失敗を恐れてしまう．（F. ダイソン，「叛逆としての科学―本を語り、文化を読む22章」第18章，p. 265）

未曾有の大災害から三週間が過ぎて，漸く，その先のことを考えなければならないと多くの人が思う一方で，その道のりの困難で遼遠なこともつくずく思われる．

……それに打ち勝つために科学技術の魔力を何も使わなかった．彼らが勝利を収めるのに必要とされたのは，ストレスにさらされた人間が発揮することのできる美徳のすべて，すなわち，強靱さ，勇気，無私の心，洞察力，常識，ユーモアのセンスだった．（同，p. 268）

平安が皆様の上にあるよう祈ります．

年末旅行・伊勢神宮参拝

2010-12-31T22:42:00.006+09:00

年の瀬，30日から一泊で，三重県伊勢市へ．

往路は北陸道から東海北陸道を経て，名神，東名阪，伊勢自動車道と走っていくナビにお任せコース．東海北陸道では，最高で標高1，000mを越える箇所もある．最近の高速道路のサービスエリアは，ショッピングモールのようでもあり，東名阪の御在所SAのフードコートなど，昼時には戦場であった．

その日は，まっすぐ伊勢神宮内宮に向かい，寒い中を参拝．初めて来たけど，確かに聖域という感じではあった．そして寒かった．

宿は，大石屋という旅館．大きくはないが，設備は新しいし，禁煙フロアがあるし，前室も入れれば3部屋ある部屋で夕食も食べられたし，その食事も十分美味しかったので，大変好印象だった．

伊勢志摩　二見浦　夫婦岩前　旅館　大石屋

翌朝，やはり部屋で朝食を取ってから，近所の夫婦岩とそれをまつる神社を参拝．

From 2010年末・伊勢参り（二見浦）

大晦日のこの日は，折からの大寒波到来のため，山陰から北陸中部，太平洋側も荒天であった．帰路，三重県内で既に強風と吹雪に見舞われた．東海北陸道の標高の高いところはどんな状況かわからないので，滋賀県周りの経路を選択．新名神，名神から米原JCTを経て北陸道へ．ずっと道路状況が悪く，時には泊まってしまうような有様だった．

しかし，福井から石川へ向かうにつれ，天候も路面状況も改善していった．ちょっと皮肉な感じではあった．

家族で無事に年の瀬を迎えられ，ありがたいことである．

木曜日は講義二つ・金沢へ

2010-10-21T23:36:00.008+09:00

木曜午前は，3年生向けの代数学の講義がある．昨年同様，中島匠一先生の「代数と数論の基礎 (共立講座21世紀の数学)」をテキストに，2章の「環と体」から始めた．ペース配分を考えながら着々と進めたいところ．

昼休みを挟んで，午後一に2年生向け線形代数学の続き．続き，というのは，月曜日の続きであり，つまり週に2回90分の講義がある（ので，半期で30回なのだ）．Jordan標準形に向けて，体上の多項式の話を始めた．

線形代数学のコースがどんなものであるべきか，折々に考える．体上の加群と，それらの間の準同型写像の理論だというのが，狭義の線形代数学としよう．体上の加群は自由加群であること，依って線形写像は生成元（基底）の行き先で決まること（行列表示）が根本であろう．これらは多くの教科書で強調されるが，線形空間の双対性（双対空間の双対空間が，元の空間と自然に同型であること）はあまり触れられないようだ．

特定の体に依存する話はそれに続く各論と言うことになる．理論的・演繹的にどのように主題を並べるか，と言うことと，実際に講義する場合とで，何らかの違いが生じるか否か．数ベクトル空間や，行列の操作（基本変形や掃き出し法など）にどの程度の時間，ページ数を割くべきだろうか．

また，特に実数体，複素数体上の線形代数学は，コンピュータの上で具体的に計算することが広く行われている．厳密に計算できることもあれば，近似計算をする場合もある．伝統的な線形代数学のコースでは，こういった話題はあまり触れられない（掃き出し法やクラメールの公式などは使い処が限定される）．云々．

夕方からは，金沢でのセミナへ向かう．まごまごしている間に，雨模様も手伝って高速バスを乗り逃がした．列車で移動し，15分ほど遅参．参加者の集まりが悪く，開始が遅れたので，冒頭から聴講できた．

類数が1の代数体は無数にあるか，と言う問題は，やや意外なことに未解決である．実2次体の中には類数が1であるものが無数にある，というのはGaussによる予想で，未解決である．これをずっと弱めて，奇素数を一つ固定して，この奇素数で類数が割りきれない実2次体は無数にあるか，あるとしたらどのくらいの密度であるか，と言う問題は，私が長く興味を持っている問題である．

一方，Weberに依るという，すべての2冪分体の最大実部分体の類数が1であろうというのも未解決だが，近年国内で進展があった．今回はこの問題に関する気鋭の研究者による講演だった．大変興味深く聴講した．

後期の講義；線形代数学II

2010-10-18T23:11:00.005+09:00

後期の講義は，線形代数学II（2年生向け）と，代数学II（3年生向け）．前者は週2回，月曜と木曜であり，後者も木曜である．木曜は隔週で金沢でのセミナがあり，やや忙しい．金曜にも不定期で講義がある（オムニバス形式なのだ）．

線形代数学の講義は，前期を担当した同僚から引き継いだところ，正規行列が対角化可能であるとか，複素数体上の線形作用素のスペクトル理論とか，ほぼ一通り終わっているとのことだった．Jordan標準形から始めればいいのだが，教科書では証明が省かれており，しかも30回も講義回数があるとなると，時間余るように思われる．

なので，単因子論の前振りとして，整数行列のSmith標準形から話を始める．そのために，整数のEuclid性などから説き起こした．今日までの3回でSmith標準形が一段落．

応用として，有限（生成）Abel群の構造定理などを解説するのが定番だろうが，2年生向けと言うことで割愛．有限Abel群の当たり前でない（1の冪根の群など，巡回群でない）例で，2年生にも手短に説明できるものが思いつかなかった．2元2次形式の同値類を合成によって群と思ったものとか……？

種本は，木村達雄先生他の「代数の魅力」．

Epigraph of A. Weil, Basic Number Theory

2010-06-08T22:57:00.008+09:00

A. WeilのBasic Number Theoryは，修士から博士にかけて，苦労しながら読んだテキストである．書名にBasicとはあるが，代数体と有限体上の1変数代数関数体のゼータ関数，L関数の理論や，類体論までを含む専門的なモノグラフである．

この本で，少し大げさに言えば，唯一読み残していた箇所がある．冒頭のForeword（序文）に付された，エピグラフである．昔から疑問に思っていたのだが，最近の機械翻訳やInternet検索の進展から，おおよその見当を付けることが出来た．

その一部始終を，twitterで呟いていたのを，twilogを経由して保存し，註釈を加えたのが以下のものである．註については，括弧書きにした．

きっかけは，Twitterにおける@SpringerJapanの人気コンテンツ，「今日の数学者」で，M. Zornが取り上げられたことである．Zornといえば，名を冠したレンマで有名だが，E. Artinの弟子であり，数論でも業績がある．以下twilogから．

今日の数学者が帰ってきた :) Zornは彼の有名な「レンマ」でだけ言及されることには，やや不満だったそうな．代数体上の単純多元環のゼータの仕事あり QT @SpringerJapan: 【今日の数学者】6月6日は「ツォルンの補題」で知られるツォルンの誕生日(1906年生)。

posted at 22:30:17

Zornが無くなったのは割と最近で（調べたら，1993/Mar/9），訃報が数セミに載ったのを見て，え？と思った記憶が．証明論が専門の先輩に，Zornのレンマが発見される以前は，例えばベクトル空間の基底の存在なんかはどうやって示してたんでしょう？と尋ねた．解答は忘れました :)

posted at 22:35:09

（註：Zornの仕事については，WeilのBasic Number Theoryでも触れられていたような気がしたのだが，探すと見つけられない……．）

A. Weil, Basic Number Theoryの序文のエピグラフの出典を特定しようと無駄な努力をした．なにしろギリシャ語全然分からないのに．

posted at 23:31:20

（註：Weil自身は，彼の自伝にもあるように，医師である父親がギリシャ語に堪能で，本人もリセ時代から古代ギリシャ語に親しんでいる）．

でも，Google Translateを使って，「Αριθμόν, εξοχων σοφισμάτων. Αίσχ. Προμ. Δεσμ. 」が，「Number, super sophists. Shame. Suppliers. Bond.」だと言うことは分かった．

posted at 23:32:13

「Αίσχ. Προμ. Δεσμ. 」で調べると，Aeschylusの http://ow.ly/1UHCM （GBooks）というのが出てくる．でも，「Αριθμόν, εξοχων σοφισμάτων.」という文言は見つからない……．

posted at 23:36:49

杉浦先生訳の「著作集自註」の同書の箇所は，「この本の序文は，どのような事情でこの本が書かれたかを十分説明している．」なのだが，序文のエピグラフの出典についても明かして欲しかった．

posted at 23:44:54

と言うわけで，アイスキュロスの「縛られたプロメテウス」の，459行目「私は彼ら（人間）の為に，数学も創造した．最も重要な科学だ」 http://ow.ly/1UHRD でファイナルアンサー？

posted at 23:51:22

（註：分かってみれば，Weilの序文にも，Προμηθεύς Δεσμώτης / Promētheus Desmōtēs の略記があったのだった）．

五箇山，城端

2010-05-05T07:02:00.002+09:00

連休中の観光で，五箇山相倉集落と，城端町の市内を回る．

相倉集落は，ユネスコの世界遺産にも認定されている，合掌造りの家々が立ち並ぶ集落．観光地として整備されていて，逆に驚くほど．岐阜県側の白川郷が有名だが，こちらはもう少しこぢんまりした規模である．

日差しが強く暑い一日だったが，遅咲きの桜や花桃が咲き，遠くには雪で白く輝く人形山が望まれ，大変素晴らしかった．

城端では，曳山の準備が進められていて，所々で道路を曳かれる山車を見ることが出来た．

新年度学部ゼミ・初回

2010-04-14T06:59:00.002+09:00

4年生のゼミも始動．今年は2人と，例年よりも小ぶりな規模である．昨年度後期，この学年の代数学を担当したので，難しいと敬遠されたのかな，と勘ぐる．

1人はその代数学を受講しており，もう1人は受講していなかったという．題材の選択に少し困ったけど，初等数論から始めることにした．

昨年度の代数学のテキストが，中島匠一先生の「代数と数論の基礎 (共立講座21世紀の数学)」だったので，その1章（講義は2章から始めた）を読む．5月の半ばから，ゼミ参加者のそれぞれが，やや時期をずらして教育実習に行ってしまう．それが終わってからが本番という段取りになるだろうか．

新年度修士ゼミ・初回

2010-04-12T22:03:00.001+09:00

しばらくご無沙汰のこのブログ，新年度をきっかけに更新を再開したい．

今年度は，数学専攻全体で修士が14名．うち4名が私のゼミに所属する．3名は学部のゼミから持ち上がり，1名は別のゼミからの合流である．

春休みに間に，修士論文に向けて，これからの勉強の方針を立ててみたので，それを説明した．数学的な内容もさることながら，それなりの規模の（数十頁）作文をすることになる．そちらの方も，LaTeXなどの技術的なことと，より一般的に「読んで書く」ということとについて，参考文献を挙げた．

2年はそれほど長い時間ではないので，脇目を振らずに突進して頂きたい :)

√x まとめ

2010-01-25T06:35:00.007+09:00

twitterで，√xについての一連のつぶやきに参加することが出来ました．なかなか得難い経験で，また内容的にも興味深く感じたので，まとめの頁をtogetterで作りました．簡単のため，以下にも埋め込んでおきます．

もともとの新井先生のつぶやきが，「まじで泣きそうになった」という表現で，多くの耳目を集めたものと思われます．少しやりとりの後，

（以下新井先生のつぶやき）みなさんは問題の所在を「教える内容」だと思っていますがそれは違います。彼らは、（１）4=x^2をみたすxを求めなさい、という問題には、正しく2,-2と回答する。（２）√4はいくつですか？と聞くと、2と正しく答える。（３）が、√xの定義はなんですか？と聞くと、二乗するとｘになる数と答える論理的な破たんにあるのであって、「本来√はどのように教科書で定義すべきか」というような技術論ではありません。

と，核心となる点が明示されたように思います．詳細は，新井先生のblog記事にもあります．

また，話の流れを受けて，「数学ガール」シリーズの他多数の数学・プログラミング言語についての著作のある，結城浩さんが，「√xの定義についての対話」という文章を公開されました．数学の理解における産婆術というべきもので，同氏の面目躍如たるものがあると思いました．

数学の勉強をしていると，それまで自分が知っていたこと，経験してきたことと，新たに学んだことの間に不整合があるように感じる瞬間があるものです．これは，理解が不十分であることが露呈した瞬間で，そこで「考える」ことで，新しい知識を獲得するのみならず，既に知っていたと思っていたことへの理解が深まるものです．

そういった，自分の知識の内部にある不整合を意識して，考えることでそれを正していくというのは，高度に非自明なことのように思います．自然にそれが出来る人はごく少数でしょう．なので，中高での数学学習の際に，強調されるべきだという主張には，私は大いに賛成します．

それに適切な題材を見つけ，また教師側にも上のようなことを念頭に置いた上で指導を行う，というのが次にすべきことと思います．

少し別の論点ですが，定義を述べよ，というたぐいの質問に答えるのは，別の種類のスキルが必要だと思います．前後の文脈を補い，必要に応じて記号を導入して，正しく述べることです．

例えば「√xの定義を述べよ」と言われたときに，「xを実数とする」などのように文脈を補うこと，そして，xが正，0, 負の場合を尽くして，正しく解答する．

これは，数学科の4年次のセミナなどでも口を酸っぱくして指導することの一つです．

最近はメディアでも取り上げられることの多いtwitterですが，今回の一連のつぶやきは，それが実際どのようなものであるのかの，わかりやすい例になっていると思います．

ケロちゃん

2009-12-06T18:33:00.008+09:00

１歳になった長男への誕生日プレゼントに，バムとケロシリーズのケロのぬいぐるみを選んだ．蝶ネクタイは家にあったもの．左手に付けているのも，その辺に転がっていた髪留め用の飾りである．

ケロちゃんのぬいぐるみは実にラブリーで，見ているだけで顔がほころぶ．

Amazon.co.jp ウィジェット

立山で初滑り

2009-11-23T21:37:00.002+09:00

立山で初滑り（実際に滑ったのは，11/22の日曜日）．

例によって朝8時過ぎの電車に乗り，立山室堂に着いたのが10:30過ぎと，押っ取り刀である．

例年よりも雪が少ないが，それでも十分滑れる状態．露岩に気をつける必要はある．

一ノ越に向かう途上，綺麗な斜面が足下に残っていた．我慢できず，シールを外してドロップ．でも全然思ったように滑れない（ちなみに私はテレマークスキーという流派に属する）．よろよろしながら下って，もう一度シールを貼って登り出す．

その後，ちょっと気になる斜面を見つけると30分少々登って，またよろよろ滑り降りる，ということを繰り返しているうちに勘が戻ってきた．浄土山から祓い堂の方に伸びる斜面などを滑って，それなりに納得．

更に帰り際，最初に滑った斜面の綺麗なところをもう一度滑って，得心．

15時のバスで下山した．今年は寡雪の予報だが，どうなるだろうか．

立山

2009-11-01T06:41:00.002+09:00

久しぶりに立山へ．

冬山装備で望む．

8時に最寄り駅から電車に乗ると，10時半には室堂ターミナルを出発できるのは地の利といえる．快晴．観光客も多い（外国からも）．

登山道にも雪が載っているので，室堂山荘を過ぎてしばらく行ったあたりでアイゼンを付ける．祓堂から一ノ越を見ると，既にシュプールが付いていて，一人スキーを履いて降りてくる人がいる．話を聞くと，数日前から山小屋関係者が滑ったりしていたそうだ．その人も宿泊施設勤務とのことだった．

一ノ越に着くと北アルプスの展望が素晴らしい（写真参照）．風が少しある．ペットボトルがひゅーとっと音を立てるくらい．雄山には届かないと思ったが，時間の許すかぎり登る．全く静かで，風が耳を打つ音のみ．五の越で13時，時間切れで下山する．

15時発の高原バスで下山，16時過ぎに立山駅で家族と合流した．

Kindleで日本語を表示できた（あくまで絵として）

2009-10-24T21:58:00.007+09:00

先日入手したKindleは非常に楽しいおもちゃである．ただ，当初の目論見が外れたのは，PDFを正しく閲覧するのがそれほど簡単ではないということである．この記事では，PDFファイルをKindleで読める形式に変換する方法と，それを多少改良して，日本語を含んだPDFファイルをKindleで読める形式に変換する方法を説明する．

Amazon.comから割り振られたメールアドレスに，Kindleで読みたいPDFファイルを添付書類として送ると，Kindleで読めるファイル形式に変換してくれる．変換されたファイルが，Whispernetで自分のKindleに送り込まれる．ただし1MBあたり$0.99かかる．また，スパム防止のために，amazon.comのKindle専用のページで，PDFファイルを送るアドレスを指定しておく必要がある．

問題は，この変換がかなり機械的なもので，英文の箇所以外はほぼ使い物にならない．図は無視されるようだし，表組みも乱れる．そしてなにより，数式も保たれない．

■PDFを画像にしてしまい，電子ブックとしてKindleに転送
解決法の一つは，PDFを各ページごとの画像にしてしまうことである．実際にこれをやってくれるのが，PDFread 1.8.2である．"PDFRead 1.8.2 released!"の，#1の記事の末尾に，ファイルが添付されている．Microsoft Windowsのユーザは， pdfread-1.8.2-Installer.zipをダウンロードし，解凍すると現れるインストーラを起動すればよい．

上記で使えるようになるPDFread 1.8.2 (Windows版）は，GUI形式でパラメタを設定できる．ファイルのフォーマットはprc, profileは prc-mobi-pとしてPDFを変換すると，Kindleで表示できるファイルが出来る．KindleをPCにUSBで接続すれば外付けドライブとして認識される．Kindleのdocumentsというフォルダに，PDFreadの出力ファイルをコピーして接続を解除すると，Home画面で今コピーしたファイルを確認できる．写真が上の手続きの例である：

From Kindle

いうまでもなく，いったん画像に変換してしまっているので，検索などは出来ない．

このPDFread（Windows版）は，GUIで指定されたパラメタからコマンドライン版（pdfread）のオプションを組み立て，このコマンドライン版（実はPythonスクリプト）を起動しているだけである．また，pdfreadを読んでみると，だいたい次の処理をしている：

GhostscriptでPDFファイルの各ページををpng画像に変換し，特定の書式のHTMLファイルを生成する
上記のHTMLファイル（とpng画像）から，mobipocket形式のファイルを生成する

■日本語を含むPDFファイルを画像に変換して同じ事をする
つまり，PDFread内で起動されるGhostscriptが日本語を理解するもの（ghostscript-cjkなど）ならば，日本語のPDFファイルからでも，Kindleで読めるファイルが生成できるはずだ．

Windows版でやるなら，PDFreadのインストールされたフォルダ内のgsというフォルダを，日本語対応版のそれ（例えばcygwinに含まれるもの）と入れ替えれば良いのだと思う．実際には試していない．

コマンドライン版のpdfreadが，Windows版のPDFreadがインストールされたフォルダ内のsrcというフォルダに含まれている．あるいは，正式配布場所の「Welcome to PDFRead」からダウンロードできる．これをLinux環境で実行した．幾つか必要なパッケージがある．Ubuntuなら，次のようにして揃えられる：

sudo apt-get install pdftk python-imaging pngnq gs-common djvulibre-bin libtiff-tools unpaper optipng

さらに，gs-cjk-resource他，mapfileのcmap-adobe-japan1や日本語フォントttf-kochi-gothic, ttf-kochi-minchoも必要である．synapticsでインストールすれば良い．

Windows版の時を参考に，コマンドラインを指定する：

プロファイル（-p)がprc-mobi,
出力ファイル（-f）prc

がポイント．

$ python ./pdfread.py -p prc-mobi -t "On 2-part of Tame kernel of quadratic fields" -a "Iwao KIMURA" -c "math" -f prc ~/DocMath/HokurikuNT2009May/handout.pdf

（実際には1行で）のようになる．

ただし，私が試したときにはHTMLファイルとpng画像しか生成されなかった．これらのファイルを再びWindows環境に（USBメモリで）移動して，GUI版のPDFreadに同梱のNRhtml2mobiというファイルでmobipocket形式に変換した．これは，mobiperlという，mobipocket形式のファイルを操作するためのperlスクリプト群の一つを，実行形式（exeファイル）に変換したもののようである．

出力結果が，次の写真である：

From Kindle

もう少し工夫の余地があると思うので，追求していくつもりである．