このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2016-02-18から1日間の記事一覧

同じエロでも、eloとero

elocute【自動】弁じ立てる elocution【名】雄弁術、演説法/演説口調 erotic【形】性愛の、肉体関係の性欲を起こさせる[かき立てる]/〔人が〕淫乱な、欲情にとらわれた

emacswiki.orgへのアクセスが失敗

Contacting host: www.emacswiki.org:80 gnutls.c: [1] (Emacs) GnuTLS library not found Opening TLS connection to `www.emacswiki.org'... Opening TLS connection with `gnutls-cli --insecure -p 443 www.emacswiki.org'...failed Opening TLS connect…

タブなどの可視化

タブの問題は意外に頭がいたい。どうすべきか悩む。とりあえずは、タブが使われているかを見るために、http://keisanbutsuriya.hateblo.jp/entry/2015/02/03/153149 にあったスニペットを貼り付けて実行してみた。 (require 'whitespace) (setq whitespace-s…

おそらくメイト、メイトの元になる単位

まず、メイト対応のもとになる単位の構造 ベクトル空間の双対空間 K→V*V 関数計算(インフォーマルなラムダ計算とか)の恒等射のネーム 1→[A, A](指数) 関手の随伴対 η::Id⇒G*F 米田埋め込み id::1⇒A*A^(A^は対象Aの米田埋め込み) ベクトル空間の双対と…

今はムカシ

andLinuxなんてのがあったんだよな。 andLinux - 檜山正幸のキマイラ飼育記 メモ編 BSD on Windowsなんてのもあった。今じゃ仮想環境で本物のOSが動かせるからな。

hook

http://blog.10rane.com/2014/09/17/to-reading-comprehension-of-the-source-code-by-introducing-the-helm-gtags-mode/ 先ほどphp-modeとruby-modeにhelm-gtags-modeをホークしたので、Rubyファイルを開くと自動でhelm-gtags-modeが起動します。 http://yo…

hide-ifdef-modeとifdef展開ツール

めちゃくちゃ昔からあったような気がするが、使う機会がなかった。モードのフックでセットするようだ。 (defun my-c-c++-mode-init () (setq c-basic-offset 4) (setq indent-tabs-mode nil) (hide-ifdef-mode t) (hide-ifdefs) ) (add-hook 'c-mode-hook 'm…