Your language?
Aug, 2017
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31

トポロジーと情報科学

トポロジ には きく けて つのものがある

  • トポロジ ( での ) への
  • トポロジ における いる

しく , たばかりである もちろん とい であるが , つに トポロジ にかけられる にして , , えば する , ということも なわれるように

とは えないかもしれないが , 理論 にも トポロ 使 われるようにな ている えば , Gaucher モデル 理論 導入 した では Voevodsky ホモトピ logic することを えているようである Stanford には のような web site があるが , G. Carlsson たしているようである

トポロジ なうことも くから なわれてきた Adams スペクトル には もの している

コンピ にいじれるようにな たことは , ポロジ にと である コンピ による トポ ロジ れるべきかもしれない

トポロジ らず , との では , Coq という “proof assistant” ソフ えば , Coq 使 Feit-Thompson した