ぼくのかんがえたさいきょうの alt TLA+

Show@ajfAfg2026年7月12日Track C25 分

PlusCalの機能不足を補うalt TLA+言語sanpouの言語仕様と仕組みを解説。型推論など機能を豊かにする際の課題と解決策が分かる。

発表概要の全文は fortee の発表ページ で読めます。