はてなブックマーク

例年のごとく一人で参加。 時刻は全てUTCで 17日 00:00 問題が公開されたので読む。予想通り殴り合いゲーだ。 01:00 大体問題を理解したので、インタープリタを書き始めてみる。言語はOCamlを選択。というかこれ以外に選択肢がない 03:00 電車で会社に移動しながら戦略を考える。最大のダメージを与えられるのはゾンビなのが分かる 04:00 インタープリタの続きを実装 10:00 このころにはインタープリタはできてたはず。SKIの使い方を考え始める 11:00 無限ループを参考に、S(get)(SK(dec))0が無限dec 0であることに気づくが実装できない。 12:00 S(Kx)yz = x(yz)に気づく。無限dec 0の動作を確認する。 13:00 lazyを発見する。これにより動的にgetできるようになる。 14:00 電車で帰宅。作戦を考える。 15:00 ほぼ部品

HDCPは仕様が公開されてるので誰でも読めるので、読んでみた。 世の中ではHDCP機器を40台ほど集めてきてもぞもぞと解析すれば、すぐにマスターキーが作れそうな漢字で2001年の論文の話が紹介されてるようだが、それだけでは全然不十分なようだ。 HDCP機器認証の仕組み HDCP機器には機種ごとに異なる鍵が入ってる。鍵は1個のKSVと40個の秘密鍵からなる。 名前 ビット数 個数 公開/秘密 KSV 40 1 公開 private keys 56 40 秘密 ただし、KSVの40ビットのうち20ビットが1で20ビットが0になる。 鍵交換 鍵交換の方法は簡単で、KSVを互いに相手に渡す。受け取ったKSVと自分のprivate keys[0], private keys[1], ..., private keys[39] を使って56ビットのセッション鍵Ksを作成する。 Ks = privae_

Ruby on Rails での入力の検証方法について書く。世の中にあまねくRailsのページによると、以下のような感じで入力を検証するのがRails流らしい。 # モデルクラス。 class Hoge < ActiveRecord::Base validates_length_of :name, :maximum => 30 end # コントローラ class HogeController < ApplicationController # アクション。新しいHogeを作成する。 def create @hoge = Hoge.new(params[:hoge]) if @hoge.save redirect_to :action => :list else render :action => :new end end end ユーザがフォームに適当に入力してボタンを押すと、コントロー