2015-05-01から1ヶ月間の記事一覧

common lispのプログラムにemacsでアタッチ

cursesっていうターミナル表示の制御ライブラリ*1を使ってテトリスを作ってみてるのだけど、途中でエラーが起こったときにデバッグ表示が乱れる。特にマルチスレッドだと目も当てられない。そこでemacsでアタッチしてデバッグすると便利。ちなみに↓がテトリ…

1=0

有名な1=0 の「証明」として、 a = b+1 (a-b)a = (a-b)(b+1) a^2-ab = ab+a-b^2-b a^2-ab-a = ab-b^2-b a(a-b-1) = b(a-b-1) a = bここで a = b+1 だったから b+1 = b, ゆえに 0 = 1. Q.E.D. っていうのがある。 さあどこがまずいでしょう。知らない人のネタ…