ということでインタラプトされながらstraceとかして調べてわかった（つもりの）こと： LDAPによるUNIXアカウント管理／認証は、nscdがいないと遅い。 あと、システム全体やLDAPサーバの起動・再起動等で、LDAPサーバが動作していないと、rootとかldap自身と…

相変わらずよく子供の鼻水が出るので吸っているのですが、鼻吸い取り器を嫌がる状態から進化して、先端を奪い取って自分の鼻に当て、吸う方だけ親に吸わせるようになった。しかも鼻詰まりのツボがわかるのか、そのほうがよくとれる。いや、もう鼻吸い取り器…

年末年始は仕事があっても大学に行けないので、自宅からシステム管理や実験をせざるを得ないのですが、子供が遊んでくれとせがむ、おしっこやウンチをする、物を投げたり壁に落書きしたり等のいたずらをする、寝ているときに咳き込んで吐いてしまう、等々の…

とある自動生成されたJavaプログラムで、 while (true) { ... if (xxx) {} else {break;} }と while (true) { ... if (!xxx) {break;} else {} }みたいな二つのコードがあったのですが、前者のほうが後者より20％ぐらい遅くて悩まされました。いや、そこまで…

相変わらず（？）higeponさんがすごい猛勉強家だ…（いや、いつものこと:-)ですが）。http://d.hatena.ne.jp/higepon/20071228/1198855557 http://d.hatena.ne.jp/higepon/20071228/1198815405A正規形とK正規形の違い: let式の=の右辺に、またlet式が出てきて…

クリスマスイブと言えばシステム管理ということで、また必要に迫られてド素人オールドタイプの私がLDAPの俄か勉強をしているので、いいかげん（「良い加減」ではない）にメモします。必要があれば自由に追記する予定。嘘や間違いがあったら教えてください（←…

Viewpoints Research Institute（Alan Kay氏のグループ）のIan Piumarta氏と、Gauche開発者の川合史朗氏（Scheme Arts）にご快諾いただけました。よろしくお願いします。http://www.nue.riec.tohoku.ac.jp/ppl2008/P.S. お二人の講演タイトルと要旨が掲載さ…

携帯電話の機種変更をしたときに、端末代金が割り引きになるというのでカードを作って1円も使っていなかったのだが、今月になって「貸金業法改正でキャッシングの金利を引き下げ（リボルビング払いと分割払いの手数料は引き上げ）」とか「ポイント2倍キャン…

社会保険庁（の職員）や政治家が悪い、とのたまう「ニュース」ばかり目にするのですが、企業や組合のミス、加入者側の手続き忘れ以外が第一義的原因で「名寄せ」できない（と思われる）ケースは果たして何％ぐらいあるのでしょうか。マスメディアは素人レベ…

ebookjapanにジパング少年が追加されていた。一時期古本屋では最後のほうの巻にプレミアがついていたような気もするのだが、いつの間にかAmazonでもわりと簡単に揃うようになっていたらしい。知らない書店が出品して値崩れした？P.S. 序盤は単なる「校則反抗…

これも全然門外漢ですが（そればっか）、 http://d.hatena.ne.jp/lethevert/20071214/p1 ■ReflectionとIntrospection の違いがよくわからない。 Java以前（3-Lispなど）の本来の用語としては、「reflection（自己反映） = 対象レベルからメタレベルを操作す…

POPL 2008（サンフランシスコ）へ何とか行けることになったのですが、学会指定のホテルを含め、会場周辺のホテルはどこも高くて、宿泊費（大学の旅費規程により地域ごとに一定金額）が大幅に不足します。誰か人を探して二人で一緒の部屋に泊まれば何とか足り…

今年はプログラム委員を引き受けすぎて、論文の査読ばかりしていました。とある話のついでに数えてみたら68本でした（一応全部国際学会。APLASはややローカルですが）。しばらくプログラム委員はしません…（すでに某2008や某2009のプログラム委員を断りまし…

シンガポールといえばオオアリクイということで、お土産に買ってきたオオアリクイのぬいぐるみが子どもに好評です。いつもはお昼寝から起こすと機嫌が悪くて大変なのですが、オオアリクイでツンツンして起こすとケラケラとゴキゲン。パッと目が覚めたら目の…

すでに各所で話題になっていますが、最近流行(?)のMD5のコリジョンを応用・拡張し、PlayStation 3のCellプロセッサを使って相異なるPDF文書に適当なダミー・データ（表示されない）を付け加え、MD5署名を一致させることに成功したようです。http://www.win.t…

http://gihyo.jp/book/2007/978-4-7741-3264-8プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~作者: 五十嵐淳出版社/メーカー: 技術評論社発売日: 2007/11/29メディア: 単行本（ソフトカバー）購入: 11人 クリック: 169回この商品を含…

前にフィボナッチ数列（というか三項間漸化式）が高校数学の標準カリキュラムから消えていると書いたのですが、ふと検索したら↓なるページを発見。これ以外にも算数関係のページが多数ヒットします。http://www.nichinoken.co.jp/column/essay/essay_0707.ht…

あまり人のことは言えませんが、いろいろな有名ブログや書籍・テレビでも、「わざと問題のある言動や正確でない議論をして注目を集め、アクセス数や視聴率等を稼ぐ」という手法がちょっと氾濫しすぎではないかと思う今日この頃。まったく知りませんが亀田家…

久々に自分の体重をはかる。時間と気力がなくて運動していないので、さぞかし太ったかと思いきや、むしろ少し減っていた。子供（現在10kg強）を抱っこしたり、公園で遊ばせたり、おむつや着替えで日常的に部屋中を追い掛け回しているためと思われる。 子供の…

遅くなりましたが、APLAS 2007でシンガポールへ行ってきました（ただし個人的都合で、自分がchairだったポスターセッションのある1日目だけ）。プログラムからもわかるように、必ずしもアジアだけでなく、特にヨーロッパからの発表者・参加者が多かったと思…

http://blog.livedoor.jp/dankogai/archives/50958771.htmlうーん、本当に任意の自然数nについてfib(n)を求めるのであれば、通常の意味での計算量*1はO(n)未満になるわけがないのですが（自然数mを出力するだけでO(log(m))の時間がかかる）、 一定の有限範囲…

よく民放のニュース番組（ワイドショー？）などで「国民の税金何億円／何千万円／何百万円がどうこう」のような話題を延々とやっていて、いわゆる「税金の無駄づかい」が言語道断であることは（もし本当に無駄づかいであれば）当然なのですが、それでも強い…

一部で話題になっている件。この日記でもすでに何回か↓出てきましたが、やはり「博士号を取る」*1なんて目標を設定してしまうと、「国内ジャーナル論文を通す」などという夢のない（というか志の低い）話になってしまうのではないかと思います。博士課程なら…

赤ちゃんが生まれてからDVDを見たりゲームをするような時間は皆無（完全に０）だったのですが、子供がわりと安定して(?)早く寝るようになったので、久しぶりに借りてきました。素人目にはBefore the Rainと話が似ているような気がしたので同じ人かと思ったら…

http://www.thinkit.co.jp/free/article/0711/4/なる連載を発見。Scalaの回が特に面白い。 これらを踏まえてScalaが依然として静的型付け言語であるということを思い出してほしい。「動的言語の特徴のように見える物」が、実はそうでもないことがみえてくる…

http://www.news.com.au/heraldsun/story/0,21985,22556281-661,00.html (via http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20071119#p01)時計回りにしか見えない…追記：じーっと見ていたらいつの間にか逆回りになった。まばたきしたら元に戻った。追記２…

公開されました。http://itpro.nikkeibp.co.jp/article/COLUMN/20071101/286199/?ST=develop要するに情報科学科の授業で必ずやるような、教科書的λ計算の話なんですが、 論理値や自然数のChurch encodingで、「なんでそんなλ式を思いつくのか」という発想を…

http://www.atdot.net/~ko1/diary/200711.html#d15手近に64ビット環境がない＆ちゃんと見ていないので外しているかもしれませんが、http://gcc.gnu.org/bugs.html#nonbugs_c ("Casting does not work as expected when optimization is turned on.") http://…

Typesメーリングリストより： As many of you know, the R6RS has recently been ratified by the Scheme community. Along with a much larger language, the Report now includes an operational semantics for a large portion of the language including…

http://www.logos.ic.i.u-tokyo.ac.jp/lectures/enshu2006/index.php?%A5%C8%A5%C3%A5%D7 http://www.logos.ic.i.u-tokyo.ac.jp/lectures/enshu2007/index.php?%A5%C8%A5%C3%A5%D7 (via http://secure.ddo.jp/~kaku/tdiary/20071113.html#p03)どう見てもτさ…