2012-12-09から1日間の記事一覧
https://gist.github.com/4243787最近、プログラマの採用面接で解かす問題集みたいな本が出て その中に「ある配列がユニークであるかどうかを示すコードを書け」という問いがあり、Coqで書いてみました。 下記のようなコードになるんだけどついでに配列を逆…
https://gist.github.com/4243787最近、プログラマの採用面接で解かす問題集みたいな本が出て その中に「ある配列がユニークであるかどうかを示すコードを書け」という問いがあり、Coqで書いてみました。 下記のようなコードになるんだけどついでに配列を逆…