マリオとは何だったのか