論理パズルとパズルの論理内容紹介 このパズルを解けますか？ この屁理屈に勝てますか？ 有名な超難問論理パズルをスイスイ解いたり、 難攻不落の屁理屈に勝つ方法を説明するやさしい論理の本です。 予備知識はいりません。 論理パズル・ソルバーＰＣａｌｃ ＰＣａｌｃは第６章の○×判定ゲームのアルゴリズムを使って、 論理パズルを自動的に解くＪａｖａアプレットです。 論理パズルのほとんどはこのソフトで解けます。 作者は神戸大学大学院の住友亮翼さんです。 ＰＣａｌｃは林晋研究室の証明アニメーションプロジェクトで住友さんが開発している ＰｒｏｏｆＷｏｒｋｓ という ソフトを元に作られています。 論理パズル３題 運転手はだれ？ 新幹線ひかり１０００号には，運転手，車掌，車内販売係の 佐藤さん，鈴木さん，田中さんが乗っています。 でも，名前と，職業の順番は一致していないので注意してください。 たとえば運転手の名前が佐藤さんとは限りませ
