文献

J-GLOBAL ID：201902273249269230   整理番号：19A1140915

連続モナドのためのkleisliカテゴリーによる異なる型関係の構成【JST・京大機械翻訳】

Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad

著者 (2件)： Nishizawa Koki (Department of Information Systems Creation, Faculty of Engineering, Kanagawa University, Yokohama, Japan) ,  Tsumagari Norihiro (Center for Education and Innovation, Sojo University, Kumamoto, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11194  ページ： 97-112  発行年： 2018年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 著者らは,ある条件の下で異なるタイプの関係概念を構成する方法を与える。例えば,通常の二値関係,上方閉じた多関係,通常の(おそらく非閉鎖)多関係,量子値関係,および確率的関係である。著者らの鍵となるアイデアは,いくつかのカテゴリにおけるいくつかの真実値に基づく一般化された述語変圧器としての関係概念を表現し,それをいくつかの連続化のためのKleisli列として表現することである。これらの関係概念を構成する方法は,異なるKleisliカテゴリ間の同定オブジェクト忠実度関数により与えられる。著者らは,そのような同定対象忠実度関数を持つ必要十分条件を与えた。Copyright 2018 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *連続化 ,  変圧器

分類 (2件)： その他の情報処理  (JE15050M) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： モナド ,  カテゴリー ,  型