檜山正幸のキマイラ飼育記 このページをアンテナに追加 RSSフィード

キマイラ・サイトは http://www.chimaira.org/です。
トラックバック/コメントは日付を気にせずにどうぞ。
連絡は hiyama{at}chimaira{dot}org へ。
蒸し返し歓迎!
ところで、アーカイブってけっこう便利ですよ。タクソノミーも作成中。

2009-11-27 (金)

本日のtip:Emacsで、文字をアンパサンドによる文字参照に置き換える

| 10:05 | 本日のtip:Emacsで、文字をアンパサンドによる文字参照に置き換えるを含むブックマーク

1年ぶりに本日のtip

はてな記法で書いていると、行頭のマイナスとか丸括弧の連続なんかが、はてな記法として解釈されて困ることがしょっちゅう。Emacsの場合、CTRL+C, = とすると文字番号がわかるので、それを見て手でHTML文字参照に直してもいいのですが、次のような関数を定義しておくといいかもね。

(defun replace-by-char-ref ()
  (interactive)
  (let ((num (char-after))) 
    (delete-char 1)
    (insert (format "&#%d;" num))))

;; バインドするキーはお好みで変える
(global-set-key "\C-cr" 'replace-by-char-ref)

oto-oto-otooto-oto-oto 2012/01/05 17:35 「有理数を実数に埋め込む例」の議論で、Y={TRUE, FALSE} として密着位相を入れます。f として定値写像 true、g として isRational を採用すると、「e;f = e;g ならば f = g」が成り立たず、e はエピにならないように思うのですが。

oto-oto-otooto-oto-oto 2012/01/05 19:08 位相空間の圏 Top だと、集合としての恒等写像 id: X -> X を考えて、余域の位相 < 域の位相 となるように位相を入れると、モノかつエピかつ非アイソな射になる気がします。

m-hiyamam-hiyama 2012/01/06 12:18 oto-oto-otoさん、
> e はエピにならないように思うのですが。
確かにそうですね。
密着位相を出されるとナンデモアリになってしまうので、
任意の位相空間じゃなくて、点列の収束で話が済む程度にタチがいい空間からなる部分圏に訂正します。
局所コンパクト・ハウスドルフくらいかな。

> モノかつエピかつ非アイソな射になる気がします。
ニ元集合に、離散位相(開集合が4つ)と密着位相(開集合が2つ)とかだと分かりやすいかも。