|
令和4年度中はコロナ禍等の影響があり、計画の多くの部分を令和5年度中に実施することとなったが、主に以下の成果が得られた。（1）無理数の表現のうち計算可能には等価な和近似、連分数などについて、計算量を限ったカルマール初等的函数の範囲で比較し、先行研究で予想されていた翻訳不可能性を示す結果を国際会議CiEで発表するとともに、ベール列、収縮など他の表現についても精密化した。（2）多項式を係数とする3項間漸化式で記述される数列（ホロノミック列）の符号の漸近的な挙動やその計算可能性について、最近の研究で発見されていた分類定理を、より一般の場合に拡張した。（3）フラクタルは最大不動点を用いて定義されるため余帰納法と密接な関係があり、またその性質を証明するのに帰納法がよく使われる。シェルピンスキー四面体およびそれと関係したフラクタル立体HおよびTに対して、それらの射影が正の面積を持つ方向を特定し、その証明の中で整礎帰納法を用いた部分を、IFPを拡張した体系で形式化し、そのCoq上での実験的な実装を用いて、面積を持たない場合の理由になる重複場所を出力するプログラムの抽出を行った。
これらの結果は査読つき国際会議等で発表されたが、更に結果を整理・拡充して論文誌等への投稿を準備中である。以上の成果発表に加え、令和5年秋に行われた国際会議2件で、周辺分野の専門家に向けて、招待講演として本課題の成果を含む話題について研究動向の解説を行った。
|
