2019
-
For all vs Exists
2019.02.25 Blog
全称記号$\forall$ と、存在記号$\exists$の順序について。 例1-1 $$ \forall x \exists y , x < y $$ 全ての$x$について 「 $x < y$ となる $y$が存在する。」 ある$x$を決めると、$x < y$となる$y$は必ず存在する。 例。どのような$x$に対しても、$y = x+1$とすれば、必ず $x < y$が成立する。 よって上の命題は真。 例1-2 $$ \exists y \forall x , x …
-
実数の連続性
2019.02.20 Blog
$f(x)$が$x=a$で連続であるとは $$\forall \epsilon > 0, \ \exists \delta > 0, \ \text{s.t.} \ \forall x \in \mathbb{R}, \ |x - a| < \delta \Rightarrow |f(x) - f(a)| < \epsilon $$ が成立することである。
2016
-
viの操作
2016.02.20 Blog
viの基本操作まとめ キー操作 動作 :q 終了 :wq ファイルに書き込んで終了 ZZ ファイルに書き込んで終了 :q! 保存せずに終了 h 左 l 右 j 下 k 上 w 単語1語分、前方に移動 b 単語1語分、後方に移動 W スペース区切りで単語1語分、前方に移動 B スペース区切りで単語1語分、後方に移動 gg 最初の行に移動 G 最後の行に移動 :<行番号> <行番号> の行に移動 i 現 …