先日の夏プロシンでちょっと話題に上がった「タグシステム」の計算可能性（タグシステムが Turing Machine と等価であること）について書かれた論文を見つけた。ACMから1964年1月に発行されたふるーいの。タグシステムについての紹介はこのへん Tag system -…