アルゴリズムの構造を反映する数理モデルの構成と応用

• Material Type: 文書・図像類
• Title: アルゴリズムの構造を反映する数理モデルの構成と応用
• Author/Editor: 倉田, 俊彦; KURATA, Toshihiko
• Author Heading: 倉田, 俊彦; https://nrid.nii.ac.jp/nrid/1000040311899/; KURATA, Toshihiko
• Publication Date: 2011-05
• Publication Date (W3CDTF): 2011-05
• Alternative Title: Mathematical semantics of the internal structure of algorithms
• Periodical title: 科学研究費補助金研究成果報告書
• Pages: 1-5
• Text Language Code: jpn
• Subject Heading: プログラム意味論; ラムダ計算; 型理論; 層論; 領域理論; 外延性; 高階遂次性; Kripkeモデル
• Target Audience: 一般
• Format (IMT): application/pdf
• Source: 12_kaken_2010_kurata.pdf （fulltext）; https://hosei.ecats-library.jp/da/repository/00008096/12_kaken_2010_kurata.pdf
• Access Restrictions: 限定公開
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 法政大学 : 法政大学学術機関リポジトリ

• Summary, etc.: 研究成果の概要 (和文) : 本研究において得られた重要な成果としては,広く知られる集合の層の概念においてSets(集合と関数の圏)の部分をCpos(完備半順序集合と連続関数の圏)に置き換えることによって,自然な形で完備半順序集合の層とその上の自然変換が構成する圏Cpos(X)の枠組を構築できたこと...