What Is an Agent? And What Is an Agent Community? -- to Formal Methods --