関数定義の最初の行codice_1では、関数codice_2は整数一つを入力引数として受け取り、整数を出力結果として返す、と宣言している。