プログラムで証明が書けそうなものが『群論の計算(9) - 非専門的シンギュラリティー研究所』にあるので、この続きとして書いていきます。 置換の偶奇性 検証的プログラミング 検証的プログラミング(1) - 非専門的シンギュラリティー研究所 検証的プログラミ…

置換のパリティー(3) 前回のコードを書き直して、ソートの中でチェックする項目を変更しました。ソートの中で使う条件をテストする項目を追加しました。置換を表すクラスを Permutation とします。 の は固定とし、最初に設定します。互換を表すクラスを Exc…

置換のパリティー(2) 置換を表すクラスを Permutation とします。 の は固定とし、最初に設定します。互換を表すクラスを Exchanger、基本互換を表すクラスを Ladder とします。乱数で任意の置換を作成し、条件を満たすかどうかをチェックします。 共通関数 …

ビジュアルプログラミングで、数式で表すのが難しいものに関する証明をやろうとしていたのですが、Blocklyを使って行おうとするとブロックを組み合わせるときに選択することは難しいということがわかりました。そこで、プログラム検証のようにプログラムを書…