返す関数でなければならないのです。このように、勝手に型を決めてくれる機能を、型推論と言います。これのおかげでバグが非常に減ります。ありがたやありがたや。3また、関数の引数としても渡せます。いう型はなんでしょう。これは多相型というものです。型推論が行われた際に、完全に型を決めきれないと多相型というものが現れます。いう型が出てきています。テンプレート関数みたいなもんだと思ってください。いう型であれ自分自身を返します。関数中で自分自身を呼び出すこと(再帰呼出)で、ループをさせることができます。的には気持ち悪いですしスタックも使いそうですが、大丈夫。関数の最後で自分を呼び出す限りは、最適化が効いてループと同じコードになります。これは保証されています。ループしようと思ったら関数書いて再帰します。使わなければなりません。いうもんだと思ってください。違いは、式の中で自分自身を参照できるかどうかが違います。使ってで式を2つ以上書けます。データ型を定義することができます。併せて、強力でかつ安全にしたものです。部分をタグとか呼んでいます。タグは大文字で始まらなければなりません。3.のようににして値を作ることができます。同じ型なので、リストなどに入れられます。3.]データ型を一度作った後、中のデータを参照したいときはパターンマッチが使えます。これは非常に強力です。式で下のように書きます。前にパターンを書き、そこに変数名を書いておくと、パターンに合うように変数に値が束縛されます。()パターンマッチはデータ型以外でも使えます。タプルとかリストとか。いろんな文法、機能がありますが、ここでは紹介しきれません。は☆5段階で表しています。★は☆半分を表します。全員が解いてほしい問題。アジア地区予選に進む為には絶対に解かなければならない。アジア地区予選に進む為にはこのクラスの問題を1つは解けなければならない。上位に食い込む為には解かなければならない。☆☆☆☆☆:大変難しい。解法・アルゴリズムでは、キーとなるアルゴリズム名を書いています。書いてあるものは、その場その場で実装して解いていく問題を表しています。ソースは、私が解いたソースへのリンクを張っています。問題と解答を比較していますが、解答が提供されていない問題もあるため、正答と比較出来ない場合があります。書いてあり、ソースの正当性は担保できません。間違っている恐れもあります。他の人が解を既に公開している場合、その解との比較を行って正解と見なした場合、その解へのリンクを張っています。プログラム・プロムナードへのリンクも、あれば張っています。なる可能性があります。日本地区予選が始まった年。今から見ると簡単な問題のみで構成されています。今から見るとそれほど難しい問題は出ていません。前年よりは少し難しくなっていますが、まだそれでも今よりは簡単でしょう。問題文が理解しにくい。前年と同程度の難しさ。幾何問題が少し難しいですが、今のチームのレベルならおそらく全部解かれてしまうでしょう。分ぐらいで処理されてしまうかも。会に投稿されたソースと比較。とそれ以外の難易度にかなり差があります。(Gokuri、自分のチーム)。探索ですが、ヒューリスティクスが必要なところが難しくなっています。最小全域木のアルゴリズムを知らないと、この年は苦しい戦いになったでしょう。問題が6題になり、易しい問題が一題追加されました。それぞれ別の能力を要求しており、全て解ききるのは難しめ。情報科学的なアルゴリズム構築能力と、かなり良いセット。全問正解が1チームあった(Gokuri-squeeze、これも自分のところのチーム)。幾何とシミュレーションの両方をこなす必要があって、やや難しめ。分かればそんなに難しくないが、本番で解くのは厳しい。