Examination of possible progress of Japanese pension system using an agent-based model | IEEE Conference Publication | IEEE Xplore