『理論から学ぶデータベース実践入門』の間違いを指摘する - Qiita
『理論から学ぶデータベース実践入門』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。 この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家でないなら、専門家にレビューを頼むか、最低でも適切な論理学の教科書へのリファレンスが必要ではないかと考える。 この文章は特定の本を参考にしたわけではないが、以下に定評のある論理学の入門書をいくつか挙げておく。 戸田山和久『論理学をつくる』（名古屋大学出版会） 小野寛晰『情報科学における論理』（日本評論社） 以下、論理学についての誤りのうち比較的大きなものを指摘する。これはすべての誤りのリストではないし
奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか - 檜山正幸のキマイラ飼育記 (はてなBlog)
言い訳から始めます。この記事を（途中まででも）読んだ人は、次のように言いたくなるでしょう。 『理論から学ぶデータベース実践入門』は良い本なのか悪い本なのか、いったいどっちなんだよ?! この本は間違いや説明不足があり、誤読されやすい表現も多く、その点では残念な本です。しかし、面白いアイディア、するどい観察も含まれていて、行間を補い深読みすれば、多くの示唆を得られる本でもあります。 よって、「良い／悪い」の二択では答えられません。良い点と悪い点の両方を、できるだけ客観的に記述するしかないのです。それをした結果、長い記事となりました。 内容： ことの発端： zhanponさんの批判 奥野本擁護と奥野本批判 僕の擁護・批判の方針 zhanponさんの指摘の再検討 1. 論理的な矛盾とデータの不整合を混同している 2. 命題論理の限界についての説明がおかしい 3. 古典論理の定義を間違えている 4.
女性に大人気「フクロウカフェ」のあぶない実態（岡田 千尋） @gendai_biz
問題が多いアニマルカフェ 動物は簡単には死なない――。 たとえひどい環境であっても、食べ物と水があれば、ある程度の期間、生きることができる。しかし、自由がなく、習性や欲求を満たすことのできなければ、動物は徐々に身体的・精神的にも追い込まれていく。 ストレスが人間の病気の大半の原因となっていることは誰もが知る事実だが、同じことが他の動物にも言える。このことを考慮せず、簡単には死なないことを利用した娯楽が日本で広がっている。 フクロウなどの野生動物を利用した「アニマルカフェ」だ。 フクロウカフェでは、フクロウの足をリーシュという短い縄で繋いで飛べないように拘束し、様々な種類のフクロウを多数並べて展示する。 客は金を払って入場し、フクロウのそばに近づき、スマホで写真を撮り、触り、好みのフクロウを指名し、腕に乗せてみたりする。 フクロウは、拘束されて飛べないがバタバタと羽を広げ飛翔を試み、足の拘束
プログラマ必見！WEBサービスのメール会員認証が迷惑メールにならないための設定
WEBサービスの会員登録といえばメールアドレス認証が一般的ですが、WEBプログラマの皆さんもメールサーバの設定をしっかりチェックされてますでしょうか？インフラチームがあるような会社では、分業制がかえってあだとなり盲点になることもしばしば。 せっかく作ったWEBサービスも、会員登録時に送信する認証メールが迷惑メールになってしまったら台無しです。 今回はLinux + PHP環境をベースに、WEBシステムにおけるメール送信専用サーバの設定についてみていきたいと思います。 mailコマンドで動作確認 サーバを構築したら、まず初めにメール送信が無事行えるかを確認します。 PHPなどのプログラミング言語でわざわざテストする必要はありません。シェルですぐ確認します。 送信先は最低、GmailとYahoo!メールの2つをチェック。迷惑メール判定のアルゴリズムは各業者によってバラバラですので1社で終わらせ
わずか300円でIoTボタンを作る方法 - Qiita
こんなの見つけたよ 100円ショップで物色していたら、こんなものを見つけたよ。100円ショップなのに300円※だったけど、いろいろ遊べそうなので思わず衝動買いしてしまったよ。 (※あとでAmazonをみてみたら1円から売ってました） Bluetoothでスマホにコマンドを送れるってことは、スマホではなくラズパイとBluetoothでつなげられれば、物理ボタンとWebを連携させるIoTっぽいことができそうだね。例えばボタンを押すとAmazonで注文できるなんちゃってDashボタンとか。今回は、LINEにメッセージをPush通知するLINEボタンをつくってみるよ。 準備するもの Raspberry-Pi3 (BluetoothがついてればOK) リモートシャッター (AB Shutter 3) つくりかた ラズパイとリモートシャッターとの接続 まずはラズパイとリモートシャッターをBluetoo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
