error 関数の出力って stderr に行かないのかよ…orz

試験の点数が自己予想に対して単調減少。

http://shinh.skr.jp/yomikata/ 「々」の読みってどう考えても「くま」だよね。

おお! sl がわざとじゃなく起動した! 初めてじゃなかろうかしら。確かにちょっとウザい! (ぉ ついでに思ったけど、これって emacs の *shell* buffer で起動したらえらいことなりそうな。と思ったらそうでもなかた。

Haskell で or-pattern ってどうやって書くんだろう…

ちょとワロタ。

ありえん。11 月になろうというのに一向に減らない。気温も正弦波のように上下しよる。意味わからん、意味わからん。あ、また一匹殺害。

引数の TABLE (document によっては COLLECTION) は補完をする関数でもいいらしい。三つめの引数が t か nil かで返す型を変えないといけない。C-h f completing-read を見ると、TABLE の semantics は try-completion と all-completion を参照しやがれと書…

授業の課題で Jaう゛ぁを使わなくてよくなったのはいいんだけど、OCaml は OCaml でよくわからん。具体的に何かというと、またもや interpreter を書いてるんですが、rudimentary な call-by-need を実装せよと指定されているので、interpret されてる (OCam…

また死んだorz どうやら 5V を pin 折って無理矢理 3.3V で動かすのはあんまり賢明では無かったらしい。20G に逆戻り。ていうかよく見たらこの 20G drive も 5V 仕様だね。嫌な予感が全開だね。他にもガタが来まくってるし、いい加減丸ごと買い替えた方が楽…

朝、食堂で胡瓜を取るとき、取るための器具*1をうっかり手前の sauce の中に落としてしまった。何食わぬ顔して戻しておいて知らん顔してみた所、夕方自分がそれをモロに握って手をベトベトにしてしまった。悪いことはできませんね。ていうか日中洗ってないの…

氏ねええ〜〜〜〜死ねやあああ〜〜〜アホかお前ぇぇぇえ ボケぇカスぅ LinkedList: Object toArray() Returns an array containing all of the elements in this list in the correct order. T toArray(T[] a) Returns an array containing all of the eleme…

とりあえずごりごり計算すると美しげな結果が次々出てくるが、何をしてるのかはよくわからない。

鳴らねええええええええええええええええええええええええええええええええ

ん〜、両手人差指 or 親指人差指では鳴らせるようになった。と思ったらまた親指人差指が鳴らんくなった。 鉤型人差指はたまに一瞬鳴ったりする。両手人差指が一番簡単か。舌を cos(x) (x は喉の奥からの距離; 0 π/2) な感じで垂らす。下の歯のさらに下の方、…

鳴らねえよ ヽ(`Д´)ノ ウワアアン 追記: というか解説読んで「口笛でいいや」と思ったw ちゃんと実用性はあるらしいですよ。もちろんそんな事は関係なく鳴らしたいんですが。なぜって鳴らないから。 さらに追記: おっ、なんかピュピッピュピッって感じで微か…

指笛の吹き方 指笛を吹くとストレスは去り、気分爽快です。 鳴らんから余計ストレス溜まるわ、ボケ! (逆ギレ)

大学から email address が支給されて、各種行事の宣伝等がそこに舞い込んでくることになってるわけだけど、全然昨日の朝ぐらいから張りついたように変化が無いなーと思ってたんですよ。受信箱に。これがね、どうも POP3 access が無いような、有るかもしれ…

こないだ broom ball*1やってて思ったというか思い出したというか実感したんだけど、人間の脳って、複雑な状況判断を用いて簡単な状況判断 code を生成しておく事で realtime 性能上げてるよね。判断の正確さを trade して。 例えば broom ball の ball が橙…

大学に着いたはいいが、寮では無線のみ。Driver が入ってない上に、古い backup disk から召喚した windoze 用 driver が install でこける。GNU/Linux に至っては kernel source すら持ってないと来たもんだ。 とりあえず大学の有線 LAN で一時的に access …

なんとまあ、狙ったかのようにタイミングの良いことに、出発前夜に丁度行きがけのスーパー (Fresco) に進出してるのを発見したんですよ。例の豆腐。そう、男前豆腐が入荷されてたんですよこれが。ジョニーと男前京冷奴があったんで両方買って食ってみました…

ちょとまてー credit card が無い! かなり探し回ったけど無ひ! うわわわ、どうしよう…とにかく慌てて止めて再発行を申し込んだけど、よく考えたらこれでは hotel がとれないぞ (大学寮には 20 日から泊めてもらえるけど、飛行機の便の都合で19 日着だから一…

"He" を neuter として使うのはイクナイ。だからどうしろっちゅーねんという話@おくじさんとこ。ふと思ったけど、この anti-sexist movement の前後で複数形代名詞の利用率が激変したとかいう事は無いんだろうか。最近の文章では generic な誰かについて語る…

通りすがり 『「AxBとXはisom」の定義は「f:AxB→Xとg:X→AxBをどう選んでも逆射になってる」ではなく「f:AxB→Xとg:X→AxBをうまいこと選んでやると逆射になってる」ことだと思います。 Product と言うだけで存在が保証される射（X, AxB の間にどっち方向にも存…

"Category products of a given family of objects is unique up to isomorphism." 嘘ぉ。これどうなん? GIMP で矢印つき曲線の描き方がわからんので、超落描きスマソ。こういうきれいな図は何で書いてるのかな。 要するに AxB が「本物の」A, B の product …

family = indexed class (というか set?)

何か知らんけど今日は蚊を五匹も殺ったぞ。

main から遠く離れた関数から警告を出力するのってどうやるんだこれ? Trace module とかが使ってる危ない関数使うのか? それができんと compiler の類全然書けんよな。それ以外も難しそう。

うーむ、ちょっと使ってみてるけど、何かと latent typing が恋しいのはナゼ。でも型 error だけ取ってれば bug がなかなか出ない。Hindley-Milner 凄ぇ。

ι←これ link ね、見えにくいけど。 Why care whether Iota is unambiguous? If ambiguous languages were allowed, we could do without the star, and have an even simpler language: Syntax Semantics F --> i ^x.xSK F --> F F [F][F] This language has…