モナドロジーのいくつかのバージョン