2017年度「プログラミング言語」配布資料
五十嵐 淳 (京都大学大学院情報学研究科 通信情報システム専攻) 2017年11月17日 モジュールと実装の隠蔽 階層的名前空間の提供 実装の隠蔽 分割コンパイル (ocaml/bstModule2) 講義範囲を越えて [ 前の資料 | 講義ホームページ・トップ | 次の資料 ] モジュールと実装の隠蔽 モジュール(module) とは，工業製品などにおける規格化された構成単位を指すための用語である．要するに部品のことなのだが，この「規格化」というのは重要な点で，これによって例えば様々な会社が製造した部品を集めてひとつの大きな製品を作ることができるし．一部が故障しても簡単に交換することが可能になる．ソフトウェアにおいても，モジュールという用語はプログラム部品の構成単位を指していて，多くのプログラミング言語が，プログラムをモジュールの集まりとして構成するための支援機構を用意している．工業製品
Computation and Logic: Winter Semester 2016
お知らせ 宿題を遅れて提出する場合の最終期限は 2/3(金) 17:00 です．要再提出が残っている人もこの時刻までに解決してください． スライド8と配布資料その4をアップロードしました．(2017.1.23) 1/17(火)は、(講義ホームページにある)予定を変更して2回目の演習とします。過去の期末試験(ホームページからダウンロードしてください。)の問題も演習の範囲とします。(2017.1.9) 過去の期末試験(2012年度, 2013年度, 2014年度, 2015年度)をアップロードしました(テキストと同じパスワードでダウンロードしてください)．演習の追加題材とします．(2016.12.31) スライド7アップロード．宿題その7がでました．(2016.12.19) 宿題その6の問題 or_distributes_over_and_2 は or_distributes_over_and
2016年度「プログラミング言語」配布資料 (4)
五十嵐 淳 (京都大学大学院情報学研究科 通信情報システム専攻) 2016年10月31日 OCaml とは OCaml 爆速入門 OCaml は電卓として使える OCaml はメモリ機能がついた電卓として使える OCaml は関数電卓として使える 条件分岐 再帰関数 変数の有効範囲と静的スコーピング let式による局所定義 OCaml プログラムの実行 データ構造 変更可能レコード [ 前の資料 | 講義ホームページ・トップ | 次の資料 ] 2017年版に向け改訂中 OCaml とは OCaml (旧名称: Objective Caml)は INRIA というフランスの国立の計算機科学の研究所でデザイン・開発された言語である．歴史的には，証明支援系と呼ばれる，計算機によって数学的証明を行うためのソフトウェアを操作するための言語の研究から発展してきたもので，当初は ML (Meta Lan
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/isle4-11w/mltext.pdf
