#turingcomplete

JiraのAutomationを使って、Minsky machine（2つのカウンタだけで計算する理論モデル）を実装できる、という話です。 それにより、Jiraは理論上 Turing-complete（チューリング完全）だと示されます。 つまり、Jiraの自動化は「便利な設定」どころか、計算そのものを表現できるレベルだ、という主張です。 記事では、実際に addition（足し算） や Fibonacci をJira上で動かす例が紹介されています。 ただし、これは「Jiraで何でもできる」という雑な意味ではなく、理論計算のモデルとして表現可能だ、という話です。 この記事のタイトルはかなり挑発的です。 「Jira IS Turing-Complete」――要するに、「Jiraはチューリング完全だ」と言っているわけです。 チューリング完全という言葉は、ざっくり言えば「理論上、どんな計算でも表現できる能力がある」という意味です。 普通はプログラミング言語に対して使う言葉ですが、この記事はそれを JiraのAutomation に当てはめ