はてなブログ

本編と100%同じテキスト(XyJax実験)

「はてなブログでXyJaxが使えなくなった」ので、どうしたものか? と考えています。他のブログサービスをちょっと調べたのですが、最近はだいたいTeX数式に対応しているようです。が、エンジンがKaTeXが多く、それだとMathJax拡張であるXyJaxが使えません。2…

XyJax図式とTeX数式

実験してみましょう。XyJaxによる図式 ↓$`\newcommand{\B}[1]{ {\bf #1} } \xymatrix@C-1pc{ % 1 {\B{L}}\ar[d]\ar[rr] & {} & {\B{FinSet}}\ar[d]\ar[rr] & {} & {\B{Set}}\ar[d] & {} \\ % 2 {\B{MMat}} \ar[dd]\ar[dr]\ar[rr] & {} & {\B{MFXMat}} \ar[dd…

XyJaxテスト

数式の区切り記号に、はてな記法ではなくてドルマークを使う。$$ \xymatrix{ {} & {X}\ar[ld] \ar[rd] & {} \\ {A} & {} & {B} }\\ \text{in }{\bf Set} $$

TeXコードの実験 05-14B(2nd)

\(\coprod_x A_x\) \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{x\in X} A_x \)\(\coprod_{x\in X}\sigma_x \) \( (\coprod_{U\in |Open(X)|} A(U))\times X \) \( \{(a, x) \in (\coprod_{U\in |Open(X)|} A(U))\times X | x \in def(a)\} \)

TeXコードの実験 05-14(2nd)

ジャーム空間G(A)は、\(\coprod_x A_x\) と書けました。茎〈ストーク〉の寄せ集めですね。各茎には、前の補足で述べた射影 qxσx→Ax があります。これらの射影を寄せ集めると、次の写像を定義できます。 \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{…

同じTeXコードなのだが (2nd)

\( T(f^{-1})( (y_1, \ldots, y_{m}), \begin{pmatrix} \eta_1 \\ \vdots \\ \eta_{m} \end{pmatrix}) \\ = \\ (f^{-1}(y_1, \ldots, y_{m}), \\ \begin{pmatrix} \frac{\partial f_1}{\partial x_1}(f^{-1}(y_1, \ldots, y_{m})) & \ldots & \frac{\partial…

続・このブログについて

ひとつ前の記事にて: このブログは、「はてなドメイン」内で運用すると思います。とりあえず当面は、「ゲーデルの不完全性定理」ゼミの、補足説明、予習・復習用問題などを公開するために使います。よろしくお願いします。 となると、(保存用) 檜山正幸のキ…

「(2nd) 檜山正幸のキマイラ飼育記」について

長年使ってきたブログサービス「はてなダイアリー」が新サービス「はてなブログ」に統合される(=「はてなダイアリー」は終了する)ことになったので、複数ブログの編成を変えて、はてなダイアリーに移行することにしました。今まで2つのブログを運用してき…