線画ラベリングプログラムの実行

使用方法 (1)：　ブラウザからの起動

• 下の 入力フォーム に以下の事項を記入の上、 上端左側にある「送信」ボタンを押してプログラムを実行する。
  指定された入力データ・実行時オプションにしたがってラベリングプログラムが実行され、 結果がブラウザウィンドウに表示される。
   
• UID（必須項目）
  大学のアカウント名（s200412345, p123 等）あるいは普段使っている email アドレスを記入する。
  セキュリティ管理上必要なので、正しく記入すること。 異常と見られるアクセスがあった場合にはプログラムを閉鎖することもある。
  アクセス情報は本人以外には一切公開しない。
   
• 実行時オプション　　　以下の該当するものをラジオボタンで選択する。
  • 実行モード
    プログラムには 制約伝播モード と 探索モード の２種類の実行モードがある。 （両者の違いについては 原ページの説明 参照）
    • 制約伝播のみ は制約伝播モードのみを実行し、 結果が複数残った場合にも探索モードを起動しない（デフォールト）。
    • 制約後探索 は制約伝播モードを実行後、 結果が複数残った場合には探索モードを実行し、 可能な解をすべて列挙する。
    • 探索のみ は最初から探索モードのみを実行し、 可能な解をすべて列挙する。
      大きなデータに対しては長時間の処理になるので注意。
  • 頂点の表示順
    処理結果は、各頂点ごとに表示される。 その頂点の表示順の指定。
    • 定義順 入力データ中で頂点が定義された順に表示（デフォールト）。
    • 種別順 頂点の型ごとにまとめて表示 （L 型、A 型、Y 型、T 型の順）。
    • ASCII 順 頂点を表す文字の ASCII コード順に表示 （英字名ならアルファベット順：ただし大文字のほうが小文字より先）。
  • 入力データの表示　 入力データを出力結果にエコー表示するかしないかの指定 （デフォールト：表示する）。
  • 初期状態の表示　 初期状態（すべての辞書項目・辺ラベルが候補）を出力結果に表示するかしないかの指定 （デフォールト：表示する）。
  • 制約伝播の中間結果表示　 制約伝播の各繰り返しステップでの中間結果を表示するかしないかの指定 （デフォールト：表示する）。
  • 探索の中間結果表示　 探索における再帰呼出しステップの中間結果を表示するかしないかの指定 （デフォールト：表示しない）。
    大きなデータに対しては出力量が巨大になる場合もあるので注意。
     
• 入力データ
  頂点定義、辺ラベル定義を記入したデータを指す。２種類の指定方法がある。
  • 入力データを記述したファイルを指定し、それを読み込む。
  • 「入力データ」のテキストウィンドウから直接データを入力する。
  両方を併用することもできる。
  その場合、データはファイル、テキストウィンドウの順に読み込まれる。
  頂点定義など、情景に固定的で繰り返し使われるようなデータはファイルに、
  辺ラベル定義など、その場その場で変更して使うようなデータは テキストウィンドウに記入するといった使い分けをするとよい。
   
• 入力データファイルについての注意
  • 入力データファイルは、ブラウザを起動しているマシン（「リモートホスト」と呼ぶ）から アクセス可能なものでなければならない。
    右側の「参照...」などと書いてあるボタン（表示はブラウザによって違う） をクリックすると、アクセスできるディレクトリが表示される。
  • ファイルの拡張子は何であってもかまわない（なくてもかまわない）。
     
  • 文字コードについて（重要！！）
    入力ファイル中のコメントで日本語文字を使う場合には、 文字コードとして EUC コードを用いること。
    Shift-JIS など、他のコードを用いると、 入力データのエコー表示を行なった場合に文字化けが起きる。
    （ブラウザの表示文字コードを強制的に Shift-JIS に指定すれば エコー表示は正常に戻るが、
    システムの出力は EUC コードで、今度はこちらが文字化けする。）
     
    なおテキストウィンドウからの入力については文字コードの問題はない（はず）。

入力フォーム

ラベリングの説明ページ

UID:　 　　（大学のアカウント名。学生番号でもよい。）

実行時オプション 実行モード 制約伝播のみ 制約後探索 探索のみ 頂点の表示順 定義順 種別順 ASCII コード順 入力データの表示 表示する 表示しない 初期状態の表示 表示する 表示しない 制約伝播の中間結果 表示する 表示しない 探索の中間結果 表示する 表示しない

入力データ（ファイルからの入力）：　　ファイル名：　   入力データ（下のウィンドウに打ち込み）

 

使用方法 (2)：　icho 上での直接実行

• プログラムは icho 上で直接実行することもできる。
  出力結果をファイルに記録したり、実行を繰り返し行う場合などにはこのほうが便利である。
• プログラム自体は上記のブラウザ起動のものと同じであり、 実行時オプションも指定の仕方以外は同じである。
  実行時オプションの内容については、こちらの説明 を参照。
• プログラムの日本語出力は EUC コードによっている。
  それ以外の文字コード（SJIS, UNICODE 等）で端末環境設定を行ったり、 入力ファイル中にコメントを書いたりした場合には文字化けが生じるので注意。
• 重要
  csh, EUC コードの実行環境に設定する方法については こちら を参照。
   

プログラムへのリンク作成

icho 上の実行用に用いるディレクトリの下で以下のコマンドを実行する （実行プログラムにシンボリックリンクを張る）。

　　icho% ln -s  ~hiraga/public/AI/label/label  label

これにより、label というコマンド名でプログラムが実行可能になる。

• ln コマンドは１回だけ実行すれば、以後ずっと有効である （ln コマンドについては「icho% man ln」参照）。
• リンクを削除するには、「icho% rm label」とすればよい。
• リンクの代わりに、実行プログラムをコピーするのでもよいが、 バグ修正・機能拡張等の変更は反映されなくなる。

プログラムの実行

以下のコマンドを実行する。

　　icho% label  [実行時オプション]  入力ファイル名

• 入力ファイル名 には定義文を記したファイル名を指定する。 省略すると標準入力（stdin）がとられる。
  現在のプログラムではファイル名は１つしか指定できない （実行コマンドの例 参照）。
• 結果は標準出力（stdout）に出力される。
   
• 実行時オプションは、＋（オプションを選択する）または −（選択しない）の後ろにオプション記号をつけて表す。
  （ただし、s, S, o オプションについては ＋/- のどちらでも同じである。 それを下では ± で表す。）
  オプションはすべて半角文字でなければならない。
  オプションを省略した場合にはデフォールト値がとられる。

  実行モード	制約伝播のみ（デフォールト）		±s	制約後探索	±S	探索のみ
  頂点の表示順	±o0	定義順（デフォールト）	±o1	種別順	±o2	ASCII 順
  入力データの表示	＋e	表示する（デフォールト）	−e	表示しない
  初期状態の表示	＋i	表示する（デフォールト）	−i	表示しない
  制約伝播の中間結果表示	＋v	表示する（デフォールト）	−v	表示しない
  探索の中間結果表示	＋V	表示する	−V	表示しない（デフォールト）

• オプションを指定する順番は自由である。
• オプション同士の間には空白を入れても入れなくてもよい。
  また同じ +/- が続く場合には、２番目以降は省略できる （例：　-ei は -e -i と同じ）。
   

実行コマンドの例

以下では定義を記した入力ファイル名を ifile、 結果の出力ファイル（もしあれば）を ofile とする。

label ifile | more	デフォールト設定でファイル ifile を実行し、結果を more を通して画面に表示する。 more は less でもよい。
label ifile > ofile	デフォールト設定でファイル ifile を実行し、結果を ofile に出力する。
label +SV ifile	探索モードのみを実行し、中間結果も出力する。
label -svV ifile	制約伝播モードの後に探索モードを起動するが、いずれの中間結果も表示しない。 （オプションは単に -sv でもよい。）
label -ei ifile	入力ファイルのエコー出力、初期状態出力を行なわない。
label +o0eiv-V ifile	（システムのデフォールト設定に相当）
label	データ入力をキーボードから行なう。
cat ifile1 ifile2 | label	入力データは ifile1 と ifile2 をつなげたもの。 （プログラムでは複数ファイル入力を扱わないので、cat で連結する。）
cat ifile - | label	ifile からデータ入力後、キーボードから追加入力を打ち込む。 （cat のファイル名が "-" の場合には標準入力（キーボード）がとられる。）

入力データ例

こちら に示した入力データ例のファイルは、

~hiraga/public/AI/label/files/

下においてあるので、自由に参照してよい。
例えば t0 のファイルを直接実行するには、以下のようにコマンドラインを入力すればよい。

icho% ~hiraga/public/AI/label/label ~hiraga/public/AI/label/files/t0