carbon emacsをつかっているのだけれどmigemoだったりrefeだったりがemacsからうまく動かなかった。 でも.emacsに (setq exec-path (append (list "/usr/local/bin" "/opt/local/bin" "/sw/bin" "/usr/bin")exec-path)) (setenv "PATH" (concat '"/usr/local…

さらに追記です。 じゃあファジー論理はこの連鎖推論のパラドクスをどのようにして、解決しているのかというお話です*1。以下理解が怪しいなりに自分の読んだことを書いてみます。ファジー論理では、真理値が1か0ではありません。 ここで、先ほどの例とはち…

人はごはんを無限に食べることができるかも - higepon blogを読んで。 へたれながらも学部時代に哲学をやっていた僕がベタというか教科書通りのことを書かせていただきます。 これは哲学（というか論理学?）の分野でソリテス(sorites)と言われているパラドッ…

MacBook注文した。10月まで待とうかと思ったけど無理だった。届くの超たのしみ。

そういや、 "11111111".to_i(2) の結果が 255 だし、 255.to_s(2) の結果が "11111111" だってことも今日知りましたよ。 知らないことが多いなー、自分。

[[1,"a"],[2,"b"],[3,"c"]].each do |a,b| p a p b end の結果が 1 "a" 2 "b" 3 "c" だっていうことを今日知った。 できればもっと早く知りたかったが、まあいい。