AntiSatori

Home

❯

講義

❯

Theory of computation

フォルダ: 講義/Theory-of-computation

10件のページ

  • 2026年1月05日

    Theory Of Computation

    • CS
    • Theory-Of-Computation
  • 2025年5月21日

    P and NP, SAT, Poly-time Reducibility

    • 2025年4月30日

      Introduction, Finite Automata, Regular Expression

      • CS
    • 2025年4月29日

      Time Complexity

      • 2025年4月29日

        Decision Problems for Automata and Grammars

        • 2025年4月29日

          TM Variants, the Church-Turing Thesis

          • 2025年4月29日

            CF Pumping Lemma, Turing Machines

            • 2025年4月29日

              Pushdown Automata, Conversion of CFG to PDA and Reverse Conversion

              • 2025年4月29日

                The Regular Pumping Lemma, Finite Automata → Regular Expressions, CFGs

                • 2025年4月29日

                  Nondeterminism, Closure Properties, Regular Expressions → Finite Automata


                  ブログ

                  • 文章を書くのが難しいのは何故か

                    2026年1月20日

                    • エッセイ

                  最近のメモ

                  • 構文エラーのない世界へ

                    2026年2月06日

                    • projectional-editing
                    • incremental-computation
                    • programming
                    • editor
                    • series-index
                  • 第1回: なぜ構文エラーは生まれるのか

                    2026年2月06日

                    • projectional-editing
                    • programming
                    • parser
                    • ast
                    • syntax-error
                  • 第2回: Projectional Editing — もう一つのやり方

                    2026年2月06日

                    • projectional-editing
                    • programming
                    • ast
                    • hole
                    • hazel
                  • 第3回: Gradual Structure Editing — テキストの自然さと構造の安全を両立する

                    2026年2月06日

                    • projectional-editing
                    • programming
                    • hazel
                    • grove
                    • marking
                    • crdt
                  • 第4回: Incremental Computation — 変わったところだけ計算し直す

                    2026年2月06日

                    • incremental-computation
                    • programming
                    • optimization
                    • liu
                    • iii-method
                  • 第5回: すべてを繋ぐ — エディタのパイプラインをインクリメンタル化する

                    2026年2月06日

                    • projectional-editing
                    • incremental-computation
                    • programming
                    • editor
                    • pipeline
                    • chain-rule
                  • Cursor/Zipper

                    2026年2月04日

                    • compiler
                    • parser
                  • Red Green Tree

                    2026年2月04日

                    • compiler
                    • CST
                    • parser
                  • Incremental Parser

                    2026年2月01日

                    • compiler
                    • parser
                  • タスクリスト

                    2026年1月29日

                    • task-management

                  作成 Quartz v4.5.2 © 2026

                  • GitHub