No Such Blog or Diary
単純型付きラムダにリファレンス入れると型がつくのに再帰関数(っぽい)のができるのか
- 2010-06-30 (Wed)
- 一般
とか,オレンジ本(Pierce の Types and Programming Languages)を読み直して演習問題解いてて感動した(ex. 13.5.8).だがしかし,学生らにはその辺の作者の意図を読み解くのは無理だったらしい.教科書読むってのも大変だよねぇ.
- Comments: 0
- TrackBack (Close): -
SPJと言ったら
- 2010-06-29 (Tue)
- 一般
関係データベースの分野で: Select-Project-Join
軍事(戦闘機)の分野で: Self Protection Jammer
Haskell 分野で: Simon Peyton-Jones
SPJ normal form (データベース的な意味で)と叫ばれるたびに笑いをこらえるのが大変だった.Haskell にデータベース操作のプリミティブが入ったりしないかなぁ,LINQみたいに.そしたら Haskell 内に SPJ normal form が… とかなりそうなのに.
関連して思い出したので.何故か研究室で定期的に上がっていたネタ,ATM.いつも5個ぐらい挙がってた気がするのだけど今思い出せるのは4つだけ:Adobe Type Manager, Anti Tank Missile, Automatic Teller Machine, Asynchronous Transfer Mode. もうひとつくらい定番で挙がっていた気がするのだけど思い出せない.なんだったっけ?
- Comments: 1
- TrackBack (Close): -
職員証が新しくなった
- 2010-06-28 (Mon)
- 一般
これまでのはクレジットカードと一体になって黄金に輝いていたのだけど,今回のはじみ〜な感じのICカードになってくれた.前のは身分証として提示するには少々問題があった(クレジットカード番号取られちゃうかもとか,一見して身分証に見えないとか(とある店の店員は身分証と認識してくれなかったりしたし))ので,単純な職員証になってくれてよかったと思う.
そういや免許証の更新も一ヶ月切ったなぁ.さっさと更新せねば.
- Comments: 0
- TrackBack (Close): -
ICPC模擬予選会?
- 2010-06-27 (Sun)
- 一般
OB/OG会主催の模擬練習会があったので問題だけ眺めてみた.最後のG問題を抜かせば全ての問題に対して想定解法と同じ解き方を思いついたけれど,実装しろとか言われるとめんどいのでやりたくない.
とりあえず問題A~Cは自明.問題Dはただのダイクストラでなく巡回順が決まっていることを活用してやらないと間に合わないのかなぁと思ってたら出題者の意図もその通りのようだった.まあ,同じ探索がかなり繰り返されるから再利用しなきゃねと考えた後に,巡回順が決まっているから情報の流れがDAGなのでただのDPでオッケーと気づく,というルートかね.問題Eは実装したくないだけ.端点の解だけで最適解を含むかどうかをちょっと悩んであげれば解き方は一意に定まるような.問題Fはやるだけなのでやるきにならず.問題Gは見積もりが思いついた解法では甘かった.もう少しひねりましょうと.なんにせよ実装なんかしたくない.
閑話休題.運営が微妙な感じなので小言を投げた.組織立って動くならば手順の最適化はしてしかるべき.
- Comments: 0
- TrackBack (Close): -
写真をBDRに焼いた
- 2010-06-26 (Sat)
- 一般
片面を6枚分,思いのほかjpegも大きいということを認識.
まあ,失敗写真というか残しておいてもしょうのない写真ばかりなので整理してやればメディア節約できるだろうけど面倒なので気にしない.
たまにはプリントしてみるか.
- Comments: 0
- TrackBack (Close): -