について。 ■Java SE (JDK) ・http://www.oracle.com/technetwork/java/javase/downloads/ で「Java Platform (JDK)」を選択し、「jdk-6u26-windows-i586.exe」をDLして実行■Eclipse ・http://download.eclipse.org/eclipse/downloads/ から「eclipse-SDK-3.…

について勉強、緩いストーリーを纏めとく、間違ってたらゴメンナサイ。 とある理由から、いきなりズバッと否定モデルは作れず、可算モデルをベースにして拡張する必要があるらしく。 そこで をベースとなる可算モデルとし、更にMostowskiの同型定理から推移…