「Prolog の技芸」がほしくて、復刊リクエストの状況を調べてみたのだった。 31票かぁ。他のリクエストの票数を調べてみるとわかるが、多分、千票以上はないとダメだよね。で、あきらめて古書で購入。内容をざっと眺めたが、ぼくでも十分読んで理解できる本のように思える。それでも読む順序としては 4番目か 5番目になるだろう。「はじめての Prolog」は更にその後に読むだろうと思う。:P 「論理による問題の解法」はアマゾンの古書が安かったので注文。千円くらいで新品と思えるような本が到着。今でも千円ほどできれいな本という在庫あり。復刊したら定価が 5,800円だよ。なぜ千円で買わない？ リクエストは他の人のためか？ 【 復刊ドットコム - http://www.fukkan.com/ 】 「Prolog で作る数学世界」は読んでみたいとは思うけど、集合-位相-群というのがもう一つだね。「論理プログ

Swiftプログラミングと論理 〜そして帰ってきた圏論〜 iOSDC Japan 2019 (Sep 6, 2019) https://fortee.jp/iosdc-japan-2019/proposal/9529444c-a849-47cd-94a7-bf2b694320aa

ウンベルト・エーコ（Umberto Eco, 1932年1月5日 - 2016年2月19日）は、イタリアの小説家、エッセイスト、文芸評論家、哲学者、記号学者。イタリア共和国功労勲章受章者。1980年に発表された画期的歴史小説『薔薇の名前（Il nome della rosa）』の著者として最もよく知られる。同作品はフィクションの記号論的分析、聖書分析、中世研究、文学理論の要素を盛り込んだ知的ミステリーである。後に発表した小説作品には、『フーコーの振り子（Il pendolo di Foucault）』、『前日島（L'isola del giorno prima）』などがある。2010年に上梓した『プラハの墓地（Il cimitero di Praga）』はベストセラーとなった。 エーコは学術書や論文、児童書、エッセイなども著した。サンマリノ共和国大学コミュニケーション学科創立者、ボローニャ

『理論から学ぶデータベース実践入門』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。 この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家でないなら、専門家にレビューを頼むか、最低でも適切な論理学の教科書へのリファレンスが必要ではないかと考える。 この文章は特定の本を参考にしたわけではないが、以下に定評のある論理学の入門書をいくつか挙げておく。 戸田山和久『論理学をつくる』（名古屋大学出版会） 小野寛晰『情報科学における論理』（日本評論社） 以下、論理学についての誤りのうち比較的大きなものを指摘する。これはすべての誤りのリストではないし

前回と前々回のエントリーには、思ったより多くのアクセスをいただき、ありがとうございました。どうも「はてなブックマーク」の特集の「技術ブログ」というところに載ったのが理由のようです。 いつもの悪い癖で長々と書いてしまいましたが、三行で要約を試みます。 1. データベース設計には第一～第三正規化というのを用いる 2. 第一～第三正規化とは、以下のとおりである 第一正規化…表を必ず一行一レコードになるようにする 第二正規化…全ての項目を決定する主キーを選定する。もし主キーが複数の項目の組み合わせとなる場合、主キーの一部によって決定される項目を、別の表に分ける 第三正規化…主キー以外の項目によって決定される項目がある場合、それも別の表に分ける 3. 私の疑問というのは、次のようなものである。第二正規化が完了した後、すなわち第三正規化の段階においても、複数の項目の組み合わせによって決定される項目があ

主張 縦軸に目盛のない棒グラフや折れ線グラフを描くのはやめよう。 棒グラフ 以前の職場でよく見かけた棒グラフがこのようなものでした。 これは万能棒グラフです。 2007-10-22 - 定義すれば存在する 目盛のベースラインが 0 スタートでなくてもいい 目盛線は省略していい という風に棒グラフを書いてしまうとどんなデータにもあてはまる、万能棒グラフができあがります。 どんなデータにもあてはまるとは、つまりデータの特徴をなにも表せていない統計グラフということです。 統計グラフとしての機能をはたしません。 折れ線グラフ また、このような折れ線グラフもよく見かけました。 ここで、折れ線グラフは縦軸の幅を広くとれば大きな差を小さくみせ、狭くとれば小さな差を大きく見せることができることに注意してください。 縦軸に目盛がないと、この目盛操作に気づくのは困難です。 退職の理由 わたしは新卒で Web

つべよりhttp://www.youtube.com/watch?v=Q4gTV4r0zRs&feature=player_embedded

遺伝的アルゴリズムを使ってスーパーマリオブラザーズをコンピュータに学習させて見ました。研究室の夏休みの自由研究で作ったものです。グラディウス編:sm19443458

著者の定義によると、アルゴリズムとは「問題を解決するために必要な手順を正確に規定したレシピ」である。コンピュータ・サイエンスを専門とする大学教授の手による本書は、現在当たり前のように使われている偉大なコンピュータ・アルゴリズムがなぜ必要とされたのか、どのように考え出されたか、そして、それが実際にどのような仕組みで動いているのかを教えてくれる。 このように紹介すると、コンピュータやプログラミングが苦手な人は手が遠のいてしまうかもしれないが、どうかご安心を。本書を楽しむのに、コンピュータプログラミングやコンピュータ科学の知識は必要ない。必要なのはじっくりと考えることだけだ。 一口にサイエンス本といっても面白いポイントはそれぞれに異なるが、本書の面白みは間違いなく、過去の偉人たちの難問への挑戦を疑似体験できるところにある。その面白みを満喫するためにも、頭から煙を出しながらじっくりと考えながら読む

http://d.hatena.ne.jp/JavaBlack/20050909/p1の改訂．*1基本的に改訂版への差し替えと一部の新刊の追加程度になっている． お奨めのJava＆オブジェクト指向プログラミング関連の書籍／参考文献リスト．初心者向け入門書や参考書から上級者向けの専門書まで，オブジェクト指向だとかJava言語とかの初心者〜中級者が学習をすすめる上での参考にすることを想定して作っている． 初心者向け勉強の手引き：http://d.hatena.ne.jp/JavaBlack/20070825/p1 オブジェクト指向プログラミング とりあえず初心者なら「オブジェクト指向プログラミング入門」「オブジェクト指向における再利用のためのデザインパターン」と，あと「リファクタリング―プログラムの体質改善テクニック (Object Technology Series)」くらいかな．ただしリフ

「アルゴリズムの勉強のしかた」http://nowokay.hatenablog.com/entry/20110922/1316676007 これを見て強烈な違和感を覚えたので，自分の意見も書いておくことにする．*1 アルゴリズムはとても重要だ．これは間違いない．プログラミングを志す者ならば，必ず学んでおかなければならない基礎知識の一つだ．DBやJavaを使ってるのに「ハッシュも平衡木もB木も知りません」なんて開発者がいるのは，日本IT業界の恥だと思ってる． プログラマが知るべき97のこと 作者: 和田卓人,Kevlin Henney,夏目大出版社/メーカー: オライリージャパン発売日: 2010/12/18メディア: 単行本（ソフトカバー）購入: 58人 クリック: 2,107回この商品を含むブログ (350件) を見る89. Use the Right Algorithm and Da