関数というなんらかのメンタルモデルがあって、それを数学の言語であらわすことをコード化とは言うのが適切だとはとても思えない