2007 年度終了報告書

検証における記述量爆発問題の構造変換による解決

研究課題

体系的番号	JPMJCR0261
DOI	https://doi.org/10.52926/JPMJCR0261
研究代表者	木下佳樹産業技術総合研究所, 情報処理研究部門, 情報科学研究グループ長
研究期間 (年度)	2002 – 2007
研究領域	情報社会を支える新しい高性能情報処理技術-量子効果、分子機能、並列処理等に基づく新たな高速大容量コンピューティング技術の創製を目指して-