まず、本定理の証明に必要な命題を述べておく。 $\left( X, {\cal O}_X \right)$ を位相空間とする。 $x \in X$ とする。 ${\mathbb V}(x)$ を $x$ の近傍系とする。 ${\mathbb V}^*(x)$ を $x$ の基本近傍系とする。 $\all A \subset X \;\parenth{ x \in \…
位相空間$\left( X,{\cal O}_X \right)$に対し、 ${\cal C}_X :\equiv \Set{ A \subset X }{ X \backslash A \in {\cal O}_X }$ と置く。 $\left( X,{\mathcal O}_X \right)$を位相空間とする。 $A \subset X$ とする。 以下は同値である: $A$はCompact $\a…
私はScanSnap iX500で自炊をもう既に400冊ぐらいしています。白黒(でスキャンしても構わない)書籍が90%、グレーが5%、カラーが5%という内訳でしょうか。 その経験からiX500でのスキャンの仕上がり具合について少し経験がついたのでメモを残しておこうと思…
p188の$\fbox{15}$が分からない! $\fbox{15}$ S(x,t,u):「(x)$_0$は、表現(x)$_1$において、変項uの自由な表れすべてに項tを代入するとき、そこに得られる表現である。」 S(x,t,u)は次の関係で定義される。 \begin{array}{ll} {VE(u) \amp TM(t) \amp} \{ \\ …
笠原敏彦、「ふしぎなイギリス」、講談社現代新書、40ページ バッキンガム宮殿前の大通り「ザ・マル」。ここを進むウィリアム王子とキャサリン妃を載せたオープン馬車はまさに、シンデレラに登場する馬車を想起させた。ベアスキンの黒い帽子をかぶった近衛兵…
数学的帰納法の定理 A(n)を自然数nを変数とする論理式とする。この時次が成り立つ: \begin{array}{l} A(0) \Rightarrow \left[ \forall n \left( A(n) \Rightarrow A(n+1) \right) \Rightarrow \forall n A(n) \right] \end{array} これから直接次の定理が…
論理式の一意性記号について以下のように定義する: \begin{align} \exists!xA(x) \equiv \exists x \left[ A(x) \land \forall y \left( A(y) \Rightarrow x = y \right) \right] \end{align} この時、$(x,y)$が組として一意に存在する意味で$\exists!x \ex…
div.cite { border: solid white 1pt !important; border-radius: 5px !important; margin-bottom: 3pt !important; padding: 5px !important; --> 41ページ このBは無論、LPの公理にAを公理シェーマとして加えた公理系(これをTとする)において証明可能で…
「Dialogue Vocabulary 1800 New Edition」459ページ The best chance for a fair trial is still to have 12 honest and impartial people公正な裁判を行うには、やっぱり12人の善良で偏見の無い人々が必要なの。 述語部分の意味を取るのは苦労しませんが、…
「不愉快なことには理由がある」橘玲 182ページ 日本語の複雑な尊敬語や謙譲語は、お互いの身分を常に気にしなければならなかった時代の産物です。それが身分の違いの無い現代まで残ってしまったため、命令形は全人格を否定する"上から目線"になってしまいま…
サイドエフェクト 全内容(完全ネタバレ) 本編のストーリー進行に沿って、全内容を纏めます。
Xamppインストール直後の初期設定!
お笑いやバラエティ番組がどこかの企業や工場などに取材に行く時の縁者と受け入れ社員との温度差のような物に違和感を感じることがある。 そういう番組はこういう風に進むだろう。 番組側からはお笑いコンビなどが出向く。番組の盛り上げを考えてそのお笑い…