utgwkk https://blog.hatena.ne.jp/utgwkk/ 私が歌川です https://blog.utgw.net/ アドベントカレンダー 技術 これは KMC Advent Calendar 2018 - Adventar と 言語実装 Advent Calendar 2018 - Qiita 4日目の記事です． 3日目はそれぞれ， id:nojima718 さんの ぷよぷよのプレイ動画を解析して棋譜を生成する - @nojima's blog (KMC) @yhara さんの Shiika進捗(2018) - yhara.jp (言語実装) でした． 自己紹介 id:utgwkk (うたがわきき) です．学部4回生になり，プログラミング言語に関する研究をすることになりました*1． KMC部員としての生活もついに4年目です．ふだんはお… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.utgw.net%2Fentry%2F2018%2F12%2F04%2F184306" title="カインドを用いたレコード多相 (record polymorphism) の計算体系とその実装 - 私が歌川です" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-12-04 18:43:06 rich https://blog.utgw.net/entry/2018/12/04/184306 1.0 100%