孤独のグルメに出てきた東大中央食堂の赤門ラーメン