GitHubのConvergentSpaceを更新しました
色々と雑なままにしておくわけにもいかないので、フィルターについてほんの少しだけ記しました。まだいくつかの論文が読めてないので、あくまでも試作です。色々と構成を練りながら、取りあえず長い文章がどんな風に見えるかの確認も踏まえてです。あとあまりブログの更新頻度を落とすわけにもいかないので、ね。
https://mathmathniconico.github.io/ConvergentSpace/
上とは関係ないですが、MathPower2018が先日開催されていました。(ブログで紹介するの忘れてた!!!)
自分は現地には行きませんでしたが生放送は適宜拝見していました。特に今年の講演は渡辺先生と橋本先生で、実に熱い内容でした。とりあえず渡辺先生の本読まないとなぁ(遠い目)
GitHub+GitBook+VSCode+KaTeXによる数学文章作成について
数学文章をいかに実現するかは骨に印を刻んでいた太古の昔から続く人類の夢だったのですが、多くの人の努力があって今はその選択肢もかなり増えた気がします。「はてなブログ」もその一つであり、MathJaxを用いた数式処理システムが使われています。難しい設定が必要なく、数式の書ける「はてなブログ」の存在は本当に有難いものだと思います。しかも無料! (媚を売っていく)
さて、世の中にはGitHubというサービスがあるのですが、これは簡単に言うと文章のバージョン管理システムにSNS機能がひっついたものです。(厳密にはGitというシステムの実装の一つがGitHubで、「はてなブログ」もGitの一種だそうです。)プログラマーやIT関連に詳しい人にはお馴染みかと思いますが、自分は少し前にアカウントを作ったものの、特に利用することもなくPDF置き場として放置していました。使い方も良く分からないし、目的も技術も無かったので当然ですね。ところが最近になって色々調べているうちに、自分のやりたいことが実現できる気がしました。そこで本腰を入れて取り組んでみようと思い立った次第です。百聞は一見に如かず、完成品はこちらです。
https://mathmathniconico.github.io/ConvergentSpace/
GitHubのページはこちらです。
https://github.com/mathmathniconico/ConvergentSpace
中身はシンプルですが、理想形をある程度実現できたように感じます。もちろん中身を膨らませることも可能ですが、Gitの良いところは誰でも編集に参加することができることです。同様のサービスにはWikiがありますが、こちらはより堅牢な感じがします。そしてこれが一番の売りですが、以下の方法では数式を高速にプレビューしながら作ることが出来ます。
以下では0.用語説明 1.具体的にどのような方法で実現したか 2.編集に参加し、プルリクを送るために必要なこと 3.私と同じことを自分のリポジトリで実現するために必要なこと について解説していきたいと思います。ちなみに環境はWindows8.1です。OSXの場合はGitがデフォルトで付いてたりするはずなので細部が違うと思います。
0.用語説明
自分も他人に説明できるほど詳しくはないですが、Gitの仕組みと用語について述べておきます。
Gitはバージョン管理システムであり、多人数でプロジェクトを作ることに向いています。このプロジェクトの構成ファイル群がある場所をリポジトリと呼びます。Gitはリポジトリを一元管理するのではなく、複数のリポジトリ間の調整を行う仕組みを持っています。まずリモートリポジトリと呼ばれる元締めがどこかのサーバー(GitHubなど)にあり、各ユーザーは自前のマシン上にローカルリポジトリと呼ばれるそのクローン(複製)を作ります。リモートとローカルの連携をサポートしてくれるのがGitです。
ファイルの編集はローカルリポジトリ上で行いますが、この変更はすぐには反映されません。ある程度機能を追加した段階でまずコミットします。コミットによりローカルに更新履歴を追加し(多分)、Gitの前準備をします。準備が整ったらローカルの内容をリモートへプッシュします。そしてリモートからプッシュされた内容をプルリクエストします。「こういう変更をしたいんだけどいいか?」と他のユーザーに聞く訳です。「いいんじゃないか?」と全体の総意が取れたらリモートの管理者がマージ(結合)します。ダメなら却下されます。これらの作業は全て記録され、Gitが自動的にやってくれます。これによりユーザーはリポジトリの内容のみに集中することができるのです。
1.具体的にどのような方法で実現したか
GitHubは今回の主役で、リモートリポジトリの役割を担います。ついでにSNS機能があって、芝を生やすことが出来ます。芝は草ですが生やすのは芝です。
GitHubPagesはGitHubに付属しているサービスであり、自前のウェブページをリポジトリ毎に作ることが出来ます。大抵はそのリポジトリに関するドキュメントになっていることが多く、中にはブログとして使っている人もいるそうです。
GitHubDesktopはGitHubをローカルで利用するためのフロントエンドです。コマンドを打ったり難しいことをしなくて済むので私のような素人には便利なソフトウェアです。
Visual Studio Codeは泣く子も黙るMicrosoft社純正のソースコードエディタです。多機能だけでなく拡張機能が豊富で、しかもデザインがかっこいいです。(ただしアイコンは除く。)IDEではないためデバッグやコンパイルは別途に諸々が必要です。
Markdown+MathはVSCodeの拡張機能で、markdownファイルを数式のプレビューをしながら記述することができます。プレビューにはKaTeXが使われています。
KaTeXはなんか高速に数式を表示できる謎ライブラリです。「はてなブログ」ではMathJaxを使用していますが、レンダリングが酷く遅いという問題点があります。KaTeXは出来ることは少ないですが、速度面でモバイル端末に効果が高いので夢のある技術です。
ここから先は3節で必要になるものです。
GitはGit機能をフルに使うためのバックエンドです。GitHubDesktopにはコマンドラインがないので、Git付属のGitBashで色々やります。
Node.jsが何かは全く知りません。npmというパッケージ管理ツールを使用するために必要だそうです。
GitBookはGitHubとは無関係のソフトウェアで、markdown形式の文章をドキュメント型のウェブページに変換することができます。これはGitHubPagesを通して公開することができます。大事なのは、GitBookにはKaTeXを使用するためのプラグインがあることです。
2.編集に参加し、プルリクを送るために必要なこと
まずはGitHubのアカウントを作ります。名前と、メールアドレスを登録すれば作れるはずです。実はこれだけでもう編集に参加することができます(多分)。リポジトリを開き、docs_src/
のREADME.md
やSUMMARY.md
をGitBookの構造に則って記述します。見て分かるように、数式のコードが見慣れない様式になっています。これは苦肉の策というか、数式の解釈がGitBookとVSCodeで異なるので、後々LaTeXでコンパイルしたくなったときに置換しやすい形式にしたためです。
(28日追記:インラインの数式は$${
~}$$
がインラインの数式です。行の先頭には必ず文字を入力して下さい。$
~$
で良くなりました。ただ自分はVSCodeで色分けを綺麗に行いたいので${
~}$
で囲っています。)
$$ \displaystyle ~ $$
が別行立ての数式です。(こちらをVSCodeで色分けする方法は現時点では分からないです。)上下に必ず一行を開けます。GitBookを通して別行立てにするには、この記法がベストだと思います。
変更を保存してプルリクを送ると、その内容を見て私が暇なときにマージします(多分)。
このままでは編集が大変なので、数式をプレビューしながらできるようにしましょう。
GitHubDesktopをインストールして、GitHubDesktopからログインします。そしてリポジトリをクローンして複製をローカルに作成します。(GitHub側でリポジトリをforkしていないと表示されないそうです。)クローンされる場所はUser/Document/GitHub
以下だと思います。
次にVisual Studio Codeをインストールして、拡張機能からMarkdown+Mathを探してこれもインストールしておきます。ここで重要なのは(28日追記:デフォルトのFile->Preferences->Settings
で設定ファイルを開き、Extensions->mdmath->Delimiters
をkramdown
に変更します。dollars
でも大丈夫になりました。)これで上記の書き方でもプレビューが上手く行きます。あとこれは必須かは分かりませんが、TextEditor->Files->Eol
をLF
に変更します。
あとはローカルのリポジトリから例えばREADME.md
を開けば数式をプレビューしつつ編集ができます。
編集が終わったら保存し、GitHubDesktopの左下にコメントを書いてコミットします。これでローカルに編集履歴が残ります。そして右上のプッシュを押します。プッシュしたらGitHubに戻り、プルリクエストを出せば終了です(多分)。
3.私と同じことを自分のリポジトリで実現するために必要なこと
自分のリポジトリでも同様のウェブページを作りたいと思ったら以下を実行します。
まずリモートの環境を整えましょう。GitHubでリポジトリを作成します。ライセンスは好みですが、とりあえず一番緩いMITを選択しておきます。
次にGitに行き、Gitをインストールします。これは好みの問題ですが、私はGitのコマンドをGitBash専用にしました。そうせずにPATHを通せばGitHubDesktopからもコマンドが打てるようになるかもしれません。
更にNode.jsをインストールします。これでnpmが使えるようになります。そしてGitBash上でnpm install gitbook-cli -g
を実行します。ほどなくしてGitBookがインストールされるはずです。またnpm install -g katex
を実行します。これでKaTeXもインストールされるはずです。
さて、ローカルリポジトリにdocs_src/
フォルダを作り、その中でGitBashを起動して
touch README.md touch SUMMARY.md touch book.json
を実行します。これらのファイルが作られるだけです。ここでbook.json
をVSCode上で開き、
{ "plugins": ["katex@git+https://github.com/gaoxiaosong/plugin-katex.git"] }
を入力します。(28日追記:katex
の最新バージョンをGitで取得し、プラグインをgaoxiaosong氏のものに変更しました。)
ローカルリポジトリにdocs/
フォルダを作ります。docs/
とdocs_src/
がある状態でGitBashを起動し、gitbook build docs_src docs
を実行します。自動的にdocs/
以下にhtmlファイルが作られるはずです。
最後にローカルリポジトリに.gitignore
と.nojekyll
を加えます。.gitignore
には
node_modules _book
を追加しておきます。(これらのファイルはGitの管理対象外とする。)
作成したページをテストするには一手間が必要になります。自分も嵌ったのですがdocs/
にあるhtmlファイルを開いてもハイパーリンクが上手く機能しませんでした。これは自分でローカルサーバーを立てることで解決します。docs_src/
でGitBashを起動し、gitbook serve
を実行します。そしてブラウザでhttp://localhost:4000
にアクセスすれば見ることが出来ます。
これで準備が整いました。整理すると
Repository - docs/ (GitBookが生成したファイル群) - docs_src/ - _book/ (GitBookが生成したファイル群) - README.md - SUMMARY.md - book.json - .nojekyll - .gitignore - README.md(GitHubによって生成されたもの) - LICENSE(GitHubによって生成されたもの)
という感じになっているはずです。これらをGitHubDesktopでコミットし、プッシュします。
最後にリモートの設定をします。リポジトリのSettings
タブを開き、master docs/
をGitHubPagesとして指定します。これでhttps://USER.github.io/REPOSITORY/
に目的のウェブページが作られます。
https://mathmathniconico.github.io/ConvergentSpace/
所感
色々試行錯誤の結果なので、これが最善ということはないです。もっと良い方法はあると思いますが、それなりにやりたかったことができたので満足しています。とはいえまだ理想とは程遠いので、今後さらに改良が進むことを期待したいと思います。不満点は結構あって、
- 目次に数式が使えない。(スタイルファイルを弄ればいいかも?)
- 数式から始まる文章を作れない。(ディスプレイモードになってしまい、後ろの文章を読んでくれない。)
デリミタ? の仕様が酷すぎる。(インライン・ディスプレイ両方で同じ$$を使う。)(28日追記:解決しました。)- 先に数式を処理するためか、コード内に$$を置けない。
- newcommandできないが、これは仕方ない。
- 可換図式が書けないのは致命的な人がいるかもしれない。
- 微妙に数式が上下に伸びてる気がする。あと大きさが微妙。(設定を弄れば直るかもしれない。)
最後になりましたが、以下のサイトは凄く参考になりました。というかVSCodeでプレビューすることを加えただけで、ぶっちゃけパク・・・。 mizukami234.hateblo.jp
28日追記:GitBookのKaTeXプラグインにおけるデリミタの仕様は、同様に悩んでいる人がいたみたいです。公式は放置されてるので、gaoxiaosong氏が修正プログラムを提供してくれていました。
収束空間の記事を読みました
ただの感想記事です。
loveブルバキさんの「記号の世界ゟ」というブログにある収束空間に関する一連の記事を読みました。(ゟを「より」と読むなんて初めて知ったよ。)
位相空間を基礎としてフィルターを用いた特徴付けを行いつつ、前位相空間(プレトポ)やショケー空間(擬トポ)、収束空間といった弱い位相的概念が定義される根拠が良く解説されていました。中でもチコノフの定理の証明は非常にシンプルで、かつ選択公理が必要な理由が火を見るより明らかなので、非常に感動できました。内田伏一だとZornの補題を用いながら示していたはずです。コンパクト性と極大フィルターが極限点を持つことの同値性は、閉集合系の有限交叉性を経由するのが一番分かり易いかもしれません。プレトポは位相空間から近傍間の関係を落としたもので、各点上にフィルターがある空間です。つまりフィルターは一点における近傍系を表したものです。そのため収束概念と相性が良く、特にプレトポでは超フィルターでの収束が支配的になります。そこで超フィルターの中でも特別な主極大フィルターと呼ばれるものについて、それらが収束する空間を擬トポと言います。そこから性質を抜き出したものが収束空間です。収束空間は定義上はとても素朴な空間ですが、それでもそこから仰ぎ見ると、上の様相が良く分かるという話でした。正則性にしても記述がすっきりとしているので、全体を通してフィルターによる議論の強みを感じました。もっとも位相空間での開集合を用いた議論は直観的な分かり易さという点では優れているかもしれません。位相空間論は位相の定義など、諸概念の根拠などは見えにくいですが、絶妙な条件で絶妙な議論が展開される絶妙な良さを持っているので、歴史の研磨を経て磨かれた理論は偉大だなあと改めて思います。
最初の方は丁寧に行間を埋めつつ読んでいましたが、だんだん面倒臭くなり終盤は簡単なチェックで済ませるようになったのはご愛敬。がで書いてあったりしましたが、それを除けば大きなギャップは無かったように感じました。ショケー空間でならが成り立つことの証明に誤りがあるくらいです。(より細かいかより細かい。)
位相空間の諸概念を収束空間で再定義してみるのは面白い演習になるような気がします。例えば位相空間だと地味に上手く行ってないように感じるコンパクト開位相とかも収束空間で考えたら意義が見えてくるかもしれません。
ところで収束構造で位相を定義しょうという話は自分も少し前に書いています。有効ネットを用いた議論であるために記述が複雑で検証が難しいのが問題でしたが、フィルターを使えば議論が明確でしかも一般化しやすい利点がありますね。素朴な反例も出しやすい気がします。
ジェネトポは良い。地に足がついている感じがして好き。
所感
人様の記事で記事を書くというどっかのまとめサイトみたいですが、このブログは自分の勉強ブログなのでまあいいかなと。べ、別にネタが無い訳じゃないんだからね。