使役!! の巻
使役!! の巻
先日紀伊国屋書店で数学コーナーなぞうろうろしてたところ、
女子高生と思しき二人連れが
「こないだ『数学ガール』書いた人の本みつけたんだけど買えなくって〜」
「なんて本?」
「タイトル忘れた〜〜」
「じゃあ『数学ガール』探せばいいんじゃない?」
で二人は去って行ったのだが。
そうか二人とも「数学ガール」読んだのか。
などと目の前の棚にある「数学ガール」 1 2 を見て感慨深げな俺様。
ところで御目当てはなんの本だろう??
プログラマの数学
あたりかしら???
それはそうとこの
パズル
が解けない……
……と思ったら解けた!!
戻ったとこで引率の先生が
「じゃあゴミ分別して」
えっ!?! 俺様分別なんて聞いてないよ!?!?
あっと言う間に俺様のきったないゴミ袋は発見され、
「ちょっと誰〜〜!?! こんなむちゃくちゃなことしたの〜〜」
と怒る先生。
「す、すみませんわたくしです」
「あ、あらあら(慌てる)、
ちょっとあんたら(生徒達)一緒に行ったなら教えてあげればいいじゃない」
というわけで多方面に御迷惑をお掛けしてしまったのだ。
妹は姉のおさがりのぽぽちゃんがえらく気に入ったようで、
ぽぽちゃんをおんぶしたり、ベビーカーに座らせてご飯を食べさせたり、
オムツを交換したりしている。
姉も一緒になって、おままごとみたいになった。
カワイでもらったシールボードを見せてもらい、
「シール貼ったの? 楽しかった?」
と聞くと
「あのね」
「嬉しかった」
と答えた。
「パパ、立って」
「パパ、これやって」
など日本語が上手になってきた。
時々
「パパ、これ食べて(食べさせて)」
のように使役をまちがったりする。
姉の時も
やはり使役は難しかったようだ。
喜多方マン!! の巻
最近ママが本を読み聞かせるようになって、
妹も本に興味が湧いて来た。
自分でページをめくるのは今まで通りだが、
ページを読んでもらうまで、次めくるのを待てるようになったのだ。
gcal V0.8090!! 新星堂閉店!! の巻
$ gcal
October 2009
GPSW Sun Mon Tue Wed Thu Fri Sat
1 2 3
1551 274 275 276
4 5 6 7 8 9 10
1552 277 278 279 280 281 282 283
11 12 13 14 15 16 17
1553 284 285 286 287 288 289 290
18 19 20 21 22 23 24
1554 291 292 293 294 295 296 297
25 26 27 28 29 30 31
1555 298 299 300 301 302 303 304
はい、今月の GPS week と通算日が表示されました。
"gcal 年" とすればその年のカレンダーを表示します。
"gcal 月 年" とすれば、その年その月のカレンダーを表示します。
しかも今ならとても便利なオプション
さて気になるライセンスは、
なんと今だけの特別ご奉仕で、
二条項 BSD ライセンスになっております。
お求めは
こちらから!!
以下、どうやって解いたかの説明。
L2C = 2 L3C2 = 3 L2C = 4 = 2x2 L5C = 5 L2P = 6 = 2x3 L3C L7C3 = 7 L2C2 = 8 = 2x2x2 L3C = 9 = 3x3と書いてみて、P が次の行との Product (積) だと気付く。 また C の後ろの数字は次の行の累乗数だと気付く。 ([0-9]*L[0-9]+P)*[0-9]*L[0-9]+C とパースしなおして
L2C = 2 L3C = 3 2L2C = 4 = 2^2 L5C = 5 L2PL3C = 6 = 2x3 L7C = 7 3L2C = 8 = 2x2x2 2L3C = 9 = 3x3これで解けた。
$ /usr/games/factor 99 99: 3 3 11なので、答えは 2L3PL11 である。
妹がチャイルドシートをいやがるので、
パパは肩ベルトを緩めて対応。
抜け出さないようにキツキツにしてたのが逆効果だったのだ。
ママはコンビのなんとかっていう、
お腹の上にテーブルみたくかぶせるタイプのをレンタルして対応。
昨日ドライブしてたら、テーブルに倒れかかって気持よさそうに寝入ってしまった。
クレジットカードの中身!! の巻
![[クレジットカード]](p/20091008/0.jpg)
![[クレジットカード]](p/20091008/1.jpg)
ファイル共有ソフト「Ｗｉｎｎｙ（ウィニー）」を開発、インターネットで公開し、利用者によるゲームソフトなどの違法コピーを助けたとして著作権法違反（公衆送信権の侵害）のほう助罪に問われた元東京大大学院助手・金子勇被告（３９）の控訴審判決が８日、大阪高裁であった。ふむふむ。 妥当なとこだろう。小倉正三裁判長は「被告に積極的な著作権侵害の意思はなく、ほう助罪は適用できない」などとして、罰金１５０万円とした１審・京都地裁の有罪判決を破棄し、逆転無罪を言い渡した。
台風の暴風域の図
を見て
「どうして丸がずれてるの?」
と聞くので、
台風は左回りに風が吹くこと、
北東に移動すること、
だから中心の東側の風は強く吹き西側は弱く吹くことを教えた。
妹「パパだっこ」
妹「おねたんみせて(呼ぼう)、せーの」
妹・パパ「おねーたーん!!」
姉「な゛ん゛だ〜〜〜〜〜!!!!!!」
妹「キャーーー!! (パニック)」
という遊びが好きで、何度も繰り返す。
つき合ってくれるお姉ちゃんありがとう。
Express5800/iR110a-1 に FreeBSD 7.2!! の巻
Copyright (c) 1992-2009 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
The Regents of the University of California. All rights reserved.
FreeBSD is a registered trademark of The FreeBSD Foundation.
FreeBSD 7.2-RELEASE-p4 #0: Fri Oct 9 10:05:32 JST 2009
candy@pc9153.example.jp:/usr/local/obj/usr/src/sys/GENERIC
Timecounter "i8254" frequency 1193182 Hz quality 0
CPU: Intel(R) Xeon(R) CPU L3110 @ 3.00GHz (2992.51-MHz 686-class CPU)
Origin = "GenuineIntel" Id = 0x1067a Stepping = 10
Features=0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE>
Features2=0x408e3fd<SSE3,DTES64,MON,DS_CPL,VMX,SMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,XSAVE>
AMD Features=0x20100000<NX,LM>
AMD Features2=0x1<LAHF>
Cores per package: 2
real memory = 2682585088 (2558 MB)
avail memory = 2617434112 (2496 MB)
ACPI APIC Table: <NEC APIC >
FreeBSD/SMP: Multiprocessor System Detected: 2 CPUs
cpu0 (BSP): APIC ID: 0
cpu1 (AP): APIC ID: 1
ioapic0 <Version 2.0> irqs 0-23 on motherboard
kbd1 at kbdmux0
acpi0: <PTLTD XSDT> on motherboard
acpi0: [ITHREAD]
acpi0: Power Button (fixed)
Timecounter "ACPI-fast" frequency 3579545 Hz quality 1000
acpi_timer0: <24-bit timer at 3.579545MHz> port 0x1008-0x100b on acpi0
pcib0: <ACPI Host-PCI bridge> port 0xcf8-0xcff on acpi0
pci0: <ACPI PCI bus> on pcib0
pcib1: <ACPI PCI-PCI bridge> irq 16 at device 1.0 on pci0
pci1: <ACPI PCI bus> on pcib1
em0: <Intel(R) PRO/1000 Network Connection 6.9.6> port 0x1840-0x185f mem 0xdfa00000-0xdfa1ffff,0xdfc21000-0xdfc21fff irq 16 at device 25.0 on pci0
em0: Using MSI interrupt
em0: [FILTER]
em0: Ethernet address: 00:24:1d:b4:bf:6b
uhci0: <UHCI (generic) USB controller> port 0x1860-0x187f irq 20 at device 26.0 on pci0
uhci0: [GIANT-LOCKED]
uhci0: [ITHREAD]
usb0: <UHCI (generic) USB controller> on uhci0
usb0: USB revision 1.0
uhub0: <Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb0
uhub0: 2 ports with 2 removable, self powered
uhci1: <UHCI (generic) USB controller> port 0x1880-0x189f irq 21 at device 26.1 on pci0
uhci1: [GIANT-LOCKED]
uhci1: [ITHREAD]
usb1: <UHCI (generic) USB controller> on uhci1
usb1: USB revision 1.0
uhub1: <Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb1
uhub1: 2 ports with 2 removable, self powered
ehci0: <EHCI (generic) USB 2.0 controller> mem 0xdfc24000-0xdfc243ff irq 22 at device 26.7 on pci0
ehci0: [GIANT-LOCKED]
ehci0: [ITHREAD]
usb2: EHCI version 1.0
usb2: companion controllers, 2 ports each: usb0 usb1
usb2: <EHCI (generic) USB 2.0 controller> on ehci0
usb2: USB revision 2.0
uhub2: <Intel EHCI root hub, class 9/0, rev 2.00/1.00, addr 1> on usb2
uhub2: 4 ports with 4 removable, self powered
pcib2: <ACPI PCI-PCI bridge> irq 16 at device 28.0 on pci0
pci5: <ACPI PCI bus> on pcib2
pcib3: <ACPI PCI-PCI bridge> irq 17 at device 28.1 on pci0
pci7: <ACPI PCI bus> on pcib3
pcib4: <ACPI PCI-PCI bridge> irq 18 at device 28.2 on pci0
pci9: <ACPI PCI bus> on pcib4
vgapci0: <VGA-compatible display> mem 0xde000000-0xdeffffff,0xdf800000-0xdf803fff,0xdf000000-0xdf7fffff irq 18 at device 0.0 on pci9
pcib5: <ACPI PCI-PCI bridge> irq 16 at device 28.4 on pci0
pci13: <ACPI PCI bus> on pcib5
em1: <Intel(R) PRO/1000 Network Connection 6.9.6> port 0x2000-0x201f mem 0xdf900000-0xdf91ffff irq 16 at device 0.0 on pci13
em1: Using MSI interrupt
em1: [FILTER]
em1: Ethernet address: 00:24:1d:b4:bf:6a
uhci2: <UHCI (generic) USB controller> port 0x18a0-0x18bf irq 20 at device 29.0 on pci0
uhci2: [GIANT-LOCKED]
uhci2: [ITHREAD]
usb3: <UHCI (generic) USB controller> on uhci2
usb3: USB revision 1.0
uhub3: <Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb3
uhub3: 2 ports with 2 removable, self powered
uhci3: <UHCI (generic) USB controller> port 0x18c0-0x18df irq 21 at device 29.1 on pci0
uhci3: [GIANT-LOCKED]
uhci3: [ITHREAD]
usb4: <UHCI (generic) USB controller> on uhci3
usb4: USB revision 1.0
uhub4: <Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb4
uhub4: 2 ports with 2 removable, self powered
uhci4: <UHCI (generic) USB controller> port 0x18e0-0x18ff irq 22 at device 29.2 on pci0
uhci4: [GIANT-LOCKED]
uhci4: [ITHREAD]
usb5: <UHCI (generic) USB controller> on uhci4
usb5: USB revision 1.0
uhub5: <Intel UHCI root hub, class 9/0, rev 1.00/1.00, addr 1> on usb5
uhub5: 2 ports with 2 removable, self powered
ehci1: <EHCI (generic) USB 2.0 controller> mem 0xdfc24400-0xdfc247ff irq 20 at device 29.7 on pci0
ehci1: [GIANT-LOCKED]
ehci1: [ITHREAD]
usb6: EHCI version 1.0
usb6: companion controllers, 2 ports each: usb3 usb4 usb5
usb6: <EHCI (generic) USB 2.0 controller> on ehci1
usb6: USB revision 2.0
uhub6: <Intel EHCI root hub, class 9/0, rev 2.00/1.00, addr 1> on usb6
uhub6: 6 ports with 6 removable, self powered
pcib6: <ACPI PCI-PCI bridge> at device 30.0 on pci0
pci17: <ACPI PCI bus> on pcib6
isab0: <PCI-ISA bridge> at device 31.0 on pci0
isa0: <ISA bus> on isab0
atapci0: <Intel ICH9 SATA300 controller> port 0x1c20-0x1c27,0x1834-0x1837,0x1838-0x183f,0x1830-0x1833,0x1c00-0x1c1f mem 0xdfc23000-0xdfc237ff irq 17 at device 31.2 on pci0
atapci0: [ITHREAD]
atapci0: AHCI called from vendor specific driver
atapci0: AHCI Version 01.20 controller with 6 ports detected
ata2: <ATA channel 0> on atapci0
ata2: [ITHREAD]
ata3: <ATA channel 1> on atapci0
ata3: [ITHREAD]
ata4: <ATA channel 2> on atapci0
ata4: [ITHREAD]
ata5: <ATA channel 3> on atapci0
ata5: [ITHREAD]
ata6: <ATA channel 4> on atapci0
ata6: [ITHREAD]
ata7: <ATA channel 5> on atapci0
ata7: [ITHREAD]
pci0: <serial bus, SMBus> at device 31.3 (no driver attached)
pci0: <dasp> at device 31.6 (no driver attached)
acpi_button0: <Power Button> on acpi0
sio0: <16550A-compatible COM port> port 0x3f8-0x3ff irq 4 flags 0x10 on acpi0
sio0: type 16550A
sio0: [FILTER]
sio1: <16550A-compatible COM port> port 0x2f8-0x2ff irq 3 on acpi0
sio1: type 16550A
sio1: [FILTER]
cpu0: <ACPI CPU> on acpi0
est0: <Enhanced SpeedStep Frequency Control> on cpu0
p4tcc0: <CPU Frequency Thermal Control> on cpu0
cpu1: <ACPI CPU> on acpi0
est1: <Enhanced SpeedStep Frequency Control> on cpu1
p4tcc1: <CPU Frequency Thermal Control> on cpu1
pmtimer0 on isa0
orm0: <ISA Option ROMs> at iomem 0xc0000-0xc7fff,0xc8000-0xc8fff pnpid ORM0000 on isa0
ata0 at port 0x1f0-0x1f7,0x3f6 irq 14 on isa0
ata0: [ITHREAD]
ata1 at port 0x170-0x177,0x376 irq 15 on isa0
ata1: [ITHREAD]
atkbdc0: <Keyboard controller (i8042)> at port 0x60,0x64 on isa0
atkbd0: <AT Keyboard> irq 1 on atkbdc0
kbd0 at atkbd0
atkbd0: [GIANT-LOCKED]
atkbd0: [ITHREAD]
ppc0: parallel port not found.
sc0: <System console> at flags 0x100 on isa0
sc0: VGA <16 virtual consoles, flags=0x300>
vga0: <Generic ISA VGA> at port 0x3c0-0x3df iomem 0xa0000-0xbffff on isa0
ukbd0: <ServerEngines SE USB Device, class 0/0, rev 1.10/0.01, addr 2> on uhub3
kbd2 at ukbd0
ums0: <ServerEngines SE USB Device, class 0/0, rev 1.10/0.01, addr 2> on uhub3
ums0: 8 buttons and Z dir.
Timecounters tick every 1.000 msec
ad4: 152587MB <WDC WD1602ABYS-19B7A0 02.03B03> at ata2-master SATA300
ad6: 152587MB <WDC WD1602ABYS-19B7A0 02.03B03> at ata3-master SATA300
GEOM_LABEL: Label for provider ad4s1a is ufsid/4ac34708e74f3c9d.
ar0: 151634MB <DDF RAID1> status: READY
ar0: disk0 READY (master) using ad4 at ata2-master
ar0: disk1 READY (mirror) using ad6 at ata3-master
SMP: AP CPU #1 Launched!
GEOM_LABEL: Label for provider ad4s1d is ufsid/4ac347082c9ca502.
GEOM_LABEL: Label for provider ad4s1e is ufsid/4ac347086b1b1f9b.
GEOM_LABEL: Label for provider ad4s1f is ufsid/4ac347081d0fc866.
GEOM_LABEL: Label for provider ad4s1g is ufsid/4ac347080795e566.
Trying to mount root from ufs:/dev/ar0s1a
ipfw2 (+ipv6) initialized, divert loadable, nat loadable, rule-based forwarding disabled, default to deny, logging disabled
em0: link state changed to UP
# Xorg -configure # xorg.conf.new を作る。 # cp xorg.conf.new /etc/xorg.conf最初マウスが動かなくて困ったが、 FreeBSD 7.2 X11設定 の通り、xorg.conf に
Section "ServerFlags" Option "AllowEmptyInput" "off" EndSectionを入れたら無事起動した。
有田町の県窯業技術センター（勝木宏昭所長）が、光触媒物質の酸化チタンを用いて、サリンや炭疽(たんそ)菌などを短時間で安全に無毒化する除染剤を開発した。たいへん素晴らしい成果であるが、 粉末のナノ粒子は鼻から嗅覚神経を通って脳に蓄積される こともわかっているので、 まあ、サリンよりは安全なんだろうけど、記事のように[snip] 除染剤は、この技術を応用したゾル（微粒子が分散した液体）と粉末。数ナノ・メートル（ナノは１０億分の１の単位）から数十ナノ・メートルの酸化チタンを、結晶を維持しながらさらに微細化し、全体の表面積を増やすことで毒性の分解速度を通常の１・９〜２・５倍に高めた。
酸化チタンは塗料の白色顔料や化粧品、食品添加物などに利用され、無毒で事件現場に人がいても散布できる。という程安全とも思えんなあ。
パパは小学生の頃「Q あまり R」の「あまり」と書くのがめんどくさくて、
ものすごく嫌いだった。
そのうちどこかで「Q ... R」という記法を習うんじゃなかったかな??
帯分数も嫌いだった。
兄から
「中学では帯分数など使わない」
というのを聞いて、
どんなにうらやましかったことか。
あと円積円弧の計算で 3.14 を乗算するのもめんどくさかった。
「中学では 3.14 をかけたりしないでπで代用する」
と聞いて、
「大人ってずるい!!!」
と思ったものだ。
もちろん今では数値計算するなら
「だいたい 3 倍(誤差 -5%)だな」
となる。
ゆとり世代ではないのだが。
先生が休みの日、校長先生が算数を教えに来て、
コンパスを使った作図をしてたのだが、
姉は先生に言われる前にどんどん先にやってしまい、
先生に
「姉さんには先生の助手をお願いしたいな」
と褒められたらしい。
妹はパパのスダチを勝手にいじって、お弁当箱に入れて
「ママ、おべんてとくつったよ(お弁当作ったよ)」
と見せるらしい。
色鉛筆セットをもらって、レジ袋に入れて持ち歩いている。
中身がばらけても、キレずにちまちま拾って入れている。
のろいの FreeBSD 7.2!! の巻
5 時間目に渡したのだが、
みんなで見せあったりして大騒ぎになったらしい。
A ばっかりの人。
◯付き A 貰った人、
B ばっかりの人。
不本意な評価を下され、泣いて帰った子もいたそうだ。
姉はよくがんばりました。
そんで今日から新学期。
姉は元気に登校して行った。
秋休み、りんどう湖ファミリー牧場へ行った。 平日なので、空いている。 馬に乗ったのが一番良かったそうだ。 パパも乗馬初体験してみたが、思ったよりも揺れて最初びっくりした。 ももえちゃん♀ 12 歳。 体重は 800kg とのこと。 パパがいくらメタボだからつっても、 自重の 10% 以下ならまあどってことないんだろうなあ。
今回姉の目的はまきば君のぬいぐるみ。
幼稚園の遠足で来たときに、みどりちゃんのぬいぐるみを買ったのだが、
まきば君も欲しくなったのだそうな。
「まきば君(M)くださ〜〜い」
「2400 円ナリです」
「ガビーン」
そんなこんなで、入場料とチケットとみやげと食事で、軽く 2 万円が消えた。
あーあ。
妹は姉という手本がいるからか、なんでもまねして自分でできるようになっている。 風呂に入るよ〜〜と言うと、
おしゃれが好きで、姉が着替えたりすると
「はーたんもおされする(おしゃれする)」
と言って服を持ち出して来る(服を着るのはまだ一人ではできない)。
パパが帰ったら食事中で、
「あ、パパおかえり〜〜」
「ただいま」
「ごはん食べてたの」
と、自分のしてたことを説明してくれた。
「おにいさんおねえさん(おかあさんといっいょのビデオ)見る」
と催促するので見せると、
「おすしのピクニック」等で、例えば寿司が出て来るとそれを指で摘んで、
パパに
「はい、どーぞ」
と取ってくれるのだ。
「いただきまーす、ぱくん、もぐもぐ、あーおいしい」
「ごしゃまは?」←ごちそうさまを言い忘れると、チェックが入る
「ごちそうさまでした」
FreeBSD 7.2 で ghostscript で日本語!! の巻
B1F の龍門で餃子を食べてから会場へ。 姉はダンボールクラフトでアシモ(3 頭身タイプ)を作り、 妹は折り紙のとこで眠くてグニャグニャになってしまいパパが回収。
姉はその後折り紙コーナーでワンピースを作って、
ワンピースの折り図を書いた。
上手に書けたので、飾ってもらったらしい。
妹は機嫌が悪い時に
「◯×なの?」
と聞かれると、
「◯×じゃないの。ありませ〜〜ん」
と答える。
金魚に餌をあげて
「おさかなさん、食べて、ほら」
などとツンツンしている。
つんつんしたら恐がって食べないよ〜〜
姉がリコーダーの練習をすると妹も笛を吹きたがるので、
妹用にもリコーダーを買った。
姉が吹き始めると妹もピーピー吹いて二人で行進したりしている。
LEA-4T 2 台でリアルタイムキネマティック(RTK) GPS!! の巻
さてその LEA-4T の評価キットであるところの AEK-4T を二つゲッチュした。 RTKLIB を使うと、LEA-4T×2 でリアルタイムキネマティック測位(RTK)ができるのだ。 RINIX に変換して、後処理でキネマティック測位も可能である。 こんなに素晴らしいソフトウェアを公開して下さっている高須氏に感謝したい。
1 時間程度定点観測した結果を RTKCONV.EXE で RINEX に変換し、 電子基準点を基準にして基線 130m で後処理 (RTKPOST.EXE) で解を求めた。 標準のパラメータではなかなか FIX 解が求まらなかったりするのだが、
Positioning Mode = Static にすると、 FIX 率 = 72.5% になる。
さらに Solution Type = Combined にすると、 FIX 率 = 98.3% になる。 この時誤差は peak-to-peak で N-S 15cm, E-W 8cm, U-D 25cm 程度である。
AEK-4T の価格は 6 万円だが、それでこの精度が得られるというは素晴らしい!!
感動したッ!!
ちょこっとハックして、それらしいデータが得られるようになったが、
そもそも carrier-phase とか doppler とかの正体を理解してないので、
そこから先がダメダメである。
妹が喜多方ばあちゃんと電話でお話して、
「りんごたべたよ」
と言ったのでおおー! と思ったが、続いて
「◯△□×◯△□×※％＃＆」
となって、ああ〜〜と思った。
新酒!! の巻
nooptions SCHED_ULE options SCHED_4BSDと書くと良いと 教わった。 TANIKAWA さんありがとうございます。
スケジューラがオタンチンなのか〜〜〜。
【小山】卒島の小林酒造で23日、新酒の初搾りが始まった。小林酒造と言えば鳳凰美田。 新酒飲めるぞ〜〜〜。市内には５軒の酒蔵があり、県南の酒どころとして知られる。小林酒造では富山産「五百万石」の新米を使い、９月10日に純米吟醸酒の仕込みを行った。
この日は地元の酒販売店主らも参加。発酵した「もろみ」を木綿の袋に入れてつるす「雫搾り」という手法で搾った。作業が進むと、酒蔵はブドウを思わせるフルーティーで芳醇な香りに包まれた。
この日搾った新酒は来週には店頭に並び、搾り作業は来年５月まで１日置きに行われるという。
妹が変なことしたので
「ははは」
と笑ったら
「はじゃなーい。ありませーん。あうえ◯×△シャキーン!!」
と怒られた。
「シャキーン!」
は
「常日頃からかっこいい、チョコランターマン。シャキーン!!」
のまねらしい。
オイラーとか数学ガールとかゲッチュ!! の巻
複素指数関数 (e^z = e^x cos y + i e^x sin y) は虚軸の方向に周期関数であるから、
その逆関数である複素対数関数は当然無限多価関数になるのであるが、
一価関数と考えるといろんなパラドクスを生じる。
それでライプニッツとベルヌーイが負数と虚数の対数について論争していたのを、
オイラーが一刀両断に解決するというくだり。
高瀬氏の語り口は熱を帯びて感動的ですらある。
そしてオイラーむちゃくちゃカッコいい。
土曜の夜は姉と妹を連れてカプリチョーザに行った。 姉はペンネアラビアータを鷹の爪無しで頼んだ。 「アラビアータ」の意味は「怒りんぼ」らしい。 それほど辛いという意味らしいのだ。 それを鷹の爪無しにしちゃっていいのか?? まあいいでしょう。
妹はカルボナーラを食べた。 つっても取り皿に一杯程度。 残りはパパが食べた。
6 歳の頃からの知合いの あゆちん さんと久しぶりに再会したが、 混雑する時間帯だったのであまり話はできなかった。
いつも店長さんやさっちゃんさんによくして頂いている。
ありがとうございます。
日曜は姉と妹を連れて科学館へ。 出かける前にウェブサイトを見ようとしたが繋がらなかった (後から知ったが、科学まつりというイベントをやってたのだな。 行けなくて残念!)。 姉は自分が見たいのを我慢して、妹に付いて来てくれた。 時々妹をおんぶして歩いていた。 15:00 頃にママが合流して、眠い妹は回収。 だが、駐車場までの間ず〜〜〜っと訳が分からなくなって泣きっぱなしだったらしい。 その後姉とサイエンスショー(マイナス196℃の世界)を見た。
液体窒素で空気が縮む実験を行ったが、
酸素の沸点は -182.96℃なので、酸素は液化したかもしれないな。
カーネーションを凍らせる実験では、姉が指名されて助手になった。
凍ったカーネーションをパリパリと壊して、後になって
「かわいそう」
と言っていた。
姉が妹に風船ヨーヨーを貰って来てくれた。
その一つをパパに差し出して
「パパ、風船どうぞ。はい、一つあげる」
と言っていた。
昨夜は姉が妹を風呂に入れてくれた。
妹が出て来たので
「おねえちゃんとお風呂楽しかった?」
と聞くと
「嬉しかったよ」
と言っていた。
ghostscript8 で gdevlips で A3 印刷ができない!! の巻
印刷には a2ps-j の A3 対応版 を使っているのだが、そもそも出力が A3 だってのがダメなのかもしれない。 A4 だと問題無いし。
ghostscript-8.64/contrib/lips4/gdevlips.c を見ると、
一番先頭に lips_media_selection() という関数があり、
どうやら用紙選択しているらしい。
露骨に怪しいじゃないですか。
この関数に渡される width, height を printf() デバッグしたところ、
A3 の時、関数が期待している (842, 1190) ではなく、
(842, 1191) という値が渡されてしまい、A3 の判定に失敗しているのだ。
それで s/1190/1191/ してみたら無事解決!!!
ではなんで ghostscript7 じゃ問題無かったのだろうと思い調べると、 gdevlips.c の内容は全く同じだが、 ports/print/ghostscript7/files/patch-lips:gdevlips.[ch] というパッチがあって、 そのおかげで発症しなくなっているのだ。 パッチの素性は CANON LBP について#その他の情報 (11/06 2003) に書いてあるもののようだ。
てことは 8 の ports を作る時に抜け落ちたのだろうか。
なんだよちゃんとパッチも引き継げよ!!
このパッチは絶対に必要!!
東京地検・最高裁殿!!
被害者は恣意的頭痛!!
激しすぎる集団催眠暴行!!
キリンホールディングスは26日、2010年をメドに国内のビール工場２カ所を閉鎖すると発表した。 [snip]ビール工場の閉鎖は10年ぶりとなる。閉鎖するのは石川県白山市と栃木県高根沢町の両工場。従業員数は計約330人。
キリン栃木工場閉鎖は来年10月末 正社員は配転へ (下野新聞)
キリンビールの田村潤副社長らが26日、宇都宮市内のホテルで記者会見し、同社栃木工場（高根沢町花岡）を２０１０年10月末をめどに閉鎖することを明らかにした。従業員２０１人のうち、正社員１４８人は取手（茨城県）、横浜など関東の他工場を中心に配置転換し、53人の期間従業員は閉鎖時で雇用契約を終了する。あらまあまあ。 高根沢税収激減だな。
妹を御風呂に入れてる時、
湯舟の外にいた妹が水を手にすくって、湯舟にいれて
「ほら、ごはんだよ、食べてね」
と言っていた。
時々金魚の餌やりをさせてるんだけど、そのマネかな??
時々なんだけど、オムツを履かせようとすると、
「にげる〜〜〜」
と言って走って逃げて行くことがある。
いや、粗相されるとホントに困るから。
FreeBSD 7.2 ののろいを解く!! の巻
ports/misc/dnetc というのは、空いている CPU パワーを使い、 グリッドコンピューティングに参加するためのクライアントである。さて FreeBSD 7.2 ののろいを解く鍵はスケジューラ との情報を頂いたので、スケジューラを SCHED_4BSD にしてみた。 ↓こんなファイルを作ってdnetc のポリシーは 「CPU が実行すべき仕事がない(idle)なら、その時間を dnetc のコードを実行するために貸して下さい」 という控え目なものである。 dnetc は自分の priority (実行優先度)を低く設定するので、 他のプログラムが実行中であれば、dnetc のコードは殆んど実行されない。 他のプログラムの実行を邪魔しないように作ってあるのだ。
にもかかわらず、FreeBSD 7.2 では dnetc が動いてると、 他のプロセスが大変遅くなるという、恐ろしい呪いがかかっているのである。 (実は初代 Xserve にも同様の呪いがかれられていた。)
# cat /usr/src/sys/i386/conf/NOULE include GENERIC ident NOULE nooptions SCHED_ULE # ULE scheduler options SCHED_4BSD # 4BSD schedulerカーネルをビルドし直す。
# cd /usr/src; make -j 4 KERNCONF=NOULE kernelさてその効果は如何に!?!? 待て次号!!
時間の計測は次の方法で行う。
# cd /usr/src; /usr/bin/time make -j 4 kernel > /dev/null結果
(1) 2715.61 real 1197.64 user 82.10 sys (2) 890.55 real 1197.11 user 127.79 sys (3) 915.99 real 1191.68 user 119.11 sysわかったこと。
dnetc は分かりやすい例だったが、
恐らく高負荷時には同様の現象が起きるのではないだろうか。
SCHED_4BSD にしとくのが無難かもしれない。
まず、dnetc だけが実行中の場合。 in (割り込み回数) sy (システムコール回数) cs (context switch 回数) に注目。 最後の 3 つ us sy id はそれぞれ、
procs memory page disks faults cpu r b w avm fre flt re pi po fr sr ad4 ad6 in sy cs us sy id 1 4 0 147M 582M 0 0 0 0 0 0 0 0 5 854 497 100 0 0 2 4 0 147M 582M 0 0 0 0 0 0 0 0 2 851 514 99 1 0 2 4 0 147M 582M 0 0 0 0 0 0 0 0 2 854 478 100 0 0 2 4 0 147M 582M 0 0 0 0 0 0 0 0 1 854 476 100 0 0 2 4 0 147M 582M 0 0 0 0 0 0 0 0 2 854 479 100 0 0 2 4 0 147M 582M 0 0 0 0 0 0 0 0 1 854 476 100 0 0
条件(1)。 システムコールが 3000〜4000 回程度、cs が 500〜600 時々割り込みが増えると 1000回。 なんか cs が思ったより増えないなあという感想である。 id(%) は 0% のまま。 全力でユーザコードを実行しているはず。 なのになんでこんなに遅いのだ!?!?
procs memory page disks faults cpu r b w avm fre flt re pi po fr sr ad4 ad6 in sy cs us sy id 4 4 0 167M 577M 1832 0 0 0 1439 0 0 0 8 4154 607 99 1 0 3 4 0 167M 577M 1463 0 0 0 1275 0 0 0 9 3169 628 99 1 0 4 4 0 171M 581M 1298 0 0 0 1382 0 0 0 122 2989 1186 99 1 0 4 4 0 170M 581M 1299 0 0 0 1160 0 0 0 3 2934 590 99 1 0 3 4 0 170M 581M 1249 0 0 0 1109 0 0 0 2 2801 589 100 0 0 3 4 0 170M 581M 1255 0 0 0 1121 0 0 0 56 2833 761 99 1 0 3 4 0 167M 581M 1218 0 0 0 1091 0 0 0 7 2781 575 100 0 0 3 4 0 175M 580M 1200 0 0 0 1010 0 0 0 3 2762 565 100 0 0条件(2)。 sy が 10 倍、cs は 50〜300 倍(!!)の速度になっている。 sy(%) が 10〜20% まで跳ね上がる。 ディスクアクセスが多かったり、並列 make がうまく機能しないので id(%) が増えている。 本来であれば、この id(%) の分を dnetc が借りて実行されるはず、なのである。
procs memory page disks faults cpu r b w avm fre flt re pi po fr sr ad4 ad6 in sy cs us sy id 1 4 0 159M 574M 19252 0 0 0 16869 0 0 0 30 80874 25092 37 20 43 1 4 0 159M 573M 18489 0 0 0 17630 0 0 0 32 23865 24094 41 12 48 3 6 0 185M 556M 12115 0 5 0 11396 0 0 0 109 24609 17212 39 16 45 6 5 0 184M 556M 13600 0 1 0 13634 0 0 0 109 7268 53815 93 6 1 4 6 0 193M 548M 18353 0 0 0 18088 0 0 0 138 8491 133203 88 9 3 4 6 0 190M 549M 18205 0 0 0 18407 0 0 0 447 8502 47072 84 11 5 3 6 0 183M 548M 20576 0 0 0 20594 0 0 0 23 9814 136072 86 10 3 4 7 0 207M 533M 14694 0 0 0 14036 0 0 0 14 6328 36742 92 8 1条件(3)。 sy は 3000〜30000回、cs は 900〜1500 時々 3000回。 sy(%) は 15% 以下、id(%) は 0% である(美しい!!)。
procs memory page disks faults cpu r b w avm fre flt re pi po fr sr ad4 ad6 in sy cs us sy id 2 7 0 162M 895M 9578 7 40 0 8881 0 0 0 235 18844 1780 94 6 0 4 4 0 180M 879M 13822 6 23 0 12993 0 0 0 571 16612 2905 91 9 0 4 4 0 176M 873M 15119 0 0 0 15498 0 0 0 337 15503 1777 91 9 0 4 4 0 174M 866M 22138 0 0 0 21028 0 0 0 711 24808 3467 87 13 0 4 4 0 181M 857M 23418 0 0 0 22199 0 0 0 166 26447 1691 87 13 0 5 4 0 171M 852M 22162 0 0 0 21444 0 0 0 131 29389 1449 85 15 0 5 4 0 168M 846M 21883 0 0 0 21076 0 0 0 143 27605 1524 86 14 0 4 4 0 181M 838M 21471 0 0 0 20716 0 0 0 155 26042 1513 87 13 0
もう一つのテスト。 ディスクのパフォーマンスを測定する ports/benchmark/iozone というのがある。 これを入れて SCHED_ULE カーネルで実行すると、
$ iozone -a -g 1Mのように標準出力をリダイレクトしないで pty に表示させると、目に見えて遅い。 だが
$ iozone -a -g 1M > aaのように標準出力をファイルにリダイレクトすると一瞬で終わる。 pty への出力により、まめに context switch が起きるのであろうが、 一度 CPU を手放すとなかなか次の CPU が回って来ない感じなのである。
以上のことから、SCHED_ULE は
図書館で「秋冬の植物」等の図鑑を借りて来たが、
肝心の現地調査がカリキュラムの都合でまだ実現していない。
近々行く予定とのことで、姉はてるてる坊主を作っていた。
![[てるてる坊主]](p/20091028/0.jpg)
妹はキッチンの流し台に登るようになった。
汚いっつーの。
危ないっつーの。
妹語録。
「くすったい(くすぐったい)」
「おしま(お星様)」
「おかき(お絵書き)」
「スロート(ストロー)」
「どいまして(どういたしまして)」
正しくなりつつある。
「いったまーす」→「(両手を合わせて)いただきます」
「ごまま」→「(両手を合わせて)ごちそうままでした」(←惜しい!)
「おしゃむみ」→ママが「おしゃむみ」と言ったら「おやすみだよ」
正しい。
「おねたんまってー」
「ねーねーおーさまー(王様)」
「はじまりはじまり」
「ジュースいらない、ジュース飲まない」
芸その 1。
右手左手それぞれ親指と人差指を合わせて輪を作り、
その親指の先同士人差指の先同士をに合わせると中央に小さな穴ができる。
その穴を覗いて、
「ちっちゃい四角〜〜」
と覗くまねをしてから、両手を少し離してメガネのようにして、
「めがねになったったーー(なっちゃったー)」(オチ)
芸その 2。
お風呂で椅子をお立ち台にして
妹「みなさん、おはよう」
パ「おはようございます」
妹「今日は、おしりぺんぺんをします。ぺんぺん(両手でおしりを叩く)」
パ「ぺんぺん(パパも自分のおしりを叩く)」
妹「次は、頭。とんとん」
パ「とんとん」
妹「次は、おなか。パンパン」
パ「パンパン」
妹「次は、おめめ」(両手で目を押える)
妹「ばあ〜〜〜」(オチ)
短い・早いからではない!! の巻
岩手大学工学部電気電子工学科の高木浩一准教授らのグループが、４年前から盛岡市玉山区藪川の同市外山森林公園で研究を進めている。 [snip]細かい事だが「電流をかける」とは普通言わんだろ。 「電圧をかける」または「電流を流す」だろ。ヒントは「雷の落ちたところにはキノコがよく生える」という昔からの言い伝え。高圧電流の産業応用が専門の高木准教授は、周波数の高い電圧で細胞などの働きを変える技術を応用、蓄電器（コンデンサー）を４台並べて直列で高圧電流をキノコの菌床や菌を植えたホダ木に流す装置を考案した。
昨年度まで３年間の実証実験では、長さ９０センチ、直径１０センチのシイタケの菌をうえたホダ木に、キノコ発生時期の２週間前から１カ月前の間に５万ボルトから１０万ボルトの電圧を１万分の１秒ほどかけると、発生量が大幅に増えた。ホダ木１本あたりの収量は、電圧をかけない場合に比べ最大で約２．２倍。ナメコで１．８倍、クリタケで１．６倍、ハタケシメジでも１．３倍となった。この１０月にも実験で大量のハタケシメジが収穫できた。
メカニズムの詳細はまだよくわかっていない。高電圧をかけるとがん細胞が「自殺」を始めることが他の研究機関で知られており、適度な強い電流の衝撃を受けて「危機感」を抱いたキノコの菌糸が、子孫を残す本能で活発に生育している可能性があるという。ただ、マイタケは電流をかけると、死滅してしまったという。
植物によっては、実をならせるには養分をあまりやらない方がいいという話も聞く。
電磁波(高圧交流、X 線)や放射線等にかかわる職業の男性には、
女子しか生まれないという伝説もあるが、
そういやウチも女子二人だな。
果して真相や如何に?!?
妹は「ねえたんが来るごっこ」が好きで、
毎日姉に遊んでもらっている。
そのうち真似したくなったのか自分があっちに行って
パパと姉が
「妹ちゃーん」
と呼ぶと
「妹たんが来るぞ〜〜〜」
と姉の真似してやって来た。
姉とパパが
「きゃ〜〜」
とか言って恐がると、満足して姉と交替する。