って,もうすぐ3月ですが…. 左のは昨年末に作成したアンビグラムで今年の年賀状に使用したものです.*1 いろいろ立て込んでいたので更新していませんでしたが,今年のこれまでのまとめは以下の通り: 桑港に出向いてPLAN-Xで発表,PEPM, Coq Tutorial, POPL…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。