抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Monadsはコンピュータ科学において一般的であり,Beckの分配則を用いて構成できる。残念なことに,分配法則を見つけることは,非常に難しく,誤差を起こしやすい。文献は分配則を構築するためのいくつかの一般的な原理を含んでいる。しかし,今まで,分配則が存在しない場合,そのような技術は存在しない。2つのモナド間の分布則がないときを示すための3つの定理を示した。第一は,Plotkinに起因する反例を広く一般化する。それは,モナドの特定の対のためのすべての以前の既知のノゴー結果をカバーして,多くの新しい結果を含んでいる。第2および第3族は,様々な新しい実用的状況を網羅する完全に新しいものである。例えば,リストモナがそれ自身にわたって分布するかどうかの未解決の疑問を負に解決し,文献において以前に観察されない誤差を明らかにし,分散法則に関する最初の論文でBeck him自身によってなされた予測を確認した。さらに,著者らは,2つのモナドの間の1つの可能な分配法則が,ユニークである様々な既知の分布則を証明できる条件を確立した。【JST・京大機械翻訳】