向山型算数とは何か 5つの定義