[プログラムの使い方の説明] (1)まず、magma のプロンプトで load "CII_8.txt"; とタイプして、CII_8.txt をロードします。 (2)次に、同じく、load "Input_web.txt"; とタイプして、入力ファイルの Input_web.txt をロードします。 (3)次に、time CII(パズル名); とタイプすると、そのパズルのCII を計算します。先頭に, time とつけると、計算時間を測ってくれます。計算は、ほとんどの場合,数分程度かかります. 下記に、パズル L12 のCII を計算した出力結果をコピーしておきます。 この計算から、L12 のCII は(6,3,3) であることがわかります。この計算には、約2分ほどかかっています。 ----------------------------------------------------------------------------- Magma V2.20-10 Tue Feb 02 2016 09:40:17 on NakanoS10 [Seed = 818519182] Type ? for help. Type -D to quit. > load "CII_8.txt"; Loading "C:\Program Files (x86)\Magma2014\Magma\libs\examples\CII_8.txt" > load "Input_web.txt"; Loading "C:\Program Files (x86)\Magma2014\Magma\libs\examples\Input_web.txt" > time CII(L12); #(solution polynomials) = 27 level= 1 [#(branches),#(variables)]= [ 2, 1 ] ///// #(solution polynomials) = 42 level= 2 NSleaf_2 ////////// #(solution polynomials) = 31 level= 2 [#(branches),#(variables)]= [ 2, 1 ] ///// #(solution polynomials) = 46 level= 3 NSleaf_2 ////////// #(solution polynomials) = 81 level= 3 SolutionLeaf ////////// [ 6, 3, 3 ] 1 Time: 123.085 > ----------------------------------------------------------------