gtagsに関しては→GNU Global - 檜山正幸のキマイラ飼育記 メモ編タグファイルを作ったり更新したりは、helm-gtags-create-tags, helm-gtags-update-tags。キーバインドは次のように覚える。 入力されたタグの定義元へジャンプ(kbd "C-c C-t") 'helm-gtags-fi…

クラスプ（clasp; 留め金）の絵。モノイド閉圏、オダンゴ、留め金、池袋 - 檜山正幸のキマイラ飼育記の図： 方向の取り方： カリー化： 左右のカリー化： この絵法を最初に見たオリジナル論文： Title: Computation and the Periodic Table (ATMCS 2008) Aut…