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

トポロジーの計算機科学への応用

21 にな , ( ) トポロジ への されてきたよう ,

理論 では , 理論 への がある モデル されているので , ホモトピ ( トポロジ ) 研究 えてよいだろう , 理論 などに れる したものを 研究 する として directed algebraic topology という している もいる Survey として , Grandis [ Gra07 ] がある それによると , 理論 , rewriting system 換幾 biological system モデル などとも があるらし Husainov [ Hus04 ] では , small category ホモロジ いられて いる

Mrozek [ Mro ] たのであるが , finite space 使 うという アイ デア もある Mrozek Kovalevsky [ Kov89 ] げている

とは えないかもしれないが , あるもので word がある Turaev 研究 するための word 調 べるために 導入 している しい としては quantum computing がある いて , しい みが なわれている Freedman らは topological modular functor との 調 べて いる

あの Voevodsky “homotopy λ -calculus” という えているのを ときは いたが , それがその homotopy type theory したのだろ この homotopy λ -calculus Baez web site から download きる

では , いわゆる topological data analysis という しているよう える (point cloud) persistent homology などの topological 調 べる である

には 以下 のような がある

References