2013-06-25から1日間の記事一覧

型を意識する

プログラミング言語では duck-typing のほうが好きで、Java のインターフェイス至上主義にはうんざりなのだが、数学書を読む時は型を意識することがすごく大切なのだと日々実感している。 何の集合なのか。集合の集合とかも出てくる。 どこからどこへの写像…

問題を解く方法の見つけ方

問題を解く方法の見つけ方(meta-algorithm)として、最近思っていること。 順番を決める 要素に順序を入れて、一意な並べ方に正規化する。つまり、順列を組み合わせにできないか。DAGだとトポロジカルソートして順番を入れることができる。これが有効だったり…