セキネ　コウタ   Kouta Sekine   関根　晃太    所属   千葉工業大学  情報変革科学部 情報工学科    千葉工業大学  情報科学研究科 情報科学専攻    職種   准教授
研究期間	2023/04/01～2026/03/31
研究課題	関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発
実施形態	科学研究費補助金
研究委託元等の名称	日本学術振興会
研究種目名	基盤研究（C）
科研費研究課題番号	23K03237
研究制度	科学研究費補助金
代表分担区分	研究代表者