TwilogOOの三本柱は静的構造、状態機械、協調。静的構造と状態機械は演繹的に記述できる。協調は帰納的にしか記述できないのが弱点。 @myen # 協調そのものは帰納的にしか記述できないが、協調を構成する部品は演繹的に記述することができる。その部品として…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。