🔼2026年2月
⬅️2026-02-19
➡️2026-02-22
🔗DwG-1-22：Metamath束
🔗DwG-1-23：S-TPDからみた積極的分離レベル1・2
🔗DwG-1-24
🔗DwG-1-25：S-TPDからみた積極的分離レベル3・4・5
🔗DwG-1-26
🔗DwG-1-27：積極的分離レベルの境界条件
🔗DwG-1-28：証明論的葛藤と意味論的葛藤
🔗DwG-1-29
🔗DwG-1-30：各分離レベルを象徴するフォーマット
🔗DwG-1-31：「対話篇」としての公開方針
🔗DwG-1-32
🔗DwG-1-33
🔗DwG-1-34
🔗DwG-1-35
🔗DwG-1-36
🔗DwG-1-37：積極的分離のレベル遷移図
🔗DwG-1-38