研究課題/領域番号 |
23K17455
|
研究種目 |
挑戦的研究(開拓)
|
配分区分 | 基金 |
審査区分 |
中区分60:情報科学、情報工学およびその関連分野
|
研究機関 | 東京農工大学 |
研究代表者 |
渡辺 峻 東京農工大学, 工学(系)研究科(研究院), 准教授 (70546910)
|
研究分担者 |
河内 亮周 三重大学, 工学研究科, 教授 (00397035)
岩本 貢 電気通信大学, 大学院情報理工学研究科, 教授 (50377016)
安永 憲司 東京工業大学, 情報理工学院, 准教授 (50510004)
|
研究期間 (年度) |
2023-06-30 – 2026-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
26,000千円 (直接経費: 20,000千円、間接経費: 6,000千円)
2025年度: 8,840千円 (直接経費: 6,800千円、間接経費: 2,040千円)
2024年度: 8,970千円 (直接経費: 6,900千円、間接経費: 2,070千円)
2023年度: 8,190千円 (直接経費: 6,300千円、間接経費: 1,890千円)
|
キーワード | 情報理論 / 暗号理論 / 計算量理論 / 不等式 |
研究開始時の研究の概要 |
計算量理論において,各タスクを解くのに必要な計算量の間に成り立つ不等式を証明することが非常に重要であるが,そのような不等式を導出するのは一般には容易ではない.一方,情報理論では,データ処理不等式やエントロピーパワー不等式など,情報量の間の関係性を不等式として証明するための方法論が長年に渡って蓄積されている.最近では,与えられた情報量に関する不等式が成り立つのか検証できるソフトウェアツールも開発されている.本研究では,計算量と情報量の関係を見出すことで,情報理論分野で蓄積されている「情報量不等式」を示すための方法論を,「計算量不等式」を示すための方法論に適用する.
|