トップ «前の日(03-18) 最新 次の日(03-20)» 追記

日々の流転


2002-03-19

λ. 論文読み会

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

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

Tags: 論文

λ. 圏論

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

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

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

Tags: 圏論

λ. 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
Tags: ruby

λ. tDiaryサイト全文検索

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

Tags: tDiary
本日のツッコミ(全4件) [ツッコミを入れる]

ψ  [おお!補集合も考えると member? は必ず答えを出すメソッドになる のですね。目から鱗が。 しかしここの @@o..]

ψ  [GTM ゆうたら Graduate Texts in Mathematics っていう Springer のシリーズ..]

ψ  [失礼!勘違いしてました。Enumerable#member? って組み込みで 既にあるんですね。だからこのコードでい..]

ψ さかい [原さんほどの人に驚いていもらえるなんて、これは書いた甲斐がありました。 aliasじゃなくて、クラス変数にUnbo..]


2007-03-19

λ. 『論理の哲学』 飯田 隆

知の教科書 論理の哲学 (講談社選書メチエ)(飯田 隆) を読んだ。

Tags:

2008-03-19

λ. iKnow!のSkypeキャンペーンでSkype無料クーポンげっと

iKnow! + Skypeキャンペーン 結果発表。 iKnow賞とDictation賞で5位入賞でSkype無料クーポン2時間分をゲット。 数回しかやっていない私が入賞だなんて、参加人数が少なかったんだろうなぁ。

λ. お菓子買いだめ

20080221#p03に買った分がまだ残ってるけど、気にせず買い足しw

[お菓子の小山]