<div class="chatlog__message-group"> <div id="chatlog__message-container-317951460979507200" class="chatlog__message-container" data-message-id="317951460979507200"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/189711109966659584/95280765d1be73ce985dce15ea3585f6.png?size=512" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(237,171,161)" title="omochimetaru" data-user-id="189711109966659584">omochimetaru</span> <a href="/channels/291054454793306112?category=main&channel=swift&message_id=317951460979507200"><span class="chatlog__timestamp" title="Saturday, May 27, 2017 9:05 AM"></span></a><a href="#chatlog__message-container-317951460979507200">5/27/2017 9:05 AM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve"> <div class="chatlog__markdown-quote"> <div class="chatlog__markdown-quote-border"></div> <div class="chatlog__markdown-quote-content">推論が O(全型数^深さ) になっちゃう </div> </div>ここがよくわからないです。 左辺が T で、 .A が来るので、 T.A を探す、見つかる → T.A は :T で .B が続くから T.B , -> T.Bは :T で .C が続くから T.C -> T.C は :T で代入できるのでOK と、 一直線に進む気が。 </span></div> </div> </div> </div> </div>