タイプ論的にはのび太は何タイプになるのですか?