先日、博士（情報学）になりました。学部と大学院をあわせた 9 年間で読んだ情報科学関連の教科書・専門書を思い出を振り返りつつここにまとめます。私は授業はあまり聞かずに独学するタイプだったので、ここに挙げた書籍を通読すれば、大学に通わなくてもおおよそ情報学博士ほどの知識は身につくものと思われます。ただ...
論理学とその周辺領域の本を並べてみた*1．この記事にあげる本は，何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2．ただし，原語版は手に取ったことがあるが，日本語訳はそうではない，またはその逆という場合はある． すべての本に対してコメントをしきれていないので，周...
数理論理学を初めて学ぶ人へのブックガイド なんらかのきっかけで数理論理学に興味をもって、これから勉強していきたい、という人に向けてのブックガイドを書きました。 論理学と名のつく教科書、論理学について解説した教科書は多数あります。また、インターネット上にはそれらを紹介した記事も多数存在します。この記...
著者：戸田山 和久出版社：名古屋大学出版会装丁：単行本（ソフトカバー）（442ページ）発売日：2000-10-10 ISBN-10：4815803900 ISBN-13：978-4815803902 内容紹介: 論理学って、こんなに面白かったのか！ 出来あいの論理学を天下り式に解説するのでなく、論理学の目的をはっきりさせた上で、それを作り上げていくプロ...
curryhoward2020.md この記事はTSG Advent Calendar 2020の14日目の記事です。昨日の記事はJP3BGYさんのPXE BootとIntel DCIを用いたLinux Debug環境でした。 はじめに カリー＝ハワード同型対応ってかっこいいけど、何のことだかよくわからない。わたくし昆布の現時点での（偏った）理解を、疑似コードを交えて説明して...
「コペンハーゲン解釈」「多世界解釈」だけではない、量子力学の解釈を10個にまとめてみた『量子力学の諸解釈』 混迷する物理学が面白い。 原子や電子といった小さなスケールで世界を考えるとき、常識が通用しなくなっている。観察対象には実体があって、位置や速度を持っているという、当たり前のことが成立しなくなっ...
恋と禁忌の述語論理【電子書籍】[ 井上真偽 ] 価格: 946 円楽天で詳細を見る ・レッスンI「スターアニスと命題論理」 「毒殺と事故死を論理的に見分けることは可能か」。八角（スターアニス）入りカレー料理を食べて毒殺され、豊富な植物知識を持つ清楚な花屋探偵、藍前あやめが動機を重視して見事解決した事件。主人公...
古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」...
ちゅらデータの k.ueda です。8日と22日に引き続き、ちゅらデータ Advent Calender 3回目のエントリーです。23日目の記事では形式検証の話をします。 モデル検査とは システム（ソフトウェア）が正常に動くかどうかを確かめることは重要です。意図しない動作があり得たり、意図した動作が実現しなかったりすると大変に困...
このたび本を出させてもらうことになりました。オフィシャルには12月10日発売のようですが11月末くらいから出回るのではないかと思います。 www.showado-kyoto.jp 昭和堂の「3STEPシリーズ」の1冊です。見本がすでに手元にありますが表紙の蛍光色がものすごいです。気に入っています。 大学の教養レベルで使われる教科書...
「古典論理」に関連する商品は見つかりませんでした