woshidan's loose leaf

ぼんやり勉強しています

2015-05-10から1日間の記事一覧

論理包括とか選言的三段論法とか

データベース実践入門ちょっとずつ読んでる。ANDの形がAに近いで覚えています。 論理包括 論理包括がよくわからなかったのでググった。 P IMP Q は以下の図のような感じで、 左がP, 右がQになる。 Pでない または Qである、ということらしい。なるほどー。 P…

いまさらCookieの仕様について調べてみた

アクセスしているユーザの判別ってどうしたらいいんだろう、という感じだったので、 http://web-tan.forum.impressrd.jp/e/2010/06/10/8147 自前でやるよりFluentdとかのライブラリを調べたほうがよさそうだけど、とりあえず何やってるのか検討つかなかった…