2024/3/28 -Gödelは、1992年に開発された言語で、不完全性定理の提唱者として知られている論理学者ゲーデルが残したプログラミング言語です。算術的命題の中には、証明も反証も ...
2024/3/6 -言語処理学会第25回年次大会発表論文集, D6-5, 名古屋大学, 2019. CCGと定理証明器を用いた画像情報の意味表現と推論の試み. 鈴木莉子, 谷中瞳, 峯島宏次, 戸次大介 ...
2024/4/11 -定理証明. 研究分野. 3. 情報通信 / 情報学基礎論 / 定理証明 · 自然科学一般 / 数学基礎 / 証明論 · 人文・社会 / 言語学 / 数理言語学. 主要な経歴. 3. 2023年4月 - 現在.
2024/2/26 -スキーマ誘導方式を用いたシークェント形式汎用定理自動証明器の開発. 情報科学 ... スキーマ誘導型証明システムのための効率的なスキーママッチングアルゴリズム. 電気 ...
2024/3/25 -この定理を利用すれば、以下のような手順で転置索引 ... 証明は複雑なので [Lemma 4.4, Xiao et al. TODS ... 宣言的DBスキーマ管理ツールの導入 · はてなブログ開発ブログ ...
2024/3/25 -... スキーマとして用いられている。この論文でも、「p ... 証明は以下の通りである。まずは、(1). D((P0&L) ⊃ P ... 定理が表す規則性であるという、法則について. の最善の ...
2024/5/2 -学び、平均値の定理、テイラーの定理を証明し、微分. 可能な関数が多項式で近似できることを理解します。 積分法では、積和の近似で積分を定義し、微積分の. 基本定理を ...
2024/5/14 -暗号論的ハッシュ関数とゼロ知識証明を使ってプロセスごとに固有の乱数を内密に生成し、その値が既定のしきい値 λ λ より小さければ当選というスキーマの委員会選出を行う ...
2024/3/31 -DA03685-2004 定理証明システムを用いたコンパイラの検証と実装 / 大熊浩示 [著]; DA03684-2004 Efficient mobility management methods for mobile communication ...
2024/3/25 -ゲーデルの不完全性定理（1931年）によってこのプログラムが実行不可能であると受容された後，ゲンツェンが有限の立場を拡張することでペアノ算術の無矛盾性を証明した( ...