No Such Blog or Diary

作業用マシンを 10.04 LTS から 11.10 に移行することにした．クリーンインストールで．

とりあえず，Unity になれない．Mac OS と同じくグローバルメニューになっている点が非常に慣れない……　とも思ったのだけど，よく考えるとメニューを直接叩く機会はあんまりないので問題ないかなという気がしてきた．まあ，このままつきすすもう．

Twinview で両画面にグローバルメニューが分割して現れるのは仕様なのか？　同じインジケータが両画面に現れていて無駄なのだけど．

とりあえず TeX まわりの環境が一発で整ったのはありがたい．

バージョン上げたらコンパイラが賢くなったので誤魔化しを見抜かれた．これまでは見逃してたくせにっ！

あー，めんどくせぇ．

全種類また試したいなぁとか思ってネスプレッソブティックに行って「16種類全部1本ずつください」してきた．おまけでカプセルボックス付き．

とりあえず，やっぱりロサバヤでいいやという結論．

結構悩んだ．そもそも嫌いな物を思いつくとか難しい気がするのだけど，悩んだ結果 perl が一番嫌いなんじゃないかと．「使いたくない＝嫌い」という解釈で．任意の目的に対して積極的に使用を回避したくなるのは perl しか思いつかん．

以下，答えを探している最中の思考．

sed：ロマン．頭の体操．やればなんでもできる便利な子．ワンライナーに必須．

C++：速い．演算子オーバーロードは素晴らしい．template で頑張るととても楽しい．

Haskell：遅延評価バンザイ．型推論バンザイ．高階関数バンザイ．参照透明バンザイ．

Java：どこでも動く．GCは素晴らしい．遅くない．リフレクションで頑張るととても楽しい．

awk：数値を使うワンライナーに便利．

bash：言語かこれ？　バッチ処理には十分．

Python：キレイなスクリプト言語．

アセンブリ言語：速度のために必須．インラインで使うけど．

Lisp：なんでもありの素晴らしき自由．mix．eval/apply．

FORTRAN：良くも悪くも数値計算に必要十分．

C言語：真のC言語は安全．union は素晴らしい．#define で頑張ると楽しい．

OCaml：高階関数とか型推論とか欲しいけと遅延評価とか要らないし汚いことしたい時用．

php：web に関連するものならこれで．HTML との親和性が一番良いんじゃないかなと．

JavaScript：ブラウザで動くLispだよね．

閑話休題．

これを次の自己紹介の項目に入れよう．

テンプレートは透ける．変換したらこーなった．

閑話休題．

理論の実証のために，いくつものデータ型に対して同じようなクラスやインスタンスやゴニョゴニョを沢山書く必要があった．が，それらはデータ型の定義さえ手に入れば機械的に作れるものなので，二個目の型に取りかかったあたりで面倒＆馬鹿らしくなってきた．

ということで，定義を生成するプログラムを Template Haskell を使って書きだしたのだけど……　こっちはこっちでめんどくさい．わかりやすいドキュメントがあるのか無いのか．つか，データ型を渡して型クラスとかインスタンスとかを生成させるという使い方（つまりは deriving のようなことをさせるの）は正しいのかどうかよく分からん．

とりあえず別の手法にいったほうが良いかも知れないなぁ．

The Cocke–Younger–Kasami (CYK) algorithm (alternatively called CKY)

とりあえず CMYK と同じ順番でいいのね．

どうでもいいけど Haskell で書くとメンドイ．