Sukarabe's Easy Living

日々の日記です

9月 2009

飲食

今日から火曜日は弁当男子かな？

sukarabe 2 コメント

今日のお弁当(銀ダラ粕漬、その他)

朝から日記です :mrgreen: 。火曜日は時間の関係で、どうしても弁当になってしまう。職場の近所の弁当はとうに飽き、事前に買って行くことが多かったのだが、それも最近飽きつつある。ということで、一念発起。今日は弁当を作って持っていくことにした。

そうは言っても、思いついたのは今朝(笑)。昨日、銀ダラの西京漬と粕漬けを買ってきたばかりだし、ちょうど良いかなと。今朝は早起きしちゃったからということもある。しかし自分の弁当箱を持っていないので、ジップロックに適当に詰めて持って行こうかと思う。メインは銀ダラの粕漬け。西京漬とどっちにしようかと悩んだ末に粕漬けにした。余熱2分、上下とも弱火で6分で、まずまずの焼き上がり。野菜も採らないとなあと、キャベツを茹でて、銀ダラの下敷きに(笑)。残ったキャベツは土佐酢か何かでさっと和えて、もう一つのジップロックに。自分で調理したのはこれだけだが、さすがにこれではちょっと寂しいので、冷蔵庫を物色。茄子とプチトマトとキンピラを入れる。こんなものかなあ。ご飯は、これも冷蔵庫から一食分の容器をそのまま持って行く予定。職場に電子レンジあったよなあ。ちと不安だが。そうそう、割り箸忘れないようにしないと。ああ、これじゃあカバンに入らないなあ。レジ袋に入れて行くしかないかあ 😉 。

お、そろそろ出かける準備しないと！

Asymptote

Asymptoteの練習No.0001「3つの同心円」

sukarabe コメントはまだありません

ともかくも、試してみなくては習得できまい。ということで、配布されているサンプルや、いろんなサイトで見つけたサンプルなどを参考にしつつ、自分で理解できるところから始めることにしよう。

最初の練習は、円と、円上の点の表示。MetaPostと同様に、点(pair)や曲線(path)を前もって定義しておいてから、
それを表示すればよい。点の表示には、 dot(....) を用いるとよいようだ。ラベルの位置をオプションで選べる。NEはNorth Eastの位置ってこと。

Asymptoteの練習 No. 0001 「3つの同心円」

/*
 Asymptoteの練習No.0001「3つの同心円」
 t0001_3circles.asy
*/

size(8cm,0);
import math;

real r1=1.5;
real r2=sqrt(7);
real r3=4;
pair O=0;

path c1=circle(O,r1);
path c2=circle(O,r2);
path c3=circle(O,r3);

draw(c1,magenta);
draw(c2,green);
draw(c3,green);

real th=pi/5;

pair A=(r1*cos(th),r1*sin(th));
pair B=(r2*cos(2*th),r2*sin(2*th));
pair C=(r3*cos(3*th),r3*sin(3*th));

dot("$O$",O,S,red);
dot("$A$",A,red);
dot("$B$",B,NE,red);
dot("$C$",C,N,red);

主な変数型は、real (実数)、pair (点＝複素数)、path (曲線)の3つ。細かい文法とかは気にせず、というか、多くはMetaPostと同様だから、どんどん書いてみよう。MetaPostよりも、普通のプログラム言語に近いように感じる。この例では、円上の点を三角関数でパラメーター表示しているが、角度を変化させると、3つの点が一斉に変わるので面白い。

ラベルの表示には TeX が呼び出されているようだ。ここの呼び出しを日本語TeXにしたり、数式フォントを変更したりもできるようだが、まあ、それは後で考えよう。とりあえずは、Asymptoteに慣れることが先決。

Asymptote MetaPost TeX Ubuntu

UbuntuにAsymptoteをインストール

sukarabe 2 コメント

お絵描きプログラムであるAsymptoteをUbuntuにインストールした。これは、MetaPostの亜種というか改良版であり、文法などはMetaPostから引き継いで、その上でMetaPostをさらに使いやすくしたものらしい。MetaPostに慣れつつあるので、ちょっと気になったこともあり、インストールしてみた。

最初は、Synaptic パッケージ・マネージャーからUbuntu用にコンパイルされたものを入れてみたのだが、これが1.4というちょっと古いバージョン。3D関係のライブラリーを使うとエラーが出るとかで、最新の1.86を入れるべく、ソースからのコンパイルを試みた。ポイントは、ガーベージ・コレクション用のライブラリーを別途ダウンロードすることと、ドキュメント関係の作成のために TeX一式を入れておくこと。最初、コンパイル完了直前になって、texindexがないというエラーであえなく沈没。apt-get install texinfo と、texinfoをインストールして再度試みて成功。

ということで、手順をメモ。

$ wget http://downloads.sourceforge.net/asymptote/asymptote-1.86.src.tgz
$ gunzip asymptote-1.86.src.tgz
$ tar -xf asymptote-1.86.src.tar
$ cd asymptote-1.86/
$ wget http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/gc-7.1.tar.gz
$ ./configure
$ make all
$ sudo make install
$ hash -r
数学 本

四色問題

sukarabe 4 コメント

ロビン・ウィルソン「四色問題」新潮社 (Robin Wilson, Four Colours Suffice, How the Map Problem Was Solved)

先週、つい魔が差して(笑)購入してしまったのが、Robin Wilsonという人の「四色問題」(原題は、Four Colours Suffice)。平面上の地図は必ず4色で塗り分けられるという定理(4色定理)が証明されるまでの、興奮と落胆(笑)のストーリー。主だった登場人物は次の通り。

フランシス・ガスリー (Francis Guthrie) 4色問題の発案者。イングランドの地図を塗り分けている時に、4色あればどんな地図も塗り分けられることに気付く。

ド・モルガン (De Morgan) フランシス・ガスリーの弟から4色問題を聞き、興味を持つ。多くの数学者にこれを知らせ、4色問題が世に知られるきっかけを作る。

ケイリー (Arthur Cayley) 忘れられていた4色問題を復活させ、これに関する論文を初めて書く。各頂点から出る辺が3本の場合(3枝地図)に限っても一般性を失わないことを注意した。

ケンプ (Alfred Kempe) 4色定理の証明を発表する。実は間違っていたが、11年間も気付かれずにいた。証明には失敗したものの、後の発展のきっかけとなる重要な手法(Kempe chains など)を開発した。

ヒーウッド (ヘイウッド ?) (Percy John Heawood) ケンプの証明に欠陥があることを発見する。ケンプの証明を修正して、5色あれば十分であること(5色定理)を証明する。また、平面・球面以外での地図についても考察し、示性数(Genus、穴の数、例えばドーナツ面のときは1)がpの閉局面上の地図を塗り分けられる色の個数についての公式を発見した。

ヴェルニッケ　不可避集合(どんな3枝地図も必ず含まないといけない配置の集まり)の概念を導入し、幾つかの不可避集合を発見する。

ハインリッヒ・ヘーシュ (Heinrich Heesch) 不可避集合を求めるために、放電法(discharging)を考案する。これがその後の発展の基本的道具となる。

ウルフガング・ハーケン (Wolfgang Haken) ケネス・アッペル (Kenneth Appel) と共同で、4色定理を証明する。放電法を改良することにより、およそ2000個の可約配置からなる不可避集合の存在を示した。検証にはコンピューターが使われた。この結果として4色定理が成り立つことが言える。

最終的にはHakenとAppelによって証明されたのだが、コンピューターを何千時間(？)も使って検証したというその証明には、多くの人が落胆したのだった。

この本は、4色問題についてまったく知らない人でも楽しく読める素晴らしい本。数学の知識もほとんど不要。定理らしき定理は、オイラーの多面体定理(V-E+F=2) ぐらいしかないし、これもちゃんと説明されている。中学生でも読めちゃいますね、これは。

4色定理の証明はとっても難しいが、5色定理ならそれほど難しくなく、きちんと説明されていて嬉しい。大分前にクーラント、ロビンズの「数学とは何か」で5色定理の証明は読んだはずだが、まったく覚えておらず(笑)、今回初めて理解した気分。6色定理になると、さらに易しい。6色定理は「隣国は5つだけ」レンマから直ちに出るが、このレンマ(補助定理)も、オイラーの多面体定理 V-E+F=2 から簡単に示される。

こんな感じで、いきさつやお話だけでなく、具体的に数学の内容もやさしく、かつ、きちんと説明されている。特に、可約配置、不可避集合、放電法、といった基本的概念が分かりやすく説明されていて、HakenとAppelの証明法の基本方針が理解できたのは良かった。いや、素晴らしい本ですよ。

雑記

獅子身中の蟲

sukarabe 2 コメント

民主党に過度な期待はできないとは思っていたが、こういう話を聞くと、ぐっとテンションが下がるのであった。

新聞が書かない民主党の「公約破り」 (山口一臣の「ダメだめ編集長日記」)

J-CASTニュース : ネット「締め出し」首相会見　民主党と記者クラブに批判噴出

J-CASTニュース : 岡田外相、記者会見開放を宣言　ネット・フリーランスにも

先週の話であるから、その後修正されているかもだが、何せ一方の当事者である大手新聞は「なかった話」にしているので 👿 調べようとしても、出てこない。まあ、その他のメディアでこれだけ出てくるところをみると、そうなんだろうなあと思うが。

問題は民主党の内部だ。記者クラブの連中は所詮はそういう輩であって、自分たちの権利を守ることにやっきになるのは、むしろ自然である。(そんなやつらはジャーナリストですらないとは思うが。)　今回の件が単なる手違いなら、まだ良い。どうもそうではなさそうなのが大問題だと思うのだ。首相の懐刀とか言われている、この官房長官。前からあやしい兆候はあったようだが、こやつは獅子身中の虫ではないのか。やっていることが、まるで自民党の老害議員どもとまったく同じパターンではないか。記者クラブ廃止は俺が潰す、と息巻くなど、お前は一体誰の代弁者なのだ 👿 。　まったく・・・朝から気分が悪いのである。プンプン。

雑記

ミクシイの漢字テスト

sukarabe 2 コメント

校正も一段落したので、マイミクさんから誘われていた漢字テストというのをやってみた。ミクシイ内でのアプリケーションということですが・・・。

結果、がーん 😯 。読めねえ〜。というか、Ubuntu Linux上のFirefoxだと、入力が表示されないので、正にホントのブラインドタッチになってしまう(笑)。仕方ないので、MacのFirefoxで再度。今度は表示されるものの、変換窓(久し振りに見た、笑)が出て、インラインで入力が表示されない。あーあ、これって、JavaScriptか何かがブラウザ依存・OS依存なのかなあ。ちゃんと、クロスブラウザして欲しいものだ。

ということで、1回目＝10問、2回目＝11問、3回目＝19問でした。これ以上頑張る元気ないので、今日はこれにて終了です。

飲食

とよみつひめ(無花果)

sukarabe コメントはまだありません

いちじく(とよみつひめ)
いちじく(とよみつひめ)

食べ物関係続きます。八百屋さんで、新品種で糖度が高いと紹介されていたので、つい買ってしまったのが、このイチジク。ちなみに、イチジクって仮名漢字変換させると無花果となりますね。ふーん、知らなかったなあ。

で、食べてみました。品の良い甘さで、美味しいです。この「とよみつひめ」という品種、福岡で作られたものらしいのです。そう言えば、いちごで、博多とよのか、というのがありましたが、「とよ」って福岡を連想させるのでしょうか。豊前(ぶぜん)の国が福岡県東部(？)だから、それかなあ。個人的には豊(とよ)の国というと、豊後(ぶんご)つまり大分を連想してしまうんですけどね。

飲食

小麦と酵母「満」の豆パン

sukarabe コメントはまだありません

小麦と酵母「満」の 豆パン

最近、駅ナカでよく買うのが、この豆パン。小麦と酵母・満(みつる)という、ちょっと変わった(？)名前のパン屋さん。豆パンはもともと好きだが、ここのはパン生地がとってもモチモチしているのだ。ただ、ほんのちょっとだが、塩気がやや強いかも。家内などは、そこが良いと言っているんだけど。

MetaPost

MetaPostメモ：白丸を描く

sukarabe コメントはまだありません

[ 備忘録 ]　図版で、点を強調するために、白丸(白抜き)で点を描きたいときがある。

まず、汎用のマクロを用意する。

def DrawShiromaru(expr P, R) =
  fill fullcircle scaled R shifted P withcolor white;
  draw fullcircle scaled R shifted P withcolor black;
enddef;

そして、点z1に白丸を描きたいときは、

DrawShiromaru(z1,1.2mm);

などとすれば良い。要するに、白で円板を塗り、円周を黒で塗るということね。

雑記

イベント終了

sukarabe コメントはまだありません

[ 昨日の記録 ]　昨日は恒例となっている勉強会というか、まあそんなところで、九段下まで。出席者100名も居て、なかなかに緊張する。ええ、ワタシがレポーターなのである(笑)。

毎年のことだけど、準備がとっても大変。資料は膨大にあるし、説明用にレジュメやらスライドやら、いろいろ作らなくてはならないし。しばらく前から時間を見つけては、少しずつ準備してはいるものの、結局、当日も朝からスライド用のPDFの修正やら補足やらで、ばたばた。

これだけ準備すると、話せと言われれば何も見なくても幾らでも長く話せる(苦笑)、という状態。しかし、持ち時間は決まっている。手際よくまとめるなんて、不可能だよ〜、と毎年ぼやくのであった。いや、我も未だ未熟なりですか。思うに、最初の緊張が持続しない(笑)のが問題かも。何故か話しているうちに調子が出てきて、予定外のことも含めて、アドリブよろしくツーコーラスぐらい余計にやっているんだよねえ。おまけに、本音トークで面白かったですとか、後で言われる始末。いや、本音とかそういうことじゃなくて、というか、ワタシいつも本音しか言いませんがね 😉 。まあ、褒め言葉と受け取っておくか :mrgreen: 。

懇親会にも出るのだが、立食形式は良いとして、挨拶やら何やらで、ほとんど食べる時間がなかった。おまけに美味しい日本酒なんて置いてないし 😉 。ということで、2次会は辞退して、一人で美味しい日本酒飲んで帰りましたとさ :mrgreen: 。

次ページへ »