2011-07-01から1ヶ月間の記事一覧

K&R Cの付録Aの文法(ANSI Cの文法?)で直接左再帰除去で対応出来ない左再帰な非終端記号があるかどうか調べる

import qualified Data.Set as Set import qualified Data.List as List data EBNF = Seq EBNF EBNF | Choice EBNF EBNF | Opt EBNF | Terminal String | -- ただし空文字列禁止 NonTerminal NT deriving (Show , Eq , Ord) {- 手間なので、型シノニムで -} …

Alloyで少しだけ遊ぶ

Alloyでゲームについて調べようの回！！お題は、3x3の9マスでの○×ゲーム(三目並べ)は、先手必勝となるかどうか、です。 簡単なゲームから考える まず次のような非常に簡単なゲームを考えます。 場にA , B , Cという3つの石がある。3種類じゃなくて、本当に3…

「抽象によるソフトウェア設計」発売

https://sites.google.com/site/softwareabstractionsja/ https://sites.google.com/site/softwareabstractionsja/about/toc ← 目次本日7月15日金曜日、洋書「Software Abstractions」(http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928)…

スタートClean

7月9日の13時から株式会社SpeeeさんでCleanランゲッジのイントロダクションの話があるらしいです。後11人ぐらい参加出来るようなので、自称CleanプロからCleanの開発者の皆様、最底辺プログラマであるボクにモノを是非教えてくださいませ。http://partake.in…