🔼S-TPDフォーマット群
⬅️レベル4フォーマット：PSEO
➡️
🔗積極的分離レベル5：二次的統合
🔗高階数理最適化
🔗DwG-1-30：各分離レベルを象徴するフォーマット
🔗DwG-2-38
🔗DwG-3-18
PSEOsの定義
PSEOsは、PSEOを集めたデータベース、あるいはPSEOを要素に持つリストです。
JSON風に書くなら次のようになるでしょう。
[
{
"proposition": "",
"solution": "",
"evidence": "",
"opinion": "",
"author": "",
"date": ""
},
{
"proposition": "",
"solution": "",
"evidence": "",
"opinion": "",
"author": "",
"date": ""
},
...
{
"proposition": "",
"solution": "",
"evidence": "",
"opinion": "",
"author": "",
"date": ""
}
]
COTPMの定義
COTPMは次のようなフォーマットです。
制約条件：数理最適化問題の制約条件を書く。
目的関数：数理最適化問題の目的関数を書く。
暫定解：数理最適化問題の暫定解を書く。
解導出過程：暫定解の求解過程を書く。
メタ意見：暫定解に関する妥当性(問題内妥当性)と、問題自体に関する妥当性(問題外妥当性)を検討する。
筆者：
日付：
JSON風に書くなら次のようになるでしょう。
{
"constraint": "数理最適化問題の制約条件を書く。",
"objective": "数理最適化問題の目的関数を書く。",
"tentative": "数理最適化問題の暫定解を書く。",
"path": "暫定解の求解過程を書く。",
"metaOpinion": "暫定解に関する妥当性(問題内妥当性)と、問題自体に関する妥当性(問題外妥当性)を検討する。",
"author": "",
"date": ""
}