CREATE TABLE table_name_13 (pop_¹ INTEGER, prefecture VARCHAR(255))
Name the sum of pop for shizuoka
    
SQL: SELECT SUM(pop_¹) FROM table_name_13 WHERE prefecture = "shizuoka"