活動記録/第6回 のバックアップ差分(No.2)

• バックアップ一覧
• 現在との差分 を表示
• ソース を表示
• バックアップ を表示
• 活動記録/第6回 へ行く。
  • 1 (2006-06-16 (金) 18:33:54)
  • 2 (2006-06-19 (月) 22:39:56)
  • 3 (2006-06-20 (火) 14:05:33)
  • 4 (2006-06-20 (火) 17:55:40)
  • 5 (2006-06-21 (水) 00:41:25)
  • 6 (2006-06-21 (水) 03:57:20)
  • 7 (2006-06-21 (水) 18:41:54)
  • 8 (2007-11-27 (火) 14:40:27)
  • 9 (2008-09-23 (火) 10:36:05)
  • 10 (2008-09-26 (金) 22:50:18)

• 追加された行はこの色です。
• 削除された行はこの色です。

*予定のみ [#d16f4ec7]
//*予定のみ [#d16f4ec7]
--
- 日時　：2006/6/19 (Mon)
- 場所　：名大 理学部1号館(多元数理科学研究科) 307室?
- 時刻　：18:00〜19:30
- 参加者：??名
- 話題　：

#comment

----
#contents

*Chapter 6. Exercise続き [#b24a5ea9]
**Exercise 1 [#x1f19ca3]

**Exercise 6 (小笠原) [#x9271744]

**Exercise 7 [#vde22fdd]

**Exercise 8 [#k7994cd4]

**Exercise 9 (けいご) [#k464fb78]

**Exercise 10 (末次)[#g3e08704]
次の型をもつ関数を定義せよ．
 
'a * ('b, 'c) sum -> ('a * 'b, 'a * 'c) sum 
 let f1 (x, y) = 
   match y with
       Left n -> Left (x, n)
     | Right n -> Right (x, n);;
 
('a, 'b) sum * ('c, 'd) sum -> (('a * 'c, 'b * 'd) sum, ('a * 'd, 'b * 'c) sum) sum 
 let f2 (x, y) = 
   match (x, y) with 
       (Left n, Left m) -> Left (Left (n, m))
     | (Left n, Right m) -> Right (Left (n, m))
     | (Right n, Left m) -> Right (Right (n, m))
     | (Right n, Right m) -> Left (Right (n, m));;
 
('a -> 'b) * ('c -> 'b) -> ('a, 'c) sum -> 'b  
 let f3 (x, y) = function
      Left m -> x m
    | Right m -> y m;;
 
(('a, 'b) sum -> 'c) -> ('a -> 'c) * ('b -> 'c) 
 let f4 f = (fun x -> f(Left x), fun y -> f(Right y));;
 
('a -> 'b, 'a -> 'c) sum -> ('a -> ('b,'c) sum)
 let f5 = function
    Left l -> (fun x -> Left (l x))
  | Right r -> (fun x -> Right (r x));;

ただし，
 type ('a, 'b) sum = Left of 'a | Right of 'b;;

*Chapter 7. Exercise [#bfc07932]
**Exercise 1 [#oe649801]

ref型を
 type 'a ref = { mutable contents : 'a};;
こんな定義の更新可能レコードと見て，
関数ref, 前置演算子!, 中置演算子:= をレコード操作で書け．
-関数ref
 # let ref x = { contents = x } ;;
 val ref : 'a -> 'a ref = <fun>
-前置演算子!
 # let ( ! ) x = x.contents ;;
 val ( ! ) : 'a ref -> 'a = <fun>
-中置演算子:=
 # let ( := ) x y = x.contents <- y;;
 val ( := ) : 'a ref -> 'a -> unit = <fun>
**Exercise 2 [#u76c0a17]
整数の参照をインクリメントする関数incr
 # let incr x = x := !x + 1;;
 val incr : int ref -> unit = <fun>

**Exercise 3 [#fe92b783]
 # let f = ref (fun y -> y+1)
   let funny_fact x = if x = 1 then 1 else x * (!f(x-1));;
 # f := funny_fact;;
 # funny_fact 5;;
let fは単に関数の参照が用意したいだけで，funで定義された関数の中身に意味は無い．~
f := funny_factによりfがfunny_factをさすようになる．~
その結果，funny_factの定義中の!fが自分自身(funny_fact)を呼ぶ事になり，~
階乗を素直に再帰的に定義した時と同じ形になっている．

**Exercise 4 [#v6d2c968]
 # let fact_imp n =
    let i = ref n and res = ref 1 in
     while ( !i > 0 ) do
      res := !res * !i;
      i := !i - 1
     done;
     !res;;
 val fact_imp : int -> int = <fun>

**Exercise 5 [#q5984fe9]

**Exercise 6 [#ke8a0983]

**Exercise 7 [#n2c3331e]