Armadillo-240を出資してくれた教授の研究室にまる投げしてきた。 教授は自分たちの方でソフトを作って展示するといっていたので任せた。 でも、その研究室の人に話聞いたらそんなことは聞いていないと言ってきた。 とりあえず、相手を教授の発言を引き合い…

学祭用にエレベーターシステムの状態遷移をNuSMVで記述している。 最終的には6階建ての建物でエレベータは2台、ユーザーは複数人を想定している。 だが、いきなり上記のシステムを書こうとしてムリと判断したので、エレベータ1台でユーザー1人で記述。 そし…

最近寒くなってきていますね。 でも研究室で寝ると、掛け布団が夏用なのに汗かくのはなんでだろ。