Shingo Omura everpeace

## show branch descriptions in "git branch"
git branch | sed 's/^ /_/' | awk '{desc=""; "git config branch."$2".description"|getline desc ; print $1" "$2" "desc}'|sed 's/^_/ /g'

## gitsshm
#!/bin/bash

if [ -z $GITHUB_KEYS_DIR ]; then
  GITHUB_KEYS_DIR="$HOME/github-keys"
fi

if [ -z $GITHUB_KEY_FILE_NAME ]; then
  GITHUB_KEY_FILE_NAME="id_rsa"
fi

## 普通に表示させると。
$ git log --graph --oneline
*-.   9010104 Merge branches 'master3' and 'master2'
|\ \
| | * dd0ba6d add b2
| * | 75a99a0 add b3
| |/
* | 743ad3b add b1
|/
* 81b919d add a

## README.md

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              4 stars
            
          
                everpeace
                / README.md
            
            
              Created
              March 27, 2012 08:39
            
              
                Automata (DFA,NFA,εNFA) in Scala
              
          
    Automata in Scala is moved to https://github.com/everpeace/scalamata

  
## A.txt
1 2 3
1 2 3
1 2 3

## BiKleisli.scala
package com.github.everpeace

import scalaz._
import Scalaz._

/**
 * BiKleisli arrow
 * W: comonad
 * M: monad
 */

## dining_philosophers_ja.als
-- This can be executed by alloy4.2-rc.jar on http://alloy.mit.edu/community/node/1039
-- This version supports unicode identifiers.
open util/ordering[システム状態]

sig 哲学者 {
	disj 左フォーク, 右フォーク: one フォーク,
	左, 右: one 哲学者
}
sig フォーク {
	disj 左, 右: one 哲学者

## dining-philosophers.als
open util/ordering[State]

-- 哲学者
sig Philosopher {
	-- 左と右には異なる１本のフォークがある
	disj leftFork, rightFork: one Fork,
	-- 左と右には異なる哲学者が１人ずついる
	left, right: one Philosopher
}
-- フォーク
	#!/bin/bash

	if [ -z $GITHUB_KEYS_DIR ]; then
	GITHUB_KEYS_DIR="$HOME/github-keys"
	fi

	if [ -z $GITHUB_KEY_FILE_NAME ]; then
	GITHUB_KEY_FILE_NAME="id_rsa"
	fi
	$ git log --graph --oneline
	*-. 9010104 Merge branches 'master3' and 'master2'
	\|\ \
	\| \| * dd0ba6d add b2
	\| * \| 75a99a0 add b3
	\| \|/
	* \| 743ad3b add b1
	\|/
	* 81b919d add a
	package com.github.everpeace

	import scalaz._
	import Scalaz._

	/**
	* BiKleisli arrow
	* W: comonad
	* M: monad
	*/
	-- This can be executed by alloy4.2-rc.jar on http://alloy.mit.edu/community/node/1039
	-- This version supports unicode identifiers.
	open util/ordering[システム状態]

	sig 哲学者 {
	disj 左フォーク, 右フォーク: one フォーク,
	左, 右: one 哲学者
	}
	sig フォーク {
	disj 左, 右: one 哲学者
	open util/ordering[State]

	-- 哲学者
	sig Philosopher {
	-- 左と右には異なる１本のフォークがある
	disj leftFork, rightFork: one Fork,
	-- 左と右には異なる哲学者が１人ずついる
	left, right: one Philosopher
	}
	-- フォーク