今日、twitterで @mr_konn さんがこのような発言をなされました。……ほほぅ…………というのはウソですが、これくらいの論理パズルが向かないってことはないだろー。 と思い、解いてみました。ちなみに、カロタンパズルはこんなの（こちらから引用）。 カロタンは…

『レイトン教授 奇跡の仮面』では毎日パズルを配信してくれるんだけど、レイトン教授と奇跡の仮面(特典なし) - 3DS出版社/メーカー: レベルファイブ発売日: 2011/02/26メディア: Video Game購入: 6人 クリック: 49回この商品を含むブログ (33件) を見るその…

もうすっかり放置してしまっているはてなですが、さすがにこの記事を書かないまま放置するのはまずい。ので一言だけ書いておきます。"Software Abstractions"（通称Alloy本）の邦訳しました。現在、全国各書店で発売中です。抽象によるソフトウェア設計−Allo…

以前、"Software Abstractions"翻訳のレビュワーを募集しましたが（"Software Abstractions"翻訳本のレビュアーを募集します - たけをの日記＠天竺から帰ってきたよ）、予想よりたくさんのご応募いただきました。元々は片手で数える程度の方にお願いするつも…

Alloy本翻訳のレビュワー募集記事で、過去に自分が「かけっこのパズル」をAlloyで解いた記事を参照したのですが… 参考） 駆けっこのパズルをAlloyで解く （Alloyチュートリアル風） - たけをの日記＠天竺から帰ってきたよ 長男に教わったパズル - 檜山正幸の…

注：既に募集は終了しました。参考：こちら twitterではぼそぼそとつぶやいていましたが、現在下記の本の翻訳を進めています。Software Abstractions: Logic, Language, and Analysis作者: Daniel Jackson出版社/メーカー: The MIT Press発売日: 2006/03/24…

うみねこのなく頃にep8感想、続き。あの後ぼんやりと考えていたことを記す。

前回のエントリーがep7感想ってどうなんよ俺。半年全然書かんかったと言うことか。ひどいな。 ええと、今年もよろしくお願いします。 とりあえず、「うみねこのなく頃に」ep8やったよ、という一言だけ書きたかったのです。 以下、さらっと思いつくままに。深…