id:henjin1go:20080924の悩みを1ヶ月もたってもまだひきづってます。 プロパティφとモデルMとモデルMに対する操作Opに関して、Op(M)がφを満たすかどうかを充足性として、φを満たすようなOpを見つける問題にまたぶつかった。 ぐるぐるぐるぐるまわって、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。