提交: 9a5fb23cc33f7b77802f5e7cf76a82c2d189c32a - cit_bach (git)

Testcase generation tool for combinatorial interaction testing

Commit MetaInfo

• 修订版: 9a5fb23cc33f7b77802f5e7cf76a82c2d189c32a (tree)
• 时间: 2018-09-22 01:16:36
• 作者: tallman <tallman189@gmai...>
• Commiter: tallman

Log Message

change source file encoding MS932 to UTF-8.
add launch file.

更改概述

• add: Main.launch
• modified: src/main/java/fbt/Main.java
• modified: src/main/java/v1/ConstraintHandler.java
• modified: src/main/java/v1/Error.java
• modified: src/main/java/v1/Generator.java
• modified: src/main/java/v1/Generator3.java
• modified: src/main/java/v1/Generator4.java
• modified: src/main/java/v1/Generator5.java
• modified: src/main/java/v1/GeneratorAll.java
• modified: src/main/java/v1/Group.java
• modified: src/main/java/v1/Inputer.java
• modified: src/main/java/v1/Main.java
• modified: src/main/java/v1/Node.java
• modified: src/main/java/v1/Outputer.java
• modified: src/main/java/v1/Parameter.java
• modified: src/main/java/v1/ParameterModel.java
• modified: src/main/java/v1/Parse.java
• modified: src/main/java/v1/Testcase.java
• modified: src/main/java/v1/TokenHandler.java

差异

--- /dev/null
+++ b/Main.launch
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/cit_bach/src/main/java/v1/Main.java"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.debug.ui.ATTR_CONSOLE_ENCODING" value="MS932"/>
+<booleanAttribute key="org.eclipse.jdt.launching.ATTR_EXCLUDE_TEST_CODE" value="true"/>
+<stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.m2e.launchconfig.classpathProvider"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="v1.Main"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-i ${file_prompt:モデルファイル:${resource_loc:/cit_bach/inputsamples}}"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="cit_bach"/>
+<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
+</launchConfiguration>

--- a/src/main/java/fbt/Main.java
+++ b/src/main/java/fbt/Main.java
@@ -34,21 +34,21 @@ public class Main {
 		long start = System.currentTimeMillis();
 
 		try {
-			// ƒRƒ}ƒ“ƒhˆø”ˆ—
+			// コマンド引数処理
 			String errorMessage = processCommandArgument(args);
 
-			// ƒGƒ‰[o—͐æÝ’è
+			// エラー出力先設定
 			Error.setOutputFile(outputFile);
 
-			// ƒRƒ}ƒ“ƒhˆø”‚ł̃Gƒ‰[o—Í
+			// コマンド引数でのエラー出力
 			if (errorMessage != null)
 				Error.printError(errorMessage);
 
-			// ƒ‚ƒfƒ‹“ǂݍž‚Ý
+			// モデル読み込み
 			// System.err.println("starting reading model");
 			InputFileData inputfiledata = Inputer.readModel(modelFile);
 
-			// §–ñˆ— BDDì¬
+			// 制約処理 BDD作成
 			ConstraintHandler conhndl = new ConstraintHandler(
 					inputfiledata.parameterList, inputfiledata.constraintList, inputfiledata.constrainedParameters);
 
@@ -58,10 +58,10 @@ public class Main {
 			checkAllTuples(parametermodel, conhndl, inputfiledata);
 			
 		} catch (OutOfMemoryError e) {
-			Error.printError(Main.language == Main.Language.JP ? "ƒƒ‚ƒŠ•s‘«‚Å‚·D"
+			Error.printError(Main.language == Main.Language.JP ? "メモリ不足です．"
 					: "Out of memory");
 		} catch (Exception e) {
-			Error.printError(Main.language == Main.Language.JP ? "ƒvƒƒOƒ‰ƒ€‚ªˆÙíI—¹‚µ‚Ü‚µ‚½D"
+			Error.printError(Main.language == Main.Language.JP ? "プログラムが異常終了しました．"
 					: "Abnormal termination");
 		}
 
@@ -69,13 +69,13 @@ public class Main {
 		//		System.err.println("time: " + (end - start) + "ms");
 	}
 
-	// ƒRƒ}ƒ“ƒhˆø”ˆ—
+	// コマンド引数処理
 	private static String processCommandArgument(String[] args) {
 		if (args.length == 0) {
 			Error.printError("usage: java -jar Program.jar [-i input] [-o output] [-policy] ...");
 		}
 
-		// policy‚Ì•\Ž¦
+		// policyの表示
 		if (args.length == 1 && args[0].equals("-policy")) {
 			System.out
 			.println("This software (CIT-BACH 1.1) is distributed under the zlib license.\n"
@@ -105,7 +105,7 @@ public class Main {
 			System.exit(0);
 		}
 
-		// ƒGƒ‰[•\Ž¦‚ðo—̓tƒ@ƒCƒ‹‚ªŽw’肳‚ê‚é‚Ü‚Å’x‚点‚é
+		// エラー表示を出力ファイルが指定されるまで遅らせる
 		String errorMessage = null;
 
 		for (int i = 0; i + 1 < args.length; i += 2) {
@@ -120,45 +120,45 @@ public class Main {
 					randomSeed = Integer.parseInt(str);
 				} catch (NumberFormatException e) {
 					// Error.printError("invalid number");
-					errorMessage = Main.language == Main.Language.JP ? "ƒ‰ƒ“ƒ_ƒ€ƒV[ƒh‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "ランダムシードに無効な値が指定されています．"
 							: "Invalid random seed";
 					continue;
 				}
 				randomSeed = Math.abs(randomSeed) % (Max_RandomSeed + 1);
 			} else if (option.equals("-c")) {
 				if (str.equals("all")) {
-					// ‘S–Ô—…
+					// 全網羅
 					strength = -1;
 				} else {
 					try {
 						strength = Integer.parseInt(str);
 					} catch (NumberFormatException e) {
 						// Error.printError("invalid number");
-						errorMessage = Main.language == Main.Language.JP ? "–Ô—…“x‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+						errorMessage = Main.language == Main.Language.JP ? "網羅度に無効な値が指定されています．"
 								: "Invalid strength";
 						continue;
 					}
 					if (strength < 2 || MAX_STRENGTH < strength) {
 						// Error.printError("invalid strength");
-						errorMessage = Main.language == Main.Language.JP ? "–Ô—…“x‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+						errorMessage = Main.language == Main.Language.JP ? "網羅度に無効な値が指定されています．"
 								: "Invalid strength";
 						continue;
 					}
 				}
 			}
-			// ŒJ‚è•Ô‚µ”
+			// 繰り返し数
 			else if (option.equals("-repeat")) {
 				try {
 					numOfIterations = Integer.parseInt(str);
 				} catch (NumberFormatException e) {
 					// Error.printError("invalid repeating number");
-					errorMessage = Main.language == Main.Language.JP ? "‚­‚è•Ô‚µ”‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "くり返し数に無効な値が指定されています．"
 							: "Invalid number of repetition times";
 					continue;
 				}
 				if (numOfIterations <= 0 || numOfIterations > MAX_ITERATIONS) {
 					// Error.printError("invalid repeating number");
-					errorMessage = Main.language == Main.Language.JP ? "‚­‚è•Ô‚µ”‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "くり返し数に無効な値が指定されています．"
 							: "Invalid number of repetition times";
 					continue;
 				}
@@ -166,19 +166,19 @@ public class Main {
 				seedFile = str;
 			} else if (option.equals("-debug")) {
 				debugMode = true;
-				// ŽŸ‚̈ø”‚̓_ƒ~[
+				// 次の引数はダミー
 			} else if (option.equals("-lang")) {
 				if (str.matches("JP|jp")) {
 					Main.language = Main.Language.JP;
 				} else if (str.matches("EN|en")) {
 					Main.language = Main.Language.EN;
 				} else {
-					errorMessage = "–³Œø‚ÈŒ¾Œê‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚· (Invalid Language)";
+					errorMessage = "無効な言語が指定されています (Invalid Language)";
 					continue;
 				}
 			} else {
 				// Error.printError("Invalid option");
-				errorMessage = Main.language == Main.Language.JP ? "–³Œø‚ȃIƒvƒVƒ‡ƒ“‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+				errorMessage = Main.language == Main.Language.JP ? "無効なオプションが指定されています．"
 						: "Invalid option";
 				continue;
 			}
@@ -199,13 +199,13 @@ public class Main {
 			for (int j = i + 1; j < numOfParameters; j++) {
 				for (byte v1 = 0; v1 < parametermodel.range[i]; v1++) {
 					for (byte v2 = 0; v2 < parametermodel.range[j]; v2++) {
-						// pair‚̐¶¬
+						// pairの生成
 						Testcase pair = new Testcase(numOfParameters);
 						pair.quantify();
 						pair.set(i, v1);
 						pair.set(j, v2);
-						// pair‚̃`ƒFƒbƒN
-						// ‹Ö‘¥ˆá”½‚È‚çset
+						// pairのチェック
+						// 禁則違反ならset
 						if (conhndl.isPossible(pair) == false) {
 //							System.out.println("[" + i + ", " + v1 + "]" + ", " +
 	//								"[" + j + ", " + v2 + "]]");

--- a/src/main/java/v1/ConstraintHandler.java
+++ b/src/main/java/v1/ConstraintHandler.java
@@ -22,13 +22,13 @@ public class ConstraintHandler {
 		bdd = new BDD(sizeOfNodetable, sizeOfCache);
 //		bdd = new jdd.bdd.debug.DebugBDD(1000,1000);
 
-		// parameter‚̃ŠƒXƒg
+		// parameterのリスト
 		parameters = setBDDforParameter(parameterList);
 
-		// contrainList‚©‚çAƒm[ƒh‚ðŒÄ‚Ô
+		// contrainListから、ノードを呼ぶ
 		bddConstraint = setBddConstraint(constraintList);
 
-		// boolean •Ï”‚Ì‘”‚ðŒvŽZ
+		// boolean 変数の総数を計算
 		// numOfBooleanVariable = computeNumOfBooleanVariables
 	}
 
@@ -40,17 +40,17 @@ public class ConstraintHandler {
 
 		this.constrainedParameters = constrainedParameters;
 
-		// parameter‚̃ŠƒXƒg
+		// parameterのリスト
 		PList constrainedParameterList = new PList();
 		for (Integer factor: constrainedParameters) {
 			constrainedParameterList.add(parameterList.get(factor));
 		}
 		parameters = setBDDforParameter(constrainedParameterList);
 
-		// contrainList‚©‚çAƒm[ƒh‚ðŒÄ‚Ô
+		// contrainListから、ノードを呼ぶ
 		bddConstraint = setBddConstraint(constraintList);
 
-		// boolean •Ï”‚Ì‘”‚ðŒvŽZ
+		// boolean 変数の総数を計算
 		// numOfBooleanVariable = computeNumOfBooleanVariables
 	}
 	
@@ -58,39 +58,39 @@ public class ConstraintHandler {
 		bdd.printSet(bddConstraint);
 	}
 
-	// Šeƒpƒ‰ƒ[ƒ^‚Éboolean•Ï”‚ðŠ„‚è“–‚āD‘”‚àŒvŽZ
+	// 各パラメータにboolean変数を割り当て．総数も計算
 	private List<VariableAndBDD> setBDDforParameter(PList parameterList) {
 		List<VariableAndBDD> res = new ArrayList<VariableAndBDD>();
 		this.numOfBDDvariables = 0;
 
 		for (Parameter p : parameterList) {
-			// BDD•Ï”‚̐ݒè
+			// BDD変数の設定
 			int num_vars = 1;
 			for (int levels = 2;; levels *= 2) {
 				if (p.value_name.size() < levels)
 					break;
 				num_vars++;
 			}
-			// BDD•Ï”‚Ì‘”‚ðŒvŽZ
+			// BDD変数の総数を計算
 			numOfBDDvariables += num_vars;
 
 			// boolean variables
-			// ¶¬‚³‚ꂽ‡‚É getVar(v): 0, 1, 2, ..
+			// 生成された順に getVar(v): 0, 1, 2, ..
 			int[] var = new int[num_vars];
 			for (int i = num_vars - 1; i >= 0; i--) {
 				var[i] = bdd.createVar();
 			}
 
-			// §–ñ‚ÌBDD‚̐ݒè
+			// 制約のBDDの設定
 			// constraint for invalid values
-			// domain-1ˆÈ‰º‚̐”Žš‚Ì‚Ý—LŒø
-			// bool variables ‚̐”‚Ídomain-1‚ð‚ ‚ç‚킹‚邾‚¯‚Í‚ ‚é
+			// domain-1以下の数字のみ有効
+			// bool variables の数はdomain-1をあらわせるだけはある
 			//
-			// domain-1‚Ì2i•\Œ»‚ł́CÅãˆÊ‚̕ϐ”‚É‚ ‚½‚éƒrƒbƒg‚͏í‚É1
-			// ‚Æ‚ÍŒÀ‚ç‚È‚¢
+			// domain-1の2進表現では，最上位の変数にあたるビットは常に1
+			// とは限らない
 			int f = bdd.getZero();
 			bdd.ref(f);
-			// domain-1‚æ‚菬‚³‚¢”
+			// domain-1より小さい数
 			for (int i = var.length - 1; i >= 0; i--) {
 				if ((p.value_name.size() - 1 & (0x01 << i)) > 0) {
 					int g = bdd.getOne();
@@ -115,7 +115,7 @@ public class ConstraintHandler {
 				}
 			}
 
-			// domain - 1Ž©g
+			// domain - 1自身
 			int g = bdd.getOne();
 			bdd.ref(g);
 			for (int i = var.length - 1; i >= 0; i--) {
@@ -135,7 +135,7 @@ public class ConstraintHandler {
 			bdd.deref(f);
 			bdd.deref(g);
 
-			// var, d ‚ð list‚ɒljÁ
+			// var, d を listに追加
 			res.add(new VariableAndBDD(var, d));
 		}
 		return res;
@@ -145,14 +145,14 @@ public class ConstraintHandler {
 		int f = bdd.getOne();
 		bdd.ref(f);
 
-		// ƒpƒ‰ƒ[ƒ^‚ł‚©‚í‚È‚¢’l‚ð‚Æ‚Á‚½ê‡‚Éfalse‚Æ‚È‚é‚悤‚É‚·‚é
+		// パラメータでつかわない値をとった場合にfalseとなるようにする
 		for (VariableAndBDD vb : parameters) {
 			int tmp = bdd.ref(bdd.and(f, vb.constraint));
 			bdd.deref(f);
 			f = tmp;
 		}
 
-		// §–ñŽ®‚̘_—Ï‚ð‚Æ‚é
+		// 制約式の論理積をとる
 		for (Node n : constraintList) {		
 			int g = n.evaluate(bdd, parameters, constrainedParameters);
 			int tmp = bdd.ref(bdd.and(f, g));
@@ -161,7 +161,7 @@ public class ConstraintHandler {
 			f = tmp;
 		}
 
-		// *‚ð•t‰Á
+		// *を付加
 		f = extendBddConstraint(f);
 
 		return f;
@@ -207,19 +207,19 @@ public class ConstraintHandler {
 		return f;
 	}
 
-	// ƒeƒXƒgƒP[ƒX‚ª§–ñ‚ð–ž‚½‚·‚©
+	// テストケースが制約を満たすか
 	boolean isPossibleOld(Testcase test) {
 		int node = bddConstraint;
 		boolean[] bv = binarize(test);
 
 		while (true) {
-			// P^CP‹U
+			// 恒真，恒偽
 			if (node == 0)
 				return false;
 			else if (node == 1)
 				return true;
 
-			// ‚±‚Ìpos‚Ì0, 1‚̓m[ƒh‚È‚µ
+			// このposの0, 1はノードなし
 			if (bv[bdd.getVar(node)] == true)
 				node = bdd.getHigh(node);
 			else
@@ -232,13 +232,13 @@ public class ConstraintHandler {
 		boolean[] bv = binarizeReduced(test);
 
 		while (true) {
-			// P^CP‹U
+			// 恒真，恒偽
 			if (node == 0)
 				return false;
 			else if (node == 1)
 				return true;
 
-			// ‚±‚Ìpos‚Ì0, 1‚̓m[ƒh‚È‚µ
+			// このposの0, 1はノードなし
 			if (bv[bdd.getVar(node)] == true)
 				node = bdd.getHigh(node);
 			else
@@ -247,10 +247,10 @@ public class ConstraintHandler {
 	}
 	
 	private boolean[] binarize(Testcase test) {
-		// assert(testcase‚Ì’·‚³ = parameter‚̐”)
+		// assert(testcaseの長さ = parameterの数)
 		boolean[] res = new boolean[numOfBDDvariables];
 		int pos = 0;
-		// ŠeˆöŽq‚Ì’l‚ð2’l‚Å•\Œ»
+		// 各因子の値を2値で表現
 		for (int i = 0; i < test.value.length; i++) {
 			VariableAndBDD p = parameters.get(i);
 			int lv = test.get(i);
@@ -278,14 +278,14 @@ public class ConstraintHandler {
 		return res;
 	}
 	
-	// TreeSet<Integer> constrainedParameters ‚É‚ ‚éparameter‚¾‚¯‚ð2’l‰»
+	// TreeSet<Integer> constrainedParameters にあるparameterだけを2値化
 	private boolean[] binarizeReduced(Testcase test) {
 		boolean[] res = new boolean[numOfBDDvariables];
 		int pos = 0;
 		int i = 0;
 		for (Integer factor: constrainedParameters) {
 			// VariableAndBDD p = parameters.get(i); <- 
-			// parameters ‚ª relevant‚È‚à‚Ì‚¾‚¯‚É‚È‚ê‚΁Cã‹L‚ɕύX
+			// parameters が relevantなものだけになれば，上記に変更
 			VariableAndBDD p = parameters.get(i);
 
 			int lv = test.get(factor);
@@ -317,7 +317,7 @@ public class ConstraintHandler {
 
 class VariableAndBDD {
 	int[] var; // bdd nodes
-	// TODO –¼‘O constraint -> ‰½‚©‚æ‚¢‚à‚Ì‚É
+	// TODO 名前 constraint -> 何かよいものに
 	int constraint; // bdd for invalid values
 
 	VariableAndBDD(int[] var, int constraint) {

--- a/src/main/java/v1/Error.java
+++ b/src/main/java/v1/Error.java
@@ -7,7 +7,7 @@ import java.io.OutputStreamWriter;
 
 public class Error {
 
-	// default ‚ŃGƒ‰[‚Í•W€o—Í
+	// default でエラーは標準出力
 	static String filename = null;
 
 	public static void setOutputFile(String filename) {
@@ -24,8 +24,8 @@ public class Error {
 			writer.write("#ERROR," + str + "\n");
 			writer.close();
 		} catch (IOException e) {
-			System.err.print(Main.language == Main.Language.JP ? "o—̓tƒ@ƒCƒ‹"
-					+ filename + "‚ªì¬‚Å‚«‚Ü‚¹‚ñD" : "Output file " + filename
+			System.err.print(Main.language == Main.Language.JP ? "出力ファイル"
+					+ filename + "が作成できません．" : "Output file " + filename
 					+ " could not be created.");
 		}
 		System.exit(1);

--- a/src/main/java/v1/Generator.java
+++ b/src/main/java/v1/Generator.java
@@ -57,7 +57,7 @@ abstract class Generator {
 
 	abstract List<Testcase> generate() throws OutOfMaxNumOfTestcasesException;
 
-	// group‚Å‘S–Ô—…‚·‚étuple‚Ì—ñ‚𐶐¬
+	// groupで全網羅するtupleの列を生成
 	protected List<List<Testcase>> generateTupleSequenceList() {
 		// protected List<TupleSequence> generateTupleSequence() {
 		// TODO Auto-generated method stub
@@ -88,7 +88,7 @@ abstract class Generator {
 			tmptest = tmptest.makeClone();
 			for (int j = 0; j < g.member.length; j++) {
 				int p = g.member[j];
-				if (tmptest.get(p) + 1 >= parametermodel.range[p]) // ‚¯‚½‚ ‚°
+				if (tmptest.get(p) + 1 >= parametermodel.range[p]) // けたあげ
 					tmptest.set(p, (byte) 0);
 				else {
 					tmptest.set(p, (byte) (tmptest.get(p) + 1));
@@ -98,8 +98,8 @@ abstract class Generator {
 			if (constrainthandler.isPossible(tmptest)) {
 				testSet.add(tmptest);
 				if (testSet.size() > MaxNumOfTestcases)
-					Error.printError(Main.language == Main.Language.JP ? "“Á’èˆöŽq‚Ì‘S–Ô—…‚ɏãŒÀ"
-							+ MaxNumOfTestcases + "‚ð’´‚¦‚éƒeƒXƒgƒP[ƒX‚ª•K—v‚Å‚·"
+					Error.printError(Main.language == Main.Language.JP ? "特定因子の全網羅に上限"
+							+ MaxNumOfTestcases + "を超えるテストケースが必要です"
 							: "The number of test cases exceeds the upper bound "
 									+ MaxNumOfTestcases);
 			}
@@ -124,7 +124,7 @@ class Generator2 extends Generator {
 	 * ConstraintHandler constrainthandler; final List<Testcase> seed; final int
 	 * numOfParameters; final Random rnd;
 	 * 
-	 * //TODO group‚̒ljÁ Generator2 (ParameterModel parametermodel, GList
+	 * //TODO groupの追加 Generator2 (ParameterModel parametermodel, GList
 	 * groupList, ConstraintHandler constrainthandler, List<Testcase> seed, long
 	 * randomseed){ this.parametermodel = parametermodel; this.groupList =
 	 * groupList; this.constrainthandler = constrainthandler; this.seed = seed;
@@ -147,13 +147,13 @@ class Generator2 extends Generator {
 		List<Testcase> res = new ArrayList<Testcase>();
 		PairTable tab = new PairTable(parametermodel);
 
-		// group–ˆCtuple—ñ‚̍쐬
+		// group毎，tuple列の作成
 		List<List<Testcase>> tupleSequenceList = generateTupleSequenceList();
 
 		//
 		int numOfUncoveredTuples = checkAllTuples(tab);
 
-		// Še<ˆöŽqE’l> ‚É ‚»‚ꂪŠÜ‚Ü‚ê‚é–¢ƒJƒo[‚Ìtuple‚Ì‘”‚ðÝ’è
+		// 各<因子・値> に それが含まれる未カバーのtupleの総数を設定
 		ArrayList<Integer>[] uncovTab = new ArrayList[parametermodel.size];
 		initializeUncovTab(uncovTab, tab);
 
@@ -166,7 +166,7 @@ class Generator2 extends Generator {
 
 		int seedrownum = 0;
 		while (numOfUncoveredTuples > 0 || hasTuplesToCover(tupleSequenceList)) {
-			// testcase 1ŒÂ¶¬
+			// testcase 1個生成
 			ResultOfGenerateOneTest newresult = generateOneTest(tab,
 					seedrownum, uncovTab, tupleSequenceList);
 
@@ -206,7 +206,7 @@ class Generator2 extends Generator {
 
 	private void initializeUncovTab(ArrayList<Integer>[] uncovTab, PairTable tab) {
 		assert (parametermodel.size == uncovTab.length);
-		// uncovTab‚ÌŒvŽZDpair (strength = 2) ‚̏ꍇ
+		// uncovTabの計算．pair (strength = 2) の場合
 		for (int p1 = 0; p1 < parametermodel.size; p1++) {
 			uncovTab[p1] = new ArrayList<Integer>();
 			for (byte v1 = 0; v1 < parametermodel.range[p1]; v1++) {
@@ -227,7 +227,7 @@ class Generator2 extends Generator {
 	private ResultOfGenerateOneTest generateOneTest(PairTable tab,
 			int seedrownum, ArrayList<Integer>[] uncovTab,
 			List<List<Testcase>> tupleSequenceList) {
-		// ‹ó‚̃eƒXƒgƒP[ƒX‚ð1‚‚‚­‚é
+		// 空のテストケースを1つつくる
 		Testcase tmp = new Testcase(parametermodel.size);
 		tmp.quantify();
 
@@ -235,7 +235,7 @@ class Generator2 extends Generator {
 
 		// debug: System.err.print("seedrownum: " + seedrownum + "-> ");
 
-		// seed‚̃Rƒs[@§–ñ‚ð–ž‚½‚³‚È‚©‚Á‚½‚çƒGƒ‰[
+		// seedのコピー　制約を満たさなかったらエラー
 		if (seed.size() > 0 && seedrownum < seed.size()) {
 			isSeedUsed = true;
 			Testcase seedrow = seed.get(seedrownum);
@@ -244,17 +244,17 @@ class Generator2 extends Generator {
 			}
 		}
 		if (constrainthandler.isPossible(tmp) == false) {
-			Error.printError(Main.language == Main.Language.JP ? "seed‚Ì"
-					+ (seedrownum + 1) + "s–Ú‚ª§–ñˆá”½‚Å‚·" : "The" + (seedrownum + 1)
+			Error.printError(Main.language == Main.Language.JP ? "seedの"
+					+ (seedrownum + 1) + "行目が制約違反です" : "The" + (seedrownum + 1)
 					+ "th seeding row violates the constraints.");
 			return null;
 		}
 
-		// TODO tmp‚ɃOƒ‹[ƒv‚ð’ljÁ
+		// TODO tmpにグループを追加
 		addGroupedTuples(tmp, tupleSequenceList);
 
-		// TODO ŒJ‚è•Ô‚³‚¹‚é
-		// generateTempTest ‚Å‚Í tab‚ðXV‚µ‚È‚¢
+		// TODO 繰り返させる
+		// generateTempTest では tabを更新しない
 		Testcase temptest = generateTempTest(tmp, tab, uncovTab);
 		int count = this.computeNewlyCoveredTuples(tab, temptest);
 
@@ -273,14 +273,14 @@ class Generator2 extends Generator {
 
 		// System.err.println(computeNewlyCoveredTuples(tab, temptest));
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚ÉuncovTab‚É”½‰f
-		// finalizePairTable‚æ‚è‘O‚Å‚È‚¢‚Æ‚¾‚ß
+		// カバーしたペアーを実際にuncovTabに反映
+		// finalizePairTableより前でないとだめ
 		finallizeUncoverTable(uncovTab, tab, temptest);
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚Étab‚É”½‰f
+		// カバーしたペアーを実際にtabに反映
 		int newtuples = finalizePairTable(tab, temptest);
 
-		// •Ô‚è’l‚̐ݒè
+		// 返り値の設定
 		ResultOfGenerateOneTest res = new ResultOfGenerateOneTest();
 		res.test = temptest;
 		res.numOfCoveredTuples = newtuples;
@@ -334,14 +334,14 @@ class Generator2 extends Generator {
 	private Testcase generateTempTest(Testcase seedrow, PairTable tab,
 			ArrayList<Integer>[] uncovTab) {
 
-		// tmp‚ðƒRƒs[
+		// tmpをコピー
 		Testcase tmp = seedrow.makeClone();
 
-		// TODO ƒ‰ƒ“ƒ_ƒ€‚ȈöŽq—ñ‚𐶐¬
+		// TODO ランダムな因子列を生成
 		int[] parametersequence = new int[parametermodel.size];
 		for (int i = 0; i < parametermodel.size; i++)
 			parametersequence[i] = i;
-		// ƒVƒƒƒbƒtƒ‹
+		// シャッフル
 		for (int i = 1; i < parametermodel.size; i++) {
 			int dst = this.rnd.nextInt(i + 1);
 			int tmppara = parametersequence[i];
@@ -354,12 +354,12 @@ class Generator2 extends Generator {
 		 * System.out.print(parametersequence[i] + " "); System.out.println();
 		 */
 
-		// ŠeˆöŽq‚ɂ‚¢‚Ä
+		// 各因子について
 		for (int i = 0; i < parametermodel.size; i++) {
 			int p = parametersequence[i];
-			// ’l‚ª‚«‚Ü‚Á‚Ä‚¢‚È‚¢‚È‚ç
+			// 値がきまっていないなら
 			if (tmp.get(p) < 0) {
-				// Še’l‚É‚æ‚Á‚ăJƒo[‚³‚ê‚éƒyƒA‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
+				// 各値によってカバーされるペアを数え，最大のものを選択
 				int newlyCoveredTuples = -1;
 				byte bestValue = -1;
 				for (byte v = 0; v < this.parametermodel.range[p]; v++) {
@@ -374,14 +374,14 @@ class Generator2 extends Generator {
 				}
 				// assert (bestValue >= 0) : "error in chosing a value";
 				if (bestValue == -1) {
-					Error.printError(Main.language == Main.Language.JP ? "seed‚ɐ§–ñˆá”½‚̍s‚ª‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "seedに制約違反の行があります"
 							: "Some seeding row violates the constraints.");
 
 					return null;
 				}
 				if (newlyCoveredTuples == 0) {
-					// TODO ƒJƒo[” 0 ‚È‚çCŠú‘Ò‚³‚ê‚éƒyƒA”‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
-					// TODO Šú‘Ò‚·‚éƒyƒA”‚ɂ́Câ‘΂ɂނè‚È‚à‚Ì‚à‚ ‚éi‚·‚Å‚É’l‚ªŒˆ‚Ü‚Á‚Ä‚¢‚éˆöŽq‚Ƃ̃yƒAj
+					// TODO カバー数 0 なら，期待されるペア数を数え，最大のものを選択
+					// TODO 期待するペア数には，絶対にむりなものもある（すでに値が決まっている因子とのペア）
 					bestValue = -1;
 					int possibleTuples = -1;
 
@@ -401,7 +401,7 @@ class Generator2 extends Generator {
 								candidateValues.add(v);
 						}
 					}
-					// ‚Ç‚ê‚ð‘I‚ñ‚Å‚à“¯‚¶‚È‚çCƒ‰ƒ“ƒ_ƒ€‚É‘I‚Ô
+					// どれを選んでも同じなら，ランダムに選ぶ
 					// for tie breaking
 					if (possibleTuples == 0)
 						bestValue = candidateValues.get(this.rnd
@@ -411,7 +411,7 @@ class Generator2 extends Generator {
 			}
 		}
 
-		// VƒJƒo[‚ª0‚Æ‚¢‚¤‚±‚Æ‚à‚ ‚é
+		// 新カバーが0ということもある
 		return tmp;
 	}
 
@@ -455,13 +455,13 @@ class Generator2 extends Generator {
 			for (int j = i + 1; j < numOfParameters; j++) {
 				for (byte v1 = 0; v1 < parametermodel.range[i]; v1++)
 					for (byte v2 = 0; v2 < parametermodel.range[j]; v2++) {
-						// pair‚̐¶¬
+						// pairの生成
 						Testcase pair = new Testcase(numOfParameters);
 						pair.quantify();
 						pair.set(i, v1);
 						pair.set(j, v2);
-						// pair‚̃`ƒFƒbƒN
-						// ‹Ö‘¥ˆá”½‚È‚çset
+						// pairのチェック
+						// 禁則違反ならset
 						if (constrainthandler.isPossible(pair) == false) {
 							tab.set(i, v1, j, v2);
 						} else
@@ -510,7 +510,7 @@ class PairTable extends TupleTable {
 					table[i][j] = new PairList(parametermodel.range[i],
 							parametermodel.range[j]);
 				else if (i > j) {
-					// TODO: ƒGƒ‰[‚ª‚Å‚éH‚È‚ñ‚ŁH
+					// TODO: エラーがでる？なんで？
 					// table[i][j].list = table[j][i].list.clone();
 				}
 
@@ -539,7 +539,7 @@ class PairTable extends TupleTable {
 		return this.table[p1][p2].list[v1 + v2 * (parametermodel.range[p1])];
 	}
 
-	// Œ»‚ê‚È‚¢ê‡D‚·‚łɃJƒo[‚µ‚½ê‡
+	// 現れない場合．すでにカバーした場合
 	void set(int p1, byte v1, int p2, byte v2) {
 		if (p2 < p1) {
 			int tmp = p1;

--- a/src/main/java/v1/Generator3.java
+++ b/src/main/java/v1/Generator3.java
@@ -19,19 +19,19 @@ class Generator3 extends Generator {
 		List<Testcase> res = new ArrayList<Testcase>();
 		TripleTable tab = new TripleTable(parametermodel);
 
-		// group–ˆCtuple—ñ‚̍쐬
+		// group毎，tuple列の作成
 		List<List<Testcase>> tupleSequenceList = generateTupleSequenceList();
 
 		//
 		int numOfUncoveredTuples = checkAllTuples(tab);
 
-		// Še<ˆöŽqE’l> ‚É ‚»‚ꂪŠÜ‚Ü‚ê‚é–¢ƒJƒo[‚Ìtuple‚Ì‘”‚ðÝ’è
+		// 各<因子・値> に それが含まれる未カバーのtupleの総数を設定
 		ArrayList<Integer>[] uncovTab = new ArrayList[parametermodel.size];
 		initializeUncovTab(uncovTab, tab);
 
 		int seedrownum = 0;
 		while (numOfUncoveredTuples > 0 || hasTuplesToCover(tupleSequenceList)) {
-			// testcase 1ŒÂ¶¬
+			// testcase 1個生成
 			ResultOfGenerateOneTest newresult = generateOneTest(tab,
 					seedrownum, uncovTab, tupleSequenceList);
 
@@ -55,14 +55,14 @@ class Generator3 extends Generator {
 						for (byte v2 = 0; v2 < parametermodel.range[j]; v2++)
 							for (byte v3 = 0; v3 < parametermodel.range[k]; v3++) {
 								assert (i < j && j < k);
-								// triple‚̐¶¬
+								// tripleの生成
 								Testcase triple = new Testcase(numOfParameters);
 								triple.quantify();
 								triple.set(i, v1);
 								triple.set(j, v2);
 								triple.set(k, v3);
-								// pair‚̃`ƒFƒbƒN
-								// ‹Ö‘¥ˆá”½‚È‚çset
+								// pairのチェック
+								// 禁則違反ならset
 								if (constrainthandler.isPossible(triple) == false) {
 									tab.set(i, v1, j, v2, k, v3);
 								} else
@@ -77,7 +77,7 @@ class Generator3 extends Generator {
 	private void initializeUncovTab(ArrayList<Integer>[] uncovTab,
 			TripleTable tab) {
 		assert (parametermodel.size == uncovTab.length);
-		// uncovTab‚ÌŒvŽZDtriple (strength = 3) ‚̏ꍇ
+		// uncovTabの計算．triple (strength = 3) の場合
 		for (int p = 0; p < parametermodel.size; p++) {
 			uncovTab[p] = new ArrayList<Integer>();
 			for (byte v = 0; v < parametermodel.range[p]; v++) {
@@ -102,12 +102,12 @@ class Generator3 extends Generator {
 	private ResultOfGenerateOneTest generateOneTest(TripleTable tab,
 			int seedrownum, ArrayList<Integer>[] uncovTab,
 			List<List<Testcase>> tupleSequenceList) {
-		// ‹ó‚̃eƒXƒgƒP[ƒX‚ð1‚‚‚­‚é
+		// 空のテストケースを1つつくる
 		Testcase tmp = new Testcase(parametermodel.size);
 		tmp.quantify();
 
 		boolean isSeedUsed = false;
-		// seed‚̃Rƒs[@§–ñ‚ð–ž‚½‚³‚È‚©‚Á‚½‚çƒGƒ‰[
+		// seedのコピー　制約を満たさなかったらエラー
 		if (seed.size() > 0 && seedrownum < seed.size()) {
 			isSeedUsed = true;
 			Testcase seedrow = seed.get(seedrownum);
@@ -116,36 +116,36 @@ class Generator3 extends Generator {
 			}
 		}
 		if (constrainthandler.isPossible(tmp) == false) {
-			Error.printError(Main.language == Main.Language.JP ? "seed‚Ì"
-					+ (seedrownum + 1) + "s–Ú‚ª§–ñˆá”½‚Å‚·" : "The" + (seedrownum + 1)
+			Error.printError(Main.language == Main.Language.JP ? "seedの"
+					+ (seedrownum + 1) + "行目が制約違反です" : "The" + (seedrownum + 1)
 					+ "th seeding row violates the constraints.");
 
 			return null;
 		}
 
 		// 2.20
-		// tmp‚ɃOƒ‹[ƒv‚ð’ljÁ
+		// tmpにグループを追加
 		boolean isGroupUsed = addGroupedTuples(tmp, tupleSequenceList);
 
-		// TODO ŒJ‚è•Ô‚³‚¹‚é
-		// generateTempTest ‚Å‚Í tab‚ðXV‚µ‚È‚¢
+		// TODO 繰り返させる
+		// generateTempTest では tabを更新しない
 		Testcase temptest = generateTempTest(tmp, tab, uncovTab);
 		// 2.20
-		// 0ƒJƒo[‚̏ꍇ
+		// 0カバーの場合
 		if (isSeedUsed == false && isGroupUsed == false
 				&& computeNewlyCoveredTuples(tab, temptest) == 0) {
 			addUncoveredTuple(tmp, tab, uncovTab);
 			temptest = generateTempTest(tmp, tab, uncovTab);
 		}
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚ÉuncovTab‚É”½‰f
-		// finalizePairTable‚æ‚è‘O‚Å‚È‚¢‚Æ‚¾‚ß
+		// カバーしたペアーを実際にuncovTabに反映
+		// finalizePairTableより前でないとだめ
 		finallizeUncoverTable(uncovTab, tab, temptest);
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚Étab‚É”½‰f
+		// カバーしたペアーを実際にtabに反映
 		int newtuples = finalizeTupleTable(tab, temptest);
 
-		// •Ô‚è’l‚̐ݒè
+		// 返り値の設定
 		ResultOfGenerateOneTest res = new ResultOfGenerateOneTest();
 		res.test = temptest;
 		res.numOfCoveredTuples = newtuples;
@@ -203,7 +203,7 @@ class Generator3 extends Generator {
 	}
 
 	// 2.20
-	// ‘O‚̈ʒu‚ð‚¨‚Ú‚¦‚Ä‚¨‚­
+	// 前の位置をおぼえておく
 	private void addUncoveredTuple(Testcase tmp, TripleTable tab,
 			ArrayList<Integer>[] uncovTab) {
 
@@ -248,14 +248,14 @@ class Generator3 extends Generator {
 	private Testcase generateTempTest(Testcase seedrow, TripleTable tab,
 			ArrayList<Integer>[] uncovTab) {
 
-		// tmp‚ðƒRƒs[
+		// tmpをコピー
 		Testcase tmp = seedrow.makeClone();
 
-		// TODO ƒ‰ƒ“ƒ_ƒ€‚ȈöŽq—ñ‚𐶐¬
+		// TODO ランダムな因子列を生成
 		int[] parametersequence = new int[parametermodel.size];
 		for (int i = 0; i < parametermodel.size; i++)
 			parametersequence[i] = i;
-		// ƒVƒƒƒbƒtƒ‹
+		// シャッフル
 		for (int i = 1; i < parametermodel.size; i++) {
 			int dst = this.rnd.nextInt(i + 1);
 			int tmppara = parametersequence[i];
@@ -263,12 +263,12 @@ class Generator3 extends Generator {
 			parametersequence[dst] = tmppara;
 		}
 
-		// ŠeˆöŽq‚ɂ‚¢‚Ä
+		// 各因子について
 		for (int i = 0; i < parametermodel.size; i++) {
 			int p = parametersequence[i];
-			// ’l‚ª‚«‚Ü‚Á‚Ä‚¢‚È‚¢‚È‚ç
+			// 値がきまっていないなら
 			if (tmp.get(p) < 0) {
-				// Še’l‚É‚æ‚Á‚ăJƒo[‚³‚ê‚éƒyƒA‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
+				// 各値によってカバーされるペアを数え，最大のものを選択
 				int newlyCoveredTuples = -1;
 				byte bestValue = -1;
 				for (byte v = 0; v < this.parametermodel.range[p]; v++) {
@@ -283,13 +283,13 @@ class Generator3 extends Generator {
 				}
 				// assert (bestValue >= 0) : "error in chosing a value";
 				if (bestValue == -1) {
-					Error.printError(Main.language == Main.Language.JP ? "seed‚ɐ§–ñˆá”½‚̍s‚ª‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "seedに制約違反の行があります"
 							: "Some seeding row violates the constraints.");
 					return null;
 				}
 				if (newlyCoveredTuples == 0) {
-					// TODO ƒJƒo[” 0 ‚È‚çCŠú‘Ò‚³‚ê‚éƒyƒA”‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
-					// TODO Šú‘Ò‚·‚éƒyƒA”‚ɂ́Câ‘΂ɂނè‚È‚à‚Ì‚à‚ ‚éi‚·‚Å‚É’l‚ªŒˆ‚Ü‚Á‚Ä‚¢‚éˆöŽq‚Ƃ̃yƒAj
+					// TODO カバー数 0 なら，期待されるペア数を数え，最大のものを選択
+					// TODO 期待するペア数には，絶対にむりなものもある（すでに値が決まっている因子とのペア）
 					bestValue = -1;
 					int possibleTuples = -1;
 					// for tie breaking
@@ -308,7 +308,7 @@ class Generator3 extends Generator {
 								candidateValues.add(v);
 						}
 					}
-					// ‚Ç‚ê‚ð‘I‚ñ‚Å‚à“¯‚¶‚È‚çCƒ‰ƒ“ƒ_ƒ€‚É‘I‚Ô
+					// どれを選んでも同じなら，ランダムに選ぶ
 					// for tie breaking
 					if (possibleTuples == 0)
 						bestValue = candidateValues.get(this.rnd
@@ -318,7 +318,7 @@ class Generator3 extends Generator {
 			}
 		}
 
-		// VƒJƒo[‚ª0‚Æ‚¢‚¤‚±‚Æ‚à‚ ‚é
+		// 新カバーが0ということもある
 		return tmp;
 	}
 
@@ -373,7 +373,7 @@ class TripleTable extends TupleTable {
 								parametermodel.range[j],
 								parametermodel.range[k]);
 					else if (i > j) {
-						// TODO: ƒGƒ‰[‚ª‚Å‚éH‚È‚ñ‚ŁH
+						// TODO: エラーがでる？なんで？
 						// table[i][j].list = table[j][i].list.clone();
 					}
 				}
@@ -384,8 +384,8 @@ class TripleTable extends TupleTable {
 	// requires p1 != p2 != p3
 	boolean get(int p1, byte v1, int p2, byte v2, int p3, byte v3) {
 		// TODO Auto-generated method stub
-		// pair‚̏ꍇ‚É‚à”½‰fH
-		// ˆöŽq‚̏¸‡‚Ƀ\[ƒg
+		// pairの場合にも反映？
+		// 因子の昇順にソート
 		ParameterValuePair[] pv = new ParameterValuePair[3];
 		pv[0] = new ParameterValuePair(p1, v1);
 		pv[1] = new ParameterValuePair(p2, v2);
@@ -398,7 +398,7 @@ class TripleTable extends TupleTable {
 
 	}
 
-	// Œ»‚ê‚È‚¢ê‡D‚·‚łɃJƒo[‚µ‚½ê‡
+	// 現れない場合．すでにカバーした場合
 	// requires p1 != p2 != p3
 	void set(int p1, byte v1, int p2, byte v2, int p3, byte v3) {
 		ParameterValuePair[] pv = new ParameterValuePair[3];

--- a/src/main/java/v1/Generator4.java
+++ b/src/main/java/v1/Generator4.java
@@ -18,19 +18,19 @@ class Generator4 extends Generator {
 		List<Testcase> res = new ArrayList<Testcase>();
 		QuadTable tab = new QuadTable(parametermodel);
 
-		// group–ˆCtuple—ñ‚̍쐬
+		// group毎，tuple列の作成
 		List<List<Testcase>> tupleSequenceList = generateTupleSequenceList();
 
 		//
 		int numOfUncoveredTuples = checkAllTuples(tab);
 
-		// Še<ˆöŽqE’l> ‚É ‚»‚ꂪŠÜ‚Ü‚ê‚é–¢ƒJƒo[‚Ìtuple‚Ì‘”‚ðÝ’è
+		// 各<因子・値> に それが含まれる未カバーのtupleの総数を設定
 		ArrayList<Integer>[] uncovTab = new ArrayList[parametermodel.size];
 		initializeUncovTab(uncovTab, tab);
 
 		int seedrownum = 0;
 		while (numOfUncoveredTuples > 0 || hasTuplesToCover(tupleSequenceList)) {
-			// testcase 1ŒÂ¶¬
+			// testcase 1個生成
 			ResultOfGenerateOneTest newresult = generateOneTest(tab,
 					seedrownum, uncovTab, tupleSequenceList);
 
@@ -55,7 +55,7 @@ class Generator4 extends Generator {
 							for (byte v1 = 0; v1 < parametermodel.range[p1]; v1++) {
 								for (byte v2 = 0; v2 < parametermodel.range[p2]; v2++) {
 									for (byte v3 = 0; v3 < parametermodel.range[p3]; v3++) {
-										// tuple‚̐¶¬
+										// tupleの生成
 										Testcase tuple = new Testcase(
 												numOfParameters);
 										tuple.quantify();
@@ -63,8 +63,8 @@ class Generator4 extends Generator {
 										tuple.set(p1, v1);
 										tuple.set(p2, v2);
 										tuple.set(p3, v3);
-										// tuple‚̃`ƒFƒbƒN
-										// ‹Ö‘¥ˆá”½‚È‚çset
+										// tupleのチェック
+										// 禁則違反ならset
 										if (constrainthandler.isPossible(tuple) == false) {
 											tab.set(p0, v0, p1, v1, p2, v2, p3,
 													v3);
@@ -83,7 +83,7 @@ class Generator4 extends Generator {
 
 	private void initializeUncovTab(ArrayList<Integer>[] uncovTab, QuadTable tab) {
 		assert (parametermodel.size == uncovTab.length);
-		// uncovTab‚ÌŒvŽZD strength = 4 ‚̏ꍇ
+		// uncovTabの計算． strength = 4 の場合
 		for (int p = 0; p < parametermodel.size; p++) {
 			uncovTab[p] = new ArrayList<Integer>();
 			for (byte v = 0; v < parametermodel.range[p]; v++) {
@@ -115,13 +115,13 @@ class Generator4 extends Generator {
 	private ResultOfGenerateOneTest generateOneTest(QuadTable tab,
 			int seedrownum, ArrayList<Integer>[] uncovTab,
 			List<List<Testcase>> tupleSequenceList) {
-		// ‹ó‚̃eƒXƒgƒP[ƒX‚ð1‚‚‚­‚é
+		// 空のテストケースを1つつくる
 		Testcase tmp = new Testcase(parametermodel.size);
 		tmp.quantify();
 
 		boolean isSeedUsed = false;
 
-		// seed‚̃Rƒs[@§–ñ‚ð–ž‚½‚³‚È‚©‚Á‚½‚çƒGƒ‰[
+		// seedのコピー　制約を満たさなかったらエラー
 		if (seed.size() > 0 && seedrownum < seed.size()) {
 			isSeedUsed = true;
 			Testcase seedrow = seed.get(seedrownum);
@@ -130,35 +130,35 @@ class Generator4 extends Generator {
 			}
 		}
 		if (constrainthandler.isPossible(tmp) == false) {
-			Error.printError(Main.language == Main.Language.JP ? "seed‚Ì"
-					+ (seedrownum + 1) + "s–Ú‚ª§–ñˆá”½‚Å‚·" : "The" + (seedrownum + 1)
+			Error.printError(Main.language == Main.Language.JP ? "seedの"
+					+ (seedrownum + 1) + "行目が制約違反です" : "The" + (seedrownum + 1)
 					+ "th seeding row violates the constraints.");
 			return null;
 		}
 
-		// tmp‚ɃOƒ‹[ƒv‚ð’ljÁ
+		// tmpにグループを追加
 		// 2.20
 		boolean isGroupUsed = addGroupedTuples(tmp, tupleSequenceList);
 
-		// TODO ŒJ‚è•Ô‚³‚¹‚é
-		// generateTempTest ‚Å‚Í tab‚ðXV‚µ‚È‚¢
+		// TODO 繰り返させる
+		// generateTempTest では tabを更新しない
 		Testcase temptest = generateTempTest(tmp, tab, uncovTab);
 		// 2.20
-		// 0ƒJƒo[‚̏ꍇ
+		// 0カバーの場合
 		if (isSeedUsed == false && isGroupUsed == false
 				&& computeNewlyCoveredTuples(tab, temptest) == 0) {
 			addUncoveredTuple(tmp, tab, uncovTab);
 			temptest = generateTempTest(tmp, tab, uncovTab);
 		}
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚ÉuncovTab‚É”½‰f
-		// finalizePairTable‚æ‚è‘O‚Å‚È‚¢‚Æ‚¾‚ß
+		// カバーしたペアーを実際にuncovTabに反映
+		// finalizePairTableより前でないとだめ
 		finallizeUncoverTable(uncovTab, tab, temptest);
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚Étab‚É”½‰f
+		// カバーしたペアーを実際にtabに反映
 		int newtuples = finalizeTupleTable(tab, temptest);
 
-		// •Ô‚è’l‚̐ݒè
+		// 返り値の設定
 		ResultOfGenerateOneTest res = new ResultOfGenerateOneTest();
 		res.test = temptest;
 		res.numOfCoveredTuples = newtuples;
@@ -223,7 +223,7 @@ class Generator4 extends Generator {
 	}
 
 	// 2.20
-	// ‘O‚̈ʒu‚ð‚¨‚Ú‚¦‚Ä‚¨‚­
+	// 前の位置をおぼえておく
 	private void addUncoveredTuple(Testcase tmp, QuadTable tab,
 			ArrayList<Integer>[] uncovTab) {
 		for (int p0 = 0; p0 < numOfParameters - 3; p0++)
@@ -275,14 +275,14 @@ class Generator4 extends Generator {
 	private Testcase generateTempTest(Testcase seedrow, QuadTable tab,
 			ArrayList<Integer>[] uncovTab) {
 
-		// tmp‚ðƒRƒs[
+		// tmpをコピー
 		Testcase tmp = seedrow.makeClone();
 
-		// TODO ƒ‰ƒ“ƒ_ƒ€‚ȈöŽq—ñ‚𐶐¬
+		// TODO ランダムな因子列を生成
 		int[] parametersequence = new int[parametermodel.size];
 		for (int i = 0; i < parametermodel.size; i++)
 			parametersequence[i] = i;
-		// ƒVƒƒƒbƒtƒ‹
+		// シャッフル
 		for (int i = 1; i < parametermodel.size; i++) {
 			int dst = this.rnd.nextInt(i + 1);
 			int tmppara = parametersequence[i];
@@ -290,12 +290,12 @@ class Generator4 extends Generator {
 			parametersequence[dst] = tmppara;
 		}
 
-		// ŠeˆöŽq‚ɂ‚¢‚Ä
+		// 各因子について
 		for (int i = 0; i < parametermodel.size; i++) {
 			int p = parametersequence[i];
-			// ’l‚ª‚«‚Ü‚Á‚Ä‚¢‚È‚¢‚È‚ç
+			// 値がきまっていないなら
 			if (tmp.get(p) < 0) {
-				// Še’l‚É‚æ‚Á‚ăJƒo[‚³‚ê‚éƒyƒA‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
+				// 各値によってカバーされるペアを数え，最大のものを選択
 				int newlyCoveredTuples = -1;
 				byte bestValue = -1;
 				for (byte v = 0; v < this.parametermodel.range[p]; v++) {
@@ -309,13 +309,13 @@ class Generator4 extends Generator {
 					}
 				}
 				if (bestValue == -1) {
-					Error.printError(Main.language == Main.Language.JP ? "seed‚ɐ§–ñˆá”½‚̍s‚ª‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "seedに制約違反の行があります"
 							: "Some seeding row violates the constraints.");
 					return null;
 				}
 				if (newlyCoveredTuples == 0) {
-					// TODO ƒJƒo[” 0 ‚È‚çCŠú‘Ò‚³‚ê‚éƒyƒA”‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
-					// TODO Šú‘Ò‚·‚éƒyƒA”‚ɂ́Câ‘΂ɂނè‚È‚à‚Ì‚à‚ ‚éi‚·‚Å‚É’l‚ªŒˆ‚Ü‚Á‚Ä‚¢‚éˆöŽq‚Ƃ̃yƒAj
+					// TODO カバー数 0 なら，期待されるペア数を数え，最大のものを選択
+					// TODO 期待するペア数には，絶対にむりなものもある（すでに値が決まっている因子とのペア）
 					bestValue = -1;
 					int possibleTuples = -1;
 					// for tie breaking
@@ -334,7 +334,7 @@ class Generator4 extends Generator {
 								candidateValues.add(v);
 						}
 					}
-					// ‚Ç‚ê‚ð‘I‚ñ‚Å‚à“¯‚¶‚È‚çCƒ‰ƒ“ƒ_ƒ€‚É‘I‚Ô
+					// どれを選んでも同じなら，ランダムに選ぶ
 					// for tie breaking
 					if (possibleTuples == 0)
 						bestValue = candidateValues.get(this.rnd
@@ -344,7 +344,7 @@ class Generator4 extends Generator {
 			}
 		}
 
-		// VƒJƒo[‚ª0‚Æ‚¢‚¤‚±‚Æ‚à‚ ‚é
+		// 新カバーが0ということもある
 		return tmp;
 	}
 
@@ -415,8 +415,8 @@ class QuadTable extends TupleTable {
 	// requires p1 != p2 != p3 != p4
 	boolean get(int p1, byte v1, int p2, byte v2, int p3, byte v3, int p4,
 			byte v4) {
-		// pair‚̏ꍇ‚É‚à”½‰fH
-		// ˆöŽq‚̏¸‡‚Ƀ\[ƒg
+		// pairの場合にも反映？
+		// 因子の昇順にソート
 		ParameterValuePair[] pv = new ParameterValuePair[4];
 		pv[0] = new ParameterValuePair(p1, v1);
 		pv[1] = new ParameterValuePair(p2, v2);
@@ -427,7 +427,7 @@ class QuadTable extends TupleTable {
 		return this.table[pv[0].p][pv[1].p][pv[2].p][pv[3].p].list[getOffset(pv)];
 	}
 
-	// Œ»‚ê‚È‚¢ê‡D‚·‚łɃJƒo[‚µ‚½ê‡
+	// 現れない場合．すでにカバーした場合
 	// requires p1 != p2 != p3 != p4
 	void set(int p1, byte v1, int p2, byte v2, int p3, byte v3, int p4, byte v4) {
 		ParameterValuePair[] pv = new ParameterValuePair[4];

--- a/src/main/java/v1/Generator5.java
+++ b/src/main/java/v1/Generator5.java
@@ -16,22 +16,22 @@ class Generator5 extends Generator {
 	List<Testcase> generate() throws OutOfMaxNumOfTestcasesException {
 
 		List<Testcase> res = new ArrayList<Testcase>();
-		// TODO: ƒeƒXƒg”‚̉ºŒÀŒ©Ï‚à‚è if > ãŒÀ then@ƒGƒ‰[
+		// TODO: テスト数の下限見積もり if > 上限 then　エラー
 		QuintTable tab = new QuintTable(parametermodel);
 
-		// group–ˆCtuple—ñ‚̍쐬
+		// group毎，tuple列の作成
 		List<List<Testcase>> tupleSequenceList = generateTupleSequenceList();
 
 		//
 		int numOfUncoveredTuples = checkAllTuples(tab);
 
-		// Še<ˆöŽqE’l> ‚É ‚»‚ꂪŠÜ‚Ü‚ê‚é–¢ƒJƒo[‚Ìtuple‚Ì‘”‚ðÝ’è
+		// 各<因子・値> に それが含まれる未カバーのtupleの総数を設定
 		ArrayList<Integer>[] uncovTab = new ArrayList[parametermodel.size];
 		initializeUncovTab(uncovTab, tab);
 
 		int seedrownum = 0;
 		while (numOfUncoveredTuples > 0 || hasTuplesToCover(tupleSequenceList)) {
-			// testcase 1ŒÂ¶¬
+			// testcase 1個生成
 			ResultOfGenerateOneTest newresult = generateOneTest(tab,
 					seedrownum, uncovTab, tupleSequenceList);
 
@@ -59,7 +59,7 @@ class Generator5 extends Generator {
 									for (byte v2 = 0; v2 < parametermodel.range[p2]; v2++) {
 										for (byte v3 = 0; v3 < parametermodel.range[p3]; v3++) {
 											for (byte v4 = 0; v4 < parametermodel.range[p4]; v4++) {
-												// tuple‚̐¶¬
+												// tupleの生成
 												Testcase tuple = new Testcase(
 														numOfParameters);
 												tuple.quantify();
@@ -68,8 +68,8 @@ class Generator5 extends Generator {
 												tuple.set(p2, v2);
 												tuple.set(p3, v3);
 												tuple.set(p4, v4);
-												// tuple‚̃`ƒFƒbƒN
-												// ‹Ö‘¥ˆá”½‚È‚çset
+												// tupleのチェック
+												// 禁則違反ならset
 												if (constrainthandler
 														.isPossible(tuple) == false) {
 													tab.set(p0, v0, p1, v1, p2,
@@ -92,7 +92,7 @@ class Generator5 extends Generator {
 	private void initializeUncovTab(ArrayList<Integer>[] uncovTab,
 			QuintTable tab) {
 		assert (parametermodel.size == uncovTab.length);
-		// uncovTab‚ÌŒvŽZD strength = 5 ‚̏ꍇ
+		// uncovTabの計算． strength = 5 の場合
 		for (int p = 0; p < parametermodel.size; p++) {
 			uncovTab[p] = new ArrayList<Integer>();
 			for (byte v = 0; v < parametermodel.range[p]; v++) {
@@ -128,13 +128,13 @@ class Generator5 extends Generator {
 	private ResultOfGenerateOneTest generateOneTest(QuintTable tab,
 			int seedrownum, ArrayList<Integer>[] uncovTab,
 			List<List<Testcase>> tupleSequenceList) {
-		// ‹ó‚̃eƒXƒgƒP[ƒX‚ð1‚‚‚­‚é
+		// 空のテストケースを1つつくる
 		Testcase tmp = new Testcase(parametermodel.size);
 		tmp.quantify();
 
 		boolean isSeedUsed = false;
 
-		// seed‚̃Rƒs[@§–ñ‚ð–ž‚½‚³‚È‚©‚Á‚½‚çƒGƒ‰[
+		// seedのコピー　制約を満たさなかったらエラー
 		if (seed.size() > 0 && seedrownum < seed.size()) {
 			isSeedUsed = true;
 			Testcase seedrow = seed.get(seedrownum);
@@ -143,36 +143,36 @@ class Generator5 extends Generator {
 			}
 		}
 		if (constrainthandler.isPossible(tmp) == false) {
-			Error.printError(Main.language == Main.Language.JP ? "seed‚Ì"
-					+ (seedrownum + 1) + "s–Ú‚ª§–ñˆá”½‚Å‚·" : "The" + (seedrownum + 1)
+			Error.printError(Main.language == Main.Language.JP ? "seedの"
+					+ (seedrownum + 1) + "行目が制約違反です" : "The" + (seedrownum + 1)
 					+ "th seeding row violates the constraints.");
 
 			return null;
 		}
 
-		// tmp‚ɃOƒ‹[ƒv‚ð’ljÁ
+		// tmpにグループを追加
 		// 2.20
 		boolean isGroupUsed = addGroupedTuples(tmp, tupleSequenceList);
 
-		// TODO ŒJ‚è•Ô‚³‚¹‚é
-		// generateTempTest ‚Å‚Í tab‚ðXV‚µ‚È‚¢
+		// TODO 繰り返させる
+		// generateTempTest では tabを更新しない
 		Testcase temptest = generateTempTest(tmp, tab, uncovTab);
 		// 2.20
-		// 0ƒJƒo[‚̏ꍇ
+		// 0カバーの場合
 		if (isSeedUsed == false && isGroupUsed == false
 				&& computeNewlyCoveredTuples(tab, temptest) == 0) {
 			addUncoveredTuple(tmp, tab, uncovTab);
 			temptest = generateTempTest(tmp, tab, uncovTab);
 		}
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚ÉuncovTab‚É”½‰f
-		// finalizePairTable‚æ‚è‘O‚Å‚È‚¢‚Æ‚¾‚ß
+		// カバーしたペアーを実際にuncovTabに反映
+		// finalizePairTableより前でないとだめ
 		finallizeUncoverTable(uncovTab, tab, temptest);
 
-		// ƒJƒo[‚µ‚½ƒyƒA[‚ðŽÀÛ‚Étab‚É”½‰f
+		// カバーしたペアーを実際にtabに反映
 		int newtuples = finalizeTupleTable(tab, temptest);
 
-		// •Ô‚è’l‚̐ݒè
+		// 返り値の設定
 		ResultOfGenerateOneTest res = new ResultOfGenerateOneTest();
 		res.test = temptest;
 		res.numOfCoveredTuples = newtuples;
@@ -246,7 +246,7 @@ class Generator5 extends Generator {
 	}
 
 	// 2.20
-	// ‘O‚̈ʒu‚ð‚¨‚Ú‚¦‚Ä‚¨‚­
+	// 前の位置をおぼえておく
 	private void addUncoveredTuple(Testcase tmp, QuintTable tab,
 			ArrayList<Integer>[] uncovTab) {
 		for (int p0 = 0; p0 < numOfParameters - 4; p0++)
@@ -304,14 +304,14 @@ class Generator5 extends Generator {
 	private Testcase generateTempTest(Testcase seedrow, QuintTable tab,
 			ArrayList<Integer>[] uncovTab) {
 
-		// tmp‚ðƒRƒs[
+		// tmpをコピー
 		Testcase tmp = seedrow.makeClone();
 
-		// TODO ƒ‰ƒ“ƒ_ƒ€‚ȈöŽq—ñ‚𐶐¬
+		// TODO ランダムな因子列を生成
 		int[] parametersequence = new int[parametermodel.size];
 		for (int i = 0; i < parametermodel.size; i++)
 			parametersequence[i] = i;
-		// ƒVƒƒƒbƒtƒ‹
+		// シャッフル
 		for (int i = 1; i < parametermodel.size; i++) {
 			int dst = this.rnd.nextInt(i + 1);
 			int tmppara = parametersequence[i];
@@ -319,12 +319,12 @@ class Generator5 extends Generator {
 			parametersequence[dst] = tmppara;
 		}
 
-		// ŠeˆöŽq‚ɂ‚¢‚Ä
+		// 各因子について
 		for (int i = 0; i < parametermodel.size; i++) {
 			int p = parametersequence[i];
-			// ’l‚ª‚«‚Ü‚Á‚Ä‚¢‚È‚¢‚È‚ç
+			// 値がきまっていないなら
 			if (tmp.get(p) < 0) {
-				// Še’l‚É‚æ‚Á‚ăJƒo[‚³‚ê‚éƒyƒA‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
+				// 各値によってカバーされるペアを数え，最大のものを選択
 				int newlyCoveredTuples = -1;
 				byte bestValue = -1;
 				for (byte v = 0; v < this.parametermodel.range[p]; v++) {
@@ -338,13 +338,13 @@ class Generator5 extends Generator {
 					}
 				}
 				if (bestValue == -1) {
-					Error.printError(Main.language == Main.Language.JP ? "seed‚ɐ§–ñˆá”½‚̍s‚ª‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "seedに制約違反の行があります"
 							: "Some seeding row violates the constraints.");
 					return null;
 				}
 				if (newlyCoveredTuples == 0) {
-					// TODO ƒJƒo[” 0 ‚È‚çCŠú‘Ò‚³‚ê‚éƒyƒA”‚𐔂¦CÅ‘å‚Ì‚à‚Ì‚ð‘I‘ð
-					// TODO Šú‘Ò‚·‚éƒyƒA”‚ɂ́Câ‘΂ɂނè‚È‚à‚Ì‚à‚ ‚éi‚·‚Å‚É’l‚ªŒˆ‚Ü‚Á‚Ä‚¢‚éˆöŽq‚Ƃ̃yƒAj
+					// TODO カバー数 0 なら，期待されるペア数を数え，最大のものを選択
+					// TODO 期待するペア数には，絶対にむりなものもある（すでに値が決まっている因子とのペア）
 					bestValue = -1;
 					int possibleTuples = -1;
 					// for tie breaking
@@ -363,7 +363,7 @@ class Generator5 extends Generator {
 								candidateValues.add(v);
 						}
 					}
-					// ‚Ç‚ê‚ð‘I‚ñ‚Å‚à“¯‚¶‚È‚çCƒ‰ƒ“ƒ_ƒ€‚É‘I‚Ô
+					// どれを選んでも同じなら，ランダムに選ぶ
 					// for tie breaking
 					if (possibleTuples == 0)
 						bestValue = candidateValues.get(this.rnd
@@ -373,7 +373,7 @@ class Generator5 extends Generator {
 			}
 		}
 
-		// VƒJƒo[‚ª0‚Æ‚¢‚¤‚±‚Æ‚à‚ ‚é
+		// 新カバーが0ということもある
 		return tmp;
 	}
 
@@ -453,8 +453,8 @@ class QuintTable extends TupleTable {
 	// requires p1 != p2 != p3 != p4
 	boolean get(int p1, byte v1, int p2, byte v2, int p3, byte v3, int p4,
 			byte v4, int p5, byte v5) {
-		// pair‚̏ꍇ‚É‚à”½‰fH
-		// ˆöŽq‚̏¸‡‚Ƀ\[ƒg
+		// pairの場合にも反映？
+		// 因子の昇順にソート
 		ParameterValuePair[] pv = new ParameterValuePair[5];
 		pv[0] = new ParameterValuePair(p1, v1);
 		pv[1] = new ParameterValuePair(p2, v2);
@@ -466,7 +466,7 @@ class QuintTable extends TupleTable {
 		return this.table[pv[0].p][pv[1].p][pv[2].p][pv[3].p][pv[4].p].list[getOffset(pv)];
 	}
 
-	// Œ»‚ê‚È‚¢ê‡D‚·‚łɃJƒo[‚µ‚½ê‡
+	// 現れない場合．すでにカバーした場合
 	// requires p1 != p2 != p3 != p4
 	void set(int p1, byte v1, int p2, byte v2, int p3, byte v3, int p4,
 			byte v4, int p5, byte v5) {

--- a/src/main/java/v1/GeneratorAll.java
+++ b/src/main/java/v1/GeneratorAll.java
@@ -20,7 +20,7 @@ class GeneratorAll {
 		for (int i = 1; i < numOfAllCombinations; i++) {
 			tmptest = tmptest.makeClone();
 			for (int p = 0; p < parameterModel.size; p++) {
-				if (tmptest.get(p) + 1 >= parameterModel.range[p]) // ‚¯‚½‚ ‚°
+				if (tmptest.get(p) + 1 >= parameterModel.range[p]) // けたあげ
 					tmptest.set(p, (byte) 0);
 				else {
 					tmptest.set(p, (byte) (tmptest.get(p) + 1));

--- a/src/main/java/v1/Group.java
+++ b/src/main/java/v1/Group.java
@@ -33,7 +33,7 @@ class Group {
 	}
 }
 
-// TODO TreeSet‚É‚·‚遨d•¡‚ðíœ
+// TODO TreeSetにする→重複を削除
 class GList extends ArrayList<Group> {
 	private static final long serialVersionUID = -6705998890411938435L;
 
@@ -53,7 +53,7 @@ class MyComparator implements Comparator<Group> {
 			return -1;
 		}
 
-		// g0 ‚Æ g1‚ª“¯ƒTƒCƒY
+		// g0 と g1が同サイズ
 		for (int i = 0; i < g0.member.length; i++) {
 			if (g0.member[i] > g1.member[i])
 				return 1;

--- a/src/main/java/v1/Inputer.java
+++ b/src/main/java/v1/Inputer.java
@@ -13,8 +13,8 @@ import java.util.TreeSet;
 
 public class Inputer {
 
-	// @ƒV[ƒh‚ÅŽw’肳‚ꂽ•”•ªƒeƒXƒg‚Ì—ñ‚ð‚©‚¦‚·
-	// filename ‚ªnull‚È‚ç‘å‚«‚³0‚Ì—ñ‚ð•Ô‚·
+	// 　シードで指定された部分テストの列をかえす
+	// filename がnullなら大きさ0の列を返す
 	static List<Testcase> readSeed(String filename, InputFileData inputfiledata) {
 		List<Testcase> seed = new ArrayList<Testcase>();
 		if (filename == null)
@@ -29,12 +29,12 @@ public class Inputer {
 		 * System.out.print(str + "\t"); } System.out.println();
 		 */
 
-		// seed file ‚Í‹ó”’
+		// seed file は空白
 		if (row == null)
 			return seed;
 		// parameters
 		if (isParameterConsistent(row, inputfiledata) == false) {
-			Error.printError(Main.language == Main.Language.JP ? "seedƒtƒ@ƒCƒ‹‚̈öŽq‚Ì‹Lq‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "seedファイルの因子の記述に誤りがあります"
 					: "There is an invalid parameter in the seeding file.");
 			return null;
 		}
@@ -54,14 +54,14 @@ public class Inputer {
 
 			
 			 * if (isValueConsistent(row, inputfiledata) == false) {
-			 * Error.printError("seedƒtƒ@ƒCƒ‹‚Ì’l‚Ì‹Lq‚ÉŒë‚肪‚ ‚è‚Ü‚·"); return null; }
+			 * Error.printError("seedファイルの値の記述に誤りがあります"); return null; }
 			 */
 
-			// Testcase ¶¬‚ƒljÁ
+			// Testcase 生成と追加
 			Testcase newtest = createTestcase(row, inputfiledata);
 
 			if (newtest == null) {
-				Error.printError(Main.language == Main.Language.JP ? "seedƒtƒ@ƒCƒ‹‚Ì’l‚Ì‹Lq‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+				Error.printError(Main.language == Main.Language.JP ? "seedファイルの値の記述に誤りがあります"
 						: "There is an invalid parameter value in the seeding file.");
 				return null;
 			} else {
@@ -75,7 +75,7 @@ public class Inputer {
 		try {
 			reader.close();
 		} catch (IOException e) {
-			Error.printError(Main.language == Main.Language.JP ? "seedƒtƒ@ƒCƒ‹‚ɃAƒNƒZƒX‚Å‚«‚Ü‚¹‚ñ"
+			Error.printError(Main.language == Main.Language.JP ? "seedファイルにアクセスできません"
 					: "Cannot access the seeding file.");
 		}
 
@@ -84,7 +84,7 @@ public class Inputer {
 
 	private static Testcase createTestcase(List<String> row,
 			InputFileData inputfiledata) {
-		// ’l‚ª³‚µ‚¢‚©H
+		// 値が正しいか？
 		Testcase newtest = new Testcase(inputfiledata.parameterList.size());
 		int i = 0;
 		for (i = 0; i < Math
@@ -95,7 +95,7 @@ public class Inputer {
 				continue;
 			}
 			try {
-				// •¡”“¯‚¶’l‚ª‚ ‚ê‚΁CÅ‰‚Ì‚à‚Ì‚Æ‚Ý‚È‚·
+				// 複数同じ値があれば，最初のものとみなす
 				// newtest.set(i, (byte)
 				// inputfiledata.parameterList.get(i).getID(valuename));
 				newtest.set(i,
@@ -105,7 +105,7 @@ public class Inputer {
 				return null;
 			}
 		}
-		// s‚É‘Sƒpƒ‰ƒ[ƒ^•ª‚Ì’l‚ª‚È‚¯‚ê‚΁C‹ó”’‚ð“ü‚ê‚é
+		// 行に全パラメータ分の値がなければ，空白を入れる
 		for (; i < inputfiledata.parameterList.size(); i++) {
 			newtest.setWildCard(i);
 		}
@@ -114,7 +114,7 @@ public class Inputer {
 
 	private static boolean isParameterConsistent(List<String> row,
 			InputFileData inputfiledata) {
-		// @ˆöŽq”‚̃`ƒFƒbƒN
+		// 　因子数のチェック
 		if (inputfiledata.parameterList.size() != row.size())
 			return false;
 
@@ -138,14 +138,14 @@ public class Inputer {
 				if (line == null)
 					break;
 
-				// TODO ,‚Ì‘OŒã‚Ì‹ó”’‚Æ#‚Ì‘O‚Ì‹ó”’‚ð‚Æ‚Á‚āA,‚ðƒZƒpƒŒ[ƒ^‚É
+				// TODO ,の前後の空白と#の前の空白をとって、,をセパレータに
 				// line = line.replaceAll("#", ",#,");
-				// #ˆÈ~‚ðÁ‹Ž
+				// #以降を消去
 				line = line.replaceAll("#.*", "");
 				
-				// ,‚©‚çŽn‚Ü‚éê‡Cs“ª‚ɃXƒy[ƒX‚ð“ü‚ê‚é
+				// ,から始まる場合，行頭にスペースを入れる
 				// line = line.replaceAll(",", " ,");
-				// ,‚Ì‘OŒã‚ɃXƒy[ƒX‚ð“ü‚ê‚éD2016/2/19ˆÈ‰º‚ð’ljÁ
+				// ,の前後にスペースを入れる．2016/2/19以下を追加
 				line = line.replaceAll(",", " , ");
 				StringTokenizer st = new StringTokenizer(line, ",");
 				while (st.hasMoreTokens()) {
@@ -157,10 +157,10 @@ public class Inputer {
 					tokenList.add(token);
 				}
 			} catch (IOException e) {
-				Error.printError("IO@error");
+				Error.printError("IO　error");
 				return null;
 			}
-			// ‹ó”’‚¾‚¯CƒRƒƒ“ƒg‚¾‚¯‚Ȃ玟‚̍s‚ð‚æ‚Þ
+			// 空白だけ，コメントだけなら次の行をよむ
 			boolean isAllEmpty = true;
 			for (String token : tokenList) {
 				if (token.equals("") == false) {
@@ -188,27 +188,27 @@ public class Inputer {
 		List<String> tokenList = makeTokenList(reader);
 		TokenHandler t = new TokenHandler(tokenList);
 
-		// ˆöŽqA’l‚Ì‚æ‚Ý‚±‚Ý
+		// 因子、値のよみこみ
 		PList parameterList = readParameter(t);
 
-		// ƒeƒXƒg
+		// テスト
 		/*
 		 * for(Parameter p: parameterList) { System.err.print(p.name + ": ");
 		 * for (String name : p.value_name) { System.err.print(name + ", "); }
 		 * System.err.println(); }
 		 */
 
-		// ƒOƒ‹[ƒv
+		// グループ
 		GList groupList = readGroup(t, parameterList);
 
-		// ƒeƒXƒg
+		// テスト
 
 		/*
 		 * for(Group g: groupList) { for (int i = 0; i < g.size; i++)
 		 * System.out.print(g.member[i] + ", "); System.out.println(); }
 		 */
 
-		// §–ñ
+		// 制約
 		
 		// List<Node> constraintList = readConstraint(t, parameterList);
 		ConstraintListAndConstrainedParameters constraints = readConstraint(t, parameterList);
@@ -217,7 +217,7 @@ public class Inputer {
 		try {
 			reader.close();
 		} catch (IOException e) {
-			Error.printError(Main.language == Main.Language.JP ? "“ü—̓tƒ@ƒCƒ‹‚ɃAƒNƒZƒX‚Å‚«‚Ü‚¹‚ñ"
+			Error.printError(Main.language == Main.Language.JP ? "入力ファイルにアクセスできません"
 					: "Cannot access the input file");
 		}
 //		return new InputFileData(parameterList, groupList, constraintList);
@@ -239,7 +239,7 @@ public class Inputer {
 		return new ConstraintListAndConstrainedParameters(constraintList, constrainedParameters);
 	}
 
-	// ƒOƒ‹[ƒv‚̓ǂݍž‚Ý
+	// グループの読み込み
 	private static GList readGroup(TokenHandler t, PList parameterList) {
 		GList groupList = new GList();
 		while (true) {
@@ -251,17 +251,17 @@ public class Inputer {
 					Error.printError("{ expected");
 				}
 			} catch (OutOfTokenStreamException e) {
-				Error.printError(Main.language == Main.Language.JP ? "ƒpƒ‰ƒ[ƒ^Žw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+				Error.printError(Main.language == Main.Language.JP ? "パラメータ指定に誤りがあります"
 						: "Invalid parameter");
 			}
-			// ƒOƒ‹[ƒv‚̃pƒ‰ƒ[ƒ^
+			// グループのパラメータ
 			Set<Integer> memberSet = new TreeSet<Integer>();
 			do {
 				String name = null;
 				try {
-					name = t.getToken(); // ƒ`ƒFƒbƒN‚µ‚Ä‚È‚¢
+					name = t.getToken(); // チェックしてない
 				} catch (OutOfTokenStreamException e) {
-					Error.printError(Main.language == Main.Language.JP ? "ƒOƒ‹[ƒvŽw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "グループ指定に誤りがあります"
 							: "Invalid grouping");
 				}
 				try {
@@ -271,28 +271,28 @@ public class Inputer {
 					 */
 					memberSet.add(Integer.valueOf(parameterList.getID(name)));
 				} catch (NoParameterNameException e) {
-					Error.printError(Main.language == Main.Language.JP ? "ƒOƒ‹[ƒvŽw’è‚ňöŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "グループ指定で因子名に誤りがあります"
 							: "Invalid parameter in group");
 				}
 				if (t.peepToken() == null) {
-					Error.printError(Main.language == Main.Language.JP ? "ƒOƒ‹[ƒvŽw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+					Error.printError(Main.language == Main.Language.JP ? "グループ指定に誤りがあります"
 							: "Invalid grouping");
 				}
 			} while (t.peepToken().equals("}") == false);
 			Group g = new Group(memberSet);
 			groupList.add(g);
 
-			// } ‚Ì‚æ‚Ý‚±‚Ý
+			// } のよみこみ
 			try {
 				t.getToken();
 			} catch (OutOfTokenStreamException e) {
-				Error.printError(Main.language == Main.Language.JP ? "ƒOƒ‹[ƒvŽw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+				Error.printError(Main.language == Main.Language.JP ? "グループ指定に誤りがあります"
 						: "Invalid grouping");
 			}
 		}
-		// TODO group‚̐®—ñ
+		// TODO groupの整列
 		groupList.sort();
-		// TODO d•¡—v‘f‚̍폜
+		// TODO 重複要素の削除
 
 		return groupList;
 	}
@@ -307,8 +307,8 @@ public class Inputer {
 		try {
 			reader = new BufferedReader(new FileReader(filename));
 		} catch (FileNotFoundException e) {
-			Error.printError(Main.language == Main.Language.JP ? "ƒtƒ@ƒCƒ‹"
-					+ filename + "‚ªŒ©‚‚©‚è‚Ü‚¹‚ñD" : "Cannot find file " + filename);
+			Error.printError(Main.language == Main.Language.JP ? "ファイル"
+					+ filename + "が見つかりません．" : "Cannot find file " + filename);
 		}
 		return reader;
 	}
@@ -347,7 +347,7 @@ public class Inputer {
 		return tokenList;
 	}
 
-	// ƒpƒ‰ƒ[ƒ^‚̓ǂݍž‚Ý
+	// パラメータの読み込み
 	private static PList readParameter(TokenHandler t) {
 		PList parameterList = new PList();
 
@@ -358,47 +358,47 @@ public class Inputer {
 					break;
 				}
 
-				// ƒpƒ‰ƒ[ƒ^‚Ì–¼‘O
+				// パラメータの名前
 				// parameter name. Should be non-null
 				String parameter_name = t.getToken();
 				checkParameterName(parameter_name);
 				Parameter p = new Parameter(parameter_name);
 
 				if (t.getToken().equals("(") == false) {
-					Error.printError(Main.language == Main.Language.JP ? "( ‚ª‚ ‚è‚Ü‚¹‚ñD"
+					Error.printError(Main.language == Main.Language.JP ? "( がありません．"
 							: "( expected");
 				}
-				// ƒŒƒxƒ‹‚Ì–¼‘O
+				// レベルの名前
 				do {
-					String level_name = t.getToken(); // ƒ`ƒFƒbƒN‚µ‚Ä‚È‚¢
+					String level_name = t.getToken(); // チェックしてない
 					checkLevelName(level_name);
 					p.addName(level_name);
 					if (t.peepToken() == null) {
-						Error.printError(Main.language == Main.Language.JP ? "ƒpƒ‰ƒ[ƒ^Žw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+						Error.printError(Main.language == Main.Language.JP ? "パラメータ指定に誤りがあります"
 								: "Invalid parameters");
 					}
 				} while (t.peepToken().equals(")") == false);
-				// ) ‚Ì‚æ‚Ý‚±‚Ý
+				// ) のよみこみ
 				t.getToken();
 
-				// ’l–¼‚̏d•¡ƒ`ƒFƒbƒN
+				// 値名の重複チェック
 				p.check();
 
 				parameterList.add(p);
 			} catch (OutOfTokenStreamException e) {
-				Error.printError(Main.language == Main.Language.JP ? "ƒpƒ‰ƒ[ƒ^Žw’è‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+				Error.printError(Main.language == Main.Language.JP ? "パラメータ指定に誤りがあります"
 						: "Invalid parameters");
 			}
 		}
 
-		// @ˆöŽq–¼‚̏d•¡ƒ`ƒFƒbƒN
+		// 　因子名の重複チェック
 		if (parameterList.checkNameDuplication())
-			Error.printError(Main.language == Main.Language.JP ? "ˆöŽq–¼‚ªd•¡‚µ‚Ä‚¢‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "因子名が重複しています"
 					: "Duplicated parameters");
 
-		// ˆöŽq” >= 2
+		// 因子数 >= 2
 		if (parameterList.size() < 2)
-			Error.printError(Main.language == Main.Language.JP ? "ˆöŽq‚Í2ŒÂˆÈã•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "因子は2個以上必要です"
 					: "Multiple parameters required");
 
 		return parameterList;
@@ -410,7 +410,7 @@ public class Inputer {
 				|| name.contains("}") || name.contains("[")
 				|| name.contains("]") || name.contains(";")
 				|| name.contains(",")) {
-			Error.printError(Main.language == Main.Language.JP ? "ˆöŽq–¼‚É‹ÖŽ~•¶Žš‚ªŠÜ‚Ü‚ê‚Ä‚¢‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "因子名に禁止文字が含まれています"
 					: "Invalid symbol in parameter name");
 		}
 	}
@@ -421,7 +421,7 @@ public class Inputer {
 				|| name.contains("}") || name.contains("[")
 				|| name.contains("]") || name.contains(";")
 				|| name.contains(",")) {
-			Error.printError(Main.language == Main.Language.JP ? "…€–¼‚É‹ÖŽ~•¶Žš‚ªŠÜ‚Ü‚ê‚Ä‚¢‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "水準名に禁止文字が含まれています"
 					: "Invalid symbol in parameter value");
 		}
 	}

--- a/src/main/java/v1/Main.java
+++ b/src/main/java/v1/Main.java
@@ -32,21 +32,21 @@ public class Main {
 		long start = System.currentTimeMillis();
 
 		try {
-			// ƒRƒ}ƒ“ƒhˆø”ˆ—
+			// コマンド引数処理
 			String errorMessage = processCommandArgument(args);
 
-			// ƒGƒ‰[o—͐æÝ’è
+			// エラー出力先設定
 			Error.setOutputFile(outputFile);
 
-			// ƒRƒ}ƒ“ƒhˆø”‚ł̃Gƒ‰[o—Í
+			// コマンド引数でのエラー出力
 			if (errorMessage != null)
 				Error.printError(errorMessage);
 
-			// ƒ‚ƒfƒ‹“ǂݍž‚Ý
+			// モデル読み込み
 			// System.err.println("starting reading model");
 			InputFileData inputfiledata = Inputer.readModel(modelFile);
 
-			// §–ñˆ— BDDì¬
+			// 制約処理 BDD作成
 			// System.err.println("starting building bdd");
 
 			// old version where all parameters are considered in BDD
@@ -56,23 +56,23 @@ public class Main {
 			// newer version
 			ConstraintHandler conhndl = new ConstraintHandler(
 					inputfiledata.parameterList, inputfiledata.constraintList, inputfiledata.constrainedParameters);
-			// DEBUG: BDD‚Ì•\Ž¦
+			// DEBUG: BDDの表示
 			/* conhndl.printConstraintBDD(); */
 
-			// @ƒV[ƒh“ǂݍž‚Ý
+			// 　シード読み込み
 			List<Testcase> seed = Inputer.readSeed(seedFile, inputfiledata);
 
-			// ƒeƒXƒgƒP[ƒX¶¬
+			// テストケース生成
 			// System.err.println("starting test suite construction");
 			List<Testcase> testSet = null;
 			if (strength == -1) {
-				// ‘S–Ô—…
+				// 全網羅
 				try {
 					testSet = GeneratorAll.generate(new ParameterModel(
 							inputfiledata.parameterList), conhndl);
 				} catch (OutOfMaxNumOfTestcasesException e) {
-					Error.printError(Main.language == Main.Language.JP ? "ƒeƒXƒgƒP[ƒX”‚ªãŒÀ"
-							+ Generator.MaxNumOfTestcases + "‚ð’´‚¦‚Ü‚µ‚½"
+					Error.printError(Main.language == Main.Language.JP ? "テストケース数が上限"
+							+ Generator.MaxNumOfTestcases + "を超えました"
 							: "The number of test cases exceeded the upper bound "
 							+ Generator.MaxNumOfTestcases);
 				}
@@ -92,7 +92,7 @@ public class Main {
 
 				if (debugMode)
 					System.err.println("random seed: " + randomSeed);
-				// ŒJ‚è•Ô‚·ê‡
+				// 繰り返す場合
 				for (int i = 2; i < numOfIterations; i++) {
 					int nextRandomSeed = (int) Math.floor(Math.random()
 							* (Max_RandomSeed + 1));
@@ -122,8 +122,8 @@ public class Main {
 					}
 				}
 				if (testSet == null)
-					Error.printError(Main.language == Main.Language.JP ? "ƒeƒXƒgƒP[ƒX”‚ªãŒÀ"
-							+ Generator.MaxNumOfTestcases + "‚ð’´‚¦‚Ü‚µ‚½"
+					Error.printError(Main.language == Main.Language.JP ? "テストケース数が上限"
+							+ Generator.MaxNumOfTestcases + "を超えました"
 							: "The number of test cases exceeded the upper bound "
 							+ Generator.MaxNumOfTestcases);
 
@@ -137,10 +137,10 @@ public class Main {
 				System.err.println("test set size: " + testSet.size());
 			}
 		} catch (OutOfMemoryError e) {
-			Error.printError(Main.language == Main.Language.JP ? "ƒƒ‚ƒŠ•s‘«‚Å‚·D"
+			Error.printError(Main.language == Main.Language.JP ? "メモリ不足です．"
 					: "Out of memory");
 		} catch (Exception e) {
-			Error.printError(Main.language == Main.Language.JP ? "ƒvƒƒOƒ‰ƒ€‚ªˆÙíI—¹‚µ‚Ü‚µ‚½D"
+			Error.printError(Main.language == Main.Language.JP ? "プログラムが異常終了しました．"
 					: "Abnormal termination");
 		}
 
@@ -148,13 +148,13 @@ public class Main {
 		//		System.err.println("time: " + (end - start) + "ms");
 	}
 
-	// ƒRƒ}ƒ“ƒhˆø”ˆ—
+	// コマンド引数処理
 	private static String processCommandArgument(String[] args) {
 		if (args.length == 0) {
 			Error.printError("usage: java -jar Program.jar [-i input] [-o output] [-policy] ...");
 		}
 
-		// policy‚Ì•\Ž¦
+		// policyの表示
 		if (args.length == 1 && args[0].equals("-policy")) {
 			System.out
 			.println("This software (CIT-BACH 1.1) is distributed under the zlib license.\n"
@@ -184,7 +184,7 @@ public class Main {
 			System.exit(0);
 		}
 
-		// ƒGƒ‰[•\Ž¦‚ðo—̓tƒ@ƒCƒ‹‚ªŽw’肳‚ê‚é‚Ü‚Å’x‚点‚é
+		// エラー表示を出力ファイルが指定されるまで遅らせる
 		String errorMessage = null;
 
 		for (int i = 0; i + 1 < args.length; i += 2) {
@@ -199,45 +199,45 @@ public class Main {
 					randomSeed = Integer.parseInt(str);
 				} catch (NumberFormatException e) {
 					// Error.printError("invalid number");
-					errorMessage = Main.language == Main.Language.JP ? "ƒ‰ƒ“ƒ_ƒ€ƒV[ƒh‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "ランダムシードに無効な値が指定されています．"
 							: "Invalid random seed";
 					continue;
 				}
 				randomSeed = Math.abs(randomSeed) % (Max_RandomSeed + 1);
 			} else if (option.equals("-c")) {
 				if (str.equals("all")) {
-					// ‘S–Ô—…
+					// 全網羅
 					strength = -1;
 				} else {
 					try {
 						strength = Integer.parseInt(str);
 					} catch (NumberFormatException e) {
 						// Error.printError("invalid number");
-						errorMessage = Main.language == Main.Language.JP ? "–Ô—…“x‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+						errorMessage = Main.language == Main.Language.JP ? "網羅度に無効な値が指定されています．"
 								: "Invalid strength";
 						continue;
 					}
 					if (strength < 2 || MAX_STRENGTH < strength) {
 						// Error.printError("invalid strength");
-						errorMessage = Main.language == Main.Language.JP ? "–Ô—…“x‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+						errorMessage = Main.language == Main.Language.JP ? "網羅度に無効な値が指定されています．"
 								: "Invalid strength";
 						continue;
 					}
 				}
 			}
-			// ŒJ‚è•Ô‚µ”
+			// 繰り返し数
 			else if (option.equals("-repeat")) {
 				try {
 					numOfIterations = Integer.parseInt(str);
 				} catch (NumberFormatException e) {
 					// Error.printError("invalid repeating number");
-					errorMessage = Main.language == Main.Language.JP ? "‚­‚è•Ô‚µ”‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "くり返し数に無効な値が指定されています．"
 							: "Invalid number of repetition times";
 					continue;
 				}
 				if (numOfIterations <= 0 || numOfIterations > MAX_ITERATIONS) {
 					// Error.printError("invalid repeating number");
-					errorMessage = Main.language == Main.Language.JP ? "‚­‚è•Ô‚µ”‚É–³Œø‚È’l‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+					errorMessage = Main.language == Main.Language.JP ? "くり返し数に無効な値が指定されています．"
 							: "Invalid number of repetition times";
 					continue;
 				}
@@ -245,19 +245,19 @@ public class Main {
 				seedFile = str;
 			} else if (option.equals("-debug")) {
 				debugMode = true;
-				// ŽŸ‚̈ø”‚̓_ƒ~[
+				// 次の引数はダミー
 			} else if (option.equals("-lang")) {
 				if (str.matches("JP|jp")) {
 					Main.language = Main.Language.JP;
 				} else if (str.matches("EN|en")) {
 					Main.language = Main.Language.EN;
 				} else {
-					errorMessage = "–³Œø‚ÈŒ¾Œê‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚· (Invalid Language)";
+					errorMessage = "無効な言語が指定されています (Invalid Language)";
 					continue;
 				}
 			} else {
 				// Error.printError("Invalid option");
-				errorMessage = Main.language == Main.Language.JP ? "–³Œø‚ȃIƒvƒVƒ‡ƒ“‚ªŽw’肳‚ê‚Ä‚¢‚Ü‚·D"
+				errorMessage = Main.language == Main.Language.JP ? "無効なオプションが指定されています．"
 						: "Invalid option";
 				continue;
 			}

--- a/src/main/java/v1/Node.java
+++ b/src/main/java/v1/Node.java
@@ -280,7 +280,7 @@ class EqualityOfParameterAndValue extends ComparisonOfParameterAndValue {
 	int evaluate(BDD bdd, List<VariableAndBDD> parameters) {
 		int res = bdd.getOne();
 		bdd.ref(res);
-		// p‚́iâ‘Î’l‚Łjƒpƒ‰ƒ[ƒ^‚̔ԍ†‚ªŠù‚É‚Í‚¢‚Á‚Ä‚¢‚é
+		// pは（絶対値で）パラメータの番号が既にはいっている
 		// 
 		int[] var = parameters.get(this.p).var;
 		for (int i = var.length - 1; i >= 0; i--) {
@@ -302,7 +302,7 @@ class EqualityOfParameterAndValue extends ComparisonOfParameterAndValue {
 	int evaluate(BDD bdd, List<VariableAndBDD> parameters, Set<Integer> restricted) {
 		int res = bdd.getOne();
 		bdd.ref(res);
-		// p‚́iâ‘Î’l‚Łjƒpƒ‰ƒ[ƒ^‚̔ԍ†‚ªŠù‚É‚Í‚¢‚Á‚Ä‚¢‚é
+		// pは（絶対値で）パラメータの番号が既にはいっている
 		int num = 0;
 		for (Integer i: restricted) {
 			if (i == this.p) 

--- a/src/main/java/v1/Outputer.java
+++ b/src/main/java/v1/Outputer.java
@@ -25,9 +25,9 @@ public class Outputer {
 			writer = new BufferedWriter(new FileWriter(filename));
 		} catch (IOException e) {
 			// System.err.print(filename + " cannot be created.");
-			// ƒGƒ‰[‚ð‘‚«ž‚ß‚È‚¢‚Ì‚Å’¼Ú•W€ƒGƒ‰[‚Ö
-			System.err.print(Main.language == Main.Language.JP ? "o—̓tƒ@ƒCƒ‹"
-					+ filename + "‚ªì¬‚Å‚«‚Ü‚¹‚ñD" : "Cannot create output file "
+			// エラーを書き込めないので直接標準エラーへ
+			System.err.print(Main.language == Main.Language.JP ? "出力ファイル"
+					+ filename + "が作成できません．" : "Cannot create output file "
 					+ filename);
 			System.exit(1);
 		}
@@ -64,7 +64,7 @@ public class Outputer {
 		}
 	}
 
-	// ‘S–Ô—…—p
+	// 全網羅用
 	public void outputResult(List<Testcase> testSet,
 			InputFileData inputfiledata, String modelFile, String outputFile) {
 		// TODO Auto-generated method stub

--- a/src/main/java/v1/Parameter.java
+++ b/src/main/java/v1/Parameter.java
@@ -14,19 +14,19 @@ public class Parameter {
 		value_name.add(name);
 	}
 
-	// ’l–¼‚̏d•¡‚̃`ƒFƒbƒN@d•¡‚µ‚Ä‚¢‚ê‚΃Gƒ‰[
+	// 値名の重複のチェック　重複していればエラー
 	void check() {
 		if (value_name.size() <= 0 || value_name.size() > Main.MAX_LEVEL) {
-			Error.printError(Main.language == Main.Language.JP ? "…€”‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "水準数に誤りがあります"
 					: "Invalid number of values");
 		}
 
-		/* …€–¼‚̏d•¡‚ð‹ÖŽ~-> comment out */
+		/* 水準名の重複を禁止-> comment out */
 		/*
 		 * for (int i = 0; i < value_name.size() - 1; i++) { for (int j = i+1; j
 		 * < value_name.size(); j++) { if
 		 * (value_name.get(i).equals(value_name.get(j)))
-		 * Error.printError(Main.language == Main.Language.JP ? "…€–¼‚ªd•¡‚µ‚Ä‚¢‚Ü‚·" :
+		 * Error.printError(Main.language == Main.Language.JP ? "水準名が重複しています" :
 		 * "Overlap of parameter value name"); } }
 		 */
 	}
@@ -49,7 +49,7 @@ public class Parameter {
 			return ids;
 	}
 
-	// number‚ÆŽZp“I‚É“¯‚¶…€‚Ìid‚ð‚Ƃ肾‚·¨‚‚©‚Á‚Ä‚È‚¢
+	// numberと算術的に同じ水準のidをとりだす→つかってない
 	List<Integer> getID(double number) {
 		List<Integer> ids = new ArrayList<Integer>();
 		for (int i = 0; i < value_name.size(); i++) {
@@ -63,8 +63,8 @@ public class Parameter {
 		return ids;
 	}
 	
-	// number‚ÆŽZp“I‚ÉŠÖŒW‚Ì‚ ‚鐅€‚Ìid‚ð‚Ƃ肾‚·
-	// level ` number
+	// numberと算術的に関係のある水準のidをとりだす
+	// level ～ number
 	List<Integer> getID(double number, RelationOverDoublePair com) {
 		List<Integer> ids = new ArrayList<Integer>();
 		for (int i = 0; i < value_name.size(); i++) {

--- a/src/main/java/v1/ParameterModel.java
+++ b/src/main/java/v1/ParameterModel.java
@@ -1,9 +1,9 @@
 package v1;
 
 public class ParameterModel {
-	// ˆöŽq‚̐”
+	// 因子の数
 	public final int size;
-	// ŠeˆöŽq‚̃Œƒxƒ‹”
+	// 各因子のレベル数
 	public final byte[] range;
 
 	public ParameterModel(PList plist) {

--- a/src/main/java/v1/Parse.java
+++ b/src/main/java/v1/Parse.java
@@ -33,7 +33,7 @@ public class Parse {
 		String nextToken = t.peepToken();
 		try {
 			if (nextToken == null) {
-				Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+				Error.printError(Main.language == Main.Language.JP ? "制約式に誤りがあります"
 						: "Invalid constraints");
 				return null;
 			}
@@ -43,24 +43,24 @@ public class Parse {
 			}
 			else {
 				// error
-				Error.printError(Main.language == Main.Language.JP ? "§–ñ‚É'('‚ª‚ ‚è‚Ü‚¹‚ñ"
+				Error.printError(Main.language == Main.Language.JP ? "制約に'('がありません"
 						: "( expected in constraints");
 				return null;
 			}
 		} catch (OutOfTokenStreamException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に誤りがあります"
 					: "Invalid constraints");
 			return null;
 		}
 	}
 
 	private Node expressionWithParentheses() throws OutOfTokenStreamException {
-		Node res; // –ß‚è’l
+		Node res; // 戻り値
 		String token = t.getToken();
 		if (token.equals("(") == false) {
 			// error
 			// this block is unreachable
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ‚É'('‚ª‚ ‚è‚Ü‚¹‚ñ"
+			Error.printError(Main.language == Main.Language.JP ? "制約に'('がありません"
 					: "( expected in constraints");
 			return null;
 		}
@@ -75,7 +75,7 @@ public class Parse {
 		// closed with ')' ?
 		if (t.getToken().equals(")") == false) {
 			// error
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ‚É')'‚ª‚ ‚è‚Ü‚¹‚ñ"
+			Error.printError(Main.language == Main.Language.JP ? "制約に')'がありません"
 					: ") expected in constraints");
 			return null;
 		}
@@ -83,7 +83,7 @@ public class Parse {
 	}
 
 	private Node expressionBody() throws OutOfTokenStreamException {
-		// ‰‰ŽZŽq‚ÌŽŸ‚̃g[ƒNƒ“‚ª ( ‚© ‚Ç‚¤‚©‚Å”»’f
+		// 演算子の次のトークンが ( か どうかで判断
 		// case 1: ( <> (
 		// case 2: ( <> [ foo, ( <> foo
 		String nextNextToken = t.peepNextToken();
@@ -191,7 +191,7 @@ public class Parse {
 	}
 
 	private Node atomExpression() throws OutOfTokenStreamException {
-		// ŽŸ‚̃g[ƒNƒ“‚ðƒ`ƒFƒbƒN: ‰‰ŽZŽq‚Å‚È‚¢‚Æ‚¢‚¯‚È‚¢
+		// 次のトークンをチェック: 演算子でないといけない
 		String token = t.getToken();
 		if (token.equals("=="))
 			return equalityAtomExpression();
@@ -210,7 +210,7 @@ public class Parse {
 		else if (token.equals(">="))
 			return arithmeticEqualityAtomExpression(new GTE(), new LTE());
 		else
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É == ‚© <> ‚ª•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に == か <> が必要です"
 					: "== or <> expected in constraints");
 		return null;
 	}
@@ -257,7 +257,7 @@ public class Parse {
 			t.getToken(); // must be [
 			para1 = t.getToken();
 			if (t.getToken().equals("]") == false) {
-				Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+				Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 						: "] expected in constraints");
 			}
 			return compareArithmeticParameterAndValue(para1, val1, com2);
@@ -267,7 +267,7 @@ public class Parse {
 		t.getToken(); // must be "["
 		para1 = t.getToken();
 		if (t.getToken().equals("]") == false) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 					: "] expected in constraints");
 		}
 		token1 = t.peepToken();
@@ -284,7 +284,7 @@ public class Parse {
 		t.getToken(); // must be [
 		para2 = t.getToken();
 		if (t.getToken().equals("]") == false) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 					: "] expected in constraints");
 		}
 		return compareArithmeticParameterAndParameter(para1, para2, com1);
@@ -319,7 +319,7 @@ public class Parse {
 			t.getToken(); // must be [
 			para1 = t.getToken();
 			if (t.getToken().equals("]") == false) {
-				Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+				Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 						: "] expected in constraints");
 			}
 			return compareParameterAndValue(para1, val1);
@@ -329,7 +329,7 @@ public class Parse {
 		t.getToken(); // must be "["
 		para1 = t.getToken();
 		if (t.getToken().equals("]") == false) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 					: "] expected in constraints");
 		}
 		token1 = t.peepToken();
@@ -346,7 +346,7 @@ public class Parse {
 		t.getToken(); // must be [
 		para2 = t.getToken();
 		if (t.getToken().equals("]") == false) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約式に]が必要です"
 					: "] expected in constraints");
 		}
 		return compareParameterAndParameter(para1, para2);
@@ -365,7 +365,7 @@ public class Parse {
 			d1 = Double.parseDouble(val1);
 			d2 = Double.parseDouble(val2);
 		} catch (NumberFormatException e) {
-			Error.printError(Main.language == Main.Language.JP ? "”‚Å‚È‚¢•¶Žš—ñ‚ðŽZp”äŠr‚µ‚Ä‚¢‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "数でない文字列を算術比較しています"
 					: "String that cannot be parsed as a number");			
 		}
 		if (com.hasRelation(d1, d2))
@@ -380,32 +380,32 @@ public class Parse {
 		// int value = 0;
 		List<Integer> valueIDs = null;
 
-		// ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN
+		// 因子名が正しいかチェック
 		try {
 			parameterID = parameterList.getID(para);
 			this.constrainedParameters.add(parameterID);
 		} catch (NoParameterNameException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります"
 					: "Invalid parameter name in constraints");
 		}
 		p = parameterList.get(parameterID);
 
-		// ’l–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN
+		// 値名が正しいかチェック
 		try {
 			valueIDs = p.getID(val);
 		} catch (NoValueNameException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚Ì’l–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約中の値名に誤りがあります"
 					: "Invalid parameter value in constraints");
 		}
 
-		// ’l–¼‚ɏd•¡‚È‚µ
+		// 値名に重複なし
 		if (valueIDs.size() == 1) {
 			ComparisonOfParameterAndValue res = new EqualityOfParameterAndValue();
 			res.p = parameterID;
 			res.v = valueIDs.get(0);
 			return res;
 		}
-		// ’l–¼‚ɏd•¡‚ ‚è
+		// 値名に重複あり
 		else {
 			BooleanMultinaryOperator res = new OrOperator();
 			for (Integer vid : valueIDs) {
@@ -424,41 +424,41 @@ public class Parse {
 		// int value = 0;
 		List<Integer> valueIDs = null;
 
-		// ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN
+		// 因子名が正しいかチェック
 		try {
 			parameterID = parameterList.getID(para);
 			this.constrainedParameters.add(parameterID);
 		} catch (NoParameterNameException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります"
 					: "Invalid parameter name in constraints");
 		}
 		p = parameterList.get(parameterID);
 
-		// ’l–¼‚ª” number ‚Æ‚È‚é‚©ƒ`ƒFƒbƒN
+		// 値名が数 number となるかチェック
 		double number = 0;
 		try {
 			number = Double.parseDouble(val);
 		} catch (NumberFormatException e) {
-			Error.printError(Main.language == Main.Language.JP ? "”‚Å‚È‚¢•¶Žš—ñ‚ðŽZp”äŠr‚µ‚Ä‚¢‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "数でない文字列を算術比較しています"
 					: "String that cannot be parsed as a number");		
 		}
 
-		// number‚ÆŽZp“I‚Ɉê’v‚·‚élevel‚ð‚·‚×‚ÄƒŠƒXƒg‚É‚¢‚ê‚é
-		// -> level ŠÖŒW number ‚Æ‚È‚élevel‚ð‚·‚×‚ÄƒŠƒXƒg‚É
+		// numberと算術的に一致するlevelをすべてリストにいれる
+		// -> level 関係 number となるlevelをすべてリストに
 		valueIDs = p.getID(number, com);
 		
-		// ‚Ç‚ê‚àˆê’v‚¹‚¸
+		// どれも一致せず
 		if (valueIDs.size() == 0) {
 			return new FalseValue();
 		}
-		// ’l–¼‚ɏd•¡‚È‚µ
+		// 値名に重複なし
 		if (valueIDs.size() == 1) {
 			ComparisonOfParameterAndValue res = new EqualityOfParameterAndValue();
 			res.p = parameterID;
 			res.v = valueIDs.get(0);
 			return res;
 		}
-		// ’l–¼‚ɏd•¡‚ ‚è
+		// 値名に重複あり
 		else {
 			BooleanMultinaryOperator res = new OrOperator();
 			for (Integer vid : valueIDs) {
@@ -475,20 +475,20 @@ public class Parse {
 		int parameterID1 = 0;
 		int parameterID2 = 0;
 		Parameter p1, p2;
-		// ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN
+		// 因子名が正しいかチェック
 		try {
 			parameterID1 = parameterList.getID(para1);
 			parameterID2 = parameterList.getID(para2);
 			this.constrainedParameters.add(parameterID1);
 			this.constrainedParameters.add(parameterID2);
 		} catch (NoParameterNameException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります"
 					: "Invalid parameter name in constraints");
 		}
 		p1 = parameterList.get(parameterID1);
 		p2 = parameterList.get(parameterID2);
 
-		// ’l–¼‚ªˆê’v‚·‚éƒyƒA‚𐔂¦‚é
+		// 値名が一致するペアを数える
 		int count = 0;
 		for (String valName1 : p1.value_name) {
 			for (String valName2 : p2.value_name) {
@@ -497,11 +497,11 @@ public class Parse {
 			}
 		}
 
-		// case 1: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª‚È‚¢
+		// case 1: 値名で同じものがない
 		if (count == 0)
 			return new FalseValue();
 
-		// case 2: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª‚ЂƂÂ
+		// case 2: 値名で同じものがひとつ
 		if (count == 1) {
 			for (String valName1 : p1.value_name) {
 				for (String valName2 : p2.value_name) {
@@ -528,7 +528,7 @@ public class Parse {
 			}
 		}
 
-		// case 3: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª2ŒÂˆÈã  —vdebug ‰½‚Å case 2‚Ý‚½‚¢‚É‚µ‚Ä‚È‚¢‚́H
+		// case 3: 値名で同じものが2個以上  要debug 何で case 2みたいにしてないの？
 		BooleanMultinaryOperator res = new OrOperator();
 		for (int vid1 = 0; vid1 < p1.value_name.size(); vid1++) {
 			for (int vid2 = 0; vid2 < p2.value_name.size(); vid2++) {
@@ -553,20 +553,20 @@ public class Parse {
 		int parameterID1 = 0;
 		int parameterID2 = 0;
 		Parameter p1, p2;
-		// ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN
+		// 因子名が正しいかチェック
 		try {
 			parameterID1 = parameterList.getID(para1);
 			parameterID2 = parameterList.getID(para2);
 			this.constrainedParameters.add(parameterID1);
 			this.constrainedParameters.add(parameterID2);
 		} catch (NoParameterNameException e) {
-			Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+			Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります"
 					: "Invalid parameter name in constraints");
 		}
 		p1 = parameterList.get(parameterID1);
 		p2 = parameterList.get(parameterID2);
 
-		// ƒ_ƒuƒ‹‚Å‚Ì’l‚ªŠÖŒW‚ð‚à‚ƒyƒA‚𐔂¦‚é
+		// ダブルでの値が関係をもつペアを数える
 		int count = 0;
 		for (String valName1 : p1.value_name) {
 			for (String valName2 : p2.value_name) {
@@ -580,11 +580,11 @@ public class Parse {
 			}
 		}
 		
-		// case 1: ˆê’v‚·‚é’l–¼‚ª‚È‚¢
+		// case 1: 一致する値名がない
 		if (count == 0)
 			return new FalseValue();
 
-		// case 2: ˆê’v‚·‚é‚àƒyƒA‚ª‚ЂƂÂ
+		// case 2: 一致するもペアがひとつ
 		if (count == 1) {
 			for (String valName1 : p1.value_name) {
 				for (String valName2 : p2.value_name) {
@@ -612,7 +612,7 @@ public class Parse {
 			} // outer for
 		}
 
-		// case 3: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª2ŒÂˆÈã
+		// case 3: 値名で同じものが2個以上
 		BooleanMultinaryOperator res = new OrOperator();
 		for (int vid1 = 0; vid1 < p1.value_name.size(); vid1++) {
 			for (int vid2 = 0; vid2 < p2.value_name.size(); vid2++) {
@@ -676,27 +676,27 @@ class GTE extends RelationOverDoublePair {
  * this.parameterList = parameterList; }
  * 
  * public Node parseExpression() { String token = t.peepToken(); try { if (token
- * == null) { Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚ÉŒë‚肪‚ ‚è‚Ü‚·"
+ * == null) { Error.printError(Main.language == Main.Language.JP ? "制約式に誤りがあります"
  * : "Invalid constraints"); return null; } else if (token.equals("(")) return
  * expressionWithParentheses(); else { // error Error.printError(Main.language
- * == Main.Language.JP ? "§–ñ‚É'('‚ª‚ ‚è‚Ü‚¹‚ñ" : "( expected in constraints"); return
+ * == Main.Language.JP ? "制約に'('がありません" : "( expected in constraints"); return
  * null; } } catch (OutOfTokenStreamException e) {
- * Error.printError(Main.language == Main.Language.JP ? "§–ñŽ®‚ÉŒë‚肪‚ ‚è‚Ü‚·" :
+ * Error.printError(Main.language == Main.Language.JP ? "制約式に誤りがあります" :
  * "Invalid constraints"); return null; } }
  * 
  * private Node expressionWithParentheses() throws OutOfTokenStreamException {
- * Node res; // –ß‚è’l String token = t.getToken(); if (token.equals("(") == false)
+ * Node res; // 戻り値 String token = t.getToken(); if (token.equals("(") == false)
  * { // error // this block is unreachable Error.printError(Main.language ==
- * Main.Language.JP ? "§–ñ‚É'('‚ª‚ ‚è‚Ü‚¹‚ñ" : "( expected in constraints"); return
+ * Main.Language.JP ? "制約に'('がありません" : "( expected in constraints"); return
  * null; } // expression :: (expression) if (t.peepToken() == null) throw new
  * OutOfTokenStreamException(); if (t.peepToken().equals("(")) res =
  * expressionWithParentheses(); else // otherwise res = expressionBody(); //
  * closed with ')' ? if (t.getToken().equals(")") == false) { // error
- * Error.printError(Main.language == Main.Language.JP ? "§–ñ‚É')'‚ª‚ ‚è‚Ü‚¹‚ñ" :
+ * Error.printError(Main.language == Main.Language.JP ? "制約に')'がありません" :
  * ") expected in constraints"); return null; } return res; }
  * 
  * private Node expressionBody() throws OutOfTokenStreamException { //
- * ‰‰ŽZŽq‚ÌŽŸ‚̃g[ƒNƒ“‚ª ( ‚© ‚Ç‚¤‚©‚Å”»’f // case 1: ( <> ( // case 2: ( <> [ foo, ( <> foo
+ * 演算子の次のトークンが ( か どうかで判断 // case 1: ( <> ( // case 2: ( <> [ foo, ( <> foo
  * String token = t.peepNextToken(); if (token == null) throw new
  * OutOfTokenStreamException(); if (token.equals("(")) return boolExpression();
  * else return atomExpression(); }
@@ -750,10 +750,10 @@ class GTE extends RelationOverDoublePair {
  * parseExpression(); return res; }
  * 
  * private Node atomExpression() throws OutOfTokenStreamException { //
- * ŽŸ‚̃g[ƒNƒ“‚ðƒ`ƒFƒbƒN: ‰‰ŽZŽq‚Å‚È‚¢‚Æ‚¢‚¯‚È‚¢ String token = t.getToken(); if (token.equals("=="))
+ * 次のトークンをチェック: 演算子でないといけない String token = t.getToken(); if (token.equals("=="))
  * return equalityAtomExpression(); else if (token.equals("<>")) return
  * inequalityAtomExpression(); else Error.printError(Main.language ==
- * Main.Language.JP ? "§–ñŽ®‚É == ‚© <> ‚ª•K—v‚Å‚·" :
+ * Main.Language.JP ? "制約式に == か <> が必要です" :
  * "== or <> expected in constraints"); return null; }
  * 
  * private Node inequalityAtomExpression() throws OutOfTokenStreamException {
@@ -775,12 +775,12 @@ class GTE extends RelationOverDoublePair {
  * //case 2 if ((token1.equals("[") == false) && (token2.equals("[") == true)) {
  * val1 = t.getToken(); t.getToken(); // must be [ para1 = t.getToken(); if
  * (t.getToken().equals("]") == false) { Error.printError(Main.language ==
- * Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·" : "] expected in constraints"); } return
+ * Main.Language.JP ? "制約式に]が必要です" : "] expected in constraints"); } return
  * compareParameterAndValue(para1, val1); }
  * 
  * // case 3, 4 t.getToken(); // must be "[" para1 = t.getToken(); if
  * (t.getToken().equals("]") == false) { Error.printError(Main.language ==
- * Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·" : "] expected in constraints"); } token1 =
+ * Main.Language.JP ? "制約式に]が必要です" : "] expected in constraints"); } token1 =
  * t.peepToken(); if (token1 == null) throw new OutOfTokenStreamException();
  * 
  * // case 3 if (token1.equals("[") == false) { val1 = t.getToken(); return
@@ -788,41 +788,41 @@ class GTE extends RelationOverDoublePair {
  * 
  * // case 4 t.getToken(); // must be [ para2 = t.getToken(); if
  * (t.getToken().equals("]") == false) { Error.printError(Main.language ==
- * Main.Language.JP ? "§–ñŽ®‚É]‚ª•K—v‚Å‚·" : "] expected in constraints"); } return
+ * Main.Language.JP ? "制約式に]が必要です" : "] expected in constraints"); } return
  * compareParameterAndParameter(para1, para2); }
  * 
  * private Node compareValueAndValue(String val1, String val2) { if
  * (val1.equals(val2)) return new TrueValue(); else return new FalseValue(); }
  * 
  * private Node compareParameterAndValue(String para, String val) { int
- * parameterID = 0; Parameter p; int value = 0; // ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN try {
+ * parameterID = 0; Parameter p; int value = 0; // 因子名が正しいかチェック try {
  * parameterID = parameterList.getID(para); } catch (NoParameterNameException e)
- * { Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·" :
+ * { Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります" :
  * "Invalid parameter name in constraints"); } p =
  * parameterList.get(parameterID);
  * 
- * // ’l–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN try { value = p.getID(val); } catch (NoValueNameException e) {
- * Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚Ì’l–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·" :
+ * // 値名が正しいかチェック try { value = p.getID(val); } catch (NoValueNameException e) {
+ * Error.printError(Main.language == Main.Language.JP ? "制約中の値名に誤りがあります" :
  * "Invalid parameter value in constraints"); }
  * 
  * ComparisonOfParameterAndValue res = new EqualityOfParameterAndValue(); res.p
  * = parameterID; res.v = value; return res; }
  * 
  * private Node compareParameterAndParameter(String para1, String para2) { int
- * parameterID1 = 0; int parameterID2 = 0; Parameter p1, p2; // ˆöŽq–¼‚ª³‚µ‚¢‚©ƒ`ƒFƒbƒN try
+ * parameterID1 = 0; int parameterID2 = 0; Parameter p1, p2; // 因子名が正しいかチェック try
  * { parameterID1 = parameterList.getID(para1); parameterID2 =
  * parameterList.getID(para2); } catch (NoParameterNameException e) {
- * Error.printError(Main.language == Main.Language.JP ? "§–ñ’†‚̈öŽq–¼‚ÉŒë‚肪‚ ‚è‚Ü‚·" :
+ * Error.printError(Main.language == Main.Language.JP ? "制約中の因子名に誤りがあります" :
  * "Invalid parameter name in constraints"); } p1 =
  * parameterList.get(parameterID1); p2 = parameterList.get(parameterID2);
  * 
  * List<String> commonValueName = new ArrayList<String>(p1.value_name);
  * commonValueName.retainAll(p2.value_name);
  * 
- * // case 1: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª‚È‚¢ if (commonValueName.size() == 0) return new
+ * // case 1: 値名で同じものがない if (commonValueName.size() == 0) return new
  * FalseValue();
  * 
- * // case 2: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª‚ЂƂ if (commonValueName.size() == 1) { String valueName =
+ * // case 2: 値名で同じものがひとつ if (commonValueName.size() == 1) { String valueName =
  * commonValueName.get(0); BooleanMultinaryOperator res = new AndOperator();
  * ComparisonOfParameterAndValue sub1 = new EqualityOfParameterAndValue();
  * ComparisonOfParameterAndValue sub2 = new EqualityOfParameterAndValue(); try {
@@ -831,7 +831,7 @@ class GTE extends RelationOverDoublePair {
  * Error.printError("Inner error"); } res.ChildList.add(sub1);
  * res.ChildList.add(sub2); return res; }
  * 
- * // case 3: ’l–¼‚Å“¯‚¶‚à‚Ì‚ª2ŒÂˆÈã BooleanMultinaryOperator res = new OrOperator(); for
+ * // case 3: 値名で同じものが2個以上 BooleanMultinaryOperator res = new OrOperator(); for
  * (String valueName: commonValueName) { BooleanMultinaryOperator child = new
  * AndOperator(); ComparisonOfParameterAndValue sub1 = new
  * EqualityOfParameterAndValue(); ComparisonOfParameterAndValue sub2 = new

--- a/src/main/java/v1/Testcase.java
+++ b/src/main/java/v1/Testcase.java
@@ -6,7 +6,7 @@ import java.io.IOException;
 public class Testcase {
 	byte[] value; // 0..level-1, or <0 (wildcard)
 
-	// ‚±‚ê‚𑼂©‚ç“Ç‚ñ‚Å‚é‚Æ‚Ü‚¸‚¢‚©‚àH
+	// これを他から読んでるとまずいかも？
 	public Testcase(int n) {
 		this.value = new byte[n];
 	}
@@ -46,7 +46,7 @@ public class Testcase {
 		System.err.println();
 	}
 
-	// TODO Outputer.java ‚Ɉړ®
+	// TODO Outputer.java に移動
 	void print(BufferedWriter writer, InputFileData inputfiledata)
 			throws IOException {
 		for (int i = 0; i < value.length; i++)
@@ -56,9 +56,9 @@ public class Testcase {
 		writer.write("\n");
 	}
 
-	// tuple‚ðd‚Ë‚é
+	// tupleを重ねる
 	// return true if a tuple is superimposed
-	// d‚Ë‚½Žž‚É‹Ö‘¥‚Ɉᔽ‚·‚邱‚Æ‚ ‚è->ƒ`ƒFƒbƒN‚·‚é
+	// 重ねた時に禁則に違反することあり->チェックする
 	boolean superimpose(Testcase tuple, ConstraintHandler h) {
 		Testcase tmp = this.makeClone();
 		if (tmp.superimpose(tuple) == false)
@@ -69,9 +69,9 @@ public class Testcase {
 		// must be true;
 	}
 
-	// tuple‚ðd‚Ë‚é
+	// tupleを重ねる
 	// return true if a tuple is superimposed
-	// d‚Ë‚½Žž‚É‹Ö‘¥‚Ɉᔽ‚·‚邱‚Æ‚ ‚è->ƒ`ƒFƒbƒN‚µ‚È‚¢
+	// 重ねた時に禁則に違反することあり->チェックしない
 	private boolean superimpose(Testcase tuple) {
 		// TODO Auto-generated method stu
 		for (int i = 0; i < value.length; i++) {

--- a/src/main/java/v1/TokenHandler.java
+++ b/src/main/java/v1/TokenHandler.java
@@ -10,7 +10,7 @@ public class TokenHandler {
 		this.tokenList = tokenList;
 	}
 
-	// ŽŸ‚ÌToken ‚ðŽæ‚èo‚·
+	// 次のToken を取り出す
 	String getToken() throws OutOfTokenStreamException {
 		if (index >= tokenList.size())
 			throw new OutOfTokenStreamException();
@@ -18,14 +18,14 @@ public class TokenHandler {
 		return str;
 	}
 
-	// ŽŸ‚ÌToken ‚ðŒ©‚éDŽæ‚èo‚³‚È‚¢
+	// 次のToken を見る．取り出さない
 	String peepToken() {
 		if (index >= tokenList.size())
 			return null;
 		return tokenList.get(index);
 	}
 
-	// ŽŸ‚ÌŽŸ‚ÌToken ‚ðŒ©‚éDŽæ‚èo‚³‚È‚¢
+	// 次の次のToken を見る．取り出さない
 	String peepNextToken() {
 		if (index + 1 >= tokenList.size())
 			return null;