超変数を扱える形式的体系の理論的研究
能够处理超变量的形式系统的理论研究
基本信息
- 批准号:04F04801
- 负责人:
- 金额:$ 1.54万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2004
- 资助国家:日本
- 起止时间:2004 至 2006
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究では昨年に引き続き,様々な特徴付けによる計算量クラス間の関係に関する研究を行なった.とくに,回路にて特徴付けられる弱い計算量クラス,および,多項式と係数関数によって特徴付けられる計算量クラス間の関係に関する研究を行ない,その結果,以下のような成果が得られた.1.制限された回路による計算量クラスの特徴付けに関する研究本研究では,制限された回路とそれによって特徴付けられる計算量クラスに関する研究を行なった.この研究の成果は,Natacha Portierとの共著論文としてMFCS2006において発表し,論文誌Journal of Complexityへの掲載が決定している.2.Valiantの理論における計算量クラスの完全性問題に関する研究本研究では,Valiantの理論によって定義される計算量クラス階層と,それとは異なる形の限定されたテンソル計算によって定義される計算量クラス階層との間の同等性を見出した.この研究の成果はLogicum Lugdunensis(2006年6月)において招待講演として発表し,近々論文誌への投稿を予定している.3.多項式とその係数関数によって特徴付けられる計算量クラスに関する研究本研究では研究分担者であるMalodの学位論文の結果を拡張し,多項式とその係数関数によって特徴づけられる計算量クラス間の関係に関する研究を行なった.この研究の成果は近々論文誌への投稿を予定している.
This study で は yesterday in に lead き 続 き, others 々 な 徴 pay especially け に よ る computation ク ラ ス between の masato is に masato す る を line な っ た. と く に, loop に て 徴 especially pay け ら れ る weak い computation ク ラ ス, お よ び, number of coefficient of polynomial と masato に よ っ て 徴 pay especially け ら れ る computation ク ラ ス between の masato is に masato す る を line な い, そ の as a result, the following The result of ような is が.1. Limitations さ れ た loop に よ る computation ク ラ ス の 徴 pay especially け に masato す る research this study で は, limitations さ れ た loop と そ れ に よ っ て 徴 pay especially け ら れ る computation ク ラ ス に masato す る を line な っ た. こ は の の research achievements, Natacha Portierと と co-authored the paper と て てMFCS2006にお て て published in て Journal of Complexity へ の first white jasmines load が decided し て い る. 2. The Valiant の theory に お け る computation ク ラ ス の completeness problem に masato す る research this study で は, Valiant の theory に よ っ て definition さ れ る computation ク ラ ス class と, そ れ と は different な る form の qualified さ れ た テ ン ソ ル computing に よ っ て definition さ れ る Computation ク ラ ス class と の を の equality between the し た. こ の の research は Logicum Lugdunensis (June 2006) に お い て entertaining speeches と し て 発 table し, nearly 々 paper tzu へ contribute の を designated し て い る. 3. Number of coefficient of polynomial と そ の masato に よ っ て 徴 pay especially け ら れ る computation ク ラ ス に masato す る research this study で は research sharers で あ る Malod の dissertation の results を company, zhang し, polynomial と そ の coefficient of number of masato に よ っ て, 徴 づ け ら れ る computation ク ラ ス between の masato is に masato す る を line な っ た. こ の の research は nearly 々 paper Youdaoplaceholder0 る submission を approval て る る.
项目成果
期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Characterizing Valiant's algebraic complexity classes
- DOI:10.1016/j.jco.2006.09.006
- 发表时间:2006-08
- 期刊:
- 影响因子:0
- 作者:Guillaume Malod;Natacha Portier
- 通讯作者:Guillaume Malod;Natacha Portier
Universal relations and #P-completeness
普遍关系和
- DOI:
- 发表时间:2006
- 期刊:
- 影响因子:0
- 作者:Herve Fournier;Guillaume Malod
- 通讯作者:Guillaume Malod
A Simple Theory of Expressions, Judgments and Derivations
表达式、判断和推导的简单理论
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:Herve Fournier;Guillaume Malod;Masahiko Sato
- 通讯作者:Masahiko Sato
{{
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 }}
佐藤 雅彦其他文献
根毛側面における二次細胞壁成分の輸送メカニズムの解明
阐明根毛侧次生细胞壁成分的运输机制
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
平野 朋子;海老根 一生;上田 貴志;佐藤 雅彦 - 通讯作者:
佐藤 雅彦
入戸火砕流堆積物から抽出した粒子の自然残留磁化とその起源の検討
伊藤火山碎屑流沉积物提取颗粒的自然剩磁及其起源研究
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
武田 大海;山本 裕二;佐藤 雅彦;川畑 博 - 通讯作者:
川畑 博
戦後占領期における発疹チフスの流行―昭和21年の東京について―
战后占领时期斑疹伤寒的流行 - 关于1945年的东京 -
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
大野 正夫;槙尾雅人;佐藤 雅彦;藤田 周;林 辰弥;桑原 義博;Kurasawa Y;田中誠二・杉田聡・丸井英二 - 通讯作者:
田中誠二・杉田聡・丸井英二
佐藤 雅彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('佐藤 雅彦', 18)}}的其他基金
虫こぶ形成現象から果実形成のなぞを解く
从虫瘿形成现象解开果实形成之谜
- 批准号:
23K26870 - 财政年份:2024
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
虫こぶ形成現象から果実形成のなぞを解く
从虫瘿形成现象解开果实形成之谜
- 批准号:
23H02177 - 财政年份:2023
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
衝突残留磁化を用いて探る惑星磁場の初期進化史
利用碰撞剩磁探索行星磁场的初始演化历史
- 批准号:
21H01140 - 财政年份:2021
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究
高清数字测量技术与工匠知识相结合的工艺文化遗产修复研究
- 批准号:
21650053 - 财政年份:2009
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
植物細胞の形態形成におけるオルガネラ動態と細胞内小胞輸送系の役割に関する研究
细胞器动力学及细胞内囊泡运输系统在植物细胞形态发生中的作用研究
- 批准号:
19039029 - 财政年份:2007
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
環境適応過程における液胞ダイナミクスおよび液胞タンパク質の輪送メカニズムの解明
阐明环境适应过程中的液泡动力学和液泡蛋白的运输机制
- 批准号:
17051017 - 财政年份:2005
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
动态变量绑定机制的新软件理论研究
- 批准号:
16016245 - 财政年份:2004
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
トーラスプラズマにおける非線形MHD不安定性に対するプラズマ流の影響の解明
阐明等离子体流对环面等离子体中非线性 MHD 不稳定性的影响
- 批准号:
04J03822 - 财政年份:2004
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for JSPS Fellows
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究
动态变量绑定机制的新软件理论研究
- 批准号:
15017247 - 财政年份:2003
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
高等植物のタンパク質の旅路とその運命?細胞内小胞輸送ネットワークから考える?
高等植物中蛋白质的旅程及其命运?考虑细胞内囊泡运输网络?
- 批准号:
15032221 - 财政年份:2003
- 资助金额:
$ 1.54万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
相似海外基金
AF: Small: Adiabatic Quantum Optimization, NP-Completeness and Anderson Localization
AF:小:绝热量子优化、NP 完备性和安德森定位
- 批准号:
1017244 - 财政年份:2010
- 资助金额:
$ 1.54万 - 项目类别:
Standard Grant
Proving NP- completeness of kwon-tom loop
证明kwon-tom循环的NP-完备性
- 批准号:
368446-2008 - 财政年份:2008
- 资助金额:
$ 1.54万 - 项目类别:
University Undergraduate Student Research Awards
RUI: Structural Aspects of Average-Case NP-Completeness
RUI:平均情况 NP 完备性的结构方面
- 批准号:
9424164 - 财政年份:1995
- 资助金额:
$ 1.54万 - 项目类别:
Continuing Grant














{{item.name}}会员




