| 研究課題/領域番号 |
18K03400
|
|---|
| 研究機関 | 群馬県立女子大学 |
|---|
研究代表者 |
黒田 覚 群馬県立女子大学, 文学部, 教授 (30300586)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2022-03-31
|
| キーワード | 限定算術 |
|---|
| 研究実績の概要 |
３ソートの限定算術体系について，強制法によってモデルを拡張する方法を与え，それをもちいて多項式領域計算可能クラスおよび指数時間計算可能クラスに対するジェネリックモデルを構成することに成功した．また，これらのモデルと元のモデルにおける計算量クラスの分離条件との関係についての結果を得た．さらに，３ソートの場合にはある条件のもとでジェネリックオブジェクトが拡張したモデルの要素になりうることを指摘し，そのための条件をあたえた．これらの結果について論文を作成し，投稿する予定である．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
新型コロナウィルスの感染拡大に伴い，学会やセミナーなどを通じた研究者との連絡ができないため，思うように研究が進められていない．
|
| 今後の研究の推進方策 |
これまでに得られた結果をまとめて論文を執筆し，学術誌などに投稿する予定である．また，可能な限り研究集会などにも参加し結果を発表する．
|
| 次年度使用額が生じた理由 |
新型コロナウィルスの感染拡大のため，当初予定していた学会や研究集会での研究発表や，他研究機関の研究者との連絡が全く行えなかったため．
|
