moutend

# print which apps are using network.
lsof -i

moutend

# SSH鍵ペアを作成(パスワードのメモを忘れずに)
ssh-keygen

# configを作成
vi ~/.ssh/config
# # 以下を追加
# Host VPS_NAME
#     HostName XXX.XXX.XXX.XXX
#     Port 12345
#     User USER_NAME

moutend

sudo rm -r `{brew --prefix}`/Library/Taps/MyCask

moutend

echo '12時、41分です。' | say -v Kyoko
# Kyoko「じゅうにじ、よんじゅういっぷんです」

echo '12時、42分です。' | say -v Kyoko
# Kyoko「じゅうにじ、ふぉーてぃーとぅーぶんです」

moutend

mba: mba% coqtop
Welcome to Coq 8.3pl5 (March 2014)

Coq < 

moutend

Coq < (* 二つの自然数の和を返す *)
Coq < Definition plus (n : nat)(m : nat) : nat := n + m.
plus is defined

Coq < Eval compute in plus 3 5.
     = 8
     : nat

Coq < 

moutend

Coq < Definition id (A : Type)(x : A) : A := x.
id is defined

Coq < Eval compute in id nat 8
Coq < .
     = 8
     : nat

Coq < 

moutend

Coq < Definition prop0 : forall (A : Prop), A -> A :=
Coq < fun A x => x.  
prop0 is defined

Coq < Eval compute in prop0.
     = fun (A : Prop) (x : A) => x
     : forall A : Prop, A -> A

Coq < 

moutend

say -v \?

moutend

mecab -O yomi <<.
漢字仮名交じりの文です。
.