このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2009-11-27から1日間の記事一覧

typo フィイル

http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%a5%d5%a5%a3%a5%a4%a5%eb けっこうあるもんですな、面倒だから直さんけど。

圏論:モノかつエピな射 再び

以前、「モノかつエピだがアイソではない例」というエントリーを書きました。順序集合を圏とみなした圏では、すべての射がモノかつエピとなりますが、アイソでない射も含まれる、という内容です。もう少し普通な(なにが普通だ?)の例としてよく引き合いに…

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

1年ぶりに本日のtip。はてな記法で書いていると、行頭のマイナスとか丸括弧の連続なんかが、はてな記法として解釈されて困ることがしょっちゅう。Emacsの場合、CTRL+C, = とすると文字番号がわかるので、それを見て手でHTML文字参照に直してもいいのですが、…