私が歌川です

@utgwkk が書いている

2018-08-29から1日間の記事一覧

8月振り返り

めでたい報告はだいたい行ったので,それ以外の雑多な振り返りです. utgwkk.hateblo.jp 言語処理系 多相 let と let rec が実装できたので優勝といっても差し支えないのではないだろうか. Coq ぜんぜんできなかった証明を友だちに診てもらったらできてしま…