最初に食いついたのは「仮想化(virtualization)」がらみの部分。 不完全性定理とかの話で出てくる「算術の算術化」、昔は全然イメージが湧かなかったんですが、最近は「人間(メタメタレベル)がコンピュータ(メタレベル)の中で仮想機械(対象レベル)を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。