Informasi yang berkaitan dengan ja/アルゴリズムの形式的定義