2013/01/10

ピアノレッスン77回目

• Bach: Well-tempered Clavier Book I No. 3 (C♯ major)
  • Prelude MM=72。Fugue 八分音符=80。
• Debussy: Pour le piano
  • Toccata 四分音符=88。

速度と正確性を少しづつ上げただけ。時間のかかる作業だ。

Tag: Piano

2013/01/04

歯が割れた

昨年末の話になるが、ひどい口内炎が舌の左側に出来ていたので、 右側ばかりを使って噛んでいたら、何かの拍子に「ぱきっ」と 音がして奥歯がずれた感触があった。舌で探ってみると右上の第一大臼歯が 縦に割れてしまっている様子。この歯は治療歴は無いのだけれど たまに違和感があって、医者からは以前「目視でもレントゲンでも見えないけれど、 クラックが入っているのかもしれない。痛んだら来てください。」とは言われていた。

間が悪いことにかかりつけの歯科医が年末年始の休みに入ったところだったので 結局年明けの今日、朝一で電話して診てもらった。

まず助手の人がチェックする時に問題の歯を一目診て「うわ」。

先生が改めて診て「あ〜〜」。

見事に根っこまでバッキリいってたそうで、 自分で見られないのが残念。

「これは抜くしかないですね…」ってことに。もう痛みだしてるので すぐに口腔外科に連絡してもらって、午後には抜歯。 この後、骨の回復を待ってインプラントの相談をする。

麻酔が効くまで待ってる間にふと思ったのだけれど、『夏への扉』で主人公ダンが 未来の世界で、1970年には考えられないような歯科治療を受けるという話が ちらっと出てくる (具体的にどうしたかは書いてない)。今までなんとなく 未来の治療だからすごいんだろうと思ってたけど、考えてみたら『夏への扉』の 未来は2001年だからもう過去だ。とすればダンはどんな治療を受けたんだろう。

子供の頃は、虫歯は削った後仮の何かを詰めといて後日合金をはめ込むって 感じだった。最近は削ってすぐ何やら紫外線で硬化するものをつけてすぐに終わりだ。 ダンが受けた治療もそういうものだったのかな。 リアルタイムで受けてるからか「そういうもの」って感じであまり未来感が無い。 30年を飛び越して来たらびっくりするような治療なのかもしれない。 未来の治療といったら何か塗っとくと歯が再生するとか、そのくらいを期待してしまうなあ。

でも歯科に限らないか。30年前から現代に飛んできてみんなが小さい手帳みたいな電話を 指でこすりながら 全世界的なコンピュータネットワークに繋がってるのを見たら、 やっぱりびっくりするだろうしな。未来はじわじわとやってくるのだな。

Tag: 生活

2013/01/04

ピアノレッスン76回目

• Bach: Well-tempered Clavier Book I No. 3 (C♯ major)
  • Prelude MM=66。Fugue 八分音符=54。
• Debussy: Pour le piano
  • Toccata 四分音符=84。

Tag: Piano

2012/12/27

Lispと兎と亀

Common Lispのそこそこ大きなプロジェクトにここ3年くらいかかわっていた。

性能とスケーラビリティが売りの製品なんで、処理系依存の低レベルコードや てんこもりの型宣言を大量のマクロで包んでがんがんチューニングしている。 そういうことが出来るというのは確かにLispの強みではあるんだが、 長い目で見たときに果たしてそれがLispにとって良いことだったのだろうか。

主流Lisp方言のコンパイラは確かに80年代とか90年代前半とかには 先端を走っていたのだろうけれど、 そこからあまり大きな進歩が無いように思える。 止まっているわけではないけれど、他のコンパイラテクノロジーの進歩に比べると見劣りする。 ちまちま逆アセンブル結果を見ながらコードをチューンしていると、 もう少しコンパイラが賢くなってくれないかと感じることはよくある。

「コンパイラは余計な気を回すより素直で予測可能なコードを吐くことに専念すべき。 高レベルの最適化の勘どころは人間が知っているのだから」という議論もある。 けれど、ライブラリを書いている時はどういう応用をされるか未知だから 最適化の勘どころもピンポイントではわからない。 また、よく「プロファイル取ってボトルネックとなる関数だけ最適化」って言われるが、 最適化の最終段階になるともう特定の関数がプロファイルで突出してくるってことは なくなってきて、そこからが最適化の本番だ。

結局やって欲しいのは手続き間最適化を含むグローバルな最適化なんだな。 ライブラリにしても、APIにある程度メタ情報を載せといてそれをうまく コンパイラに使って欲しいし。型推論とか。

マクロを使えばある程度ユーザ側で枠組みが作れるけれど、それをやると 吐き出されるコードは巨大なひとつのでっかい関数になっちゃって、 それを逆アセンブルしてさらにチューニングするってのはもう人間の手に負えない。 そういう枠組みでメタ情報 (型宣言など) を活用しようと思ったら、コンパイラが やってることを重複して実装することにもなる。

★ ★ ★

もちろんマイナー言語であるがゆえに割けるリソースが少ないという事情は (自分も処理系を持っているので)重々承知しているが、 それよりも、Lispの柔軟性によって「処理系をいじる前にユーザ自身で何とかできてしまう」 という事実が、かえって処理系の進歩を遅らせたのではないかという気がしてしまう。

新たなプログラマの流入がコンスタントにあり、新たなコードがたくさん書かれている 状況では、処理系をいじって速くすることのインパクトが大きいから、 自然とそこに資源も集まる。

しかし細く長くやってる人間が多数で、 みんなが処理系のツボを心得ている状況だと、各ユーザは処理系の進歩を待つより 目前のコードを最適化する方が効率が良い。処理系作成者も専業で喰ってけなくて 応用プロジェクトを抱えることになると、時間をかけて汎用的な最適化を処理系に入れるのと、 抱えているプロジェクトの性能要件にとにかく間に合わせるのとはトレードオフになる。 目先の稼ぎになるのは後者だ。

また、ユーザレベルでの実装に密着した最適化をほどこしたコードというのは 賞味期限があって、時代を経ると古びてくる。かつては命令数を減らす方が 効いたのが今はキャッシュの有効利用の方が重要になっているかもしれない。 処理系がコンパイル戦略を大きく変えようとしても、 アクロバティックなユーザのコードとの互換性を保つことが 足かせになる場合もある。

Schemeの最近の仕様は静的側に寄っていて、往年のなんでもいじれるLispが好きな 人々には不評なんだけど、コンパイラ作者にとってはそれなりに納得のゆく 選択であることが多い。

結局、特定の時代の特定のアーキテクチャや処理系に向けたチューニングというのは いずれ古びるものなので、それを許すフックまで仕様で決めといても意味がない という割り切りはありだと思う。 チューニング自体が処理系依存にならざるを得ないのだから、 必要なら各処理系ごとに内部へのアクセス手段を用意しておけばいい。

「新しいLisp」を作り、旧来のコードの互換性を忘れて現時点の知見で有望と 思える設計を取捨選択するってのもありだろう。 Clojureはそのへんうまくやっていると思う。

★ ★ ★

確かに現場では、10年20年前のコードがそのまま動くという保証は重要だ。 けれど技術の進歩の中にはdisruptiveなものがあって、 どうしてもそのまま動かすことはできないってことがある。 動かすなら、断絶以前の環境をエミュレートせざるを得ないというものだ。 (典型的なのがSMP対応で、SMPを考慮せずにかかれたライブラリを 「そのまま」シームレスに動かすことはできない。ライブラリ自体に手を加えたくなければ グローバルロックで対応することになるが、それって結局non SMP環境を エミュレートしていることになる)。

で、エミュレートで良いんだったら、例えばうんと性能の良い非互換なLispを作って、 その上に「Common Lispエミュレーション環境」を載せてやれば、 互換性の問題はカタがつくんではないかとも思う。 無論エミュレーションだと性能にハンディがあるけれど、 「互換性が足かせになってCL処理系の進歩が他の処理系の進歩に比べて遅くなる」というのが 真であれば、時間を経るにつれCL処理系の性能と新Lisp処理系の性能の差は開いてゆき、 どこかの時点で「ネイティブCL処理系の性能」と「新Lisp＋CLエミュレータ」の性能が 拮抗することになるんじゃなかろうか。

★ ★ ★

等々、年の瀬につれづれ考えていた。

CLのプロジェクトは、私の関わる範囲は一段落しつつあるので (まだ担当チケットが残ってるんで 休めないんだけど) 来年はGaucheに軸足を戻していろいろ試してみたい。 スケジュールは今のところわりとオープンなので仕事のお話歓迎です。

Tags: Lisp, Scheme, Programming

2012/12/27

ピアノレッスン75回目

今年最後のレッスン。

• Debussy: Pour le piano
  • ToccataばかりやっていたらPreludeががたがたになってしまった。
  • Toccataは八分音符=152。まだ先は長い。
  • Sarabandeは褒められた。先生のところのスタインウェイはppが綺麗に出るので弾きやすい。
• Bach: Well-tempered Clavier Book I No.3 (C♯ major)
  • Prelude MM=60。

Tag: Piano