めでたい報告はだいたい行ったので,それ以外の雑多な振り返りです. utgwkk.hateblo.jp 言語処理系 多相 let と let rec が実装できたので優勝といっても差し支えないのではないだろうか. Coq ぜんぜんできなかった証明を友だちに診てもらったらできてしま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。