22/04/30 12:14:24.58 .net
>>798
＞遠アーベル以外の人にも、理解と普及を促進すれば、いいべ
なんか素人が中身について全然わかりもせずに
その場限りの無内容な言い逃ればっかり述べてるねｗ
多分下げマスには
「任意の順列は２つの（ヤング）標準盤の対に変換でき
逆に任意の２つの（ヤング）標準盤の対は順列に変換できる
つまり両者は可逆で１対１対応する」
という言明の証明となるようなプログラムが書けないし
仮にそのようなプログラムが示されたとして
それが「」内の”使用”を満たすことを証明できない
どうにでも書けるフローチャートとか
気分的なコメントの追加で
誤魔化せる問題ではないｗ
（逆に上記の問題は形式的手法の習熟には絶好
ま、クヌースとかは形式主義者じゃないから
そんなテキスト書かないだろうけどｗ）