私的まとめ。 直観主義様相論理っぽい構造が最近の流行になっていたりいなかったりするらしい アスペクト思考って，プログラムにテキスト上の配置とは別の位相を入れることなんじゃないかな 線形論理の結合子を日常会話でも使うようにするといいと思うよ 後…

なんかこんなやつ。どうもこいつにはいろんな名前があるみたいで。思い出そうとしてパッと出てくるのは ex falso quodlibet ぐらいなんですけど，他にも ex contradictione quodlibet とか reductio ad absurdum とかいろいろな名前があるみたいです。で，最…

参加しました。9 問中 6 問解いて順位が 15/173 という，いいのかそうでもないのか分からない結果。すぐ解ける問題とさっぱり解けない問題に，わりときれいに分かれました。問題一覧: http://felicity.iiit.ac.in/~math/MyWork/Handle.py/Handle?RequestedPa…

CodeCraft に少しだけ参加しました。途中で面倒になってやました。問題自体はそんなに難しすぎず，面白そうだったのですが，言語の壁は高い。

さっき変に手間取ったので書いてみる。a, b が与えられたとき，ax + by = 1 を満たす x, y の組を求める問題。存在しない場合はとりあえず考えない。b = 1 のときは x = 0, y = 1 でよい。a = 1 でも同様。それ以外の場合を考える。a > b と仮定して，a = qb…

国語もやりました。42+42+27+32=143。昔に比べると現代文は変わらないか少しよくなったぐらいですが，古典がだいぶ点数下がってます。古文はそもそも意味がわからなかったし，漢文は一応読めてる割に間違えすぎでした。それから全体的に「丁寧に選択肢を潰さ…

センター試験の問題を解いてみました。わりと毎年のようにやってるような気がします。解説とかここでする意味もやる気も能力もないので，個人的なことを。今年は解答時間一時間弱で 182/200 でした。180 を超えたのは模試を除くとおそらく初めてだと思います…

ある論文で見かけて，気になって http://dictionary.reference.com/browse/employ?jss=0 を見てみたらこんなことが書いてありました。 employ: 3. to make use of (an instrument, means, etc.); use; apply: to employ a hammer to drive a nail. 技術的な…

解きました。ひたすら計算するだけなのに二日かかりました。数値計算苦手。あと -0.01 0 を忘れてて incorrect をもらって，半時間ぐらい悩みました。

どう書く？org に出題されてたので考えてみました。コードは書いてません。 leading zero を許す場合 YYYYMMDD の MMDD を決めれば，回文になるという条件から YYYY が一意に決まります。結果が存在する日付になるかということが問題になりそうですが，年は…

位相空間の開核演算子に関するある等式と，L-strength と呼ばれる S4 の定理のお話。どちらも前から知っていたことですが，今日初めてこの二つの間に関係があることに気がつきました。 位相空間で成り立つある等式 適当な位相空間を固定して，F をその閉集合…