FreeBSDな日々

FreeBSDな日々内検索 / 「MLの基礎（３）」で検索した結果

• MLの基礎（３）
  変数関係の補足 val pi=3.14　は、いわゆる、変数への代入ではない。 MLでは、static bindingといって、piという変数に3.14という値をbind 結びつけている。 MLは、一度、bindするとその値は変わることがない。 しかし、 val pi=0.0; とすると、piは0.0と評価される。 実は、piの再定義によって、古いpiのbindingがきえたわけではなく、隠されただけという。 例えば、 val pi=3.14; val area=pi*3.0*3.0; (- 28.26) val pi=0.0; area; (- 28.26)(0とはならない） 変数名とそれにbindされている値の組み合わせの集合を環境(environment）という。 areaの環境ではpi=3.14であり、その外でpiの値を再定義して...
• MLの基礎（１）
  テクストとしては、 http //www.pllab.riec.tohoku.ac.jp/smlsharp/smlIntroSlidesJP.pdf を使用することとする。 text p1-p29 型　type ＭＬの扱うデータは、いくつかの型　type に分類される。 数（整数 int 、実数 real）、文字（文字列、文字定数）、真理値（true,false）、その他 ここでは、当面　整数と真理値(boolean)のみ扱うこととする。 text p.30-34 変数 variable 　あるデータに名前を付けるには valを用いる。 　val pi=3.14; 　val name = "Osawa"; text p.35-p.40 関数　function 　関数の定義は、 　fun f p = body...
• MLの基礎（２）
  text p.42-p.45 帰納的関数(recursive function) たとえば、 sum = 1+2+3+....+n を定義するとき、関数型言語ではよく次のパターンを使う。 fun sum n = n + sum(n-1) つまり、sum = n + (1+2+...+(n-1)) このsum(n-1)を繰り返し、適用（評価することで） sum = n + (n-1)+...+ 2 + 1 を得る。 例　sum 5 = 5 + sum(4) = 5+ 4 +sum(3) = 5+4+3+sum(2) = 5+4+3+2+sum(1) = 5+4+3+2+1 このように、関数の定義に自分自身が含まれる場合を 帰納的定義という。 ただ、先に定義は不完全な定義である。n-1が永遠に評価されるので、 繰り返しが...
• MLの基礎（４）リスト構造
  リスト構造 関数型言語で最も重要なリスト構造について。 text p.93-p.99 リストは先頭要素を取り除いた残りもリスト。リストの先頭にある値（要素）を付け加えたものもリスト。また、終わりはnil。これが、リスト構造の定義そのものである。 リスト構造は、中に入れ子のようにリスト構造を含んでいる。 だから、帰納的関数と相性があう。 視覚的には、 (v1,(v2,(v3,(.....(vn,nil)...)である。 これをML風に書くと、 v1 v2 v3 ... vn nil とか、 [v1,v2,v3,.....,vn]とかく。 実は、 　はリストを作る関数である。 2 [3,4]; (- [2,3,4])リスト[3,4]の先頭に2を追加し、新たなリストを作る。
• MLの基礎（５）リストを扱う関数
  リストを扱う３つの基本関数 null 空リストかどうかを判定 tl リストの先頭部分を除いた残りのリストtailを返す関数 hd リストの先頭部分headを返す関数 これらは、標準で定義されているので、 my_null my_tl my_hdとして、関数を定義せよ。（問１） （ヒント：空リストは　[]　or nil 　　　　　空でないリストのパターンマッチング　(h t) 　　　　　要素が一個のパターンマッチング　[x]) 問２　次の関数を定義せよ。 length リストの長さ(要素の数）を示す関数 sumList リストの値（整数）の合計値を示す関数 member ある要素がリストに含まれているかどうかを判定する関数 （ヒント：length については、hd で先頭部分があれば、１を加え、 　（１だけを加えるケースと１を加えて、recursiv...
• MLの基礎（７）高階関数（２）
  リストを扱う高階関数 さて、次につぎのような高階関数を定義してみよう map (fn n= 2n) [1,2,3,4] (- [2,4,6,8] filter (fn n= （n mod 2)=0) [1,2,3,4] (- [2,4]) mapは、リストの各要素に関数fを適用した結果をリストとして返す関数。 [a1, a2, a3, ... ,an]--map f-- [f(a1), f(a2), f(a3),...,f(a4)] filter ある条件を満たす要素のみを要素とするリストを返す関数。 [a1, a2, a3, .. ,an]--filter pred-- [a2, a5,...,an] n mod 2はnを２で割ったあまり、これが0の時、true. 問　map filterを定義せよ。 ...
• ＭＬの基礎（６）高階関数
  高階関数　first order function 関数を返す関数 いよいよ、関数型言語の佳境。 text p.56-60 f m n = m + n と定義し、さらに、 g = f mと定義する。 すると、 g 1 = 3+ 1 g 2 = 3+2 となる。 関数式　text p.61 名前のない関数、本来は、これが関数の定義である。 (fn x= x+1)3*10; (- 40) val plusone = fn x= x+1; として、名前をつけ、 plusone 3 *10を実行してみよ。同じ結果が得られる。 summationの例をパターンマッチングで書くと、 fun summation f 1 = f 1 　| summation f n = f n + summation f (n-1); ...
• ML勉強会の準備
  準備としては、 smlのインストール。 そのほか、エディターの設定ファイルとしては、 emacs では、sml-mode.elがあるらしい。 また、vim用もある。 http //www.cs.cornell.edu/course/cs312/ 参照。 名前 コメント
• ML勉強会開始
  3/1/2007 ＭＬ勉強会開始　 言語としては、Standard ML of New Jersyを用いる。 windows版もあるので、適宜、探してインストールしてください。 日本語の教科書としては、「Standard ML 入門」（大堀）がある。 型理論を学ぶ前に、とりあえず、関数型言語になれることから 出発する。 名前 コメント
• @wiki全体から「MLの基礎（３）」で調べる

更新順にページ一覧表示 | 作成順にページ一覧表示 | ページ名順にページ一覧表示 | wiki内検索