この構文に沿って人間がプログラム的な何かを書くのかね?