「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）』はベストセラーとなった。 エーコは学術書や論文、児童書、エッセイなども著した。サンマリノ共和国大学コミュニケーション学科創立者、ボローニャ
このような推論を「仮定 $P \rightarrow Q, Q \rightarrow R$ から結論 $P \rightarrow R$ が導かれた（略記：$P \rightarrow Q, Q \rightarrow R \vdash P \rightarrow R$）」とモデル化して分析するのが論理学である。じっさい真理値表を書いてみれば $(P \rightarrow Q) \land (Q \rightarrow R) \rightarrow (P \rightarrow R)$ がトートロジーになることが分かる。 いま見たように命題論理は命題の内部構造については関知せず、もっぱら命題と命題の関係を調べる。一方述語論理は命題論理を拡張して命題の内部構造についても扱えるようにした論理である。それによって次のような分析が可能になる。 この推論を述語論理でモデル化すると「$\foral
前回と前々回のエントリーには、思ったより多くのアクセスをいただき、ありがとうございました。どうも「はてなブックマーク」の特集の「技術ブログ」というところに載ったのが理由のようです。 いつもの悪い癖で長々と書いてしまいましたが、三行で要約を試みます。 1. データベース設計には第一～第三正規化というのを用いる 2. 第一～第三正規化とは、以下のとおりである 第一正規化…表を必ず一行一レコードになるようにする 第二正規化…全ての項目を決定する主キーを選定する。もし主キーが複数の項目の組み合わせとなる場合、主キーの一部によって決定される項目を、別の表に分ける 第三正規化…主キー以外の項目によって決定される項目がある場合、それも別の表に分ける 3. 私の疑問というのは、次のようなものである。第二正規化が完了した後、すなわち第三正規化の段階においても、複数の項目の組み合わせによって決定される項目があ
主張 縦軸に目盛のない棒グラフや折れ線グラフを描くのはやめよう。 棒グラフ 以前の職場でよく見かけた棒グラフがこのようなものでした。 これは万能棒グラフです。 2007-10-22 - 定義すれば存在する 目盛のベースラインが 0 スタートでなくてもいい 目盛線は省略していい という風に棒グラフを書いてしまうとどんなデータにもあてはまる、万能棒グラフができあがります。 どんなデータにもあてはまるとは、つまりデータの特徴をなにも表せていない統計グラフということです。 統計グラフとしての機能をはたしません。 折れ線グラフ また、このような折れ線グラフもよく見かけました。 ここで、折れ線グラフは縦軸の幅を広くとれば大きな差を小さくみせ、狭くとれば小さな差を大きく見せることができることに注意してください。 縦軸に目盛がないと、この目盛操作に気づくのは困難です。 退職の理由 わたしは新卒で Web
トップページに戻る 日記の目次 最新の日記 谷山浩子さんのページ ご意見はこちらへどうぞ [2006年12月11日] Ver1.1 Generic拡大の基本定理の証明追加。 [2006年6月7日] Ver1.0 集合論雑記の強制法に関する部分はPDFファイルにまとめました。2006年5月3日版の誤り等を修正しました。 詳細に関しては2006年6月8日の記事 を参照して下さい。 (2006年6月19日) 16ページの「反映の原理」の説明で「公理」と記述すべ き部分が「論理式」となっていたのを修正。 http://evariste.jp/kagami/diary/0000/forcing-1.1.pdf http://evariste.jp/kagami/diary/0000/forcing-1.1.tex [目次]
つべよりhttp://www.youtube.com/watch?v=Q4gTV4r0zRs&feature=player_embedded
as詳解 ActionScript 3.0アニメーション ―衝突判定・AI・3DからピクセルシェーダまでFlash上級テクニック を読んでいて、経路探索のアルゴリズムで A* が取り上げられていました。A* については、いろいろ検索して調べたりもしたのですが、やっぱり本に書いてあると理解しやすいですね。せっかくなので自分流に実装してビジュアライズしてみました。ダイクストラ法まずは A* の特別なケースでもあるダイクストラ法から見ていきます。クリックすると探索のシミュレーションが開始します。スタート地点(S)からゴール(G)への探索が始まります。色がついたところが「最短経路が決定した場所」です。スタート地点から少しずつ探索が完了していきます。半分ぐらい完了しました。まだまだ進みます。最後まで終わりました。最短経路を黒色矢印で表示しています。ダイクストラ法は、スタート地点から近いノード(=マス
遺伝的アルゴリズムを使ってスーパーマリオブラザーズをコンピュータに学習させて見ました。研究室の夏休みの自由研究で作ったものです。グラディウス編:sm19443458
著者の定義によると、アルゴリズムとは「問題を解決するために必要な手順を正確に規定したレシピ」である。コンピュータ・サイエンスを専門とする大学教授の手による本書は、現在当たり前のように使われている偉大なコンピュータ・アルゴリズムがなぜ必要とされたのか、どのように考え出されたか、そして、それが実際にどのような仕組みで動いているのかを教えてくれる。 このように紹介すると、コンピュータやプログラミングが苦手な人は手が遠のいてしまうかもしれないが、どうかご安心を。本書を楽しむのに、コンピュータプログラミングやコンピュータ科学の知識は必要ない。必要なのはじっくりと考えることだけだ。 一口にサイエンス本といっても面白いポイントはそれぞれに異なるが、本書の面白みは間違いなく、過去の偉人たちの難問への挑戦を疑似体験できるところにある。その面白みを満喫するためにも、頭から煙を出しながらじっくりと考えながら読む
あなたが一番好きなアルゴリズムを教えてください。 また、その理由やどんな点が好きなのかも教えてください。
テキスト処理を中心にやっていましたが、画像処理に興味が出てきて、さっそくアプリを作りました。もともと下の記事のあたりでユーザーとして画像処理に興味を持って、当然の流れながら、自分でもつくってみようと。 Color Splash + TiltShift Generator + Instagramの写真加工が面白い。 - このブログは証明できない。 で、何かを間違えて、普通の画像処理ではなく、カメラの映像をリアルタイムに加工しはじめました。そうすると、パフォーマンスがかなりシビアなんですね。 iPhoneでカメラの映像をリアルタイム画像処理してみる。 - このブログは証明できない。 全ピクセルを操作しなければなりませんから、ループをたくさん回す必要があります。なんとか高速化できないかと考えてみたところ、あっさり高速化に成功しました。私が気づくぐらいですから、初歩の初歩なんだと思います。 追記：
C言語やC++,Javaにはvolatileという修飾子があります。組み込み系ソフトウェアやマルチスレッドのアプリケーションを書いている方にとっては、なじみ深い存在ですが、そうでない方にはあまり縁がないのかもしれません。しかし、volatileの使い方や存在意義を知らないままコーディングを行うと、思わぬバグを引き起こす場合があります。今回は、そのvolatileキーワードについて簡単に説明したいと思います。 volatileは初期のCであるK&Rには含まれていませんでしたが、ANSI C(C89)以降のC標準規格にはconstと一緒に含まれるようになりました(constとvolatileをあわせてcv修飾子と呼ぶこともあります)。一般的なCなら必ず備えている修飾子です。 volatile修飾子の意味ですが、「プログラミング言語C ANSI規格準拠」によると、 volatileの目的は，黙っ
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く