うっかり glibc の strlen を覗いたら面白いことになっていたので、実験。 $ cat test.c #include <stdlib.h> #include <string.h> size_t strlen_naive(const char *str) { const char *head = str; while (*str) str++; return (str - head); } size_t strlen_fast(const char </string.h></stdlib.h>…

通行人Ａ「 、般若心経とか。」 通行人Ｂ「だったら俺はマリオの方がいいな。」 通行人Ａ「へえ、 」 じゃあ杏仁豆腐。

calloc(x,y) と calloc(y,x) は何が違うのだろう？ 昔、二者の挙動が異なったことがあったような気がするのだが、どうにも思い出せない。

仕様書の中に JVM の制限についてまとめた節があって、それによると The amount of code per non-native, non-abstract method is limited to 65536 bytes by the sizes of the indices in the exception_table of the Code attribute (§4.7.3), in the Line…

id:succeed:20070922 より。こういう風に静的に配列を書くと、 class Main { static final int[] array = { 1, 2, 3 }; }実際にはこういう感じに変換される。 class Main { static final int[] array; static { array = new int[3]; array[0] = 1; array[1] …

言われてみれば、数学の試験で出た確率の問題がどうしても解けなくて、ひたすら組み合わせを列挙して正答を得たという事例は、あまり珍しくはない気がする。答えさえ合っていれば、解法が美しくなくてもある程度の点数が来るかもしれない。あとはセンスの問…

撃沈。もうやん恐るべし...ッ。

QED。手作業だから確実に間違ってるんだけど。 Coq を使えば少しは楽になるのだろうか。演習3 でやっておけば良かったなぁ。

テラワロス洗面器カレーが非常に腹にたまる件。

来てみて気づく今日は休日。

また迷って 1.5 時間歩く。

あんまり何を言っているのか解らなかった（英語的に）のを差し引いても、あんまり何を言っているのか解らなかった（内容的に）。 メモリ高いからキャッシュするより recalculate した方が経済的かもよって話は前にもどこかで聞いたなぁと思ったら、コンパイ…

居酒屋に何人か客が入っているとしよう。このとき、「その人が酒を飲んでいるなら他の客もみんな酒を飲んでいる」ような客が必ずいる。あるいは： ∃x : 客. (飲んでいる(x) ⇒ ∀y : 客. 飲んでいる(y)) Smullyan's drinkers' paradox というらしい。知らなか…

ネタが古いですが。以下をコンパイルした時に生成される class ファイルはいくつ？ class C { enum E { } void m() { switch ((E)null) { } } }

SHT（スーパーひきこもりタイム）の産物、nazo のソースとコンパイラ（cf. id:kosak:20070823）。相変わらずの能天気実装です。去年は 2D コンパイラを結局作れずじまいだったので、今年はやってみようかなぁとか馬鹿なことを思ったのがいけなかった。時間は…

「すごい確立」 「侍従ｗ」 「これ凡庸性あるな」

やはり曇りの日にぶらぶらすると迷う。同じ通りを三度目に渡った時にはもう駄目かと思った。道中、愛用の折り畳み傘が愛用の壊れた折り畳み傘にジョブチェンジを果たす。

深夜 32 時に起床、夜勤へ。

unsoundness proof: done.

机に向かって紙と鉛筆を使う効率の悪さに耐えられなくなってきた。変な記号やら図やらを書くので手書きの方が良かろうと思ったのだが…。