Mathpediaの位相空間論0 命題 0.7で述べられている「境界を含まない長方形」 がR2の開集合であることを証明する 証明 $U$を U = \big\{ (x,y) \in \R^2 | a と定める。 ここで、 \forall x \in U\ \exists r > 0\ \big[ B(x,r) \subset U \big] を示す。 任…

Mathpedia 位相空間論0の命題 0.5 (開球体を用いた連続性の言い換え) を確認する。 使う定義や命題の確認 部分集合の定義 $\forall a\in A \Big[ a\in B \Big]$であるとき$A \subset B$と書き、$A$は$B$の部分集合という。 開球体の定義（定義 0.4） $x \in …

ハマったのでメモ 問題 Exercise 2.4 Define a recursive function snoc :: 'a list => 'a => 'a list that appends an element to the end of a list. With the help of snoc define a recursive function reverse :: 'a list => 'a list that reverses a l…

リンク: OverTheWire Natas14 TL;DR 簡単なSQLインジェクションの問題 問題の確認 OverTheWireのWeb系問題集であるNatasの第14問。phpで記述されていて、下のView Sourceというリンクからphpのソースコードを見ることができる。 IDとパスワードのテキストボ…