2007-05-31から1日間の記事一覧
http://as305.dyndns.org/wiki/index.php?Coq
http://d.hatena.ne.jp/ku-ma-me/20070529/で「G」はなくてもPefungeで記述できるので無駄ではないかとまめにいったら、 スタックの先頭しか入れ替えられないので、無理ではないかというので、 とりあえず画期的な方法で実装してみる。 "Hello, world!" v ge…
http://as305.dyndns.org/wiki/index.php?Coq
http://d.hatena.ne.jp/ku-ma-me/20070529/で「G」はなくてもPefungeで記述できるので無駄ではないかとまめにいったら、 スタックの先頭しか入れ替えられないので、無理ではないかというので、 とりあえず画期的な方法で実装してみる。 "Hello, world!" v ge…