>>312
プログラムの証明の理論とかやりたい場合どんな道筋
で学習するのが標準なのか?