2019-09-16 部分という言葉 2019 セミナー 多義語 圏一般論 論理 日本語 英語 部分関数 partial function 偏微分 partial derivative 部分集合 subset 劣調和関数 subharmonic function