权益分类	功能权益	普通用户	{{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年に導入された「短い還元性」の概念を用いて計算の複雑さの同等性を証明した。もう一つでは、細粒化時間計算量の研究の発展を模範として新たに細粒化領域量の概念を導入し、線形領域仮説の下で幾つかの決定問題の計算不可能性を証明した。

In the year 2022, the International Conference will be published by Springer News Agency. Please contact him, please pay the Elsevier news agency, please contact us. The results of the research have been recorded in this paper. In the field of calculation, the calculation of mathematics, the calculation of mathematics, the ability of calculation, the ability of calculation, the analysis of mathematics. In the last half of the 1970s, in the second half of the 1970s, the number of non-deterministic calculations on the non-deterministic calculation system, the initial status of the system to accept the status of non-deterministic calculation, the initial status of the system, the number of non-deterministic calculations, the number of non-deterministic calculations in the non-deterministic computing system, the initial status of the system, and the corresponding computing capacity. In the year 2021, you will be able to use your information to keep your information, and to make a non-deterministic calculation in 2021. The new type of management loop calls for the definition of the management loop, the above-mentioned non-determinism, the equivalence understanding, and the table of the international conference. The Springer news agency will publish the article after the international conference. In 2017, the researchers proposed that it is possible to use conditional payment theory to collect information about multiple items of time, and that weak domain information is not very important. In 2017, the researchers proposed that there are sufficient conditions for conditional payment, multi-item time awareness, and weak domain information. The proposal for the publication of the International Conference of the International Conference in 2022, and the publication of the publication of the International Conference of the International Conference of the people's Republic of China in 2022 and the publication of the International Conference of the International Conference in 2022. For the first time, the equivalent calculation amount of 2SAT3 has the proposal for new questions, and the concept of "short term" in 2017 is used to calculate the complexity of equivalence. In the first half of the year, the calculation of granulation time has been carried out, and the concept of domain quantity of granulation has been introduced into the exhibition model, and it is clear that it is not possible to calculate the non-possibility of determining the problem in the field of shape.

项目成果

期刊论文数量（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

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

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