372びぼーろく; 学会発表終了

とりあえず目的の一つである学会発表は終了。なぜか自分のセッションにKGさんが居て、たまに鋭い(?)質問をするのが面白かった。

せっかくなので、近くの浅間温泉の枇杷の湯というところに足をのばす。
いいお湯だった。さらにせっかくなので新三よしという店で馬肉を食べることにした。
美味しかった。
蕎麦も有名なので、何軒か回ってみたがどこも美味しかった。(こばやし、みよ田、手打ちそば純)


さて、少しだけ面倒を見ていた学生が第一志望の大学に受かったらしい。良かった。

379びぼーろく; neovimその2

neovim を使い始めて約一月。そろそろ慣れ始めたので本格移行を検討中。

プラグインは使っていないけど、そこそこ快適な気がする。ま、そもそもそこまで大したことをしていないのもあるんだけど。

debian/stretchのneovimは0.1.7ということで若干古い。公式HPによると直接app.imageをダウンロードして使えるらしい。

試しにやってみると普通に動いた。ライブラリとかの依存性とかは大丈夫なんだろうか？

ちなみにWSLではfuseがサポートされていないらしく動かないみたい。

(fuse: device not found と怒られる)

そのうち設定ファイルを晒そう。

さて、議論をする直前に自然に結果を説明できる事に気がついた。結構良い説明になっている気がする。

378びぼーろく; 再教育

ノートPCがwindowsになったので、漢字変換をもう一度覚えこませる必要が出てきた。
改めて自分が通常とは違う変換をしていることに気づいた。

びしょうへんかん→微小返還
きょうへんびぶん→今日偏微分
はんたいしょう→反対省
こうそく→高速
りーだいすう→リー台数
せいせいし→生成し

誤変換する度に教え込んでいくしかなさそう。
変換間違いを正していると、大学院生のころ寝ぼけながら朝のニュースを聞いたときのことを思い出した。
早朝のニュースで「工事現場で事故がありました」を「高次元場で事故がありました」と聞き間違えて頭の中が「?」となった。

さて、週末はいよいよ神戸へ。がんばろう。

377びぼーろく; 積読増加

Peskinがparticle physicsの本を書くらしい。
その原稿がHP上に公開されていたので、早速ダウンロード。が、一切読んでいない。
また積読が増えてしまった。

376びぼーろく; 曲面論と一般相対論

最近「一般相対論を学ぶ前のリーマン幾何で悩む人は2次元の曲面論を勉強したほうがよい」という考えに至った。
これは何か根拠がある話ではなく、単純に自分の経験から。

自分自身の勉強の過程を振り返ってみると、一般相対論を学ぶ前の数学(リーマン幾何)に何度も挑戦したものの、結局わけが分からず一般相対論までたどり着けなかった、ということが何度もあった。
なぜだろうと考えてみると、要は「空間の曲がり」とは何か、「それをどのように表すのか」がよく分からなかったのが大きな点だと思う。

一方で2次元の曲面論であれば、曲面の曲がりを表す曲率が自然に理解でき、また驚異の定理(内在的量のみでガウス曲率を求めることができる)もある程度理解できる。

その後にこれらの曲面論を拡張したリーマン幾何学を学ぶと非常にわかりやすく理解できる。

ということで、一般相対論の前段階のリーマン幾何で悩む人は是非2次元の曲面論を勉強してみると良い、という考えに至った。
だけど、このあたりの初歩的な話をわかりやすく書いている数学の本は少ない(ような気がする)。
誰か書いてくれたら良いのになぁ。

375びぼーろく; neovim

vimにterminalモードが導入されたらしい。
が、debianのパッケージ(VIM 8.0)には反映されていない。ということで、neovim(NVIM 0.1.7)に手を出すことにした。

つまらないことだが、neovimを立ち上げる時にはnvimとタイプ。neovimとタイプしてもUnknown commandと言われてあせる。

~/.vimrcは読みに行かないので、 ~/.config/neovim/init.vimに設定を書く。
(基本的に互換性があるらしいのでvimrcにシンボリックリンクをはるだけでも良いかも。でも一応新規にファイルを作成した。)

neovimを立ち上げて

:terminal

と打つとターミナル画面が立ち上がる。素晴らしい光景だ。
上下に画面分割したいときには

:split|terminal

とすればOK。デフォルトでは上側に出現するので、嫌なら

set splitbelow

としておけば良い。(左右に分割したいならvsplit, set splitrightを使う。)

さて、terminalモードではvimと同じくインサートモードとコマンドモードが存在する。
インサートモードはシェルのコマンドを入力、コマンドモードはターミナル内の文字列検索や編集できる。
コマンドモートに移るときにはC-\ と C-n だが、あまりにも違いすぎるので~/.config/neovim/init.neovimに

tnoremap <silent> <ESC> <C-\><C-n>

としておく。これでエスケープでコマンドモードに戻れる。
ちょっと慣れないのが、ターミナル上でコマンド入力したいときにはインサートモード、
ターミナル上で検索やコピーをしたいときにはコマンドモードで行うあたり。
ま、そのうちなれるだろう。

terminalモードが導入されたので、hogeファイルを編集中にコンパイルしながら元のソースを眺めたいときには

:split|terminal""platex %""

とすると下側の画面でコンパイルしてくれる。
自前でコンパイルできるようになったので、プラグインに頼らず自力で生きていこうと思った今日この頃。


さて、全微分は表面項なので落として良いと思っていたら、そうも行かないことに気がついた。
3週間前ぐらいの自分をぶん殴りたい。

374びぼーろく; windows subsystem for linux

windows subsystem for linux(WSL)にとうとう手を出してしまった。

こちらはライトユーザー(タコ)なのでこれぐらい動いてくれれば十分。

現在ノートPCは窓達、デスクトップPCはdebianと言う状況。

インストール方法はあちこちに書いてあるので全く困ることはなかった。

debianっ子なので当然debianをインストール。

ただ、デフォルトでlessコマンドが入っていなかったりと意外と自分でインストールしないといけないパッケージが多かった。

aptでインストールできるのでtexlive-full,maxima,gnuplot,git,vim,aptitude,tmux,fishあたりと一緒にインストール。

suじゃなくてsudoで管理者権限を行使。

注意しないといけないのは、環境変数$PATHにwindows側のパスも入っている点。

一応linux側が優先になっているみたいだけど、同名のものは注意が必要。

(windows側は.exeがついているらしいが未確認。)

さて、WSLではlilypondが公式パッケージとして存在しなかった。少し調べてみると、どうやらWSLでサポートされていない機能があるらしくlilypondはまだ動かない（？）らしい。

ま、lilypondは絶対必要なわけではないのでとりあえずtexやmaximaあたりが動けば十分。

Xは動いていないのでそのあたりも使いたい人は設定する必要がある。

まず窓の方にvcxsrvをインストールする。

インストール後、起動したvcxsrv(XLaunchというアイコンでも設定できるみたい)のプロパティで、「高DPIスケールの動作を上書きします。」あたりをいじると見やすくなりそう。

vcxsrvを起動後、最初の画面でDisplay number を0に設定。

(でもデフォルトの-1でも動くみたい。不思議。)

初回はファイヤーウォールについて聞かれるがとりあえずOKとする。ま、Xは内部からしか使わないし大丈夫...なのか？

linuxを立ち上げ、Bashだったら

export DISYPLAY:0.0

で設定終了。これでOKなはず。

基本的にはシェル上でなんやかんやする程度ならこれで十分そう。

デスクトップ環境をインストールできるらしく、mateをインストールしている猛者も居た。すごい。

言語は英語のまま。かっこいいとかそんなことではなく、文字化けしたときわけが分からないので英語のままにしている。

ターミナルとかはそのまま。もし気に入らなくなったらそのうち変えるかもしれない。