binder で gfortran-9 gfortran-9 は、まだ add-apt-repository ppa:ubuntu-toolchain-r/test しなければならないので、binder 備え付けの apt.txt では対応できず、Dockerfile を書く必要があります。しかし mybinder サイトの説明を読んでも幼女には難しい…