shimとのやりとりの中であったのだけど。 私も今の社会は結構簡単に人を殺す社会だと考えている。 私はよくないことだと感じるし。 そういう人を殺さない社会をつくるために何かしないといけない気がして落ち着かなくなる。 そういう時は社会をどうするべき…

phaの日記に書き込んでいてふと思った。 サボるって表現の中には本当は○○できるってニュアンスがある。 でも私の知っているphaは○○できない気がする。 私は仕事中よく自分の動きが遅いと感じることがある。 肉体には十分な余裕がある。 けれどサボっていると…

今日から順序体Ｋが順序完備であることと同値な命題を挙げて一個ずつ証明していきます。 順序体 順序体は集合の中で、 常識的な加減乗除の演算ができ、 演算後の大小関係が自然なものを指します。 もう少し詳しい定義は 可換なかけ算と足し算がある。 それぞ…