2024/6/1 -公理図式（英：axiom schema、英複数形：axiom schemata）とは、数理論理学における用語で、公理を一般化した概念である。公理型とも訳される。
2024/6/18 -算術と様相論理に関する研究・論文セミナーを週に1回実施しています． 得られた研究成果や読んだ論文の内容の紹介をしております． 証明可能性論理と不完全性定理が ...
2024/5/2 -数理論理学におけるレーブの定理 (Löb's theorem) は、ペアノ算術 (PA) (またはPAを含む任意の形式体系)において、任意の論理式Pについて、「PがPAで証明可能ならばPで ...
2024/2/17 -定理の公理化を目的としています。 ZFC公理界は曖昧になるほど過度に広範な ... 1961年、Richard MontagueはZFC公理界が有限の命題で構成できないことを証明した。
2024/3/15 -色々な数学の定理の正しさをMizarシステムで計算機によってチェックする仕事をしています。これはMizar形式化数学と呼ばれる分野です。例えば、解析学、論理学、代数学など ...
2024/1/29 -1.2 スキーマ 1.3 例 1.4 自然数学と形式数学 1.5 人間の経験に基づいた形式的アイデアを構築すること 1.6 形式体系と構造定理 1.7 形式数学をより柔軟に使用する 第2 ...
2024/3/6 -第34回人工知能学会全国大会論文集, オンライン，2021/6/8-11. DTSの部分体系のための定理自動証明器の実装に向けて ... スキーマの設計. 川添愛, 齊藤学, 片岡喜代子 ...
2024/7/9 -CAP定理（CAP theorem）とは、分散システムのデータ管理に関する定理の一つで、データの一貫性とシステムの可用性、分散耐性の3つを同時に満たすことはできないというもの ...
2024/2/5 -これらは、アプリケーションとデータベースのパラダイム間のインピーダンスのミスマッチを緩和するのに有効であることが証明されている、確立されたソリューションである。
2024/4/11 -定理証明. 研究分野. 3. 情報通信 / 情報学基礎論 / 定理証明 · 自然科学一般 / 数学基礎 / 証明論 · 人文・社会 / 言語学 / 数理言語学. 主要な経歴. 3. 2023年4月 - 現在.