- reflog(参照ログ)とは HEAD やブランチ先端の動きの履歴
- 各個人のローカルリポジトリに存在
- ブランチの切り替え、新たに加えられた変更のプル、履歴の書き換え、あるいは単なる新規コミットの実行などを記録
git reflog
で HEAD の移動履歴を、git reflog <ブランチ名>
でそのブランチ先端が指していたコミットの一覧を確認可能HEAD@{5}
: HEAD の五つ前の状態を示す
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Require Import Coq.ZArith.ZArith. | |
Require Import Coq.QArith.QArith. | |
(* テーマ: Coqで 9÷0=0を証明する *) | |
(* 整数上の除算 *) | |
Theorem Quotient_1: (9 / 0 = 0)%Z. | |
Proof. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using UnityEngine; | |
using UnityEditor; | |
using System; | |
using System.Linq; | |
using System.Collections; | |
using System.Collections.Generic; | |
public class AlignEditor : Editor { | |
[MenuItem("Editor/均等割り付け(X軸)")] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
String.prototype.contains = String.prototype.contains || function(str) { | |
return this.indexOf(str) >= 0; | |
}; | |
String.prototype.startsWith = String.prototype.startsWith || function(prefix) { | |
return this.indexOf(prefix) === 0; | |
}; | |
String.prototype.endsWith = String.prototype.endsWith || function(suffix) { | |
return this.indexOf(suffix, this.length - suffix.length) >= 0; |
『咲-Saki- 阿知賀編 episode of side-A』で主人公のチームメイトである新子憧(cv.東山奈央)が,対戦チームである千里山高校の選手に対して放った言葉.
詳しくはこの動画(1:30くらい)を参照.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/perl | |
use strict; | |
use warnings; | |
# sets mtime and atime of files to the latest commit time in git | |
# | |
# This is useful for serving static content (managed by git) | |
# from a cluster of identically configured HTTP servers. HTTP | |
# clients and content delivery networks can get consistent | |
# Last-Modified headers no matter which HTTP server in the |