2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理です。さまざまな動機から生まれたさまざまな様相論理がありますが、コンピュータサイエンスにおいてはCTL(computation tree logic)、様相ミュー計算(modal μ-calculus)、PDL(propositional dynamic logic)といった様相論理がよく研究されています。CTLは、たとえば「Aが起こればその後いつかはBが起こる」のような、時間とともに変化する真偽を細かく記述できるので、

「第二の不可能」を追え! ――理論物理学者、ありえない物質を求めてカムチャツカへ 作者:ポール・J・スタインハート発売日: 2020/09/03メディア: 単行本2011年のノーベル化学賞を受賞したのは準結晶の発見をしたシェヒトマン博士だった。「準結晶」とは、説明が難しいのだけど、純粋な結晶ともランダムな構造を持つ非晶質とも異なる、(準結晶の発見以前からすると)新しい結晶の構造のことである。それまでの結晶学の常識では、どの鉱物を調べても、基本的な構成要素は四面体か、三角柱か、平行六面体のいずれかであり、それ以外はありえないと思われていた。 たとえば、単純化して考えると、三角形、長方形、平行四辺形、正方形、六角形のタイルは平面に隙間なくタイルを敷き詰めることができる。だが、正五角形は隙間なくタイルに敷き詰めることはできない。三次元の結晶は二次元タイルよりも複雑になるれども、科学者は三角形、長

人間が「どうなっているか」と、人間が「どうあるべきか」の間で問いつづける哲学『人間の解剖はサルの解剖のための鍵である』 わたしの人間観を更新する一冊。 もっと正確に言うと、進化心理学・行動経済学・認知科学の研究を通じ、わたしが抱いている「人間とはコレコレである」人間観がアップデートされつつあることを教えてくれる。 本書は、吉川浩満氏の論文・インタビュー集である。発表媒体によりモチーフは異なれど、テーマは「人間とは何か？」になる。「人間とは何か？」という問いかけを、「人間がどのように”見える”か？」という人間観にした上で、その変遷を、人工知能、認知バイアス、利己的遺伝子、人新世という様々な斬り口から掘ってゆく。 よくあるサイエンス・ノンフィクションと異なるのは、「（人が）どうなっているか」の科学的解説に、道徳哲学の「（人が）どうあるべきか」議論をぶつけているところ。おかげで、認知科学の進展を

Techable サイト閉鎖のお知らせ 長らくのご利用、誠にありがとうございました。 当サイトは2024年12月31日をもちまして閉鎖いたしました。 これまでのご支援に心より感謝申し上げます。

面白い本の探し方を教えよう。 図書館限定だが、的中率は100パーセントだ（ソース俺）。面白いかそうでないかは、もちろん好みによる。読書経験やそのときの興味、コンディションによっても左右される。だが、誰かを夢中にさせた本なら、あなたを虜にするかもしれない。手に取る価値は充分にある。 では、「誰かを夢中にさせた本」をどうやって見つけるか？書店の新刊と違って、図書館なら、ちゃんとその跡が残っている。 それは、本の「背」。本のてっぺん（天）から背を眺めてみよう。少し斜めになっているはずだ。本を開くと、表紙に近いページが引っ張られ、背がひしゃげる。本を閉じると、引っ張られたページが戻ろうとする。つまり、一気に読まれた本の背は、ひしゃげたまま戻らなくなる。途中で放り出されたり、中断をくり返したなら、新刊本のように真っ直ぐなまま。 試みに、ちょい昔のベストセラーを見るといい。気の毒なくらいひしゃげている

量子力学の反常識と素粒子の自由意志 (岩波科学ライブラリー) 作者: 筒井泉出版社/メーカー: 岩波書店発売日: 2011/04/28メディア: 単行本（ソフトカバー）購入: 39人 クリック: 1,089回この商品を含むブログ (12件) を見る おもしろい！　たまたまいまグリーン『隠された宇宙』を読んでいて、だれも観察できなくても、数式が存在するといったらそれは存在するのだという議論を延々と読まされ、首をかしげていたところだけれど、本書は観察されていないものは（それが月であっても）存在していないのだという話。さらにそこからあらわれるパラドックスについての説明のための仮説として、ぼくたち（そしてなんと、素粒子！）の自由意志が出てくるところは、まったくの不意打ちで驚愕。 観察したときには何があり、しないときにはない、というとパラドックスが生じるけれど、それは観察がランダムに、人の自由意志に

2013年09月08日17:30 カテゴリ書評/画評/品評SciTech NOのNOは脳 - 書評 - 単純な脳、複雑な「私」 著者本人より献本御礼。 単純な脳、複雑な「私」 池谷裕二 2009.05.12 初出。原著に対する書評 2013.09.08 ブルーバックス版に更新 自筆サイン付き!(^o^)v←ゲシュタルト群化 そのサインには、「今回の本は一番気合いを入れて書きました」とある。「進化しすぎた脳」の著者がここまで言うからには、面白くないわけがない。 面白く「ない」わけが「ない」? 「面白い」と「面白くないわけがない」の違いは一体なんだろう? そこにこそ、単純な脳が、複雑な心を生み出す仕組みがあった。 「ゲーデル・エッシャー・バッハ」以来の Eye-opener, いや Mind-opener と認めるのに私は「やぶさか」では「ない」。 本書「単純な脳、複雑な「私」」は、今日本で最

2009年05月26日16:00 カテゴリ書評/画評/品評Psychoengineering 生まれつきの悪人はいるのか? - 書評 - 悪の遺伝子 イースト・プレス石井様より献本御礼。 悪の遺伝子 Barbara Oakley / 酒井武志訳 [原著:Evil Genes] 実はゲラ段階より拝読している。オビを書くためである。以下がそのオビである。 遺伝子が脳を生み、脳が行動を生み、そして行動が善悪を生むのだとしたら、悪の遺伝子は確かに存在しうる。しかしそれは、「二十世紀最悪の思想」である優生学の復活なのか? 悪女な姉を持った著者の「内なる旅」の行き着く先は? 本書は心理学と大脳生理学の間に生まれた、おそるべき鬼子である。 本書「悪の遺伝子」は、タイトルどおり、遺伝子という、我々が先天的に与えられる、すなわち我々には選びようがないものが、いかに我々の行動を左右するかを、今までの「やったこ

2009年01月21日12:15 カテゴリ書評/画評/品評Math 不可能性・不確定性・不完全性 - 書評 - 理性の限界 なんとも素晴らしい一冊。 理性の限界 不可能性・不確定性・不完全性 高橋昌一郎 著者による「ゲーデルの哲学」も素晴らしかったけど、より「一般人も知っておくべき「不○×性」が、新書一冊に見事に収まっている。 本書「理性の限界」は、まさにタイトルどおり、理性が理性であるがゆえに生じる限界--実は矛盾を、理性的に留まらず感性的にも、理系にとどまらず文系にも届く言葉でまとめた一冊。 目次 - 理性の限界 不可能性・不確定性・不完全性 高橋昌一郎 講談社より 序章 理性の限界とは何か 第1章 選択の限界 投票のパラドックス / アロウの不可能性定理 囚人のジレンマ / 合理的選択の限界と可能性 第2章 科学の限界 科学とは何か / ハイゼンベルクの不確定性原理 EPRパラドック

2008年12月11日17:00 カテゴリ書評/画評/品評Medicine もはや心理物理学 - 書評 - 心の脳科学 中公新書編集部より献本御礼。 心の脳科学 坂井克之 その曖昧でおとなしい書名と、そして典型的な中公新書の地味な装丁からは想像できないほど、鮮やかで艶やかな一冊である。なにしろ、修辞抜きで心の動きを観ているのだから。 本書「心の脳科学」は、むしろ「心理物理学入門」とでも呼ぶべき一冊。 夢を「見る」のも夢じゃない！？　脳血流から画像再現、ＡＴＲが成功 : 経済 科学 ピックアップ : 関西発 : YOMIURI ONLINE（読売新聞） というニュースが本日出たが、本書に詰まっているのは、こういう知見である。 目次 - 手入力 第1章 外の世界、内の世界 第1節 未来の脳社会 第2節 脳の中の世界地図 第3節 脳のアナリスト 第4節 見ることと、見えること) 第2章 「わたし

■非対称の起源（ブルーバックス）　C. マクマナス（著）、大貫昌子（訳） ネットで評判の本はアマゾンで買っちゃうが、店頭で手にとって本を買う習慣もまだある。なかなか読書の時間がとれなくて積んでるだけの本も多くあるのだが、「この機会を逃すと二度と読めなくなるかも」と思うとつい買ってしまう。本書は訳者が購入の決め手になった。ファインマンさんシリーズを訳した人である。ブルーバックスはときにハズレがあるが、本書は面白く読めた。 本書が扱う内容は多岐にわたる。ヒト集団で右利きが多いのはなぜか？どの社会でも右利きが多いのか？心臓が左にあるのはなぜか？哺乳類は左右非対称だが、他の生物ではどうなのか？生物が利用するアミノ酸のほとんどがL型であるが、個体発生の過程で生じる非対称性と関係があるのか？そもそも、地球上の生物がL型アミノ酸を使うようになったのは理由があるのか？パリティ保存則の破れがアミノ酸の分布の