はてなブックマーク

プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜 (GIHYO Digital Publishing, amazon, 楽天Kobo, yahoo, cbook24.com) PDF/EPUB 版を販売しているGIHYO Digital Publishing のページ お...

[ 前の資料 | 講義ホームページ・トップ | 次の資料 ] 2018年度未改訂 Lisp Lisp は John McCarthy1 によって提案されたFORTRAN についで古い高水準プログラミング言語である．数々の方言とその実装があるが，特...

[ 前の資料 | 講義ホームページ・トップ | 次の資料 ] Java Java の主要概念の復習(超特急版) オブジェクト インスタンス変数の集まりからなるデータとそのデータに対する操作(メソッド)の集まり． インスタンス...

[ 前の資料 | 講義ホームページ・トップ | 次の資料 ] OCaml OCaml (旧名称: Objective Caml)は INRIA というフランスの国立の計算機科学の研究所でデザイン・開発された言語である．歴史的には，証明支援系と呼...

五十嵐 淳 (京都大学大学院情報学研究科 通信情報システム専攻) 2017年11月17日 モジュールと実装の隠蔽 階層的名前空間の提供 実装の隠蔽 分割コンパイル (ocaml/bstModule2) 講義範囲を越えて [ 前の資料 | 講...

ここでは <式> の代わりに e という記号(メタ変数)，<識別子> の代わりに x という記号(メタ変数)を用いている． また，型(メタ変数 τ)として，整数を表す int, 真偽値を表す boolを考える． さて，型推論のアル...

Objective Caml e-mail: igarashi@kuis.kyoto-u.ac.jp 19 10 4 1 1 4 1.1 ML Objective Caml . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.1 ML Objective Caml . . . . . . . . . . . . . . . . . . . ...

ここでは <式> の代わりに e という記号(メタ変数)，<識別子> の代わりに x という記号(メタ変数)を用いている． また，型(メタ変数 τ)として，整数を表す int, 真偽値を表す boolを考える． さて，型推論のアル...

2012年1月14日のジュンク堂書店池袋本店トークセッション「新春座談会 このコンピュータ書がすごい！ 2012年版〜2011年に出たコンピュータ書ならこれを読め！〜」にて本書が紹介された模様です．(2012/1/14記)補...

2012年1月14日のジュンク堂書店池袋本店トークセッション「新春座談会 このコンピュータ書がすごい！ 2012年版〜2011年に出たコンピュータ書ならこれを読め！〜」にて本書が紹介された模様です．(2012/1/14記)補...

お知らせ 2020年度ページ立ち上げ(2020.9.24) 講義内容 数理論理学の基礎と，数理論理学を用いた計算機プログラムの検証について講述する．また，講義を補完するため，証明支援系(計算機上で数学的証明を行うシス...