from test2 : 20260421_1 計算に時間がかかるようになった。要調査 プラグインGtranslate vscode で編集できるように 本番サイトの反映時間を表示する、TEST1も TKT FULLBA […]
済・一階言語へのcvt…defを使うように 至急・slashW0を新設・DBのPropを止める。p-Formに一本化 ・word(s,s),word(ss,s)となる定数の導入・Thmを作るのに使用される記号の変更 ＜ […]
本番…2026/4/19test1…2026/4/12 rite_check.phpでテスト`X sub Y <==> {pile_ X cup Y =s Y} <==> X cap Y =s X``X su […]
