Home > 一般 > 一段落

Newer

一段落

2010-11-18 (Thu) 18:10
一般

メイン定理の打ち込みまでやっと辿りついた．細かい証明の詰めをTeX化しながらやっているので作業が遅い．3歩進んでは2歩戻って補題の補強とかなので進まない．

あー，メイン部分の拡張版の証明に手前の補題を拡張しなければならない罠．ノート及び脳内では自明だけど…　明日処理することにする．

Newer: ことはじめ

Home > 一般 > 一段落

Calendar

Categories

アカデミック？(78)
ソフトウェア(362)
- Linux/coLinux(122)
- Meadow/Emacs(26)
- TeX(37)
- Windows(67)
ハードウェア(76)
- PC関係(37)
- マイコン(16)
プログラミング(352)
- C/C++/C#(80)
- Haskell(26)
- Java(33)
- sed/wake/awk(40)
一般(6912)
- カメラ／写真(591)
遊び(79)

Archives

Search

Feeds