2003-11-07から1日間の記事一覧

図書館に行った

etc

行ったので複素解析の本を借りるついでに専門にしたい方面の本も借りる。 渡部治『計算可能性・計算の複雑さ入門』*1 竹内外史『証明論と計算量』*2 複素解析の本見たら証明の方針は予想通り。結局R上に自然な距離関数を導入する場合と殆ど変わらないのだね…

寝過ごした

etc

一二コマとさぼってしまった。図書館にだけ行こう、そうしよう。