九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動 社会活動
越村 三幸(こしむら みゆき) データ更新日:2017.11.15

助教 /  システム情報科学研究院 情報学部門 知能科学


大学院(学府)担当

学部担当



ホームページ
取得学位
博士(工学)
専門分野
自動演繹システムとその応用
活動概要
これまでに並列オぺレーティングシステム,定理証明システムの研究及び開発に従事.
現在は,SATソルバーの高速化とSATの応用に関する研究を行っている.
研究室のサーバ類の管理・運用を行っている.

九大関連コンテンツ