Scalaで論理体系を作る話 - 1. 命題論理その1 - Qiita

2019/01/09 23 users SCA Qiita Scala 実験 集合論

Scalaの型システムには興味深い型が存在します。Scalaの型で述語論理を表現できないか、表現できるとしたら集合論をScalaで書けてしまわないだろうか、という興味から、Scala-proofsというプロジェクトを立ち上げて実験をしています。この記事は、Scala-proofsの中で使用する論理体系の表現手法について解説します。 Sca... 続きを読む

『理論から学ぶデータベース実践入門』の間違いを指摘する - Qiita

2017/01/02 125 users Qiita リレーショナルモデル 理論 データベース実践入門

『 理論から学ぶデータベース実践入門 』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。 しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家... 続きを読む

新･あいまいな本日の私: 一階述語論理と集合論は循環している？

2013/06/29 72 users 集合論 本日 公理 構造 意味論

2013年6月29日土曜日 一階述語論理と集合論は循環している？ お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの構造になっていないのでしょうか。 ... 続きを読む

RDFとセマンティック･ウェブの現在

2005/06/16 113 users セマンティック RDF オントロジー unicode URI

セマンティック・ウェブのレイヤーケーキ URI, Unicode, XMLを基盤に ウェブの蓄積をベースにグローバルなデータ（OpenWorld）を扱う マシンが読める形でデータや知識を共有 RDFによるシンプルで柔軟なデータ形式 RDFS 、オントロジーによる語彙と知識の記述 推論規則と論理フレームワーク 述語論理、記述論理を用いた推論、高度な検索 検索結果をエージェントが判断してさらに処理を継... 続きを読む