一年前くらいにCoqを触り始めて、Software FoundationやCPDTなどを読みながら細々とCoqの勉強を続けています。 Coqを使うための環境としては、CoqIDEやProofGeneralなどが有名ですが、 前者はUIが充実していなくて使いにくく、後者はEmacsなので普段Vimを使…

最近友人数人でグループを組んで、情報科学分野に女子を増やすためのアウトリーチ活動みたいなものをやろうとしています。 そのときに、自分が実際にプログラミング初心者だった時にどんな本やネットの資料をみて勉強や情報収集をしていたかということを久し…