「フローチャートを復権させよう -- 2020年代のプログラミングへ」において、プログラムに関係する絵・図の話をしたのですが、僕がフローチャートを使いたい理由（いくつかある）のひとつは、一種のカリー／ハワード対応を利用したいからです。カリー／ハワ…