2012-05-15から1日間の記事一覧
一応生存を主張。 この間、論文を書いて、終わってへばって、次の論文に向けていろいろ考え中。 アイディアは大体固まったので、もう少し詰めてからやってみるかな、という感じ。 Coqのサブセットもその一つ。 まあ、Notationないけどね! Typeもないけどね…
一応生存を主張。 この間、論文を書いて、終わってへばって、次の論文に向けていろいろ考え中。 アイディアは大体固まったので、もう少し詰めてからやってみるかな、という感じ。 Coqのサブセットもその一つ。 まあ、Notationないけどね! Typeもないけどね…