理論を知らないプログラマはいないだろ?