[記号論理学]Cut-elimination Theorem について 来春に『はてなダイアリー』がサービスを終わるとのことで、『はてなブログ』にひっこししてみた。結果、なんかTEX表示がところどころ壊れてる...め、めんどくさ。まあ、そのうち直すかもしれない。 さて、久…

計算フアンの皆さま、こんにちは。 さて、しょうもない会議のときは私は聞いたふりしながらルート2の手計算をしていることが多い。つい最近、画期的な方法を見つけたのでご紹介したい。普通、この手の計算では逐次近似法が使われるのではないだろうか。小数…