Debian でいろいろなパッケージをインストールするときには apt-get コマンドを用いる。Vine にも移植されているが，使うのは初めて。そのためちょっと戸惑ったが，ここまでにいくつかのパッケージをインストールしたおかげで，使い方にすこしずつ慣れてきた…

森田先生の論文を読み終わる。次回から，この前の話を新しい公理の下で展開したらどうなるかのことを話す。