2017-07-16から1日間の記事一覧

論理の「もれ」と「だぶり」

数学のプラグラマを読んでる。第2章の論理に入った。バス料金のルールを論理学を利用して「もれ」なく「だぶり」のないものを作ろうというもの。これを網羅的(もれなく)で排他的(だぶりなく)な分割と言うらしい。 「もれ」がある場合。「乗客の年齢が6歳よ…

くらえ!玉ねぎマシンガン!!ぼんっ!!!

データを集めることにハマってる。CSVフォーマットで集めてるんだけど、もっと良いフォーマットってあるのかな。 集めるために特別な技術は使ってないんだけど。PerlのWebScraperとか、ShellscriptのCurlとかWgetとか使ってGrepとかSedで加工してCSVフォーマ…