永平寺は福井駅から東にクルマで 30分ぐらいの山中にある。永平寺門前の新しい宿をチェックアウトして土産物屋が並ぶ道をたらたらと上がっていくと右手に寺の入口がある。境内は巨木と苔の絨毯に覆われており,今夏は観光客も少ない。山門をくぐって外から拝観するのかと思っていたらそうではなく,参禅者向けの宿泊施設でもある吉祥閣に誘導された。中に入ってしばらく待っていると,雲水による5分くらいの拝観順案内があって建物の上階に向う。このあたりの雰囲気は天理教の施設内と少し似ている。ここから絵天井のある傘松閣を経由して,僧堂・仏殿・承陽殿・法堂・大庫院・山門と回った。たくさん居るはずの修行僧はどこにいあるのか,写真撮影は禁じられていたけれども,それほど目にすることもなかった。これまでにいろいろと拝観したお寺の中では最も規模が大きいものの一つだろうか。あ,土産物屋のボリュウムも含めれば,モンサンミシェルには負けるかも。その後,てらまえで昼食をとって福井駅に向う。
芥川龍之介が「蜘蛛の糸」を発表して百年。高二の秋の文化祭,クラスの仮装行列のテーマが 蜘蛛の糸だった。お釈迦様の極楽タワーの竹を近所から切り出し,地獄の焔と煙の絵を描いた。犍陀多に続いて蜘蛛の糸(登山部の赤いザイル)に群がる地獄の亡者だったころ。
2020年8月17日月曜日
2020年8月16日日曜日
2020年8月15日土曜日
2020年8月14日金曜日
2020年8月13日木曜日
2020年8月12日水曜日
2020年8月11日火曜日
2020年8月10日月曜日
2020年8月9日日曜日
さよなら三角
2020年8月8日土曜日
涼風至
2020年8月7日金曜日
日の丸
2020年8月6日木曜日
海底軍艦
2020年8月5日水曜日
桑田次郎
2020年8月4日火曜日
月の飛ぶ村
2020年8月3日月曜日
2020年8月2日日曜日
SIRモデルとK値(2)
2020年8月1日土曜日
SIRモデルとK値(1)
2020年7月31日金曜日
女帝 小池百合子(2)
2020年7月30日木曜日
中干し
2020年7月29日水曜日
ひまわり
2020年7月28日火曜日
GPT-3
2020年7月27日月曜日
ゴンペルツ関数
2020年7月26日日曜日
8億年前の小惑星シャワー
2020年7月25日土曜日
K値再訪
2020年7月24日金曜日
赤摂也
2020年7月23日木曜日
カリーニングラード
2020年7月22日水曜日
順序集合(3)
2020年7月21日火曜日
順序集合(2)
2020年7月20日月曜日
順序集合(1)
2020年7月19日日曜日
集合の濃度(2)
2020年7月18日土曜日
集合の濃度(1)
2020年7月17日金曜日
集合族
2020年7月16日木曜日
巨大数(2)
巨大数(1)からの続き
巨大数の表記法としてよく用いられるものの一つが,ドナルド・クヌースによる矢印表記(Up-Arrow-Notation)である。ここでは簡単のため,$\uparrow^n = \uparrow \uparrow \cdots \uparrow $と表記する。矢印はつねに右結合するものとして,その定義は,$a \uparrow^1 b = a^b$,$ a \uparrow^n 1 = a$, $ a \uparrow^{n+1} (b+1) = a \uparrow^n (a \uparrow^{n+1} b)$とする。
積:$a\times b = a+a+\cdots+a = a \uparrow^0 b $
累乗:$ a^b = a \times a \times \cdots \times a = a \uparrow^1 b = a \uparrow^0 a \uparrow^0 \cdots \uparrow^0 a = a \uparrow^0 ( a \uparrow^1 (b-1) ) $
テトレーション:$ ^ba = a^{a^{a^{\cdots^{a}}}} = a \uparrow^2 b = a \uparrow^1 a \uparrow^1 \cdots \uparrow^1 a = a \uparrow^1 ( a \uparrow^2 (b-1) ) $
ペンテーション:$ _ba = ^{^{^{^{a}\cdots}a}a}a = a \uparrow^3 b = a \uparrow^2 a \uparrow^2 \cdots \uparrow^2 a = a \uparrow^2 ( a \uparrow^3 (b-1) ) $
ヘキセーション:$ a_b = _{_{_{_{a}\cdots}a}a}a = a \uparrow^4 b = a \uparrow^3 a \uparrow^3 \cdots \uparrow^3 a = a \uparrow^3 ( a \uparrow^4 (b-1) ) $
2020年7月15日水曜日
2020年7月14日火曜日
Tikz-FeynHand
\documentclass[uplatex,a4j,10pt]{jsarticle}
\usepackage{fancybox,boxedminipage,ascmac}
\usepackage{amsmath,amsthm,amssymb,bm}
\usepackage{amsfonts,amscd,mathrsfs}
\usepackage{cases,physics}
\usepackage[dvipdfmx]{graphicx}
\usepackage[all]{xy}
\usepackage{tikz,tikz-cd}
\usetikzlibrary{shadows}
\usepackage{multicol}
\usepackage[version=3]{mhchem}
\usepackage{tcolorbox}
\tcbuselibrary{raster,skins}
\usepackage[compat=1.1.0]{tikz-feynhand}
%\usepackage{tikz-feynman}
%\tikzfeynmanset{compat=1.1.0}
\renewcommand{\labelenumi}{[\ \arabic{enumi}\ ]\ \ }
\setlength{\textwidth}{15cm}
\setlength{\oddsidemargin}{-1.0cm}
\setlength{\evensidemargin}{-1.0cm}
\setlength{\topmargin}{-2cm}
\setlength{\textheight}{24cm}
\begin{document}
\begin{center}
\textbf{tikz-feynman の使い方}\ (2020/07/12) \\
\end{center}
\begin{align*}
\int dx\; f(x) = \alpha
\begin{tikzpicture}[baseline=(o.base)]
\begin{feynhand}
\vertex (a) at (-1,-1); \vertex (b) at (1,-1); \vertex (c) at (0,1);
\vertex [dot, blue] (o) at (0,0) {}; \propag [fermion, blue] (a) to (o);
\propag [anti fermion, blue] (b) to (o); \propag [fermion, blue] (c) to (o);
\end{feynhand}
\end{tikzpicture}
- 2i\,e
\begin{tikzpicture}[baseline=-0.3cm]
\begin{feynhand}
\vertex (a) at (-1,-1); \vertex (b) at (1,-1); \vertex (c) at (0,1);
\vertex [dot, orange] (o) at (0,0) {};
\propag [photon, orange] (a) to (o);
\propag [photon, orange] (b) to (o);
\propag [photon, orange] (c) to (o);
\end{feynhand}
\end{tikzpicture}
\end{align*}
\vspace{1cm}
\begin{center}
\begin{tikzpicture}
\begin{feynhand}
\vertex [particle] (a) at (0,0) {e$^-$};
\vertex [dot] (b) at (2,0) {};
\vertex (c1) at (4,0.5);
\vertex (c2) at (4,-0.5);
\propag [fer] (a) to (b);
\propag [chasca] (b) to (c1);
\propag [chabos] (b) to (c2);
\end{feynhand}
\end{tikzpicture}
\end{center}
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2020年7月13日月曜日
七佛通戒偈
2020年7月12日日曜日
2020年7月11日土曜日
圏論入門(3)
2020年7月10日金曜日
圏論入門(2)
2020年7月9日木曜日
圈論入門(1)
2020年7月8日水曜日
スコセッシ
2020年7月7日火曜日
領空の定義
2020年7月6日月曜日
tikz-cd
\documentclass[uplatex,a4j,10pt]{jsarticle}
\usepackage{fancybox,boxedminipage,ascmac}
\usepackage{amsmath,amsthm,amssymb,bm}
\usepackage{amsfonts,amscd,mathrsfs}
\usepackage{cases,physics}
\usepackage[dvipdfmx]{graphicx}
\usepackage[all]{xy}
\usepackage{tikz,tikz-cd}
\usetikzlibrary{shadows}
\usepackage{multicol}
\usepackage[version=3]{mhchem}
\usepackage{tcolorbox}
\tcbuselibrary{raster,skins}
\renewcommand{\labelenumi}{[\ \arabic{enumi}\ ]\ \ }
\setlength{\textwidth}{15cm}
\setlength{\oddsidemargin}{-1.0cm}
\setlength{\evensidemargin}{-1.0cm}
\setlength{\topmargin}{-2cm}
\setlength{\textheight}{24cm}
\begin{document}
\begin{center}
\textbf{tikz-cdの使い方}\ (2020/07/05) \\
\end{center}
\begin{tikzcd}
A \arrow[rd] \arrow[r, "\phi"] & B \\
& C
\end{tikzcd}
\begin{tikzcd}
A \arrow[r, "\phi"] \arrow[d, red]
& B \arrow[d, "\psi" red] \\ C \arrow[r, red, "\eta" blue]
& D
\end{tikzcd}
\begin{tikzcd}
A \arrow[r, "\phi" near start, "\psi"', "\eta" near end] & B
\end{tikzcd}
\begin{tikzcd}
T
\arrow[drr, bend left, "x"]
\arrow[ddr, bend right, "y"]
\arrow[dr, dotted, "{(x,y)}" description] & & \\
& X \times_Z Y \arrow[r, "p"] \arrow[d, "q"] & X \arrow[d, "f"] \\
& Y \arrow[r, "g"] &Z
\end{tikzcd}
\begin{tikzcd}[column sep=tiny]
& \pi_1(U_1) \ar[dr] \ar[drr, "j_1", bend left=20]
&
&[1.5em] \\
\pi_1(U_1\cap U_2) \ar[ur, "i_1"] \ar[dr, "i_2"']
&
& \pi_1(U_1) \ast_{ \pi_1(U_1\cap U_2)} \pi_1(U_2) \ar[r, dashed, "\simeq"]
& \pi_1(X) \\
& \pi_1(U_2) \ar[ur]\ar[urr, "j_2"', bend right=20]
&
&
\end{tikzcd}
\begin{tikzcd}[row sep=scriptsize, column sep=scriptsize]
& f^* E_V \arrow[dl] \arrow[rr] \arrow[dd] & & E_V \arrow[dl] \arrow[dd] \\
f^* E \arrow[rr, crossing over] \arrow[dd] & & E \\
& U \arrow[dl] \arrow[rr] & & V \arrow[dl] \\
M \arrow[rr] & & N \arrow[from=uu, crossing over]\\
\end{tikzcd}
\begin{tikzcd}
A \arrow[r]
& B \arrow[r]
\arrow[d, phantom, ""{coordinate, name=Z}]
& C \arrow[dll, "\delta",
rounded corners,
to path={ -- ([xshift=2ex]\tikztostart.east)
|- (Z) [near end]\tikztonodes
-| ([xshift=-2ex]\tikztotarget.west) -- (\tikztotarget)}] \\
D \arrow[r]
& E \arrow[r]
& F
\end{tikzcd}
\end{document}
2020年7月5日日曜日
Xy-pic
\documentclass[uplatex,a4j,10pt]{jsarticle}
\usepackage{fancybox,boxedminipage,ascmac}
\usepackage{amsmath,amsthm,amssymb,bm}
\usepackage{amsfonts,amscd,mathrsfs}
\usepackage{cases,physics}
\usepackage[dvipdfmx]{graphicx}
\usepackage[all]{xy}
\usepackage{tikz}
\usetikzlibrary{shadows}
\usepackage{multicol}
\usepackage[version=3]{mhchem}
\usepackage{tcolorbox}
\tcbuselibrary{raster,skins}
\renewcommand{\labelenumi}{[\ \arabic{enumi}\ ]\ \ }
\setlength{\textwidth}{15cm}
\setlength{\oddsidemargin}{-1.0cm}
\setlength{\evensidemargin}{-1.0cm}
\setlength{\topmargin}{-2cm}
\setlength{\textheight}{24cm}
\begin{document}
\begin{center}
\textbf{xy-picの使い方}\ (2020/07/05) \\
\end{center}
\[
\xymatrix{
A \ar[r]^f & BCD \quad \quad
A \ar[r]^-f & BCD \quad \quad
A \ar[r]^(0.6)f_(0.65)g & BCD
} \]
\[
\xymatrix{
A \ar[r]^f & B \ar[d]^f
& A \ar[r]_{g_1} & B \ar[d]_{g_1} & A \ar[r]|h & B \ar[d]|h \\
D \ar[u]^f & C \ar[l]^f
& D \ar[u]_{g_1} & C \ar[l]_{g_1} & D \ar[u]|h & C \ar[l]|h
} \]
\[
\xymatrix{
A \ar[r] \ar[d] \ar[rrd]
& B \ar[rrd]|f \ar[d]|\hole \ar[rdd]|(.33)\hole & & \\
C \ar[r] \ar[rrd] & D \ar[rrd]|(.33)\hole|\hole
& A’ \ar[r] \ar[d] & B’ \ar[d] \\
& & C’ \ar[r] & D’
} \]
\[
\xymatrix{
A \ar[r]^-f
& B \ar@<-0.5ex>[r]_-f
& C \ar@<1ex>[r]^-f
& D \ar@<0.5ex>[d]^-f \\
E \ar@<-0.3ex>@{^{(}->}[r]^-f
& F \ar@{_{(}->}@<0.3ex>[r]^-f
& G \ar@<0.5ex>[r]^-f \ar@<-0.5ex>[r]_-g & H \ar@<0.5ex>[u]^-g
} \]
\[
\xymatrix{
A \ar@/^18pt/[r]^f \ar@/_/[r]_g
\ar@/_3pt/[d] \ar@/_12pt/[d] \ar@/_24pt/[d] \ar@/_48pt/[d]
& B \ar@/^/[d] \ar@/^54pt/[rd] & C \ar[l] \ar[d] \\
D \ar@/_10pt/@{.>}[rr]_{\exists h} & E \ar[r] \ar[l] & F
} \]
\[
\xymatrix@ur{
A \ar[r]^f \ar[d] & B \ar[d] \\
C \ar[r] & D & }
\]
\begin{equation}
\vcenter{
\xymatrix{
A \ar[r] \ar[d] & B \ar[d] \\
C \ar[r] & D \ar@{}[lu]|{\circlearrowright}
} }
\hspace{2cm} \vspace{-1cm}
\fbox{
\xymatrix@=5pt{
\bullet \ar@{-} `d[dr] '[rrrd] `[rrrr] [rrrr] & &
\bullet \ar@{-} '[d] [dd] \ar@{-}[rrdd] & & \bullet \\
& & & & \\
\bullet \ar@{-} `r[ruu] '[ru] `[rruu] [rruu]
& & \bullet & & \bullet
}
}
\end{equation}
\end{document}