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