2015-04-23 Krylov subspace Krylovって、なんだかロシアっぽいなあ、などと思っていた。海軍技術者の名前だった。 http://en.wikipedia.org/wiki/Krylov_subspace