>シリーズ パズルランドのアリス1" title=">シリーズ パズルランドのアリス1">>シリーズ パズルランドのアリス1作者: レイモンド・M・スマリヤン,市場泰男出版社/メーカー: 早川書房発売日: 2004/02/26メディア: 文庫購入: 9人 クリック: 20回この商品を含む…

決定不能の論理パズル―ゲーデルの定理と様相論理作者: レイモンドスマリヤン,長尾確,田中朋之出版社/メーカー: 白揚社発売日: 1990/11メディア: 単行本 クリック: 6回この商品を含むブログ (12件) を見る様相論理の面白さを味わうことができる一冊．絵が全く…

さて，今週は高専体験実習の準備に明け暮れています． ひとまず，第1章は大幅改訂というか，元の第1章を第2章として，新しく第1章を書き加えた． そこでは，論理パズルを整数計画法で解くということをわざわざする．練習のために． 例えば，次はスマリヤンの…

なんか段々膨らんでいく…．1週間に2回ある実験の両方とも抜けるということは避けるように予定を組んでるけども，今のところ毎週どちらかはいない感じになっている．いや，毎週じゃなかった．コンプ研，アルゴ研のある週は両方ともいられそう．今のところは．