Your language?
Jun, 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

トポロジーと情報科学

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

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

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

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

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

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

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