サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
猫
www.fos.kuis.kyoto-u.ac.jp/~t-sekiym
ML型推論の光と影影 @@平成廿一年東都大駱駝会平成廿一年東都大駱駝会 京都大学 五十嵐 淳 自己紹介 情報科学の研究をしています 専門はプログラミング言語とか型理論とか 研究のひとつは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 =
Objective Caml 入門五十嵐 淳 京都大学 工学部情報学科計算機科学コース 大学院情報学研究科知能情報学専攻 e-mail: igarashi@kuis.kyoto-u.ac.jp September24, 2007 Contents Chapter1 1.1関数型言語 ML と Objective Camlについて 1.1.1ML・Objective Caml の特徴 1.2参考書,資料,マニュアル 1.3環境設定 Chapter2 2.1インタラクティブコンパイラを使う 2.1.1簡単な使い方 2.1.2その他: ファイルからのプログラムの読み込み・コメント 2.2基本データ型とその演算 2.2.1unit型 2.2.2int型 2.2.3float型 2.2.4char型 2.2.5string型 2.2.6bool型 2.2.7型システムと安全性 2.2.8練習問
What's New 2012年度ページ立ち上げ(2012.9.24) FAQ Q: (コメントに)日本語を混ぜると #use で読み込めません. A: ファイルの文字コードを EUC-JP にしてください.Emacs であれば, C-x RET f euc-jp-unix としてください. 部屋割り
このページを最初にブックマークしてみませんか?
『www.fos.kuis.kyoto-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く