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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 活動記録/第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)

予定のみ †

• 日時　：2006/6/19 (Mon)
• 場所　：名大 理学部1号館(多元数理科学研究科) 307室?
• 時刻　：18:00〜19:30
• 参加者：??名
• 話題　：

Chapter 6. Exercise続き †

Exercise 1 †

Exercise 6 (小笠原) †

Exercise 7 †

Exercise 8 †

Exercise 9 (けいご) †

Exercise 10 (末次) †

次の型をもつ関数を定義せよ．

'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 †

Exercise 1 †

Exercise 2 †

Exercise 3 †

Exercise 4 †

Exercise 5 †

Exercise 6 †

Exercise 7 †