たかじんNOマネーに柴田哲孝が出演するという情報をキャッチした。 ゲスト：柴田哲孝、ベンジャミン・フルフォード 陰謀論マネー 番組ホームページの次回放送内容にも出ていたが、今見ると消えている。 予定変更になったのかもしれないし、どんな内容かも知…

前回に続いて、抽象によるソフトウェア設計−Alloyではじめる形式手法− の練習問題を考える。 A.3.5 「ヤギ、キャベツ、狼」一人の農夫が、一頭のヤギと、一玉のキャベツと、一匹の狼を川の向こう側に運びたい。しかし彼のボートには一度に一つしか載せるスペ…

「抽象によるソフトウェア設計」を読んだ。 内容が難しい上にAlloyの記述形式に馴染めないので、読むのに時間が掛かった。 説明のための例としてアドレス帳を取り上げているのだが、アドレス帳の仕様記述には何の興味も湧かないので退屈だった。説明する側か…

下山事件で検索していると、次のページが見つかった。 終戦直後、朝鮮人が日本人にしたこと。(具体例) この中に、昭和21年に下山定則が東京鉄道局長のとき、三国人から暴行を受けた話が出ている。 しかし事実誤認と思われる点が二つある。 一つは、睾丸破裂…

昼に散歩から帰ってテレビをつけると、香川照之が刑事コロンボの犯人役の吹き替えをやっている様子が映っていた。香川照之は小学生の頃から刑事コロンボを文庫で読んでいたほどの大ファンなのだそうだ。 それを聞いて俺と同じだと思った。 俺も小学生の頃か…

年賀状についての疑問点の続きです。先月、国会図書館で昭和34年の末広旅館に関する新聞記事を縮刷版で確認してきました。 その記事によれば、末広旅館は昭和31年に廃業しているようです。記事の中の該当する文を引用します。 旅館も事件以来パッタリと客足…

昨日、詰将棋パラダイスの10月号が突然届いていたので何かと思ったら、坂東詰め将棋の採用通知が入っていた。六月に応募していたけど忘れてた。いい機会なので、坂東市まで見に行こうと思っている。というか、見に行く理由を作るために作品を送ったのだった…