utgwkk https://blog.hatena.ne.jp/utgwkk/ 私が歌川です https://blog.utgw.net/ めでたい報告はだいたい行ったので，それ以外の雑多な振り返りです． utgwkk.hateblo.jp 言語処理系 多相 let と let rec が実装できたので優勝といっても差し支えないのではないだろうか． Coq ぜんぜんできなかった証明を友だちに診てもらったらできてしまったので、見てもらうの大事そう— うたがわきき🔰💊 (@utgwkk) 2018年8月29日 「無限ループは停止しない」ということを証明できずに詰まっていたが，見てもらいながら証明を書いていたら数分でできた． アルバイト 最近ちゃんと労働できてない気がするのでもうちょっと整えてやっていきたい*1*2． 総括 いろいろ終わ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.utgw.net%2Fentry%2F2018%2F08%2F29%2F232115" title="8月振り返り - 私が歌川です" 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-08-29 23:21:15 rich https://blog.utgw.net/entry/2018/08/29/232115 1.0 100%