>>813
>いや
>・プログラムの検証ですよ
>・プログラムのバグとりもできたらいいですね
>・プログラムの説明はその後のことですよ
>プログラムにもなんにもなってない記述に
>説明もヘッタクレもないですから

あなたは、数学あんまし出来ないんじゃない？
事態を、抽象化して、その後に 個別具体的事象に当て嵌めるって
そういう操作が苦手なのかな？

まず、いま問題になっていることは、「可読性」>>752とは何かです
（再録）>>752より
専門の論文の可読性は、読み手のレベル問題もあるのです
専門が違えば、使っている用語も違う
前提とする知識も違うだろ
(引用終り)

つづく