http://www.kmonos.net/wlog/70.html#_2111070226で紹介されてる例をみて、それって決定公理に物凄く似てるなと思いました。といっても決定公理を正しく理解しているわけではないですが。 そう言えば集合論の竹内外史もP対NP問題の研究をやってたな……。

公立後期入試です。がんばってベストを尽くしてきたいと思います。

神奈川県公立高校の前期選抜の結果が出ました。結果：不合格……まあ、ボーダーラインに点数足りなかったので仕方ないかなと。他にも159人落ちてる人がいるみたいだし。後期（学科試験）では受かる自信があるので、ガンバリマっす……！（となるとオフ状態からの…