binderとは binder とは GitHub の repository から(使い捨ての)Jupyter Notebook の環境を構築し その(計算)環境を誰もが利用できる形で提供してくれる ウェブアプリケーションです。 binder を使うと Dockerf...