第6回 OCamlの「モジュール・システム」
本連載の第4回では，プログラミング言語「OCaml」のオブジェクト関連の機能を紹介した。しかし，OCamlには，オブジェクトとは似て非なる「モジュール」の仕組みもある。むしろ，通常はオブジェクトよりモジュールのほうがよく利用されている，ともいえる。実際に，OCamlの標準ライブラリ(http://caml.inria.fr/pub/docs/manual-ocaml/manual034.html)もモジュールとして提供されている。そこで，今回はOCamlのモジュール関連の機能（モジュール・システム）について紹介しよう。 なぜモジュール・システムが必要か 言うまでもないが，モジュール・システムの主要な目的は「モジュール性」，つまり，できるだけ独立した複数の部品にプログラムをわけることにある。 例えば，OCamlで「マンデルブロ集合」を描画するプログラムを記述するとしよう。マンデルブロ集合とは
FrontPage - PukiWiki
2010-04-05 FrontPage 2010-01-30 過去の投票 2009-11-18 すずき 2009-08-22 大石ゼミ 2008-11-02 まじかんと RecentDeleted 2008-11-01 oka にせもの パ ☆ ラ ★ ダ ＊ イ ☆ ス 2008-10-16 生息地一覧 2008-10-06 まじかんと/081006 粫跏鴃鈞竦珞 驟襃 轢 鈔逑 邇珙, http://ignaidiparu.co.cc/hochu-seks-po-skaypu.html 寰玕 驟襃 闔 驫珸闢, 癪髓顋 芻琲鉤髓矗 琿窶韵 轢粮繼 閻鞳闊髮矗鴾?, cqdy, http://jeomut.co.cc/obyavleniya-intim-znakomstva.html 令?硅纃? 蓁鱶 芻琲鉤髓矗, 蓁鱶 芻琲鉤髓矗 體鞦齟, 袱轢 驟襃 芻琲鉤髓矗, 7110, ht
浮動小数点数 - Wikipedia
浮動小数点数（ふどうしょうすうてんすう、英: floating-point number）は、実数をコンピュータで処理（演算や記憶、通信）するために有限桁の小数で近似値として扱う方式であり[1]、コンピュータの数値表現として広く用いられている。多くの場合、符号部、固定長の指数部、固定長の仮数部、の3つの部分を組み合わせて、数値を表現する。 概要[編集] この節はパターソンらの記述に基づく[1]。 実数は0以上かつ1以下のような有限の範囲でも、無限個の値（種類）が存在するため、コンピュータでは妥当なビット数で有限個の値（種類）の近似値で扱う必要がある。 実数-1/3は10進数表現では無限小数となるが、有限桁の小数で近似値を表記できる。下の例では10進数での4桁としている。 -1/3 -1 x 0.33333333333333... -1 x 0.3333 x 100 -1 x 3.333 x
簡単な補間理論
*** (今回のサンプルはあくまで理論の追求を目的としました。ので、実際にこういう方法が 用いられることはあまりないと思います。(^^)) *** 補間とは、与えられた複数の点をすべて通る曲線において、ある x 値に対して その曲線上の y 値を求める計算のことです。 その計算を行うには、曲線の方程式が必要となります。 与えられた点をすべて通る曲線の方程式を求める方法を見ていきましょう。 もし、与えられた点が2つならば、それは直線になり、 y = a * x + b のように1次式で表せます。 同様にして点が3つならば、 y = a * x^2 + b * x + c のように2次式で表せます。 そこで、次のように定義することができます。 補間を行うには、その多項式の係数を求めればいいはずです。 例を挙げてすすめていきます。 点が3つあるとします。 これらの点を通る曲線は y = a *
Rで数理計画 - RjpWiki
Rで数理計画 (例題など、どんどん付け足してください。) ここでは、Rの関数を利用した数理計画問題の解法を説明します。 Rでも既存の関数を利用して、制約条件付き最適化問題を解くことができます。
計算量理論 - PukiWiki
と定義する．このとき，と なる のうちより良い方の解を選ぶ．（どちらも実行可能解であることに注意．） 計算時間 ソートにかかる時間，条件を満たすを求めるためにかかるので，合わせてである． 多項式時間． 近似値比 との二つの解の和は明らかに最適解以上のものとなっているので，近似値比はである． KNAPSACK問題はFPTASである． 近似値比アルゴリズムが存在することを示せばよい． 具体的なアルゴリズム 2近似値比アルゴリズムによる解をとする． 与えられたに対して， と置く． 各要素についてと修正したinstanceについて動的計画法を用いて得られる解をとする． とを比べ，大きいほうを出力する．また，その解をとする． 実行時間 動的計画法による計算時間が支配的． ． 近似値比 最適解をと書くことにすると， 内容 † 計算量理論とは、計算の難しさの学問。 例）n都市TSP n頂点の
Oka Lecture
岡良隆教授の講義用の資料は以下のところにアップロードされていますので，自由にダウンロードして学習に役立ててください。ただし，各種教科書の図を引用していますので，個人的な使用にのみお使いください。 内容に関する質問がありましたら、岡までメールで問い合わせてください。 資料のページから元に戻るにはブラウザーの機能を使ってください。 平成１９年度教養学部第４学期細胞生理学講義用資料
グラム・シュミットの正規直交化法 - Wikipedia
グラム・シュミットの正規直交化法（グラム・シュミットのせいきちょっこうかほう、英: Gram–Schmidt orthonormalization）とは、計量ベクトル空間に属する線型独立な有限個のベクトルが与えられたとき、それらと同じ部分空間を張る正規直交系を作り出すアルゴリズムの一種[1]。シュミットの直交化（ちょっこうか、orthogonalization）ともいう。ヨルゲン・ペダーセン・グラムおよびエルハルト・シュミットに因んで名付けられた。変換行列は上三角行列に取ることができる。正規化する工程を省略すると、必ずしも正規でない直交系を得ることができる。 アルゴリズム[編集] V を計量ベクトル空間とし、V のベクトル v, u の内積を (v, u) と表すことにする。与えられたベクトルの線型独立系を {v1, v2, …, vn} とする。 直交化 によって順に新しいベクトルを作っ
端数処理 - Wikipedia
シャープ Compet CS-2122L上の丸めセレクタ。左のツマミで切り上げ・四捨五入・切り捨てのいずれかを選択し、右のツマミで小数点以下の桁数を選択する。事務用電卓の中には、この機種のように計算結果を指定した桁数に丸めて表示できるものもある。 端数処理（はすうしょり）とは、与えられた数値を一定の丸め幅の整数倍の数値に置き換えることである。平たく、丸め（まるめ）ともいう。 常用的には、十進法で10の累乗（…100、10、1、0.1、0.01…）が丸め幅とされることが多いが、そうでない丸め幅をもつ処理は存在する。十進法以外のN進法について同様の概念を考えることもできる。 丸めの種類[編集] 凡例[編集] 丸めは任意の丸め幅に対し可能だが、以下では特に断らない限り、丸め幅を1とする（後段の「#例」では、丸め幅は0.1である）。任意の丸め幅で丸めるには、丸める前に丸め幅で割り、丸めた後に丸め幅
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://tsukimi.agusa.i.is.nagoya-u.ac.jp/~sydney/ocaml/index.php?OCaml%A5%C6%A5%AF%A5%CB%A5%C3%A5%AF%2F%A5%E2%A5%B8%A5%E5%A1%BC%A5%EB%A5%B7%A5%B9%A5%C6%A5%E0%BE%D2%B2%F0
ログイン - 機械学習の「朱鷺の杜Wiki」
Loading...
http://www-tsujii.is.s.u-tokyo.ac.jp/prolog-enshu/2007/handed.html
My Classes 2004 (JP)
http://www.math.meiji.ac.jp/~mk/labo/text/eigen-values-add/node25.html
差分商(divided difference)
http://kr.cs.ait.ac.th/~radok/math/mat7/step24.htm
エラー | 無料ウェブサービス XREA.COM
離散最小２乗法
http://www.na.cse.nagoya-u.ac.jp/~reiji/lect/alg99/sec10-2.html