あなたの死をかわす!


13

前書き

「ムフハハハハ!」マッドサイエンティストは笑います。「あなたは私の小さなゲームに閉じ込められています!」

あなたの前には死の蛇の穴があり、あなたの後ろには底のない割れ目があります。抜け道はありません、あなたは立ち往生しています!

「あなたの前の2つのステップは蛇の穴であり、あなたの後ろの2つのステップは割れ目です。しかし!移動する前に、前後の一連のステップを書き留め、私にそれらを与えなければなりません。しかし! 「Mビット感じ悪を今日、私はあなたの代わりにすべてのステップを取ることができます、すべてのn番目のステップは、どこnあなたの配列の長さよりも小さいです!

今、賢明に選択してください。」

あなたの差し迫った死の前にあなたがとることができる最大のステップ数は何ですか?

仕事

上記のイントロは、最近、真実であることが証明されたエルドの不一致推測のひねりです(これについて詳しく知りたい場合は、James Grimeによるこのビデオを参照してください-私は彼からひねりの質問を「盗みました」)。

イントロへの答えは11手順ですが、私は証拠を詳しく説明しません。あなたと2つの「危険」との間の距離が3歩数である場合の答えは1160歩数ですが、それはまだ適切に検証されていません。

あなたの仕事は、あなたが達成できるステップの最長シーケンスを生成するプログラムを作成することですx。ここxで、あなたと2つの「危険」の間のステップ数です。プログラムはの入力を受け取り、xそのための有効なシーケンスを出力する必要がありますx

この課題のために+、一歩前進を-表し、一歩後退を表します。

したがって、入力の出力2は次のとおりです。

+--+-++--++

nマッドサイエンティストが何を選んでも、それはうまくいきます。私たちの挑戦のために、x = 5

注:このチャレンジは、このチャレンジこのチャレンジのだまされたものではありません。私のチャレンジは、コードそのものではなく、出力に焦点を当てているためです。つまり、コードゴルフチャレンジではありません。それに加えて、これらの課題はに基づいx = 3ており、既に上限が設定されています。

ルール:

  • プログラム全体が回答に収まるはずです。ただし、収まらない場合は、追加のGithubリポジトリなどを提供してください。
  • コードを最適化することでより良いスコアを取得できる場合は、回答とプログラムの両方を更新できますが、そうすることで、以下のリストのすべてを更新する必要があります。
  • あなたの答えでは、あなたが持っている必要があります:
    • プログラム全体、またはコードをホストするGHリポジトリへのリンク
    • 生成されるステップの量- これが最終スコアになります
      • また、ペーストビンまたは類似のものでシーケンスのオンラインバージョンを提供する必要があります。これはあなたの答えを確認できるようにするためです。
    • 最終スコアが最後に更新された時間なので、履歴を確認する必要はありません
  • シーケンスを事前にハードコーディングすることはできません。
  • あなたのプログラムはすべてのために働く必要がありますx(ここでxあなたとピットとキャズムの間のステップ数です)が、あなただけのスコアを提供する必要がありますx = 5

最大スコアの答えが勝ちます!


私の理解を確認するために、1つおき、または3つおきの要素を取ったとしても、生き残るシーケンスが必要ですか?
Notts90はcodidact.orgへ17年

1
@ Notts90うん-しかし、それだけでは機能しません。すべてのnステップを実行した場合に機能する必要がありnます。ここで、シーケンスサイズ未満の数字があります。
-clismique

非常に密接に関連しています。(これをサンドボックス内の潜在的な複製として呼び出しました。したがって、チャレンジのテキストは少なくともそれについて議論することを期待していました。)

実際のところ、この挑戦​​は不可能だと思います。の最大の不一致の長さを見つけるにはx=5、出版に値する大きなブレークスルーが必要です。の最大値である1160 x=32014年証明および公開されており、それ以上の値は知られていないことを考慮してください
-xnor

0は適切なNですか?
-tuskiomi

回答:


6

さび、スコア= 4997216、時間= 2017-07-12 00:18 UTC

これは私が(、ロナンルブラジャー、カーラ・P.ゴメス、バート・セルマン1148805た文献に見つけることができた最高の結果に改善オルドスの不一致の問題では 4.3倍、2014年)。

長さ4997216の出力シーケンス

GitHubのソースコード

ランニング

プログラムは、最大の不一致を引数として受け入れます(これは、より一般的な数学的慣習に合わせるために、チャレンジの言語ではx − 1です)。x = 3の場合、次のようなわずかに圧縮された形式で増分出力を生成します。

$ cargo run --release 2
add +--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-+
length 90
delete 12
add --++--+-++-++--+-++--+--+-++--+-
length 110
delete 4
add +-+--+-++-++--+-++--+--+-++-++--+-++-+
length 144
delete 6
add --++-++--+-++--+--++++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-+-
length 214
delete 208
add --+++--+++--+-+--+++--+-+--+++--++---+-+--+-+-++-+--+++--+++--+---++-+--+-++-+++---++--+-++-++--++--+--++--+++--+-+-++-+--+-+--+++---+++-+----+++--+-++--++-+-++--+-+--+-+-++-+--+++--++--+--+--+-++-++---++-++-++-+--+-++
length 224
delete 2
add -+++--+-+--+++---++--+--
length 246
done

ここaddで、現在のシーケンスの最後に一連の記号を追加することを意味し、現在のシーケンスdeleteの最後からいくつかの記号を削除することを意味し、現在のシーケンスlengthの長さを表明します。このスキームは、より長いシーケンスが発見されるため、多くのギガバイトの中間結果の生成を回避します。以下のPythonプログラムを使用して、これまでで最高の結果を抽出できます。

import sys
s = ''
for line in sys.stdin:
    cmd = line.split()
    if cmd[0] == 'delete': s = s[:-int(cmd[1])]
    elif cmd[0] == 'add': s += cmd[1]
    elif cmd[0] == 'length': assert len(s) == int(cmd[1])
print(s)

使い方

ここには約1000行のコードがあるため、これは非常に大まかな概要に過ぎません。

検索を完全に乗法的シーケンス(fab)= fa)・fb)のシーケンス)に制限します。これは、n = 1の部分和の境界と、以下のための合計のn ≥2は、自動的にバインド同じことを満足させます。

部分的に割り当てられた符号シーケンスの部分文字列fi + 1)、…、fj)(各要素が '+'、 '-'、または不明)に対して、危険+ij)を2回に定義「+」の数から長さjiを引いたもの(便宜上、iを− x + 2のように小さくし、f(− x + 3)=⋯= f(0)=「+」この目的)。同様に危険-ij)を定義します。次に、nの部分和の境界= 1の条件と同等であるときはいつでも、IJX(MOD 2)、危険+IJ)≤ X - 2及び危険- IJ)≤ X - 2。

対数時間の更新により、最大の危険を伴う部分文字列の一定時間クエリをサポートする増分データ構造を構築します。次の4つの値を関連付けることで機能します。

  • 危険(ij)、
  • 最大IKjは危険(IK)、
  • 最大IKj個の危険性(KJ)、および
  • 最大IKLj個の危険性(KL)、

長さ2のすべての文字列、長さ4の他のすべての文字列、長さ8の4番目の文字列ごとに、というように。長い文字列に関連付けられた値は、2つの半分に関連付けられた値から一定の時間で計算できます。

補助情報を追加したこの構造により、部分シーケンスの制約伝播と競合検出を非常に迅速に実行できます。これを使用して、CDCLのような検索を行い、ユニット伝搬、決定レベル、および非時系列バックトラッキング(ただし、現時点では節学習なし)を使用して、より長い長さの完全なシーケンスを検索します。

各検索ステップで、割り当てられていない最初のサインを推測します。この推測に使用されるヒューリスティックは、多くのバックトラックを回避するために非常に重要です。我々が使用F(3・K - )= FK)、F(3・K + 1)= '+'、F(3・K = + 2) ' - '。

結果

不一致0、1、および2の検索では、長さ0、9、および246の最適な完全に乗算可能なシーケンスがすぐに見つかります。

不一致3の検索は41319で数秒以内に停止します。これは、Le Bras et al。、2014で見つかった長さ127645の既知の最適な完全に乗算的なシーケンス(およびその直後に見つかった長さ130000の非常にわずかに長い非乗算的拡張)、ただし、長さ17000のシーケンスよりも前の既知のシーケンスよりもはるかに優れています。

不一致4の検索により、最長のシーケンスが4997216でスタックするまで約5分間継続的に改善されます。長さ1148805 = 9・127645の既知のシーケンスは、すべての記号sを+- - + - ++ - 。私が知る限り、この長いシーケンスは一般的なSATソルバーが直接合理的に改善するには難しすぎます(しかし、読者の皆さん、私が間違っていることを証明できるかもしれません!)。

これらの障壁を乗り越えるために、プログラムに何らかの種類の節学習を追加する必要があると思います。

2187×2285ビットマップとしてのシーケンス

(クリックすると、最大解像度で表示されます。)

2187×2285ビットマップとしてのシーケンス


127465は完全に乗算可能なシーケンス用です?
電卓

「句学習」?
電卓

競合駆動型の節学習をご覧ください。これは、最新のSATソルバーの仕組みです。
アンデルスカセオルグ

3

Haskell、スコア= 9020、時間= 2017-06-09 00:52 UTC

f 1=""
f n="+-"++do c<-f(n-1)++"-";"-+-++-"++c:"+-"

オンラインでお試しください!

このスコアは、すべてのnについて(9 n − 1 − 1)⋅11/ 8です。最初のいくつかの出力は次のとおりです。

n=1, length=0: 
n=2, length=11: +--+-++--+-
n=3, length=110: +--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+-
n=4, length=1001: +--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+-
n=5, length=9020: +--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++-++--+-++-++--+-++--+--+-++--+--+-++-++--+-++--+--+-++--+-
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.