Jira プラットフォームがチューリング完全であることが証明される
मूल शीर्षक: Jira Is Turing-Complete
यह क्यों महत्वपूर्ण है
一般的なプロジェクト管理ツールの計算能力の証明は、ノーコード自動化の可能性を示している
ソフトウェア開発者がAtlassianのJiraプロジェクト管理ツールでMinskyマシンを構築し、チューリング完全性を実証。自動化機能とワークフローを使用してレジスタマシンを実装し、加算やフィボナッチ数列の計算が可能であることを証明した。
エンジニアリング界では長らくJiraがチューリング完全であると言われてきたが、今回初めて具体的な実装による証明が提示された。研究者はMinskyレジスタマシンモデルを使用し、INC（インクリメント）とDEC（デクリメント）の2つの基本操作でチューリング完全性を証明。JiraのEpicステータスをプログラムカウンターとして使用し、リンクされたBugとTaskの数をレジスタとして活用。自動化ルールが命令ディスパッチテーブルの役割を果たす。実装例では2+3=5の加算計算を実行し、5回のステータス遷移で正確な結果を得た。さらに3つのレジスタ（Bug、Task、Story）を使用してフィボナッチ数列の生成も実現。Convert Issue Type機能により効率的な実装が可能となった。