1勝1敗1分け

昼休み、チェックしたら評価が出ていた。関数型言語、論理型言語については３、ラムダ算法はかろうじて１。眠い頭でだした形式的仕様記述は見事玉砕。でもこれであと１つだ。
朝、電車の中で打った日めくりカレンダーの問題はレイアウトがイマイチなのでちょっとだけ編集。