バドミントン

さらに細かいプレイパターンのことも議論したいので公理を追加する。
ラリーの公理は別に立てる。
ラリーの公理１
神が強く打ち返した場合、強く打ち返す事ができる。
ラリーの公理２
神が強く打ち返した時、弱く打ち返す事が出来る。
ラリ―の公理３
神は弱く打ち返した時、弱く打ち返す事が出来る。
ラリーの公理４
神が弱く打ち返した時、強く打ち返す事が出来る。

ラリーの公理５
神が遠くへ打ち返した場合、遠くに打ち返す事ができる。
ラリーの公理６
神が遠く打ち返した時、近くに打ち返す事が出来る。
ラリ―の公理７
神は近く打ち返した時、近くに打ち返す事が出来る。
ラリーの公理８
神が近く打ち返した時、近くに打ち返す事が出来る。
ラリーの公理９
神が右に打ち返した場合、右に打ち返す事ができる。
ラリーの公理１０
神が右に打ち返した時、左に打ち返す事が出来る。
ラリ―の公理１１
神は左に打ち返した時、左に打ち返す事が出来る。
ラリーの公理１2
神が左に打ち返した時、右に打ち返す事が出来る。

ラリーの定理１
打ち返す場合に8通りの選択肢がある。強く遠く左右に打つ場合と強く近くの左右に打つ場合と弱く遠く左右に打つ場合と弱く近く左右に打つ場合である。
これは、公理１から８までををまとめるとこの定理になるのは明白。
ラリーの定理１の実例。
神が左の遠くに強く打った場合に、弱く左に遠く打ち返せる。
ラリーの公理１、５、９より明らか。

何となくラリーを「記述」するのにこれぐらいの「公理」があるといい気がする。
しかし、このままではラリーは永遠に続いてしまうので、どこかで終わりにしないといけない。
次なる問題は、このラリーの公理を適切に「制限」して、ラリーが終わる条件を公理化すればいいことになる。
クリアー合戦をしている限り、バドミントンは勝負は決まらないので、上記公理を制限して勝負が決まるように調整したいと思う。
要するに、決まり手のパターン化と言う事になる。