mtt

k.inabaさんが研究しているものだそうです。
この辺の理論を絡めた言語が作れたらいいなぁと思っていますが、なかなか、理解できないのが悲しいところです。
mttの位置を説明する図がわかりやすくていいなと思いました。validatorは、出力がないけども、とらんでゅーさだかなんだかになると、出力があるんだよとかなんとか。