計算も出る論では、型スキームを導入した型推論について。型スキームとは、型変数を含んだ型の変数部分を可変扱いにして、ひとつの式の中である関数が複数種類の型をとれるようにしたもの。すなわち型多相。 型スキームを含む型推論をするときには、連立方程…

次の計算が成り立つように各文字に数字を当てはめてください。 どこ ×）どこ ―――― こねこ 簡単だから早い者勝ちだ！

♪この眠気はなんだろう〜 最近妙に眠いです。そしてそれ以上に、論文を読んでいると猛烈に眠くなります。それは今に始まったことじゃないか。 ここ数日は探索アルゴリズムについて論文読んだりしているので開発はちょっとお休み。農工大のとある研究室がゲー…