srz-zumix

#!/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

T45K

千里山のマニッシュ

千里山のマニッシュとは

『咲-Saki- 阿知賀編 episode of side-A』で主人公のチームメイトである新子憧(cv.東山奈央)が，対戦チームである千里山高校の選手に対して放った言葉．

詳しくはこの動画(1:30くらい)を参照．

kymmt90

git reflog についてまとめてみる

reflog とは

• reflog（参照ログ）とは HEAD やブランチ先端の動きの履歴
  • 各個人のローカルリポジトリに存在
  • ブランチの切り替え、新たに加えられた変更のプル、履歴の書き換え、あるいは単なる新規コミットの実行などを記録
• git reflog で HEAD の移動履歴を、git reflog <ブランチ名> でそのブランチ先端が指していたコミットの一覧を確認可能
  • HEAD@{5}: HEAD の五つ前の状態を示す

hamiltondanielb

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;

sapphire-al2o3

using UnityEngine;
using UnityEditor;
using System;
using System.Linq;
using System.Collections;
using System.Collections.Generic;

public class AlignEditor : Editor {

	[MenuItem("Editor/均等割り付け(X軸)")]

qnighy

Require Import Coq.ZArith.ZArith.
Require Import Coq.QArith.QArith.

(* テーマ： Coqで 9÷0=0を証明する *)


(* 整数上の除算 *)

Theorem Quotient_1: (9 / 0 = 0)%Z.
Proof.