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

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


大学院(学府)担当

学部担当



ホームページ
https://kyushu-u.elsevierpure.com/ja/persons/miyuki-koshimura
 研究者プロファイリングツール 九州大学Pure
就職実績-民間機関等
就職実績有, 東芝情報システム(株) 1986.4〜1995.3
取得学位
博士(工学)
学位取得区分(国外)
なし
専門分野
自動演繹システムとその応用
外国での教育研究期間(通算)
00ヶ年00ヶ月
活動概要
これまでに並列オぺレーティングシステム,定理証明システムの研究及び開発に従事.
現在は,SATソルバーの高速化とSATの応用に関する研究を行っている.
研究室のサーバ類の管理・運用を行っている.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。