Bioinformatics の世界 (sequence alignment とか molecular evolutionary model とか、そのへん) で、やたらと日本人・日系人の名前を目にするのはなんでだろう。体感的には、数学・物理・計算機科学の他分野とかと比べると段違いに多いような気がする。計…

なんかツッコミ欄が使えないぽい?*1のでこっちで返信。これとかどうすか。 "God" がこのお方じゃないなんて…っていう辺りは大目に見てあげてください。 *1:「送信」押しても書いたものが追加されず、何事もなかったように日記 page が表示されます。

リンク元 * 2 http://ezsch.ezweb.ne.jp/search/?sr=0101&query=丼 うん、わからん。

bandy incessant by dint of is good company dead in the water ちょくちょく見るけど (bandy は少ないか)、いつまで経っても自分が使いたい場面で頭に浮かぶようにならない言い回したち。こういうのってどうすれば身につくんでしょうね。日本語でもいっぱ…

if( engine == NULL || strlen( engine) == 0) { engine = (char*)uim_get_default_im_name( kik_get_locale()) ; /* (1) */ #if 0 engine = kik_str_alloca_dup (engine); #endif } if( ! find_engine( engine , &encoding_name)) /* (2) */ { kik_error_pr…

mlterm で日本語入力ができないので、いじってみてますよ。im_uim_new() (uim library を動的 load して初期化する関数) が失敗していて、 if( engine == NULL || strlen( engine) == 0) { engine = (char*)uim_get_default_im_name( kik_get_locale()) ; /*…

Presentation で使う道具は悩ましい。LaTeX beamer でないと数式はキモくなるし、しかし beamer では layout とか graphviz との連携とかで必要以上に骨が折れ、肝心の中身に割ける時間が減り、text だらけにしてしまいがちになる。基本的に、構想・順番など…

熱が引いたと思ったら、強烈な下痢と吐き気、眩暈。ちょっと酷いので、校医 (みたいなの) に診てもらおうと、予約を取る。すると予約の当日には随分マシになっている。何のお約束ですか。 診断結果は腸内感染症ですと。ほっといても治るので、水分と電解質を…

食器の「丼」を意味する英単語は bowl です。「豚丼」とかの、料理の一種をさす「丼」は "〜rice bowl" が一般的です。

"-lgcc 見つからんぞゴルァ" な config error が出たら multilib を入れる。

昨日早朝、突然電気が止まった。数時間で直ったわけですが、何が起こったのかと思ってると、mailing list で配信された説明によればリスさんが変圧器に突撃して、こんがり逝っちゃってたそうで… そういうのって絶縁密閉しとくもんじゃないのか?

下の記事書いてて思い浮かべた単語。 slick

どこで読んだか失念した、画期的なゴキの殺害方法。まずいらない紙 (B5〜A4 ぐらい) を用意して、細長い三角帽子を作る感じで大雑把にクルッと巻きます。狭い方の端を、出口を塞ぐように折り曲げ、全体を少し平べったく潰して完成。これを、奴の向いている方…

non-incremental-search を切っておかないと、空の文字列を置換文字列に指定できない。 (defun my-isearch-query-replace-regexp (prefix) (interactive "P") (if prefix (query-replace) (let ((search-whitespace-regexp nil) (my-ireplace-user-quit-sear…

これの続き。結局、紹介していただいた ireplace に搭載されてた機能は全部 emacs 22 の新機能に含まれてるので、必要無いという結論に達しました。これを .emacs に書いて終わり。 (defun my-isearch-query-replace-regexp (prefix) (interactive "P") (if …

Hurricane Ike が直撃しそうだというので避難命令が出ました。とか思ったら大学が独自に出してるだけらしい。周りの家の人とか普通に散歩してるよコレ。 とりあえず耐災害建築の Business School に詰め込まれてます。向こう三日は毎日食堂の飯が三食提供さ…

Emacs 22 で追加された \, 機能が使えなくて困っていたら、自分が query-replace-regexp-read-args を override してたからだった。Emacs 21 のときに query-replace-regexp-read-args を上書きする code を .emacs に書いてたら、22 ではこの関数に \, を処…

大学で、学内 sports の billiards に毎年参加してるんですが、その名簿における私の名前の変遷:Inoe ↓ Inoune ↓ Inone ←今ここ※正解は Inoue母音三連続が理解不能らしい。ちなみにどうでもいいので訂正 email とか送ってません。向こうが勝手に修正し (よう…

Bash script (shell script 全般?) を書いて使っていると、ときどき ^C で止められない、あるいは連打しないと止まらない事がある。bash -x で動かして調べてみると、^C した瞬間走ってた command は死んでいるんだけど、その後に来る command がまるで何も…

昨日から痕が残ってるのを含めると 17 箇所。蚊取り線香炊いてる真っ只中でも咬みつづけられるとかもうね、お前らはどこの耐性菌かと。寝れんやんけほんまこれ。

UUAG で遊んでて見つけた。勿論明示的に宣言すればいくつの tuple でも show できます。 Hugs> show (1, 2, 3, 4, 5) "(1,2,3,4,5)" Hugs> show (1, 2, 3, 4, 5, 6) ERROR - Cannot infer instance *** Instance : Show (f,e,d,c,b,a) *** Expression : show…

Haskell の data 宣言って、infix constructor も作れるのか。知らんかった。 data Expr = V | Expr :+: Expr | Expr :-: Expr deriving Show main = print $ V :+: V --> V :+: V

久しぶりに programming ネタ。必要に迫られてλ算法 (+α) の interpreter を作ってるんですが、それの pretty-print で、えらいてこずったんですよ。Pretty-print と言っても括弧 を可能な限り少なく入れて出力するだけです。Indent とかしません。もっと 具…

の案内が来ました。すぐそこなので、参加しに行ってきます。興味がある方は、是非下記の詳細 page から申し込んでください。案内 email には「弊社社員より推薦された方にお送りしております」とあって、推薦するような人に心当たりが無いんですが、送ってく…

関空の baggage claim で、麻薬犬が通り過ぎてちょっとすると、その犬の行った方向からワンワン吠えてるのが聞こえてきたから、何かアカン匂いを嗅ぎ取ったのかと思ってたら、吠えてたのは乗客の pet だった。

Rice に居座ります。当面は Concoqtion (multi-stage programming + 依存型) を用いた program verification を主に研究します。Systems programming に応用できるといいなあ。 でもこの子たちは license がカスです。そもそも OCaml の QPL 違反です (一応 …

5/12 に日本に帰ります。この夏は 7 月末に一週間ほど出掛ける他は特に予定もないし暇な人遊んで。 それと JTB の里帰り便が安い。おくじさんに情報感謝。

Coyotos/BitC に関わりたいなと思いながら Johns Hopkins の院に願書を出したら、「うん、君入れてもいいかも知れないけど Jonathan 今年で辞めるよ?」って言ってきた。間ぁ悪ぅ。どうも private firm として開発するつもりらしい。

今私は automated software verification からの派生で、力学系の simulation 言語で、系を記述する微分方程式を打ち込めば (一定の条件下でなら) 誤差を自動で見積もって計算結果の精度に関する警告あるいは保証をくれた上で数値的に解いてくれる、というも…

やんなー… 「やが」とか聞いたこと無いし。漫画とかで使われてると胡散臭さ激増。関西の他の地区 (特に大阪; 「関西人」って普通大阪人のイメージらしいし) では使われてるのかと思ったけど、やっぱ印象どおり圧倒的小数派らしい。