加载教师数据并统计专长分布

def solve():
    from pyodide.http import open_url
    from io import StringIO
    import pandas as pd
    csv_data = open_url('https://data.zuihe.com/dbd/ms-edulive/state_00/teachers.csv').read()
    df = pd.read_csv(StringIO(csv_data))
    result = df['specialty'].value_counts()
    for s, count in result.items():
        print(f'{s}: {count}')