コンパクト性へ。

"たようたい"って変換すると、必ず"多様隊"が出る 辞書登録で「多様体」って登録してるのに〜〜〜MicrosoftOfficeのIMEがほんとゴミクズ過ぎてつっかえねえ。 級多様体上の 級関数や、多様体間の 級写像を 定義した。節空間の話に突入しそうだ。

僕アルバイト〜〜〜