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

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