0701132人目の素数さん垢版 | 大砲2020/03/17(火) 14:28:49.44ID:LRWp8hDU 「群」「環」「体」を現在の視点から適切な用語に変えるいいアイデアが提案されたことってありますか? この三つって重要度のわりに名前と内容があまりにかけ離れてますよね?