2005-01-01から1年間の記事一覧

WASHを使う

というわけで、WASHが使えるようになったので、 何か作ってみようということで、ツリー式BBSを作ってみた。http://fxp.infoseek.ne.jp/tmp/bbs/Main.hs外からアクセスできるLinuxサーバーが無いので、 実際にどのように動くのかをお見せできないのが残念だが…

WASH on coLinux

以前OnlineJudgeを作った反省より、 WASH(http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/)を勉強することにした。 Cygwinでビルドしようと思ったら、 makeが良くわからないところでとまるので、 coLinuxでやってみることにした。 しかしま…

coLinux インストール日記

なんだかとっても疲れたよ… やること(やらなければならないこと)がない、ない、といっても、 やりたいことはあるんだから困る。

エンバグ効率

昨日の続き M氏がエンバグ効率なる言葉を作ってしまったので、 ちょっとそれについてお話しましょう。 エンバグ効率というのはちょっと不自然な感じのする言葉ですが、 意味はそのまま、バグを仕込む効率のことです。 もちろん、エンバグ効率は低い方が良い…

ICFP 結果発表

先日ICFPの結果が発表された。 http://icfpc.plt-scheme.org/ うちのチームは今年も三位。 去年と順位変わってない、といいつつ 今年は三位まで表彰されるので、実は入賞していたりする。 チーム名はなぜかCombat探偵団。 なんで探偵団なんだ。 というかねぇ…

演算子 ?=

C++

C++暦7年の私ですが、この度新しい演算子を覚えました。 ?= です。 これはそれぞれ、 a if (b<a) a=b; a>?=a; => if (b>a) a=b;あたりの意味のようだ。 ようだ、というのも、この演算子、どこにも載っていません。 最近のC++の仕様にあるものなのか、GCCの拡張なのか。 </a)>…

Functional Online Judge

Haskellでオンラインジャッジしたいよね? ということでこんなものができました。http://tanakh.ath.cx/OnlineJudge/oj.cgi/あらかじめお断りしておきますが、 いつ公開が終了するかも、いつデータを消すかも分かりません。 ジャッジシステムはデータベース…

昨日のHSQL

いろいろやっているうちになんとかリンクはできるようになった。 とりあえず、前段階で何でリンクできなかったかというと、 GHCが持ってるmingwにWindowsネイティブ版MySQLのライブラリが リンクできなかったということ。 mingwに渡せるライブラリを作ること…

HSDL

CabalとHSCについて知ったので、 GHC6.4では使えなくなっていたHSDLを ( http://fxp.hp.infoseek.co.jp/haskell/HSDL/ ) Cabalに対応したり、いろいろした。 とりあえずGHC6.4で動くようになったので、これでよしとする。 というわけで、わき道にそれたが、 …

HSQLが入らない

久々に作りたいものができたので、 そのためにデータベースソフトをインストールして それを何らかの言語からいじれるようにしようと思った。 最初PostgreSQL+Gaucheでやろうとしたのだが、 まずいきなりPostgreSQLのインストールで詰まった。 Cygwin上で動…

勝っちまったらしいですぜ?

なんか、Winnerリストに入ってるよ、というメールが来てしまった。 うーーーむ。これは…。 まさかあんなので勝てるとは思っていなかった…。 (13人チームで5万行もOcamlコードを書いたというところがあって ガクガクブルブルしていたのだが) 候補は、 ・Judge…

Google Code Jam Round 2

負けた… http://fxp.infoseek.ne.jp/img/gcj_2005_r2.png - 今回の問題は300点、450点、1000点の3つ。 時間は前と同じ75分。 300点問題は、 迷路の中を複数のプレイヤーが陣形を崩さないように探索するとき、 誰か一人がゴールにたどり着くまでの最短距離を…

Google Code Jam Round 1

今朝10時より75分間。 250点問題と500点問題と1000点問題の3つ。 簡単な問題の方が解ける確率が高く、 難しい問題が万一解けなかった場合、それを見限るタイミングが難しいので、 そもそも全問解くつもりだし、簡単な問題から解かないメリットはないので、 …

Teen Girl Squad

http://www.homestarrunner.com/tgsmenu.html なんかすごいものを見つけてしまいましたよ。

受験終わり

というわけで、東大の院試も受けてきたわけだが、 まぁ、無事に第一志望のところに内定をもらうことができた。 わざわざ東京まで行った甲斐があったというものだ。 しかし、あらかじめ聞いてはいたものの、面接では 本当に内容のあることは聞かれなかった。 …

Google Code Jam

http://fxp.hp.infoseek.co.jp/img/gcj_2005_qr.png順位が出た。 うーん… セット2/10/11/19で70位。 なんというか、思ったよりやばい。 まさかこんなに厳しいものだとは。 去年、1400点中200点足らずがボーダーだったのはなんだったのか。 今年はボーダーが1…

Google Code Jam 個人的な意見

勝つためにどうすれば良いか、いろいろ考えてみた。 ・言語はどれが一番適しているだろうか 個人的にはC++が良いだろうと思う。 まぁ、選べる言語がC++,C#,Java,VB.netな時点で、 どれを選んでも大して変わらんのだけど。 この中では唯一まともに多相型が扱…

Google Code Jam

予選ラウンドが今日あったので、 ホテルの一室から参加。 問題は250点のと750点のがあったけど、 どっちも超簡単だったので、30分以上あまって終了。 Mさんに英語協力してもらったのはここだけの秘密だ。 両方間違えていなければ、どう考えても次のラウンド…

一方そのころ

http://d.hatena.ne.jp/nushio/200508 MさんはGoogleに。 正直うらやましい。 私はカリフォルニアに顎足付きで行けるのを蹴って、 自腹で東京に行って、もう、何をしてるんだ、って感じですね。 いや、そんな風に思ってはいけないよ。 心理学によると自分の…

すべては一段落

筆記試験が終了。 時間を少しでも浪費してしまうと否応なく不安が募り、 しかし、頭はまったく働かない、もどかしくも 非常に辛く厳しい日々がついに終了した。 さて、結果はいかに。 テストでありますが、得意分野が一切出なかった。 苦手ともいえる分野も…

風邪を引いた

明日から東京なのだが、風邪が治らない… 症状がのど、鼻、腸、と来て、またのどが少し痛く… 今腸に来てるから、ご飯食べられない… とにかく、最悪でも明後日までには治さねば… それで、勉強は結局全然できてないし。 まぁ、今度のところは重箱の隅をつつくよ…

数学者は安易にプログラムを書かぬものらしい

今月の「Haskellプログラミング」より。 まったくもって尊敬する。元数学者志望として重く受け止めたい。 ICPC海外派遣先をようやく決めた。 東大チームと一緒にマニラに行くのも冷静に考えたら あまりにも逃げ腰だし、実行委員のほうもおなじ所に 二チーム…

合格したらしい

教授が言ってたんだけど。 発表日まで秘密にしなくてもいいのか? うーむ…発表を見に行く楽しみが。人生に何度とない楽しみが。

院試終了

院試がひとまず終了した。 出来栄えはなぜか完璧。 うひょー、こんなんでいいの? ・英語 思ったよりは出来た。まぁ、でもきっと平均よりはずっと下だと思う。 ・専門基礎A 情報理論は捨てた。 数学・アルゴリズム・計算機アーキテクチャ・プログラミング言…

院試

ついに明日、というか、もう今日になってしまった。 結局4日間ぐらいしかまともに勉強できなかったんですが… ○自己評価 ・英語 → なるようになれ ・専門基礎A(9中4)数学(微分積分、線形代数) → B 数学(複素関数論など) → Z 電磁気学 → Z 自動制御 → Z 電気電…

Google Code Jam

http://www.google.com/codejam/Goodle開催による総額約1500万円のコーディング大会です。 私は去年の大会が終わったころに存在に気づいたので出たことはありませんが。 大会は4段階に及び、それぞれ勝ち抜くたび(?)に何かがもらえる嬉しい仕様。 最初のラ…

Google Code Jam

こんなことをやっている場合ではないのに…

UVAコンテスト

なぜかUVAコンテストに参加してしまった。(しかも深夜) ちょっとだけやって寝ようかと思ったけど、 やっぱりはじめると最後までやっちゃいますなぁ… とりあえず… http://online-judge.uva.es/contest/data/next/problemset/p2.html これが通らーーーーーん。…

ICFP 2005

終わってからかなり時間が過ぎたが、本体サイトに記事を書いた。 マァ、なんでしょうな。駄目ですな。

逃げる、逃げる

続く現実逃避、進まぬ勉強。 私はいつからこんなに勉強が嫌いになったのだろうか。