日々の流転

λ. 論文読み会

豊田さんには悪いけど、今日はパス。僕は気まぐれなのです。ゴメンね。

そういえば、余裕があれば僕も何か読んでみたいかも。そのうちね。(ぉ

λ. 圏論

ようやくp.210で、あと約150ページ。こっからUniversal Mapping Property等の少し本格的な話に入ってくのかな。2/28に書いたような直和と直積の圏論的な定義ももうすぐ出てくるはず。

そういえば、有野さんが何を使って勉強してるのか、ちょっと気になる。

それから、つかぬことを訊きますが、GTMって何でしょうか?

λ. SyncEnumeratorを使ったEnumerable#member?の拡張

ある集合とその補集合が共に帰納的可算ならばその集合は帰納的なので。

でも名前が悪いし、そもそも使い道無さそうだなぁ……

ところで、最近こういうどーでも良いコードを書いてると何だか楽しい。

require 'generator'

module Enumerable
  @@orig_member_p = instance_method(:member?)

  def member?(item, complement = nil)
    unless complement
      @@orig_member_p.bind(self).call(item)
    else
     e = SyncEnumerator.new(self, complement)
     e.each{|a,b|
       return true  if e.end?(1) or item == a
       return false if e.end?(0) or item == b
     }
     raise "not found either in self or in complement"
    end
  end

  alias include? member?
end

λ. tDiaryサイト全文検索

Namazuで検索できるようになってる日記は多いので、それをnamaduで繋げることが出来たら、カッコよさげかも。