FC2ブログ

30分でできる日記

ICFP

今年度ICFPが無事終了した模様。

去年は何ちゃって参戦(観戦)だった分、今年は頑張ってみようと思っていたわけだが、まぁ個人的にはそれなりに頑張れた気がする。問題自体も去年より面白く、いろいろと凝っていたのでその点は非常に宜しかった訳ですが、やはり72時間耐久は体力的に辛いっぽい。とりあえず今日は大人しくくたばる事にしよう。

  1. 2006/07/25(火) 10:59:55|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

P*U2746

やっとこさ通りそうなコードがかけたのに鯖が落ちているのは何かの嫌がらせなのだろうか。

まあ、明日が明日だし大人しくCatmull-Clark再分割処理やらLoop再分割処理やらの意味でも理解しておくことにしよう。

  1. 2006/07/19(水) 12:04:57|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

ぴたごらす

何だか某fla氏に煽られたので、S**L**で疲れて放置していたピタゴラス数の証明を急いで証明して、公開してみる。


http://www.fiberbit.net/user/mne0df/pita.v

coqのVernacularCommand列です。
「a * a + b * b = c * cならば、aかbは3の倍数である」
という命題が証明されているような気がします。

ここまで汚いともはや精神的に有害な気もするので、精神が弱い方は閲覧をお控え下さるようお願いいたします。

  1. 2006/07/17(月) 23:38:59|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:2

P*U2742

TLEを無理矢理解消しようと強引に枝刈りをしていたら23171MSという実に酷い時間でAcceptしてしまった。流石にもうちょっと改善しようかとも思ったが、某テストも近いという屁理屈をつけて生き恥を晒す事に決定。しかし標準TimeLimitが15秒なんて問題があるとは知らなかった。

  1. 2006/07/16(日) 20:31:51|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

PKU

TLEとかくらいながら何時間もかかってやっと通りそうなのができた、とPKUいったら鯖が落ちている様で鬼のように萎えた。PKUでは良くあることなのは良く分かってはいるが、この脱力感はやはり慣れられるようなものでもない。

  1. 2006/06/20(火) 01:44:03|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:0

前のページ | ホーム | 次のページ