<div class="chatlog__message-group"> <div id="chatlog__message-container-451402512801726464" class="chatlog__message-container" data-message-id="451402512801726464"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/370406638915420161/a90e18d5a48a5bebd4720db2fadea512.png?size=512" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" title="taketo1024" data-user-id="370406638915420161">Taketo Sano</span> <a href="/channels/375206337937801216?category=main&channel=swift-zatsu&message_id=451402512801726464"><span class="chatlog__timestamp" title="Wednesday, May 30, 2018 3:12 PM"></span></a><a href="#chatlog__message-container-451402512801726464">5/30/2018 3:12 PM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">例えば体上の一変数多項式環は EuclideanRing なのですが、これに i をつけたものが EuclideanRing になるかは分からないです<img loading="lazy" class="chatlog__emoji " alt="🙄" title="rolling_eyes" src="https://cdn.jsdelivr.net/gh/twitter/twemoji@latest/assets/svg/1f644.svg"></span></div> </div> </div> </div> </div>