Your language?
Dec, 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 した