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

1308 - Awkward Lights

AOJ

http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=1308 問題 ライツアウトで解法があるかどうか調べる。 普通のライツアウトはある点を押すとその点とマンハッタン距離1の点が反転するが、この問題ではその点とマンハッタン距離dの点が反転する。…

亜種含めライツアウトの解法を求める(AOJ 1308)

ICPC2010アジア予選の問題で、 http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=1308 というものがあった。 普通のライツアウトはある点を押すとその点とマンハッタン距離1の点が反転するが、この問題ではその点とマンハッタン距離dの点が反転す…

計算機科学実験及演習4「プログラム検証」

OCaml演習 初めてOCamlを触った。 というか関数型プログラミング自体Scheme以来なわけで苦労した。 しかし実験資料が割と丁寧でそこまでつまづくことなくできた。 (SKIコンビネータと与えられた型を持つような関数の定義は思いっきりつまづいたが) インタ…