九州大学-研究者情報 [越村三幸 (助教) システム情報科学研究院情報学部門]

越村三幸（こしむらみゆき）

データ更新日：2024.04.11

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

総説, 論評, 解説, 書評, 報告書等

1.	越村三幸, 藤田博, MaxSAT : SATの最適化問題への拡張ーMaxSATソルバーの活用法ー, 情報処理， Vol.57 No.8, 2016.08.
2.	藤田博, 越村三幸, SATとラムゼー数〜数学の未解決問題への挑戦〜, 情報処理， Vol.57 No.8, 2016.08.
3.	鍋島英知, 越村三幸, 番原睦則, SAT/Max-SAT競技会参加記, コンピュータソフトウェア， Vol.29, No.4，pp.9-14, 2012.11.
4.	長谷川隆三，藤田博，越村三幸, モデル列挙とモデル計数, 人工知能学会誌，Vol.25，No.1，pp.96-104, 2010.01.
5.	Miyuki Koshimura and Hidetomo Nabeshima, Partial Max-SAT Encoding for the Job Shop Scheduling Problem, , SAT2009 competitive event booklet: preliminary version, pp.139-140, 2009.09.
6.	長谷川隆三，藤田博，越村三幸, モデル生成型定理証明と要素技術, コンピュータソフトウェア，Vol.25，No.3，pp.2-10, 2008.07.
7.	Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai, A Model Generation Based Theorem Prover MGTP for First-Order Logic, Computational Logic: Logic Programming and Beyond, LNAI2408, pp.178-213, 2002.08.
8.	長谷川隆三、藤田博、越村三幸, タブロー法とモデル生成型定理証明, 人工知能学会誌, Vol.16, No.5, pp.661-667, 2001.09.
9.	長谷川隆三，越村三幸, 並列プログラムおよび性能デバッギングのための視覚化, コンピュータソフトウェア, Vol.12 No.4 pp.33-44, 1995.07.
10.	長谷川隆三，越村三幸, 定理証明系ＭＧＴP, bit別冊（第ＩＩＩ編第３章６節），共立出版, 1993.07.

本データベースの内容を無断転載することを禁止します。

九大関連コンテンツ

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

　

QIR　九州大学学術情報リポジトリシステム情報科学研究院

システム情報科学研究院