权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

小型デバイス上でのデータ処理アルゴリズムの使用メモリ領域の効率化

小型设备上数据处理算法的高效内存使用

基本信息

批准号：
19K11820
负责人：
山上智幸
金额：
$ 2.75万
依托单位：
University of Fukui
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
起止时间：
2019-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

2022年度は7つの査読付き国際会議論文が採択され Springer 社から出版された。その他に、2つの査読付き論文が Elsevier 社の専門雑誌に掲載された。これらの論文で得られた研究成果の幾つかを簡単に記述する。対数領域計算量小型デバイスの数学的計算モデルを使い、デバイスの計算能力の分析を行った。こうした計算モデルの中でも特に、1970年代後半に提案された多項式状態数を持つ非一様性有限オートマトンの無限族モデル上の非決定性計算に着目し、初期状態から受理状態へ続く計算路が満たす条件の種類による計算量クラス間の新たな関係性を示すことで、相対的な計算能力を示した。2021年に発表した、書き換え回数制限のあるメモリ専用の保管テープを有する、決定性オートマトンを非決定性に拡張した計算モデルを今回新たに導入した。更に滝型論理回路と呼ぶ論理回路を定義し、前述の非決定性オートマトンとの同等性を証明し、国際会議で口頭発表を行った。国際会議論文は後日 Springer 社より出版された。「線形領域仮説」は、2017年に本研究者が提案した仮説で有り、2SAT3と呼ばれる充足可能な条件付き論理式の集合を多項式時間で認識するには、弱線形領域量では不十分であることを主張する。仮説の提案以降、既に5つの論文が出版されていて、その中の2つは2022年度中に国際会議で発表し、Springer社から論文が出版されている。その一つでは、2SAT3と同等の計算量を有する3つの新たな問題を提案し、2017年に導入された「短い還元性」の概念を用いて計算の複雑さの同等性を証明した。もう一つでは、細粒化時間計算量の研究の発展を模範として新たに細粒化領域量の概念を導入し、線形領域仮説の下で幾つかの決定問題の計算不可能性を証明した。

The 2022 International Conference Papers were collected and published by Springer. 2. The research papers of Elsevier Society were published in the journal of Elsevier Society. This paper is based on a brief description of the research results. Analysis of the computational power of small and medium sized computers in the field of mathematics In the second half of the 1970s, the number of polynomial states was proposed to be non-uniform, finite, infinite, and non-deterministic. In the first half of the 1970s, the number of polynomial states was proposed to be non-uniform, finite, infinite, and infinite. In the second half of the 1970s, the number of polynomial states was proposed to be non-deterministic. In the third half of the 1970s, the number of polynomial states was proposed to be non-uniform, finite, infinite, and infinite. In the fourth half of the 1970s, the number of polynomial states was proposed to be non-deterministic. In the fourth half of the 1970s, the number of polynomial states was proposed to be non-deterministic. In the fourth half of the 1970s, the number of polynomial states was proposed to be non-deterministic. In the fourth half of the 1970s, the number of polynomial states was proposed to be non-deterministic. 2021- The definition of the logic loop, the equivalence of the non-deterministic logic loop, and the oral presentation of the international conference are discussed. International conference papers are published by Springer Society. In 2017, the researcher proposed that the linear domain theory should be sufficient, that the set of conditional logical expressions should be sufficient, and that the polynomial time should be recognized, and that the weak linear domain quantity should not be sufficient. The proposal was submitted, 5 papers were published, 2 papers were published in 2022, international conferences were presented, Springer papers were published In 2017, we introduced the concept of "short return" and proved the equivalence of complex calculation. The development of fine grained time calculation quantity research is exemplary. The concept of fine grained field quantity is introduced. The calculation impossibility of linear field theory is proved.

项目成果

期刊论文数量（40）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability

表达量子对数时间可计算性的基本量子递归方案的能力

DOI：
10.1007/978-3-031-15298-6_6
发表时间：
2022
期刊：
Proceedings of the 28th International Workshop on Logic, Language, Information, and Computation, Lecture Notes in Computer Science
影响因子：
0
作者：
Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami
通讯作者：
Tomoyuki Yamakami

How does adiabatic quantum computation fit into quantum automata theory?

绝热量子计算如何适应量子自动机理论？

DOI：
10.1007/978-3-030-23247-4_22
发表时间：
2019
期刊：
Proceedings of the 21st IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, Lecture Notes in Computer Science
影响因子：
0
作者：
Henning Fernau;Petra Wolf;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami
通讯作者：
Tomoyuki Yamakami

Quantum logical depth and shallowness of streaming data by one-way quantum finite-state transducers

单向量子有限状态传感器流数据的量子逻辑深度和浅度

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Henning Fernau;Petra Wolf;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami;Tomoyuki Yamakami
通讯作者：
Tomoyuki Yamakami

書き換え制限付き決定性オートマトンと繰り返し補題

具有有限重写和迭代引理的确定性自动机