2006-04-24から1日間の記事一覧

私なんかは、もう型チェックやIDEがないとろくにプログラミングできないわけです。たぶん、30年前なら私がプログラミングすることは不可能だったでしょう。という流れで、30年後には定理証明系がないとプログラミングできない人とか出てくるんだろうか、とふ…

困った

match abc with A -> ... | B -> ... begin match xyz with X -> ... | Y -> ... end | C -> ...と書くと、べつに手続きがあるわけでもないのにbegin〜endが出てくるのが微妙に嫌で、でも括弧で括るのはもっと嫌だ。 と思っていたら、今日書いてたコードは、…

ケンケンガクガク

google-countというコマンドを良く見るのだが、これはいったいなんなんだろうと思って検索。http://oss.timedia.co.jp/index.fcgi/kahua-web/show/ossz/oneline/2004-12-24へーakrさんの作だったのか。そういえば、よく日記で見るなぁ。で404出るんですけど……