Yahoo! JAPAN

2023/12/12 -この. 定理の証明は省略するが、その証明では有限積と解によって引き戻しが構成され、逆に引 ... 図 3 では左側にスキーマが、右側に実際のデータテーブルが載っている。

2024/1/25 -数学史上最大のミステリーと呼ばれた「フェルマーの最終定理」はどのようにして証明したのか。パンサー尾形貴弘が難解な数学の世界を大真面目に解説するNHKの知的 ...

2024/5/4 -数理論理学におけるレーブの定理 (Löb's theorem) は、ペアノ算術 (PA) (またはPAを含む任意の形式体系)において、任意の論理式Pについて、「PがPAで証明可能ならばPで ...

2024/3/28 -Prolog, 1972年、論理をベースにした言語Plannerと独立して、 より論理を重視したものとして開発された, 定理証明に似た導出一つの命題からのみなるホーン節に限定 ...

3日前 -最終的な証明は「エレファントな証明」になった. 東京 ... 350年間も数学者たちを悩ませた「フェルマーの最終定理 ... 物事を「母語のスキーマ」で考えている. なぜ英語で ...

2024/1/29 -本書では、上記の数・集合の概念の他に、数理論理・証明 ... 1.2 スキーマ 1.3 例 1.4 自然数学と形式数学 1.5 ... 定理，柔軟な思考 12.1 構造定理 12.2 数学的思考への ...

2024/3/6 -言語処理学会第25回年次大会発表論文集, D6-5, 名古屋大学, 2019. CCGと定理証明器を用いた画像情報の意味表現と推論の試み. 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介 ...

2024/1/9 -これは、ある公理における定義・定理の知識がスキーマとして獲得されている、もしくは未知の問題であっても知識の体系を予測するスキーマがあるということなんだな、と。

2023/11/25 -本稿ではそれをイメージとして考えて取り入れ、トレミーの定理、フェルマー点、ナポレオン点等の図形の性質を証明する。さらに最短シュタイナー(最短ネットワーク)問題にも ...

2024/2/5 -これらは、アプリケーションとデータベースのパラダイム間のインピーダンスのミスマッチを緩和するのに有効であることが証明されている、確立されたソリューションである。