まず，Pythonのパッケージ管理システムpipをインストールする．pythonが入っていればそれを使ってインストール出来るらしい．適当な場所にhttps://bootstrap.pypa.io/get-pip.pyをダウンロード．linuxであれば wget https://bootstrap.pypa.io/get-pip.py で…

友人・先輩に手伝ってもらったので，他のPCにインストールするときようにメモを残しておく． emacs自体は sudo apt-get install emacs でインストール出来る． 自分はパッケージが見つからない的なことを言われたので， /etc/apt/sources.listを見てみると以…

調べるといろんな人がお勧めの数学書を書いているけれど，自分が読んでいた本がほとんど挙げられていなかったので書いてみることにしました． ちなみに筆者の専門は複素幾何です． (ほとんど)読んでないけど良さげだなと思ったり良い評判を聞いてる本は(*)付…

こんにちは．VPNの設定がどうもうまくいかないので，先にWebサーバーの設定のほうからすることにしました． ここから先はGUIは使わず，SSHを使って他のマシンからコマンドライン上で扱うことになります． cd，ls，mkdir等のファイル操作，apt-getを使ったソ…