1. Daichi OBINATA / earth2001y
2009.2.28 kosenconf-004fukui

23. ≠

26. • e∈N
• x∈N N
x x'
• x≠e
x∈N
• x,y ∈ N
(x ≠ y) (x' ≠ y')
• ((e ∈ S)∧((x ∈ N) (x' ∈ S))) (S = N)
S N

27. ※

29. 1. e∈N
N
e

30. 2. x∈N
N x x'
N x
x
x’
x' x

31. 3. x∈N
x' ≠ e
e x'
e

32. 4. x,y ∈ N
(x ≠ y) (x' ≠ y')
x y

33. 5. ((e ∈ S)∧((x ∈ N) (x' ∈ S))) (S = N)
S N

35. • e∈N
• x∈N N
x x'
• x≠e
x∈N
• x,y ∈ N
(x ≠ y) (x' ≠ y')
• ((e ∈ S)∧((x ∈ N) (x' ∈ S))) (S = N)
S N

36. e x

37. •e 0
• e' 1
• e'' 2
• e''' ry

40. x+y = x y

41. x+y = x y
※x y e

43. x+y' = (x+y)'
x+e = x

44. 5.

46. e' + e' = (e' + e)' = e''

48. •e 0
• e' 1
• e'' 2
• e''' ry

50. e' + e' = e'' → 1 + 1 = 2

54. •e
• e' one
• e'' zwei
• e''' ry

55. •e
• e' 1
• e''
• e''' ry

57. •e
• e' 1
• e''
• e''' ry

58. e' + e' = e'' → 1 + 1 =

59. 1+1=

61. •e 72
• e' 83
• e'' 91
• e''' ry

62. 72+72=72

63. 72+72=72 < 91
※

64. ※

67. x*y' = (x+x)*y
x*e = e

72. ASCII

73. ASCII
IEEE

74. 0 1

80. id:earth2001y