| 研究課題/領域番号 |
21K03359
|
|---|
| 研究機関 | 同志社大学 |
|---|
研究代表者 |
渡邊 芳英 同志社大学, 研究開発推進機構, 嘱託研究員 (50127742)
|
|---|
| 研究分担者 |
渡邉 扇之介 福知山公立大学, 情報学部, 准教授 (80735316)
西田 優樹 東京理科大学, 工学部情報工学科, 助教 (70906601)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| キーワード | 加重平均型3状態3近傍ファジーCA / 交代法 / 代数的固有ベクトル / 優対角行列 / 上三角化 |
|---|
| 研究実績の概要 |
これまでの研究において，３状態３近傍ファジーセルオートマトン(FCA)のなかで加重平均型と呼ばれるものを一般的な形で定義した．我々は加重平均型３値３近傍FCAがすべて漸近的にある周期的パターンに収束することを示した．さらに，これらの周期的なパターンは３次対称群の作用と関わることを明らかにした．この結果を国際会議Automata2023において発表した．さらに我々はこの研究を進めて，状態数が３以上の任意個数であるFCAに対しても，加重平均型と呼ばれるものを定義し，その収束性を調べた．結果として状態数が任意個数の場合でも加重平均型のFCAは漸近的にある周期的パターンに収束することを示した．その際一般次数の対称群の構造が３次対称群より複雑になることにより収束先の周期パターンも複雑になるが，一方で次数が一般化されていることにより，対称群のどのような構造がどのような収束パターンを作るかについての詳細な情報が得ることができた．この結果はAutomata2023のSpecial Issue に投稿されている．
そのほかに，マックスプラス線形代数において以下のような成果を得た．
（１）マックスプラス行列により定義される両側線形方程式系の一つの解を求めるアルゴリズムである交代法について考察し，交代法により方程式系のすべての解を求めることができるための一つの十分条件を与えた．
（２）交通流モデル等に現れる優対角と呼ばれる特別な行列に対して，代数的固有ベクトルを用いた上三角化について議論を行った．
（３）マックスプラス行列の代数的固有値に付随する対する代数的固有ベクトル対し，相異なる代数的固有に付随する代数的固有ベクトルは独立であること，また行列が対称なら異なる代数的固有値に付随する代数的ベクトルはトロピカル幾何学の意味で直交することを示した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
研究の理論的な側面は概ね順調に進展している．しかしファジーＣＡの応用については現在のところ全く進展がない．その理由としては我々の研究グループがどちらかといえば理論家の集団であり，ＣＡ応用に詳しくない．その一方でファジーＣＡの研究自体がセルオートマトンの世界にようやく知られ始めた状況で，だれもが知っているという状況にはない．以後はもう少しＣＡの応用に携わる研究者との交流が必要であると考えている．
|
| 今後の研究の推進方策 |
（１）計算機シミュレーションによると，3状態3近傍ＦＣＡのなかで加重平均型ではないにも関わらず，漸近的にある周期パターンに収束する例がある．このようなものをもう少し詳しく調べて理論的に解析する必要がある．
（２）状態数が一般のＦＣＡの場合その収束先である周期的なパターンの構造は状態数次数の対称群の構造と深く結びついていることが予想されている．このことをもう少し組織的に調べることは大切な課題となる．
（３）現状では，ファジーＣＡの応用はほとんど見つかっていない．例えば交通量モデルとして使われるＣＡをファジー化したとき，それは交通流モデルとしてどのような意味があるかといった問題も考えてみたいと考えている．
|
| 次年度使用額が生じた理由 |
予定の最終年度であった２０２３年度は研究の総仕上げとして国際会議に参加して成果を発表する予定であった．しかし一般的には国際会議の参加申し込みが会議の1年近く前であることが多く，その頃はコロナの収束が完全には見えていなかったことで参加申し込みがしにくかったこと．さらに研究代表者が体調をくずしていたこともあり，数が少ない出席可能であった国際会議に積極的に参加できなかったことが大きな理由である．さらに，研究代表者は退職にあたりいろいろと忙しかったこと，また分担者の一人も転勤等で多忙を極めたため，研究打ち合わせの旅費も予定額を使い切ることができなかった．最終年度である２０２４年度は代表者，分担者ともに時間的な余裕ができることが予想されるので国際会議を含む多くの学会に参加し，近い分野の研究者と交流は図るために残る補助金を使用する予定である．
|
