ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会京都大学五十嵐淳自己紹介情報科学の研究をしています専門はプログラミング言語とか型理論とか研究のひと�

学びカテゴリーの変更を依頼記事元:

www.sato.kuis.kyoto-u.ac.jp/~igarashi

2 usersがブックマークコメント

記事へのコメント1件

注目コメント
新着コメント

kiyo_hiko 文書名「ML型推論の光と影」、著者はプログラミングOCamlの五十嵐淳氏

ocaml

2010/05/26 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

<iframe marginwidth="0" marginheight="0" src="https://b.hatena.ne.jp/entry.parts?url=http%3A%2F%2Fwww.sato.kuis.kyoto-u.ac.jp%2F~igarashi%2Fclass%2Fisle4%2FOCaml-meeting0908-revised.pdf" scrolling="no" frameborder="0" height="230" width="500"><div class="hatena-bookmark-detail-info"><a href="http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/OCaml-meeting0908-revised.pdf">ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会 京都大学 五十嵐 淳 自己紹介 情報科学の研究をしています 専門はプログラミング言語とか型理論とか 研究のひと�</a><a href="https://b.hatena.ne.jp/entry/www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/OCaml-meeting0908-revised.pdf">はてなブックマーク - ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会 京都大学 五十嵐 淳 自己紹介 情報科学の研究をしています 専門はプログラミング言語とか型理論とか 研究のひと�</a></div></iframe>

プレビュー

規約違反を報告

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会京都大学五十嵐淳自己紹介情報科学の研究をしています専門はプログラミング言語とか型理論とか研究のひと�

ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会京都大学五十嵐淳自己紹介 ... ＭＬ型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会京都大学五十嵐淳自己紹介情報科学の研究をしています専門はプログラミング言語とか型理論とか研究のひとつはJavaの改良ですが、Javaでプログラムは書きません(けません) ML歴16年、OCaml歴は11年くらいの著者です小学生の解法全員ラクダだとすると足の数は 4 x 7 = 28 本実際には20本あるから8本分ラクダが多いラクダ一匹をOCamlプログラマに置き換えると足は2本減るから4人置き換えれば丁度よい OCamlプログラマ 4匹、ラクダ 3 匹いきなり鶴亀算 OCamlプログラマとラクダが合わせて7匹いる。足の数が合わせて20本である時、 OCamlプログラマとラクダはそれぞれ何匹いるか。中学生の解法 OCamlプログラマの数を x、ラクダの数を y とすると、 x + y =