ちまちまと書き足し

証明内容まで進む前に、今日はアルゴリズム部分を書き足し。
変数にどのアルファベットをあてるか、などを含めて書いているため、それほどスピードアップはしていない。
いずれにしても、集合が複数あるので、そのあたりをうまく処理する必要もある。

短期目標：アルゴリズム記述を明日までに
今日の作業内容：アルゴリズム書き足し 3h
今日のランチ：らく まぐろのづけ丼と小鉢セット
明日の予測作業時間：4h