しじみくんは東工大生なのか