Structure Computer の概要と使い方を、一般向けに説明する文書。数学的に詳しい内容は「論文」にあります。
何に答えるか、答えをどう保証するか、何に使えるか
各問いで何が分かるか、試すページで何を入れるか
確かさの種類、答えの形、言葉の意味
なぜ付くのか、何が入っているか、どう検査し直すか
自分の系を書いて試すための書き方
数値計算・数式処理との違い、「結果なし」のときなど