| 研究課題/領域番号 |
22K11897
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 山形大学 |
|---|
研究代表者 |
内沢 啓 山形大学, 大学院理工学研究科, 准教授 (90510248)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2024年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | 回路計算量 / 生体情報処理 / ニューラルネットワーク / 計算複雑さ / 視覚探索 |
|---|
| 研究開始時の研究の概要 |
視覚探索とは，特定の目標刺激と多数の妨害刺激が含まれる画像を被験者に提示し，できる限り速く正確に目標刺激を見つけ出すことを求める課題である．その中でも特徴探索は，色あるいは形状など，目標刺激と妨害刺激の間に大きな違いのある課題であり，結合探索は目標刺激と妨害刺激が共通の特徴を持つ課題である．人間にとって特徴探索は易しく，結合探索は難しいことが実験的に確認されている．本研究では，この特徴探索と結合探索を数学的にモデル化し，この２つの課題を解くために必要となる資源の量が脳にとって異なること示すことにより，その難しさの違いの原因を説明することを目指している．
|
| 研究実績の概要 |
本年度は昨年度に得た知見を基に、神経回路網の理論モデルであるしきい値回路、および生体情報処理に関連のある論理関数である Coincidence Detection関数（CD関数）について研究を行った。その結果、CD関数の入力の規模nと、CD関数を計算する任意のしきい値回路Cの素子数s、段数d、エネルギーe、重みwの間に、n <= ed (log(s) + log(w) + log(n))なる関係式が必ず成り立つことを証明した。すなわち、規模の大きいCD関数をしきい値回路で計算するためには、段数dあるいはエネルギーeを大きくすることが、素子数sや重みwを大きくするよりも有効であることが分かった。また、同様の関係式はシグモイド回路やReLU回路でも成り立つことも証明した。これらの結果は、フランスで開催された査読付き国際会議 The 48th International Symposium on Mathematical Foundations of Computer Science に受理され、現地で研究報告を行っており、さらに学術雑誌Neural Computationに採録が決定している。
また上記の結果に加えて、AND素子、OR素子、NOT素子から論理回路Cについても研究を行い、エネルギーeの論理回路Cは、高々2^O(e log(e))個の出力パターンしか持てないことを証明した。一方で、しきい値回路はこの値よりも真に大きい出力パターンを保持できるため、この結果は、エネルギーが制限された状況下でのしきい値回路の優位性を示す結果といえる。この結果は、香港で開催される査読付き国際会議Annual Conference on Theory and Applications of Models of Computation に受理された。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
回路計算量の視点から、脳が実現する生体情報処理に関連のあるタスクに対して、神経回路網の理論モデルであるしきい値回路が満たさなければならない関係式を具体的に導出することができ、さらにその結果を神経科学の分野で権威のある学術誌にて発表することができたため。
|
| 今後の研究の推進方策 |
本年度に得た結果に基づいて、様々な生体情報処理に関連するタスクを定式化し、同様の関係式が成り立つのかを検証する。これにより、神経回路網にとって段数とエネルギーが素子数と比較して計算能力に対する優位な計算量であるかを検証する。また、本年度に得た関係式が、入力に対して確率分布を導入した際にも成立するのかを検証する。
|
