| 研究課題/領域番号 |
18K03400
|
|---|
| 研究機関 | 群馬県立女子大学 |
|---|
研究代表者 |
黒田 覚 群馬県立女子大学, 文学部, 教授 (30300586)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2023-03-31
|
| キーワード | 限定算術 |
|---|
| 研究実績の概要 |
本研究の遂行で得られた多項式領域計算可能クラスに対する強制法に関する結果を，論文としてまとめた．この結果は今後，専門誌への投稿を予定している．
また，本研究のテーマに関連して，対数領域計算可能クラス及びその周辺のクラスに対応する限定算術体系をいくつか構成し，そこにおける線形代数学の諸定理の計算可能性に関する結果をいくつか得た．この結果は，２０２１年１２月に開催された，証明論研究集会においてその一部を発表した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
新型コロナウィルスの感染拡大が続いていることから，学会，研究集会への参加やt他研究者との研究連絡がほぼできない状況であるため．
|
| 今後の研究の推進方策 |
現在，数名の研究者との共同研究を予定しており，今年度中に複数回研究連絡を予定している．
|
| 次年度使用額が生じた理由 |
新型コロナウィルスの感染拡大が続いていることにより，国際会議出席を含む学術交流のための旅費の執行がほとんど不可能な状況が続いたため．
2022年度において，他大学の研究者との研究連絡なども含めて，積極的に交流を行う．
|
