생각나는 대로 적어봤음.
시험시간 : 2시간 (1시간이면 충분한 내용이었음.)
자리배치 : 학번 마지막 자리로 hash해서 두 숫자씩 한 공간을 정해줌.
시험인원 : 대략 90명
분량 : 7장, 6문제 - 시험지에 바로 답을 적어서 냄.
. 용어 설명하기(3줄 이내) - 족보와 거의 일치했음.
type error
type system
polymorphism
Overloading
type check를 하면 어떤 이득이 있나?
. CFG보고 parse tree 그리기, ambiguous 판별하기
. ambiguous 함
. Compile과정 적기
. source code
. lexical anaylsis
. parse tree
. Abstract syntax tree
. intermediate code
. optimization
. machine code
. Denomational semantic가 주어지고 해석하기
. binary, xor(#), and(@)
우리말로 적기
Binary의 마지막 한 자리만 봄
. Lambda calculus 풀기 2개
. c h h 3 = c(h(h(3))) => (3+3)+(3+3)
. 길지않았으나 헷갈림.
. Type inference tree 분석하기
. type inference tree가 이미 주어져 있었음.
. equation을 새우고 풀면 됨.
알면 다 풀고 모르면 못 푸는 그런 시험이었음.
lambda calculus 외에 머리 복잡한 계산, 정리 하나도 없었음.
실수를 안했으면 거의 85~95점 나오리라고 봄.