WHAT'S NEW
CONTENTS
CONTENTS
- 2008/06/07 はじめに
OCaml の特徴、プログラムの実行、簡単なベンチマーク、Enjoy Programming!!
- 2008/06/07 OCaml の基礎知識
使ってみよう、整数と実数、算術演算子、文字と文字列、比較演算子、論理演算子、条件分岐、変数、組 (tuple)、関数、局所変数と大域変数
- 2008/06/08 再帰定義
再帰定義の基本、再帰定義のポイント、累乗の計算、累乗の高速化、フィボナッチ関数、ユークリッドの互除法 (修正 2008/11/22)、組み合わせの数、ハノイの塔、unit 型と逐次実行
- 2008/06/08 相互再帰と末尾再帰
相互再帰、末尾再帰、フィボナッチ関数の高速化
- 2008/06/14 高階関数
関数を引数にとる関数、多相性、匿名関数とカリー化、
- 2008/06/14 リスト
リストの構造、リストの構成法、リストの合成と分解、再帰定義によるリスト操作、リストの連結、リストの反転、リストの探索
- 2008/06/15 パターンマッチング
match 式、function 文、リストのパターンマッチング
- 2008/06/15 高階関数 (2)
マッピング、フィルター、畳み込み、畳み込みの使用例
- 2008/06/15 ソート
挿入ソート、クイックソート、クイックソートの弱点
- 2008/06/21 レキシカルスコープとクロージャ
レキシカルスコープ、レキシカルスコープと局所関数、クロージャ、連想リスト、ダイナミックスコープ、関数の合成
- 2008/06/21 順列と組み合わせ
順列の生成、順列をリストに格納する、組み合わせの生成、組み合わせをリストに格納する
- 2008/06/22 データ型の定義
ヴァリアントの定義、ヴァリアントの生成、パターンマッチング、option 型、再帰的なデータ型、連想リスト、レコードの定義、レコードの生成、レコードのパターンマッチング、多相的なレコード
- 2008/06/22 ソート (2)
マージソート、リストのマージ、マージソートの実装
- 2008/06/28 例外
例外の定義、例外の送出、例外の捕捉
- 2008/06/28 書き換え可能なデータ型
配列、配列の操作関数、参照、書き換え可能なレコード、多相性の制限、繰り返し、パスカルの三角形
- 2008/06/29 ファイル入出力
標準入出力、ファイルのオープンとクローズ、input_char と output_char、ファイルの書き込み、
- 2008/06/29 バックトラック法
小町算、データ型の定義、式の生成、式の計算、実行結果、８クイーン、プログラムの作成、実行結果、８クイーンの高速化
- 2008/07/05 モジュール
スタック、スタックの定義、モジュールの定義、module による実装、シグネチャとデータ抽象、mli ファイルの定義、参照型を使ったスタックの実装、キュー、キューの実装
- 2008/07/06 有理数
有理数の定義、有理数の生成、算術演算子の定義、比較演算子の定義、データ型の変換、実行例、モジュールの作成、小町分数、単位分数の和、Four Four's、数式のパターン、データ型の定義、数式の計算、数式の生成、実行結果
- 2008/07/12 ファンクタ
二分探索木、木構造、二分木、二分木の実装、データの探索、データの挿入、データの削除、二分木の巡回、実行例、ファンクタの定義、シグネチャの定義、プログラムの作成、実行例
- 2008/07/13 ファンクタ (2)
ファンクタのシグネチャ、with type、プログラムリスト
- 2008/07/13 ハッシュ法
ハッシュ法とは？、プログラムの作成、ハッシュ関数の作成、実行例、ハッシュ法の長所と短所、参考文献、プログラムリスト
- 2008/07/19 オブジェクト指向
オブジェクト指向とは？、クラスとインスタンス、メソッド、OCaml のクラス、インスタンス変数とメソッドの定義、オブジェクトの初期化、多相クラス、private メソッド、オブジェクトの型、OCaml の部分型、ダック・タイピング
- 2008/07/20 集合
集合の基本操作、ファンクタの定義、union、intersection、difference、実行例、オブジェクト指向による実装、クラスの定義、バイナリメソッド、オブジェクトのコピー、実行例、プログラムリスト
- 2008/07/21 継承
継承とは？、単一継承と多重継承、継承の仕組み、単一継承の使い方、オーバーライド、集合 (2)、initializer、抽象メソッドと抽象クラス、型変換
- 2008/07/26 多重継承と Mix-in
多重継承の使い方、多重継承の問題点、Mix-in、enumerable、多相メソッド、リストクラス、実行例、クラスの関係、継承関係は必ずしも部分型にはならない
- 2008/07/27 クラス型
クラス型の宣言、クラス型に名前を付ける、クラス型による型指定、クラス内の局所変数と局所関数
- 2008/07/27 集合 (3)
モジュール内でクラスを定義する、オブジェクトを格納する集合、constraint、実行例、ファンクタ MakeSet でオブジェクトを格納する
- 2008/08/02 経路の探索
グラフ、隣接行列と隣接リスト、バックトラックによる探索、幅優先探索、経路の管理、幅優先探索のプログラム、探索の一般化、反復深化、反復深化のプログラム
- 2008/08/03 パズルの解法 (1)
覆面算、魔方陣、対称解の排除、騎士の巡歴、マスターマインド、推測アルゴリズム、プログラムの作成、何回であたるか
- 2008/08/09 パズルの解法 (2)
スライドパズルの説明、幅優先探索による解法、実行結果、双方向探索による高速化、最長手数の求め方
- 2008/08/10 パズルの解法 (3)
反復深化による解法、下限値枝刈り法、下限値枝刈り法のプログラム
- 2008/08/10 組み合わせの生成 (2)
ビット演算子、プログラムの作成、組み合わせに番号をつける方法、組み合わせを番号に変換、番号を組み合わせに変換
- 2008/08/17 ラベル付き引数とオプション引数
ラベル付き引数、引数の順番、オプション引数
- 2008/08/17 多相ヴァリアント
多相ヴァリアントの基本、多相ヴァリアントのデータ型、関数定義の拡張
- 2008/09/14 メモ化と遅延評価
たらいまわし関数、メモ化による高速化、メモ化関数、遅延評価による高速化
- 2008/09/14 遅延ストリーム
遅延ストリームの構造、遅延ストリームの生成、遅延ストリームの操作関数、高階関数
- 2008/09/20 遅延ストリーム (2)
遅延ストリームの操作関数 (2)、高階関数 (2)、組 (pair) を生成するストリーム、無限ストリームで組 (pair) を生成する場合、素数の生成、順列の生成、遅延ストリーム版、８クイーンの解法
- 2008/10/04 継続渡しスタイル
継続とは？、継続渡しスタイルとは？、再帰呼び出しと継続渡しスタイル、二重再帰と継続渡しスタイル、CPS の便利な使い方、二分木の巡回を CPS で実装、二分木と遅延ストリーム、遅延ストリームを使わない方法
- 2009/11/23 便利なリスト操作関数
iota と tabulate、リストの分割、リストの置換、any と every、マッピング、リスト操作の一般化、解きほぐし (逆畳み込み)
- 2009/11/28 便利なベクタ操作関数
データの探索、マッピング、畳み込み、イテレータ、リストとベクタの比較、二分探索、挿入ソート、クイックソート
[1] 五十嵐淳, 『プログラミング in OCaml』, 技術評論社, 2007
[2] OCaml.jp, "Objective Caml に関する情報を集めたコミュニティサイト" とのことです。
『お気楽 OCaml プログラミング入門』の著作権は筆者「広井誠 (Makoto Hiroi) 」が保持します。無断使用や無断転載は禁止いたします。お気楽 OCaml プログラミング入門で作成したプログラムはフリーソフトウェアとします。ご自由にお使いください。プログラムの改造や配布もご自由にどうぞ。その際は、出典を明記してくださるようお願いいたします。
ただし、これらのプログラムは無保証であり、使用したことにより生じた損害について、作者「広井誠 (Makoto Hiroi) 」は一切の責任を負いません。また、これらのプログラムを販売することで利益を得るといった商行為は禁止いたします。
Copyright (C) 2008-2011 Makoto Hiroi
All rights reserved.
