書評：アンダースタンディングコンピュテーション - 西尾泰和のはてなダイアリー
監訳者のささださんから「アンダースタンディング コンピュテーション―単純な機械から不可能なプログラムまで」を頂いたので紹介。 「プログラムの『意味』とは何か？」という抽象的な問いに真っ向から挑む本。プログラムの「意味」には、「それによって計算機がどう操作されるか」で表現する方法と、「それを別の（もっとシンプルな）言語に変換するとしたらどうなるか」で表現する手法とがある。本書ではこの２つの手法があることを解説し、それぞれの手法について深堀りしていく。 「計算機がどう操作されるか」路線では、もちろん次に「『計算機』って何だ？」という問いに挑む必要性が出てくる。まずは能力の劣った計算機である「決定性有限オートマトン」から初めて、それが正規表現というある種のプログラミング言語とどういう対応の仕方をしているのかを解説するのにまる1章割いている。このストーリー仕立ては面白い。 その後、有限オートマトン
家事と「認識ギャップ」の存在、そしてバックワードチェイニング - 西尾泰和のはてなダイアリー
nyagai: 我慢出来ない方の負け。。とＵさんに教えて貰ったなぁ。。 RT @nontapapa: 逆に男子はやったもん勝ちかも…RT @sauza3: 未婚女子たちへ。いいかー、よく聞け。家事はやったもん負けだからな。 に対して nishio: 女性が「家事をやったほうが負けだ」とか思って散らかった不愉快な状態にイライラしながら耐えている間、男性のほうは散らかった状態を不愉快と思うどころか快適だと思っている。もちろん男性にもきれい好きな人はいるけど、散らかす男性は基本的に不衛生の耐性が強い。 とTweetしたのだが、これを機会に説明しておこう。 もちろん男性の中にもきれい好きな人はいる。僕には僕のことしかわからない。で、僕みたいな「興味を持ったことには時々ものすごい集中力を発揮する」「でも普段はどっか抜けてる」「そして部屋がちらかっている」という特性を持っている男性は、世の中の平均的な
焼畑農業をやめるために---新卒準備カレンダー 2011春 - 西尾泰和のはてなダイアリー
by Lior Shapira under CC BY-NC-ND 2.0 このエントリーは新卒準備カレンダー 2011春という、みんなで仕事に関して自分が考えることなどをエントリーに書いていく企画で書かれたものです。 渋川さんの話を聞く会のつもりが、なぜかいつの間にか名前入りで「新卒準備カレンダー 2011春 : ATND」を作られていたので、空気を読まずに農業の話をします！！ お前だれよ？ 西尾泰和と申します。サイボウズっていうグループウェアの会社のサイボウズラボっていう研究部門子会社で、まあ研究とかをしています。一番最近のアウトプットはこのブログの右サイドバーに出ている「 Amazon.co.jp： WEB+DB PRESS Vol.60」で「言語設計の基礎知識」という特集を書いたことかな。そうそう、3年くらい英語版のプロフィールページしか更新していなかったら3年前の日本語版を最新版
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
