実数関数作用素の多項式時間計算可能性に関する研究

实函数算子多项式时间可计算性研究

基本信息

  • 批准号:
    14780210
  • 负责人:
  • 金额:
    $ 1.15万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2002
  • 资助国家:
    日本
  • 起止时间:
    2002 至 2003
  • 项目状态:
    已结题

项目摘要

今年度は引き続き、実数計算の計算量を測る方法について研究してきた。これまでの計算量は整数の上の計算に対して定義されてきたので、実数計算の計算量を量るには、何らかの意味で実数計算を整数の計算と比較しなければならない。そのために、何らかの形で実数の上の計算を、整数の計算として表現する必要がある。実数を表現する方法にはこれまで幾つか知られている。その代表的なものが、数論的関数による実数の表現と、計算可能性構造によるものである。数論的関数による実数の表現は、ドイツ、ハーゲン放送大学のバイハラーフ教授らによって提唱されているまた計算可能性構造による方法は、ミネソタ大学のプルエル教授や京都産業大学の八杉教授らによって提唱されている。今年度の研究では、この両者の方法を比較するのに実効的極限作用素を導入した。そして、数学的構造が計算可能であることと、実効的極限作用素が計算可能であることが重要に関連していることを指摘した。実数計算の計算量を測る際には、位相が極めて重要な役割を果たしている。この成果はフランスで行なわれた国際会議「実数と計算機」にて発表した。
This year, the number of calculations and the calculation method are studied. The calculation of the number of integers is defined by the calculation of the number of integers. The calculation of the number of integers is defined by the calculation of the number of integers. The calculation of numbers and integers is necessary for the expression of numbers. The number of ways to express yourself is unknown. The representation of numbers, the relations of numbers, the representation of numbers, the construction of computational possibilities Number theory related to the performance of the number theory, the number theory. This year's study compares the methods of these two methods and introduces the limiting factors of the implementation. The structure of mathematics can be calculated as follows: The number of calculations is measured at the time, and the phase is extremely important. The results of the international conference "Computer Science" were presented.

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
竹内 泉: "The normal open set almost equal to a regular omega language"京都大学数理解析研究所講究録「代数系のアルゴリズムと計算論」. 1268. 50-58 (2002)
竹内泉:“几乎等于正则欧米伽语言的常开集”京都大学数学科学研究所Kokyuroku“代数算法和计算理论”1268.50-58(2002)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
竹内 泉: "System of logic for necessity"京都大学数理解析研究所講究録「シークエント計算による証明論」. 1301. 122-138 (2002)
武内泉:“必然性的逻辑系统”京都大学数学科学研究所Kokyuroku“使用顺序计算的证明理论”1301。122-138(2002)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Takeuti Izumi: "Effective Limit in Computable Analysis"5th Conference on Real Numbers & Computers. 161-176 (2003)
Takeuti Izumi:“可计算分析中的有效极限”第五届实数会议
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
竹内 泉: "様相論理の文脈意味論"科学哲学. 36巻2号. 135-150 (2004)
Izumi Takeuchi:“模态逻辑的语境语义”科学哲学,第 36 卷,第 2 期。135-150 (2004)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

竹内 泉其他文献

Action-Value Function Compression Algorithm for the Program Synthesis Target Language Pro5Langfor the Program Synthesis Target Language Pro5Lang
程序综合目标语言Pro5Lang的动作值函数压缩算法用于程序综合目标语言Pro5Lang
  • DOI:
    10.11517/jsaisigtwo.2022.agi-022_22
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    一杉 裕志;中田 秀基;高橋 直人;竹内 泉;佐野 崇
  • 通讯作者:
    佐野 崇
部分観測マルコフ決定過程におけるbelief構造を利用したAlphaZeroアルゴリズムの開発
在部分观察的马尔可夫决策过程中使用信念结构开发 AlphaZero 算法
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    一杉 裕志;中田 秀基;高橋 直人;竹内 泉;佐野 崇;開 智志,伊藤 秀昭,福本 尚生,和久屋 寛
  • 通讯作者:
    開 智志,伊藤 秀昭,福本 尚生,和久屋 寛
Design and prototype implementation of a communication mechanism for reward-maximizing AGI
奖励最大化 AGI 通信机制的设计和原型实现
  • DOI:
    10.11517/jsaisigtwo.2022.agi-021_02
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    一杉 裕志;中田 秀基;高橋 直人;竹内 泉;佐野 崇
  • 通讯作者:
    佐野 崇
確率的グラフィカルモデルにおける変分近似法
随机图模型中的变分逼近方法
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    一杉 裕志;中田 秀基;高橋 直人;竹内 泉;佐野 崇;開 智志,伊藤 秀昭,福本 尚生,和久屋 寛;佐野 崇
  • 通讯作者:
    佐野 崇
プログラム合成対象言語 Pro5Lang のための行動価値関数圧縮アルゴリズム
程序合成目标语言Pro5Lang的动作值函数压缩算法
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    一杉 裕志;中田 秀基;高橋 直人;竹内 泉;佐野 崇
  • 通讯作者:
    佐野 崇

竹内 泉的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('竹内 泉', 18)}}的其他基金

高階型理論におけるパラメトリシティーの理論
高阶理论中的参数化理论
  • 批准号:
    10780185
  • 财政年份:
    1998
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
「日本的経営」の形成過程におけるアメリカ経営思想の役割
美国管理思想在“日本式管理”形成过程中的作用
  • 批准号:
    09630126
  • 财政年份:
    1997
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似海外基金

構成的数学における位相空間論に関する研究
构造数学中的拓扑空间理论研究
  • 批准号:
    13J10114
  • 财政年份:
    2013
  • 资助金额:
    $ 1.15万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了