• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 19700012
Research InstitutionHosei University

Principal Investigator

倉田 俊彦  Hosei University, 経営学部, 教授 (40311899)

Keywordsプログラム意味論 / ラムダ計算 / 層論 / 領域理論
Research Abstract

これまでの考察において, 完備半順序集合の層の概念を導入し, 「これが十分な大域元を持たないカルテシアン閉圏の構造を与えていること」と, 「その間に定義される任意の連続関手に対して不動点となる層を構成できること」を示した. これらの性質は「プログラムの内包構造を捉えることのできる数理モデルの構築」を保証していて, 集合と関数の概念に基づく従来の枠組では実現できない著しい特徴を与えている.
従来の研究の中で「プログラム内包構造の数学的特徴付け」を可能とするほぼ唯一のアプローチとして, 1980年代から行われた高階遂次性に基づくモデル (遂次構造と遂次アルゴリズムから構成される圏などが知られている) の研究がある. そこで, 今年度の考察では, 主にこうした構造の比較を行い, 「既知の枠組が層の概念を特殊化することによって得られないか? 」更に「層を使って説明できない場合は全てを統一的に説明できるより抽象的な概念が存在しないか? 」といった観点から考察を行った. その結果として, 「遂次構造 (圏の対象に相当) には, プログラムの計算過程を断面と見なすことによって, 自然な形で前層の構造が含まれている」ことが分かった. その一方で, 遂次アルゴリズムの概念に対しては, 自然変換 (層の構成する圏の射に相当) によって記述されることが期待されるが, これについての可否は現時点では不明であり, 来年度以降の課題となる.

  • Research Products

    (4 results)

All 2009 2008

All Journal Article (1 results) Presentation (3 results)

  • [Journal Article] 完備半順序集合の層に関する双極限の構成2009

    • Author(s)
      倉田俊彦
    • Journal Title

      京都大学数理解析研究所講究録 1635

      Pages: 60-76

  • [Presentation] Sheaf Semantics and Higher-Order Sequentiality2009

    • Author(s)
      倉田俊彦
    • Organizer
      日本数学会年会(分科会特別講演)
    • Place of Presentation
      東京大学数理科学研究科
    • Year and Date
      2009-03-26
  • [Presentation] A fixed point construction for continuous functors on sheaves of dcpos2008

    • Author(s)
      倉田俊彦
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      東京工業大学
    • Year and Date
      2008-09-27
  • [Presentation] Lambda-algebras by inverse limit construction on sheaves of dcpos2008

    • Author(s)
      倉田俊彦
    • Organizer
      RIMS共同研究 : 証明論と論理・計算の構造
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2008-09-08

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi