■

ただまっすぐ自分の頭の中をプログラムに直す。自分の考えの数理的根拠をひたすらつきつめ、書き出し、実装する。これでいいんだろうか。頭の中は、正しかったり間違ってたりしない。普段使ってる概念は数理的にも論理的的にもあやふやで、そのままではコンピュータに理解させられない。数理的実態を持った概念に置き換えるが、この置き換えが本当に正しいのか、もともと頭の中にあったあやふやな何かにしたところで、正しいのか。正しいというのはどういう意味で正しいのか、SGにとって正しいとは何か。