なんかこんなやつ。どうもこいつにはいろんな名前があるみたいで。思い出そうとしてパッと出てくるのは 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…