ひととき。底へ落ちる感じはいつも嫌。ちょうど、4 番から 5 番への、あの。

わけわかめ。そもそも一階述語論理との対応からしてピンと来ないなぁ。今度 30 分でできる某氏に聞いてみるか... ついでに SVM についても詳説願いたいところ。

今日は某ラーメン屋のつけめんを初めて食べた（今月は食べ過ぎだな）。聞いていた評判ほど悪い印象は持たなかったが、不思議なことにつけめんの方が普通のラーメンより 110 円も高い。麺を冷たくするのには確かに手間が掛かるが、冷却料が 110 円というのも…

std::vector やら java.util.Vector*1 はスペースが足りなくなると 2 倍に膨れるのだが、今まで自分でそういう構造を書く時には、何となく定数ずつ増量するようにしていた。でも、よく考えたらそれだと要素の追加が償却定数時間にならないっぽい。それ直した…

Apple のソフト紹介ページに Google Earth が載っていた。ベータ版らしいが、バージョン 4.0.1694.0 って何やねん。

朝から目が痛い。たぶん画面の見過ぎだろう。目薬をさしたら大分おさまった。

今日は 29 日ということで。合ってるかどうかは知らない。 [補題 1] 任意の正整数 n について、J(2n) = 2J(n) - 1 かつ J(2n+1) = 2J(n) + 1 [証明] 前者を示す。人数が偶数 2n の場合、1 巡目で偶数番目の人が除かれ、n 人だけ残る。2 巡目以降で最後まで生…

今日は地下で論文を馬鹿みたいに大量印刷したので、帰りの電車の中でさっそく読もうと思ったが、急に眠くなったので已むなく断念した。電車では寝られるのに家では寝られないというのは不合理だと思うのです。ええ、もうこんな時間です。

読む度に思うのだけれど、Java の API リファレンスの翻訳はどうやってるんだろう。機械翻訳にしては質が高すぎるし、手作業で翻訳してるにしては妙な訳が多い。機械の出力を人間が修正してるのかなぁ。 まぁ何にしても、あの量のテキストに翻訳が存在してい…

連休になると昼夜逆転する体質をどうにかしたい。無理かねぇ。

目にはさやかに見えねども。

`````kskksk今日も食べてしまった...。

まったく何もやる気がしなかったので、今日は一日ぐぅたら生活。燃え尽き症候群か（違 つか明日は面接なのだった。待ち時間には課題が出来るといいんだが。

なんか最近プログラムの記事ばっかなので、今日は趣向を変えると見せかけてまたプログラムの記事。Church 数の前者関数は、ペアを使って let pred n = fst (n (fun (x,y) -> (y,y+1)) (0,0))みたいにすると割と簡単に作れるものの、かなり複雑になる。機械的…

```s``s``s``s`ks``s``s`ks``s`kk`kd``s``s`ks``s``s`ks``s`kk`ks``s``s`ks ``s``s`ks``s`kk`ks``s``s`ks``s``s`ks``s`kk`ks``s``s`ks``s``s`ks``s`kk` ks``s``s`ks``s``s`ks``s`kk`ks``s``s`ks``s``s`ks``s`kk`ks``s``s`ks``s`` s`ks``s`kk`ks``s``s`ks``s`…

(define (quote x) (cons (lambda (x) (lambda (y) (lambda (z) ((x z) (y z))))) x)) (define (quasiquote x) (cons (lambda (x) (lambda (y) x)) x)) (define (unquote x) (if (null? (cdr x)) (car x) (cons ((cadr x) (car x)) (cddr x)))) (,,,,,`,`'`,…

public class Main { public static void main(String[] args) { System.out.println(((...たくさん...("Hello, world!")...たくさん...))); } }うちの環境では約 14,000 個が限界でした。いいなぁこの手作り感。あと、Java では同じコードでも実行する度に…

正整数 n, m について、 class A<T> { <T> T f(T x, T y) { return x; } <T extends A<A<...<T>...>>, S extends A<A<...<S>...>>> // ↑ A が n 個 ↑ A が m 個 void g(T x, S y) { int z = f(x, y); } }を javac に通し、エラーメッセージに含まれる“?”の個数から 1 を引く。</a<...<s></t></t></t>

今日の記事が長いのは現実逃避ですか？

誰も突っ込んでくれなかったので（無念）すっかり忘れてたけど。 (define X (lambda (x) (lambda (f) (f (lambda (y) (((x x) f) y)))))) (define Y (X X)) (define fact (lambda (f) (lambda (n) (if (< n 2) 1 (* n (f (- n 1))))))) (display ((Y fact) 1…

（gcc 拡張でない）C99 として正しい？ enum { k = 0 && (1 / 0) }; void f(void g(void *())) { int a[][3] = { 1, 2, 3, 4, 5, }; char s[] = { "Hello" }, c = { 1 }; }

院試に備え、C 言語で機械語を書く方法を勉強した。「char main[] = "機械語列";」。せっかく勉強したのだから試験に出るはずだ。4 問目あたりに出る。そうでなければ面接で聞かれる。

gcc 4.1.1 にて。 #include <stdio.h> int x = (int)(1./0.); int main() { int y = (int)(1./0.); printf("%d %d", x, y); return 0; }a[1/0];(by id:namasute0)</stdio.h>

実行結果は何でしょう。 Java： public class Main { public static void main(String[] args) { Integer Integer = 1; System.out.println((Integer)Integer); System.out.println((Integer)-Integer); System.out.println((Integer)(Integer)-Integer); Sy…

地下に来てみたら人がいっぱい。 ていうかもう明後日ですね。信じられないね。信じてないけどね！

class A<T> extends B<T,B<T,A<T>>> { } class B<T,S> { } class C<T extends A<A<T>>, S extends A<A<A<S>>>> { <T> T lub(T x, T y) { return x; } A<T> x = lub(new A<T>(), new A<S>()); }上のプログラムを javac に食わせると何が起こるでしょうか。 構文エラーが報告される 型エラーが報告される その他 それで</s></t></t></t></a<a<s></t></t,s></t,b<t,a<t></t>…

主にリスニングを練習するらしい。さすがに同じ会社が出してるだけあって、操作性は脳トレとほとんど同じ。英語力判定をやってみたら「英語で挨拶ができるレベル」だそうだ。上方に外れているな。どう頑張っても“Does she know me?”は「弟子ナオミ」にしか聞…

部屋を大掃除、遺産が大量出土。忘却したい過去は priceless。

院なんとかが近づいて来ている。確か 10 日までは少しずつ勉強していたのだが、その日グラフに打ちのめされて以来、全く手をつけていない。そろそろ焦った方がいいような気はしつつ、どうにも動けず。せめて地下が開いていれば…。

VHS をダビングするための DVD を買うことに。なんか種類が沢山あって良く分からなかったので、高速対応とか銘打ってあるのを適当に買ってみた。しっかし、DVD-ROM、DVD-R、DVD-RW はともかく、DVD+R とか DVD-RAM とかは何が違うのでしょうか。（ていうか情…