変数xの変域（空間）は大文字でX 同じ空間を走る複数の変数は、x, x', x'', x1, x2 など 関数は f(x)、xは点変数 測度核（マルコフ核の一般化）は、α(x;y)、xは点変数、yは余点変数。 測度は退化した測度核とみなす、μ(;x) = μ(*;y)、*は一点空間上の点変数…

Webではないが、次のようなものがあるらしい。1974だ。http://www.sciencedirect.com/science/article/pii/S0166864108002496 に記述がある。 Monadic functors and convexity, T. Swirszcz, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974)…

ローヴェルは 確率写像（probabilistic mapping）。 確率関係（stochastic relation）もある。 マルコフ核（Markov kernel） Kirk Sturtzは、regular conditional probability と呼んでいる。 行列表示なら確率（stochastic）行列。

オンラインに存在する講義ノートに「従う」の定義を見つけた。 Title: 測度論と確率論 Author: 岩田耕一郎 URL: http://home.hiroshima-u.ac.jp/iwatakch/probstaC/lecturenote/probstatC2004.pdf 確率空間 (Ω, F, P) があるとき： 確率変数 X と B ∈ Borel(…

相変わらず定義なしの基本用語にイライラしている。「従う」の定義をみたことがない。索引に動詞を載せることはないので「従う」は載っていない（知る限りでは）。まず、「従う」の主語が分からない。 母集団が正規分布に従う。 データが正規分布に従う。 変…

bash: echo \ powershell: echo ` cmd.exe: echo ^

~/.emacs.d/site-lisp/ はロードパスに入れるとして、そのサブディレクトリをロードパスに入れるか？ 例えば、ProofGeneralは、~/.emacs.d/site-lisp/ProofGeneral-4.2/contrib/mmm/ がロードパスで、~/.emacs.d/site-lisp/ProofGeneral-4.2/ は関係ない。re…

("\\.ts\\'" . typescript-mode) が効かないんでハマったら、ファイルに、// -*- coding: utf-8; mode: js -*- が書いてあった。アホか。

それと、~/.emacs.d/の下のサブディレクトリをリネームする。 auto-insert --> insert-skeletons modules --> site-lisp modulesのほうは散らばっているから要注意だな。あと、el-getパッケージ一覧見ていて、 anything-auto-installがあるが、helm-auto-ins…

~/.emacs.d/もinit.elもグチャグチャ。なんとかせねば。まず、パッケージマネージャー。標準のpackage.elとauto-installとel-getと3つある（Caskは使わない）。どうしたものか？ 次のようにすることにした。 el-getありきとして、el-getのブートストラップは…

GNU Make自動変数： $* : 一致する暗黙のルールの語幹(どんな型が一致するかの項を参照)。 $@ : ターゲットのファイル名。 $^ 、$+ : 全依存関係の名前を空白で挟んで並べたもの。アーカイブメンバである依存関係についてはメンバー名だけが利用されます(ア…

アッパーキャメルケースをPascalケースとも呼ぶ。 http://c2.com/cgi/wiki?PascalCase

auto-install.elの機能（参照： http://d.hatena.ne.jp/rubikitch/20091221/autoinstall） M-x install-elisp → URLを指定してインストールする M-x install-elisp-from-emacswiki → EmacsWikiにあるEmacsLispをインストール M-x install-elisp-from-gist → …

不要だと思っていたexpand-file-nameが使えるが、わかりにくーーい！ (expand-file-name "el-get" user-emacs-directory) ; => "c:/Users/hiyama/Work/.emacs.d/el-get" 本来、"~"とかの展開をするものなのでフルパスが得られる。ジョインが逆順なのに注意！…

helm-modeは使わないで、次をキーバインドして使う。 helm-M-x helm-find-files helm-for-files helm-show-kill-ring popwinも併用。 (define-key global-map (kbd "M-x") 'helm-M-x) (define-key global-map (kbd "C-x C-f") 'helm-find-files) (define-key…

(defun migemo-register-isearch-keybinding () (define-key isearch-mode-map "\C-d" 'migemo-isearch-yank-char) (define-key isearch-mode-map "\C-w" 'migemo-isearch-yank-word) (define-key isearch-mode-map "\C-y" 'migemo-isearch-yank-line) (defi…

本編の、最近のビルドツールって何なの？ - 檜山正幸のキマイラ飼育記に対して、 http://qiita.com/Jxck_/items/efaff21b977ddc782971 ↑これが一つの（部分的な）解決を与えるかも知れない。要点は： package.json内に以下の様なscriptsを書く。 { // .... "…

;; 参考： http://d.hatena.ne.jp/tarao/20150221/1424518030#tips-isolated-setup ;; load-file-nameは通常nilだが、次のようにして起動すると値が入る。 ;; ;; emacs -q -l ~/path/to/somewhere/init.el ;; ;; ここで、オプションは： ;; --no-init-file, …

設定しなおすと、いろいろと面倒なことが、、、、アイコンから起動すると、環境変数（特にPATH）がEmacsに渡らないことがある。対策はあるが、 シェルを先に起動して、シェルからEmacsを起動する。 これにする。これでいい！ ちなみに、PATHをリストで返すに…

表示関係の現状の調査： (list-colors-display) ;; *Colors* バッファに出てくる (list-faces-display) ;; *Faces* バッファに出てくる。 (font-family-list) ;; これは、prin1 か pp で囲むとよい M-x describe-font M-x describe-face 設定： (w32-select-…

cmigemoのWindowsバイナリ。 http://www.kaoriya.net/software/cmigemo/ ;; migemo (when (and (executable-find "cmigemo") (require 'migemo nil t)) (setq migemo-command "cmigemo") (setq migemo-options '("-q" "--emacs")) (setq migemo-dictionary "…

ProofGeneral, ESS なんてのはパッケージにない。 WindowsへのCoqのインストール - 檜山正幸のキマイラ飼育記 Rコードの編集のために、ESSをトリアエズで入れた - 檜山正幸のキマイラ飼育記 WindowsへのOCamlのインストール - 檜山正幸のキマイラ飼育記 OCam…

Windowsに、Emacsをゼロから入れる手順。環境が変わると毎度やらねばならない、疲れる。本体 http://sourceforge.jp/projects/gnupack/ 現時点での最新は、gnupack 13.00-2015.05.02 (日付: 2015-05-02)。gnupackは良く出来ているが作り込み過ぎている。参考…

次がいいかもしれない。 統計解析入門 (新数学入門シリーズ) 赤平 昌文 森北出版 (2003/06) http://www.amazon.co.jp/dp/4627037112