Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証するページです。AMBI（アンビ）は若手ハイキャリア向け転職サイト。年収500万円以上の案件が多数。職務経歴書を元にした三段階評価によって、選考通過の可能性がわかる。新規事業や外資系企業へのチャレンジも。