「UNISYS技報60号」より 要求仕様の形式的記述―Software技術はここに始まり，ここに窮まる― http://www.unisys.co.jp/tec_info/tr60/60abs.htm#6005 某社の論文集で、前回課題７に取り組んだ時に見つけて中は見てなかったページ。関連の論文がいろいろ載って…

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

日能研の日めくりカレンダーから ＡＢ × Ａ −−−− ＣＣＣこういう問題はどうやって考えるのかなー パパは一、二分で分かったけど、子供とママは考えこんだまま。 どうやったかというと、実はよく覚えていない。百の位への繰り上がりは一しかありえないから、…