卒業式関連の情報がまったく聞かれないのですが皆さんもそうなのですか？

めも ~$ coqtop Welcome to Coq 8.0pl2 (Jan 2005)Coq Coq D is assumedCoq Prop. P is assumedCoq Q is assumedCoq forall x:D, P x) -> (forall y:D, Q->P y). 1 subgoal D : Set P : D -> Prop Q : Prop ============================ (Q -> forall x : D…

発表台詞どうしたものか。醜い体をどうしたものか。荷造りどうしたものか。

ミッションちゃんの大冒険が復活しているので毎日見てる。面白い。なんか感情の動きが共感できる、うつなところ以外も。よーく考えたらそれほど絶望な世界に生きてないよな。