Shouichi Kamiya shouichi

## Makefile
all: report.tex
	nkf -j report.tex > report.tex.jis
	platex report.tex.jis
	dvipdfmx *.dvi
	gnome-open report.tex.pdf

## Makefile
all: report.tex
	nkf -j report.tex > report.tex.jis
	platex report.tex.jis
	dvipdfmx *.dvi
	gnome-open report.tex.pdf

## case.rb
case # Empty!
when cond1
  do_something
when cond2
  do_another_thing
end

## .gitignore
*.aux
*.dvi
*.log
*.pdf

## peterson.rb
#!/usr/bin/env ruby

#
# アルゴリズム概要
#     1. 初期状態 (0,0,f,f,0) から遷移可能な状態を網羅すし、PC0=4かつPC1=4なる状態が存在しない事を確かめる。
#     2. 全ての状態の中からPC0=2の状態を全て取り出す。
#     3. 2で取り出したそれぞれの状態を初期状態として、その状態から遷移可能な全ての状態を網羅する。
#     4. 3で網羅された状態の中にPC0=4なる状態が存在する事を確かめる。
#
module Peterson

## binding.ml
type binding =
    NameBind
  | VarBind of ty

## EnumTest.java
import java.util.EnumSet;

public class EnumTest {
  enum Option {
    A
  }

  public static void main(String[] args) {
    EnumSet<Option> options = EnumSet.allOf(Option.class);

## color.c
#include <stdio.h>

#define RED "[31m"
#define RESET "[0m"

int main(void)
{
	printf(RED "A red string.\n" RESET);
}

## .gitignore
*.aux
*.dvi
*.log
*.pdf

## .gitignore
*.png
*.eps
	all: report.tex
	nkf -j report.tex > report.tex.jis
	platex report.tex.jis
	dvipdfmx *.dvi
	gnome-open report.tex.pdf
	case # Empty!
	when cond1
	do_something
	when cond2
	do_another_thing
	end
	#!/usr/bin/env ruby

	#
	# アルゴリズム概要
	# 1. 初期状態 (0,0,f,f,0) から遷移可能な状態を網羅すし、PC0=4かつPC1=4なる状態が存在しない事を確かめる。
	# 2. 全ての状態の中からPC0=2の状態を全て取り出す。
	# 3. 2で取り出したそれぞれの状態を初期状態として、その状態から遷移可能な全ての状態を網羅する。
	# 4. 3で網羅された状態の中にPC0=4なる状態が存在する事を確かめる。
	#
	module Peterson
	import java.util.EnumSet;

	public class EnumTest {
	enum Option {
	A
	}

	public static void main(String[] args) {
	EnumSet<Option> options = EnumSet.allOf(Option.class);
	#include <stdio.h>

	#define RED "[31m"
	#define RESET "[0m"

	int main(void)
	{
	printf(RED "A red string.\n" RESET);
	}