Weblio 辞書 > 英和辞典・和英辞典 > 集団災害医学用語 > Logical frameworkの意味・解説

意味

例文 (2件)

Logical frameworkとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳ロジカルフレームワーク

集団災害医学用語での「Logical framework」の意味

logical framework

ログフレーム [プロジェクト論理構造表](ろぐふれーむ（ぷろじぇくとろんりこうぞうひょう）)

出典元索引用語索引ランキング

「Logical framework」の部分一致の例文検索結果

該当件数 : 2件

例文

This results in a variety of models mechanizing abduction, namely within a probabilistic or logical framework.発音を聞く例文帳に追加

これは,確率論的または論理的フレームワーク内で, 仮説生成を機械化するさまざまなモデルを生み出す結果となる． - コンピューター用語辞典

例文

Marxist history (materialistic concept of history) tries to find out a universal rule of history based on the contradiction between the productive force and the relation of production, and the logical framework was applied to non-European regions as an explanation.発音を聞く例文帳に追加

マルクス主義歴史学（唯物史観）においては、生産力と生産関係の矛盾を基盤として普遍的な歴史法則を見いだそうとするため、この理論的枠組みを非ヨーロッパ地域にも適用して説明が試みた。 - Wikipedia日英京都関連文書対訳コーパス

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

Weblio英和対訳辞書での「Logical framework」の意味

Logical Framework

ロジカルフレームワーク

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

出典元索引用語索引ランキング

ウィキペディア英語版での「Logical framework」の意味

Logical framework

出典:『Wikipedia』 (2011/07/10 15:22 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving. The first logical framework was Automath, however the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle (theorem prover) are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.

出典元索引用語索引ランキング

「Logical framework」の意味に関連した用語

意味

例文 (2件)

英和辞書の「Logical framework」の用語索引

Logical frameworkのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。


	©日本集団災害医学会2024
Wikipedia	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLogical framework (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

Logical frameworkとは 意味・読み方・使い方

集団災害医学用語での「Logical framework」の意味

logical framework

「Logical framework」の部分一致の例文検索結果

Weblio英和対訳辞書での「Logical framework」の意味

Logical Framework

ウィキペディア英語版での「Logical framework」の意味

Logical framework

「Logical framework」のお隣キーワード

Logical frameworkとは意味・読み方・使い方