No Such Blog or Diary
ゆうぱっくの遅延に巻き込まれてた気がする
- 2010-07-04 (Sun)
- 一般
金曜日に時間帯指定で到着するはずだった荷物が正しく届かなかったのはこのせいなのかもしれない… 大した問題ではなけれど.
- Comments: 0
- TrackBack (Close): -
NEX-5のファームアップ
無事修了.電源切っておくだけで電池を無茶苦茶に消費する問題はどうにかなったのだろうか? 一度しか遭遇したことない問題だけど,さて撮るかって時にバッテリーなくなってると精神的ダメージでかいからなぁ.
それはさておき,バージョン情報をよく見てみたら「本体」と「レンズ/マウントアダプタ」の二つのバージョンがあることに気づいた.これってマウントアダプタのファームもバージョンアップ出来るってことなのかな? ファームウェアのバージョナップでSSM/SAMのオートフォーカスができるようになると良いなぁ.とはいえ持ってるレンズでSSM/SAMなのは1本しかないのだけど.フォーカス駆動用のモータ突っ込んだマウントアダプタでないかなぁ…
どうでもいいけど SSM も SAM もミサイルだよなぁ.地(艦)対地(艦)ミサイルと地(艦)対空ミサイルで.SAM付きのレンズで飛行機撮るとかネタでしかない.
- Comments: 0
- TrackBack (Close): -
ICPC国内予選だったようで
- 2010-07-02 (Fri)
- 一般
最初の3問は余裕で解いて4問目に何処へ行くか悩む問題セットだったかなと.まあ,ただの監督であった私には関係ないが.
とりあえず6問解いたチームすごいねぇ.俺等んときには4問(早く)解けたらアジア予選行きだったのに.そして密かに高専チームが増えているのは喜ばしい.もっと出れ.
- Comments: 0
- TrackBack (Close): -
素朴なギモン
- 2010-07-01 (Thu)
- 一般
プログラムの出力が正しいかどうかをちゃんと確認してから「プログラムが出来た」と言う人間は少ないのだろうか?
検証器にかけろとまでは言わないが(普通できないし),簡単な入力に対して手計算と同じ出力が得られるかどうかくらいは確認するもんなんじゃないかなぁと.
良く解らんが,他人にプログラムを作らせることのリスクを再確認した.
- Comments: 0
- TrackBack (Close): -
単純型付きラムダにリファレンス入れると型がつくのに再帰関数(っぽい)のができるのか
- 2010-06-30 (Wed)
- 一般
とか,オレンジ本(Pierce の Types and Programming Languages)を読み直して演習問題解いてて感動した(ex. 13.5.8).だがしかし,学生らにはその辺の作者の意図を読み解くのは無理だったらしい.教科書読むってのも大変だよねぇ.
- Comments: 0
- TrackBack (Close): -