コミット： ラベル 参照 コミットオブジェクト（commit型オブジェクト） tree参照 tree型オブジェクト blog型オブジェクト コミットに付随するツリー 広義のコミット＝コミットオブジェクト＋付随するツリー ブランチ： ラベル 参照 コミットオブジェクト AO…

毎度忘れる："C:\ProgramData\Microsoft\Windows\Start Menu"

「削除」という言葉が多義的。非コミット要求と消去変更に分ける。 非コミット要求 -- インデックスに登録しない、登録解除（remove）する。 消去変更 -- ワークツリーのファイルを消す。gitから見ると、この消去（delete）は変更の一種。オブジェクトIDとし…

湯島さくらい。御徒町駅から近いな。湯島つうより上野。 http://www.yoshoku-sakurai.com/access/ 上野デリー本店。湯島駅のすぐそば。上野つうより湯島。 http://www.delhi.co.jp/store/ueno.aspx

スペルチェックとか文法チェック - 檜山正幸のキマイラ飼育記 メモ編の件。とりあえず、C:/Installed/Aspell/ にAspellが入ってはいる。C:/Installed/Aspell/bin/aspell.exe が実行ファイル。Emacsからしか使わないならPATHを通す必要はないだろう。~/.aspel…

http://find-travel.jp/article/24180 50選で食べたことあるのは、 井上 二郎 八雲 阿夫利 ソラノイロ 六厘舎 くらい。1割程度か。

書いてある↓ http://tech.nitoyon.com/ja/blog/2013/07/02/git-dir-diff/ ↑の記事に間違いがあるが、~/.gitconfig は： [diff] tool = winmerge [difftool "winmerge"] path = C:/Installed/WinMerge/WinMergeU.exe cmd = \"C:/Installed/WinMerge/WinMergeU…

プロビジョニングが胡散臭い（『「知」の欺瞞』的な意味で）。が、そう言ってるだけでは建設的ではないので：状態空間Sを固定するとして、Partial(S, S)は部分写像の結合でモノイドになる。M⊆Partial(S, S) は部分モノイドとする。Mも固定する。(S, M)の組は…

最近のBob Coecke教授の勇姿を見たいと思ったが、 lecture-1 https://www.youtube.com/watch?v=7Fvjpjhimic lecture-2 https://www.youtube.com/watch?v=p0GreuBC2FM 残念、lecture-1の冒頭（1:10くらい）に一瞬見えるだけ。メガネかけて太った？ lecture-2…

ベキ等性のインチキ - 檜山正幸のキマイラ飼育記 メモ編 の話。「ベキ等性は安全」は嘘八百だが、他もアヤシイ、危うい所がある。経験と雰囲気から色々言ってるんじゃないのかな？過剰適用の問題を避けるには、トランザクショナルガード（安全に正しく失敗す…

有向無循環グラフGで考える。循環があるとうまくない。A⊆Node(G) とする。ノードxに対して、集合Aとxの非対称距離を次のように定義する。 {d(a, x) | a∈A } の最小値 d(a, x)は、aからxに至るパスの長さの最小値とする。dは対称ではないので距離ではない。集…

http://www.perforce.com/product/components/perforce-visual-merge-and-diff-tools ダウンロードは、http://www.perforce.com/downloads/helix に誘導される。ここで、P4MERGE: VISUAL MERGE TOOL を探してOSを選択するとダウンロード可能となる。登録した…

find -name '*.ts' したら、 ~ の下全体でを探してもない。 ~/JsDev/gulptest/ でやったら探せた。 cd .. して ~/JsDev/ でも探せた。 cd .. して ~/ だと探せない。 わからん。

IDX -- インデックス WT -- ワークツリー 組み合わせ、cはコミットのツリー IDX IDX → 別処理 IDX WT → 空 IDX c → --cached -R c WT WT → 別処理 WT IDX → -R WT c → -R c c IDX → --chached c WT → c c c' → c c' git diffの仕様はどうかしている。

微妙に違う （make） - 檜山正幸のキマイラ飼育記 メモ編 にもメモがあるが、ダラー＋1文字の組み込み変数が自動変数だが、ほんとに覚えられない！ https://www.gnu.org/software/make/manual/html_node/Automatic-Variables.html よく使うのは、 $@ ターゲ…

なるほど、絵の描き方の微妙な差で解釈が変わる - 檜山正幸のキマイラ飼育記 メモ編 で考えたこと。無向グラフの連結成分は、グラフの幾何的実現を考えれば純粋に位相的に定義できる。強連結成分は方向を伴うので位相だけでは定義できない。有向位相（direct…