# why [Compiler2](http://isabelle.in.tum.de/library/HOL/HOL-IMP/Compiler2.html)を読んでいたら、`with`というのが出てきたが、使い方を忘れていた # what - [ ] 定義を調べる - [ ] 使う場面を考える - [ ] メモにする。