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年3月16日

                    • エッセイ
                    • 哲学
                  • 「意味の圧縮」から考えるコード設計

                    2026年3月16日

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

                    2026年1月20日

                    • エッセイ

                  最近のメモ

                  • Refactoring Prompts

                    2026年4月09日

                    • ai
                  • Structure editor

                    2026年4月06日

                    • compiler
                  • Introduction

                    2026年3月13日

                    • personal
                    • portfolio
                  • Incremental Hylomorphism Pipeline

                    2026年3月12日

                    • compiler
                    • incremental-computation
                  • Incremental computation

                    2026年3月07日

                    • compiler
                    • incremental-computation
                  • このサイトは何?

                    2026年3月07日

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

                    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

                  作成 Quartz v4.5.2 © 2026

                  • GitHub