课题基金 / 基金详情

超変数を扱える形式的体系の理論的研究

超変数を扱える形式的体系の理論的研究
能够处理超变量的形式系统的理论研究
批准号：
04F04801
负责人：
佐藤 雅彦
金额：
$1.54万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2004
资助国家：
日本
项目状态：
已结题
起止时间：
2004 至 2006
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04F04801/
关键词：
計算量理論NP完全性#P完全性完全性問題universal relationsorted logichybrid logic

项目摘要

项目成果

佐藤 雅彦的其他基金

相关文献

中文摘要
翻译
本研究では昨年に引き続き,様々な特徴付けによる計算量クラス間の関係に関する研究を行なった.とくに,回路にて特徴付けられる弱い計算量クラス,および,多項式と係数関数によって特徴付けられる計算量クラス間の関係に関する研究を行ない,その結果,以下のような成果が得られた.1.制限された回路による計算量クラスの特徴付けに関する研究本研究では,制限された回路とそれによって特徴付けられる計算量クラスに関する研究を行なった.この研究の成果は,Natacha Portierとの共著論文としてMFCS2006において発表し,論文誌Journal of Complexityへの掲載が決定している.2.Valiantの理論における計算量クラスの完全性問題に関する研究本研究では,Valiantの理論によって定義される計算量クラス階層と,それとは異なる形の限定されたテンソル計算によって定義される計算量クラス階層との間の同等性を見出した.この研究の成果はLogicum Lugdunensis(2006年6月)において招待講演として発表し,近々論文誌への投稿を予定している.3.多項式とその係数関数によって特徴付けられる計算量クラスに関する研究本研究では研究分担者であるMalodの学位論文の結果を拡張し,多項式とその係数関数によって特徴づけられる計算量クラス間の関係に関する研究を行なった.この研究の成果は近々論文誌への投稿を予定している.
英文摘要
本研究では昨年に引き続き,様々な特徴付けによる計算量クラス間の関係に関する研究を行なった.とくに,回路にて特徴付けられる弱い計算量クラス,および,多項式と係数関数によって特徴付けられる計算量クラス間の関係に関する研究を行ない,その結果,以下のような成果が得られた.1.制限された回路による計算量クラスの特徴付けに関する研究本研究では,制限された回路とそれによって特徴付けられる計算量クラスに関する研究を行なった.この研究の成果は,Natacha Portierとの共著論文としてMFCS2006において発表し,論文誌Journal of Complexityへの掲載が決定している.2.Valiantの理論における計算量クラスの完全性問題に関する研究本研究では,Valiantの理論によって定義される計算量クラス階層と,それとは異なる形の限定されたテンソル計算によって定義される計算量クラス階層との間の同等性を見出した.この研究の成果はLogicum Lugdunensis(2006年6月)において招待講演として発表し,近々論文誌への投稿を予定している.3.多項式とその係数関数によって特徴付けられる計算量クラスに関する研究本研究では研究分担者であるMalodの学位論文の結果を拡張し,多項式とその係数関数によって特徴づけられる計算量クラス間の関係に関する研究を行なった.この研究の成果は近々論文誌への投稿を予定している.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Characterizing Valiant's algebraic complexity classes
DOI： 10.1016/j.jco.2006.09.006
发表时间： 2006-08
期刊： J. Complex.
影响因子： --
作者： [Guillaume Malod;Natacha Portier]
通讯作者： Guillaume Malod;Natacha Portier
Universal relations and #P-completeness
普遍关系和
DOI： --
发表时间： 2006
期刊： 6^<th> Conference on Algorithms and Complexity(CIAC 2006) (To appear)
影响因子： --
作者： [Herve Fournier, Guillaume Malod]
通讯作者： Guillaume Malod
A Simple Theory of Expressions, Judgments and Derivations
表达式、判断和推导的简单理论
DOI： --
发表时间： 2004
期刊： Lecture Notes in Computer Science 3321
影响因子： --
作者： [Herve Fournier, Guillaume Malod, Masahiko Sato]
通讯作者： Masahiko Sato
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23K26870
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $6.32万
  • 财政年份：
    2024
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23H02177
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $12.23万
  • 财政年份：
    2023
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
衝突残留磁化を用いて探る惑星磁場の初期進化史
  • 批准号：
    21H01140
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $11.48万
  • 财政年份：
    2021
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    The University of Tokyo
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究