arton (Tajima, Akio)

(時事解説) shiroさんが召喚されたという点が、今回の発端となった(と僕は読んだけど)『変数に型がないということの利点について考える』の一番の成果だったのではないだろうか。 最初にshiroさんは、変更に対する強さというものを、平衡状態の長短として考えることを提案する(『型付けと変更の時定数』)。強い型付けであれば、非平衡状態は比較的すぐに解消する（ただし非平衡状態では実行できない）。弱い型付けであれば、非平衡状態でもそれなりに実行できる。 読んで考えた。これは実体験としてわかる。 それまでchar buff[]だったものをstd::string buffに修正する必要が仮にあったとすれば、とにかく宣言を先に変えてしまう。そしてmake cleanしてmakeし直せば、少なくとも修正しなければならない箇所はその時点ですべて網羅できる（もっとも、表面的にしか直せない場合も結構あって、おそらくそういう場合があるということは、うまいこと言語の特徴を生かしてコードを書いていないということなのだろう）。 逆にいうと、修正している時点では、その修正中のソフトウェアを実行することもできない（.. - arton (Tajima, Akio)

子供が多分、NHKの新春オペラでランスへの旅の多重唱を見て気に入ったのか、オリー伯爵が観たいと言い出し、おれもちょっと興味を惹かれたので購入したDVDを観た。 Le Comte Ory [DVD] [Import](Rossini/Joyce Didonato/Diana Damrau) ロッシーニ版ドンジョヴァンニということなのだが、ジャケットの修道女に変装したフローレスがあまりに奇妙だし、共演がディドナートやダムラウと、無駄に豪華だし、さてどんなオペラなのか。 観てびっくりだ。くだらねぇぇぇ。こんなくだらねぇ作品にフローレス、ダムラウ、ディドナートって、どれだけメトは贅沢なんだ。 ロッシーニっぽい、どうでも良い歌詞を無駄に軽快な曲想にのせてえんえんと繰り返すし、それをまたフローレスが驚くほど美声で歌うし、特にコロラットゥーラが必要でもないのにダムラウがなんというか落ち着きがある高声で歌うし、しかも脚本のばかばかしさはあきれ返る。 オリー伯爵と25人の騎士が、主が十字軍遠征で不在なため男性立ち入り禁止となった城の女伯爵目当てで修道女に変装して乗り込む。 侍女の大将が見回りにく.. - arton (Tajima, Akio)

アスキーの鈴木さんから緑の本をたくさん頂く。 で、薄さと題にひかれて『自律走行ロボットカーを作る』を読み始める。 微妙なのはLabVIEWというシステムが必要な点で、7日は無料で延長もある程度できるのだが、ここはハードルかも。で、取り敢えず、あるつもりで読み進める。 Squeakみたいなものだなと読み進めると(もちろん、普通にテキストベースのプログラミング言語のほうが楽だな、と考えるわけだ)、突如、並行実行を記述するのにはレーンがあるから、これもありだなと気づく(逆にシーケンスの導入の箇所でだが)。でも面倒臭そうだ。 2章にはいるとセンサーからのデータ取り込みについてとなる。LabVIEWもそうだが、ナショナルインスツルメンツという会社の製品の公式プログラミングガイドのような位置づけの本なのかな。 3章。リアルタイム。RTモジュール上での実行方法で始まるが、スレッドのプライオリティについてといった解説が入る、タイミングループ。確定性。 4章。FPGAプログラミング。ターゲットはNI sbRIO-9626。 5章。ロボットカーの前編。モーター制御とロボティクスモジュールの説明。 6章.. - arton (Tajima, Akio)

妻が結局我慢しきれずに購入したので読んだ。意外に読み応えがある(トートバッグ抜きでどうよと聞かれると答えにくいが)。 MOOMIN公式ファンブック SPECIAL BOX LOVE! リトルミィ (e-MOOK 宝島社ブランドムック) 何と言っても『リトルミイは人を変えようとは思わない』。 というようなミイの7つの特徴を紹介した見開きがあってうまくまとまっているのだが(大伴昌二のマガジン記事の後継のようだ)、『リトルミイは体は小さくても心はタフ』の項では、漂流しているところをスナフキンに拾われたような記述があって、はて実の妹じゃなかったのか？ と不思議に思う(人物の相関図があるので謎は解ける)。 小さなミイを見て、ミルクしか飲まないのでは？ というスナフキンの問いに、バカにしたように笑ってすぐさま目の前でコーヒーをスプーン2杯飲み、豆を4粒食べてみせます。 いずれにしてもミイは好きだ。 - arton (Tajima, Akio)