某 ui-kadai 使ってんの僕だけですかひょっとして。

休講だったの忘れてたZE

みなさま大福はいいのでやる気をください。お願い。

ui-kadai.jp のドメイン変更に伴い、ui-kadai を更新しました。

まんじゅうこわい

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

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

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

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

unsoundness proof: done.

いろんな意味でわかる人にしかわからないネタ。一週間かかりっきりでした（馬鹿 これを見て某作画崩壊を連想してしまった人は、（己の感性を）self-check したらいいと思います。 Note: これは prefix ではありません。また、ロゴ画像は中でレイトレしている…

s/std::string/crope/g

[Th] 某睡眠星人 − 真面目 ＝ 某睡眠星人

明日らしいですね。みなさん頑張ってください。

こういうのは Java だとイマイチ感が（本家）。ていうか内側のクラスに外側のクラスと同じ名前を付けられないなんて知らなかった [JLS 8.1]。世のなか知らないことだらけ。

なかなか言い終わらない冗談。 [最終更新 10/7]

発表ダメ…。

明日からお祭りなのね。

ようやく某所に行って自転車を漕いでみたら、ちっとも操作方法がわからず閉口（UI 悪すぎ）。体にいいかどうかはよく分からないけど、とりあえず忍耐力は付く、かも。

こないだの輪講で読んだ文章に、「ファンクタとはパラメタライズされたモジュールである。それはそうと、『パラメタライズされたモジュール』って言い方は何か変だよね。だってほら、fact のことを『パラメタライズされた整数』なんて呼ぶかい？」みたいなこ…

カレー照り焼き揚げ肉食べ過ぎ超電磁ストーム。

Valid.

しかしまぁ難読ですね。NAND だけに。 と調子良く滑ったところで。ハードウェアとか全く駄目な人間としては、集合って聞くとすぐ要素の列挙って思っちゃうんですが、ビットベクトルかー。言われてみればそうだ。あとやっぱり C++ を使いこなせる人は凄い。な…

休日∧祝日なのに生協が営業してる。ついでに ksk 周辺も営業してる。

某 nikori 氏に 130 円でなんか面白いもの買って来てと言ったら「超辛イカ姿フライ」と「ただのバナナ」を買って来た。

そして誰もいなくなった。帰るか。

授業もないし天気も良くないので家でのんびりしていたら、ふとセミナーがあったことを思い出した。そんな 23 時のお話。

と言っても何とかステーションのことではなく。結局、bash に限定してこうやるのが正解だったのかも知れません。 PROMPT_COMMAND='PSCOLOR=`expr \( ${PSCOLOR:=1} + 1 \) % 8`;PS1="\[\e[3${PSCOLOR}m\][\w]$ "'エスケープシーケンスを使うと自由にカーソル…

研究室でまったりしていたら避難訓練に巻き込まれた。どうりで平日なのに人が少ないと思った。みんなメタ避難していたのか。

なんか疲れていたみたいである。