This file contains hidden or 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
*.aux | |
*.dvi | |
*.log | |
This file contains hidden or 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
#include <stdio.h> | |
#define RED "[31m" | |
#define RESET "[0m" | |
int main(void) | |
{ | |
printf(RED "A red string.\n" RESET); | |
} |
This file contains hidden or 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
import java.util.EnumSet; | |
public class EnumTest { | |
enum Option { | |
A | |
} | |
public static void main(String[] args) { | |
EnumSet<Option> options = EnumSet.allOf(Option.class); |
This file contains hidden or 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
type binding = | |
NameBind | |
| VarBind of ty |
This file contains hidden or 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/env ruby | |
# | |
# アルゴリズム概要 | |
# 1. 初期状態 (0,0,f,f,0) から遷移可能な状態を網羅すし、PC0=4かつPC1=4なる状態が存在しない事を確かめる。 | |
# 2. 全ての状態の中からPC0=2の状態を全て取り出す。 | |
# 3. 2で取り出したそれぞれの状態を初期状態として、その状態から遷移可能な全ての状態を網羅する。 | |
# 4. 3で網羅された状態の中にPC0=4なる状態が存在する事を確かめる。 | |
# | |
module Peterson |
This file contains hidden or 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
*.aux | |
*.dvi | |
*.log | |
This file contains hidden or 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
case # Empty! | |
when cond1 | |
do_something | |
when cond2 | |
do_another_thing | |
end |
This file contains hidden or 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
all: report.tex | |
nkf -j report.tex > report.tex.jis | |
platex report.tex.jis | |
dvipdfmx *.dvi | |
gnome-open report.tex.pdf |
This file contains hidden or 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
all: report.tex | |
nkf -j report.tex > report.tex.jis | |
platex report.tex.jis | |
dvipdfmx *.dvi | |
gnome-open report.tex.pdf |
This file contains hidden or 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
PACKAGE = fork | |
SRCS = $(PACKAGE).c | |
OBJS = $(SRCS:.c=.o) | |
FILES = README Makefile $(SRCS) | |
VER = `date +%Y%m%d` | |
### command and flags ### | |
# uncomment when debugging | |
#DEBUG = -ggdb -pg # -lefence |