紆余曲折の結果、今はマテリアル計算にするか、と思っている。 ネアンデルタール計算 → ギャートルズ計算 → マテリアル計算 素材と操作は： ドット （シン）ワイヤー シース ケーブル ボールド（またはファット）ワイヤー ワイヤー、ボールドワイヤー、ケー…

ストライブ計算とケーブル計算は同じこと。ギャートルズ計算＝マテリアル計算の立場からはケーブル計算と呼ぶのが適切かな。ストライブ計算は、C, Dがモノイド圏か2-圏のときに、関手圏[C, D]内の計算をすること。特に、ラックス・モノイド関手、タイト・モ…

健全 sound 適切 adequate（だいたいアディクエットでアにアクセント） 完全 complete 正しい correct 健全かつ適切なら完全正しさには証明可能性と妥当性がある。 証明論的に正しい＝証明可能 |- p モデル論的に正しい＝妥当 M |= p 普遍的に妥当 |= p |= p…