AntiSatori

Home

❯

講義

❯

Theory of computation

❯

TM Variants, the Church Turing Thesis

TM Variants, the Church-Turing Thesis

2025年4月29日1 min read

  • Multi-Tape TM
  • Nondeterministic Tm
  • Enumerators

ブログ

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

    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

グラフビュー

バックリンク

  • Theory Of Computation

作成 Quartz v4.5.2 © 2026

  • GitHub