KISHIMURA Miyuki 越村三幸

… Alternative Names

越村三幸コシムラミユキ

KOSHIMURA Miyuki 越村三幸

Less

Researcher Number	30274492
Other IDs
External Links
Affiliation (Current)	2025: 九州大学, システム情報科学研究院, 助教
Affiliation (based on the past Project Information) *help	2016 – 2022: 九州大学, システム情報科学研究院, 助教 2015: 九州大学, 大学院システム情報科学研究院, 助教 2012 – 2015: 九州大学, システム情報科学研究科(研究院, 助教 2012: 九州大学, 大学院・システム情報科学研究院, 助教 2009 – 2012: 九州大学, システム情報科学研究院, 助教 … More 2009: Kyushu University, 大学院・システム情報科学研究院, 助教 2002 – 2004: 九州大学, 大学院・システム情報科学研究院, 助手 1998: 九州大学, 大学院システム情報科学研究所, 助手 1996 – 1998: 九州大学, 大学院・システム情報科学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 61030:Intelligent informatics-related / Intelligent informatics / Software / Media informatics/Database Except Principal Investigator 計算機科学 / Intelligent informatics / Intelligent informatics / Software / Intelligent informatics
Keywords	Principal Investigator 組合せ最適化 / SAT符号化 / Minimal Correction Set / 擬似ブール制約 / 極小修正集合の列挙問題 / 推移律のSAT符号化 / SATオラクル / SAT解法 / 提携構造形成問題 / スケジューリング … More / Robust MaxSAT / 自動倉庫のスケジューリング / 実時間スケジューリング / クリーク分割問題 / 極小修正集合 / データ解析 / 人工知能 / 顕微鏡画像の解析 / データマイニング / 帰納論理プログラミング / 電流の時系列データ / 顕微鏡画像 / 機械学習 / 最適化問題 / 顕微鏡画像の分類 / 深層学習 / SAT / 機械学習応用 / 組合せ最適 / MaxSATソルバー / MaxSAT応用 / 基数制約 / SATソルバー / Open Directory Project / 情報検索 / クエリ学習 / ソーシャルブック / ランキング学習 / Wikipedia / デマンドレスポンス / ユーザの意図 / マルチエージェント / 個人情報保護 / 帰納学習 / 推薦理由 / 時間的距離 / Twitter / ユーザプロファイル / ODP / クエリ拡張 … More Except Principal Investigator SATソルバー / FPGA / 基数制約 / モデル生成法 / SAT / 並列処理 / 定理証明 / Ramsey数 / モデル生成 / MaxSAT / 探索・論理・推論アルゴリズム / Java / Verilog / SATソルバ / MaxSATソルバー / Python / 深層学習 / 局所探索 / Ramseyグラフ / SAT solver / Ramsey number / BCBE Circuit / Hardware Description Language / Parallel Processing / Davis-Putnam Method / Model Generation Method / SAT Solver / 制約違反の検査 / 準群の存在問題 / 8王妃問題 / ハードウェア / ソフトウェア / 制約充足問題 / 知的バックトラック / 探索ヒューリスティクス / 充足可能性(SAT)問題 / トーナメント回路 / ソフトウェアのハードウェア化 / 推論エンジン / 定理証明システム / SAT問題 / BCBE回路 / ハードウェア記述言語 / 並列実行 / Davis-Putnam法 / Constraints Programming / Theorem Proving / Dataflow Computation Model / Parallel Prolog / Multithreading / Parallel Processing Language / Parallel Machine Architecture / データフロー / 並列化コンパイラ / 超並列マシン / 宣言型並列言語 / 制約プログラミング / データフロー計算モデル / 並列論理型言語 / 細粒度マルチスレッド処理 / 並列処理言語 / 並列処理計算機アーキテクチャ / Search Control / Constraint Processing / N-Sequential Method / OR-Parallelization / Java Language / Folding-up Method / NHM Method / Model Generation / 知識情報処理 / 弁別木プログラム / 異機種分散 / 並列探索 / 項インデキシング / 多重環境 / Folding-up機能 / N逐次実行方式 / 探索制御 / 制約処理 / N逐次方式 / OR並列化 / Java言語 / 畳込み法 / NHM法 / EPRソルバー / 最適化問題 / 組合せ問題 / AES暗号鍵 / 帰納論理プログラミング / MaxSAT問題 / 対称性制約 / ラムゼー数 / 組合せ最適化問題 / 組合せ最適化 / MGTP / 論理素子 / 自動推論 / 論理 / 推論アルゴリズム / 探索 / 並列分散処理 / 分散処理・並列処 / 基数制約のSAT符合化 / SATソルバーの高速化 / 極小モデル生成 / 戦略の統合 / 並列化 / EPR論理 / マルチエージェントシステム / 実行時システム / 細粒度マルチスレッディング / ストリーム処理 / 細粒度マルチスレッド / 並列分散OS / 言語処理系 / 並列コンピュータ / 計算機システム / 並列処理・分散処理 / 制約最適化問題 / シミュレータ / Verilog-HDL / 再構成可能計算 / 補題生成 / ハードウェア化 / 命題論理 / 再構成可能素子 Less

Problem Solving with SAT OraclesPrincipal Investigator
- Principal Investigator
  
  Koshimura Miyuki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kyushu University
A Computational Approach to Study Ramsey Numbers
- Principal Investigator
  
  Fujita Hiroshi
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
Research and Development of Experiment Candidate Recommendation System with Reasoning and LearningPrincipal Investigator
- Principal Investigator
  
  Koshimura Miyuki
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
A Study on Extending SAT Solvers with Cardinality Constraints and its ApplicationsPrincipal Investigator
- Principal Investigator
  
  Koshimura Miyuki
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kyushu University
A study on EPR method for solving large scale combinatorial optimization problems
- Principal Investigator
  
  Fujita Hiroshi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
Study of High Level Functional Logic Elements for High Performance Automated Reasoning Systems
- Principal Investigator
  
  FUJITA Hiroshi
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
Research on Fine-grain Multithreading Language and its Operating System
- Principal Investigator
  
  AMAMIYA Makoto
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  財団法人九州先端科学技術研究所
   Osaka Institute of Technology
A Study on EPR Prover for Solving Large-scale SAT Problems
- Principal Investigator
  
  HASEGAWA Ryuzo
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
Study on Developing Personalized Web Retrieval Support SystemsPrincipal Investigator
- Principal Investigator
  
  KOSHIMURA Miyuki
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Media informatics/Database
- Research Institution
  Kyushu University
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
- Principal Investigator
  
  TAMURA Naoyuki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Kobe University
作動時に再構成可能な演算チップのためのソフトウェア開発技術に関する研究
- Principal Investigator
  
  FUJITA Hiroshi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Study on Language Processing for Plastic Cell Architecture
- Principal Investigator
  
  HASEGAWA Ryuzo
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Massively Parallel Computer and Declarative Language
- Principal Investigator
  
  AMAMIYA Makoto
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Field
  
  計算機科学
- Research Institution
  KYUSHU UNIVERCITY
Building a Distributed Knowledge Information System Based on Model Generation
- Principal Investigator
  
  HASEGAWA Ryuzo
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  KYUSHU UNIVERSITY

[Journal Article] Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem2022
- Author(s)
  Sugahara Tomoya、Yamashita Kaito、Barrot Nathanael、Koshimura Miyuki、Yokoo Makoto
- Journal Title
  
  Pacific Rim International Conference on Artificial Intelligence
  
  Volume: 1 Pages: 17-31
- DOI
  10.1007/978-3-031-20862-1_2
- ISBN
  9783031208614, 9783031208621
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K19813, KAKENHI-PROJECT-19H04175, KAKENHI-PROJECT-20H00609
[Journal Article] Concise integer linear programming formulation for clique partitioning problems2022
- Author(s)
  Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo
- Journal Title
  
  Constraints
  
  Volume: 27 Issue: 1-2 Pages: 99-115
- DOI
  10.1007/s10601-022-09326-z
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04175, KAKENHI-PROJECT-18H03299, KAKENHI-PROJECT-20H00609
[Journal Article] Impossibility of weakly stable and strategy-proof mechanism2022
- Author(s)
  Sung-Ho Cho, Miyuki Koshimura, Pink Mandal, Kentaro Yahiro, Makoto Yokoo
- Journal Title
  
  Economics Letters
  
  Volume: 217 Pages: 1-4
- DOI
  10.1016/j.econlet.2022.110675
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175, KAKENHI-PROJECT-21H04979, KAKENHI-PROJECT-20H00609
[Journal Article] Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial Ma×SAT2021
- Author(s)
  Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu, Fagen Li
- Journal Title
  
  Mathematical Problems in Engineering
  
  Volume: 2021 Pages: 1-17
- DOI
  10.1155/2021/9615463
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175
[Journal Article] 分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム2019
- Author(s)
  査澳龍、越村三幸、櫻井祐子、横尾真
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J102-D Pages: 313-323
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H04175
[Journal Article] Improved WPM Encoding for Coalition Structure Generation under MC-nets2019
- Author(s)
  Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
- Journal Title
  
  Constraints
  
  Volume: 24 Pages: 25-55
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00307
[Journal Article] N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT2019
- Author(s)
  Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
- Journal Title
  
  Constraints
  
  Volume: 24 Issue: 2 Pages: 133-161
- DOI
  10.1007/s10601-018-9299-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00304, KAKENHI-PROJECT-19H04175, KAKENHI-PROJECT-17K00307
[Journal Article] 分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム2019
- Author(s)
  査澳龍、越村三幸、櫻井祐子、横尾真
- Journal Title
  
  電子情報通信学会論文誌 D
  
  Volume: J102-D Pages: 313-323
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00304
[Journal Article] A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets2019
- Author(s)
  Xiaojuan Liao、Miyuki Koshimura
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 29 Issue: 6 Pages: 913-931
- DOI
  10.1093/logcom/exz017
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175, KAKENHI-PROJECT-17K00307
[Journal Article] Improved WPM encoding for coalition structure generation under MC-nets2018
- Author(s)
  Liao Xiaojuan、Koshimura Miyuki、Nomoto Kazuki、Ueda Suguru、Sakurai Yuko、Yokoo Makoto
- Journal Title
  
  Constraints
  
  Volume: 24 Issue: 1 Pages: 25-55
- DOI
  10.1007/s10601-018-9295-4
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00761, KAKENHI-PROJECT-18H03299, KAKENHI-PROJECT-16K00304
[Journal Article] Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints2017
- Author(s)
  Aolong Zha, Naoki Uemura, Miyuki Koshimura, and Hiroshi Fujita
- Journal Title
  
  Proceedings of 29th International Conference on Tools with Artificial Intelligence
  
  Volume: 1 Pages: 868-875
- DOI
  10.1109/ictai.2017.00135
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00307
[Journal Article] SATとラムゼー数 ~数学の未解決問題への挑戦~2016
- Author(s)
  藤田博、越村三幸
- Journal Title
  
  情報処理
  
  Volume: 57 Pages: 716-719
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00304
[Journal Article] MaxSAT：SATの最適化問題への拡張 -MaxSATソルバーの活用法-2016
- Author(s)
  越村三幸、藤田博
- Journal Title
  
  情報処理
  
  Volume: 57 Pages: 730-733
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00304
[Journal Article] Reconstructing AES Key Schedule Images with SAT and MaxSAT2016
- Author(s)
  Xiaojuan Liao, Hui Zhang, Miyuki Koshimura
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E99.D Issue: 1 Pages: 141-150
- DOI
  10.1587/transinf.2015EDP7223
- NAID
  130005116199
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations2014
- Author(s)
  Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E97.D Issue: 7 Pages: 1812-1821
- DOI
  10.1587/transinf.E97.D.1812
- NAID
  130004519277
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities2014
- Author(s)
  Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E97.D Issue: 7 Pages: 1781-1789
- DOI
  10.1587/transinf.E97.D.1781
- NAID
  130004519274
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers2013
- Author(s)
  Toru Ogawa, YangYang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
- Journal Title
  
  Proc. of ICTAI 2013
  
  Volume: なし Pages: 9-17
- DOI
  10.1109/ictai.2013.13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] Modulo 計算に基づく基数制約のCNF符号化方式の提案と評価2013
- Author(s)
  小川徹，劉洋洋，長谷川隆三，越村三幸，藤田博
- Journal Title
  
  九州大学システム情報科学紀要
  
  Volume: 18(2) Pages: 85-92
- NAID
  120005306729
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330085
[Journal Article] A Soft Constraint Guided SAT Solver (Tool Paper)2013
- Author(s)
  H.Fujita, M.Koshimura, R.Hasegawa, SCSat
- Journal Title
  
  Proc. of the SAT2013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Using MaxSAT to Correct Errors in AES Key Schedule Images2013
- Author(s)
  Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc. of ICTAI 2013
  
  Volume: なし Pages: 284-291
- DOI
  10.1109/ictai.2013.51
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] Modulo 計算に基づく基数制約のCNF符号化方式の提案と評価2013
- Author(s)
  小川徹，劉洋洋，長谷川隆三，越村三幸，藤田博
- Journal Title
  
  九州大学システム情報科学紀要
  
  Volume: 第18巻 Pages: 85-92
- NAID
  120005306729
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330262
[Journal Article] SCSat: A Soft Constraint Guided SAT Solver2013
- Author(s)
  Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa
- Journal Title
  
  Proc. of SAT 2013
  
  Volume: なし Pages: 415-421
- DOI
  10.1007/978-3-642-39071-5_32
- ISBN
  9783642390708, 9783642390715
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330085, KAKENHI-PROJECT-25330262
[Journal Article] QMaxSAT : A Partial Max-SAT Solver, Journal on Satisfiabiliy2012
- Author(s)
  M. Koshimura, T. Zhang, H. Fujita, R. Hasegawa
- Journal Title
  
  Boolean Modeling and Computation
  
  Volume: Vol.8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] QMaxSAT : A Partial Max-SAT Solver2012
- Author(s)
  Miyuki Koshimura, Tone Zhang, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Journal on Satisfiability, Boolean Modeling and Computation
  
  Volume: 8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Rule Extraction from Micro-Blog using Inductive Logic Programming2012
- Author(s)
  Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc. of 2012 Spring World Congress on Engineering and Technology (SCET2012)
  
  Volume: 2 Pages: 257-260
- DOI
  10.1109/scet.2012.6342076
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article]2012
- Author(s)
  鍋島英知,越村三幸,番原睦則
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29, No.4 Pages: 9-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] A Partial Max-SAT Solver2012
- Author(s)
  M. Koshimura, T. Zhang, H. Fujita, R. Hasegawa, QMaxSAT
- Journal Title
  
  J. on Satisfiability, Boolean Modeling and Computation
  
  Volume: Vol.8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Solving the Coalition Structure Generation Problem with MaxSAT2012
- Author(s)
  X.Liao,M.Koshimura,H.Fujita,R.Hasegawa
- Journal Title
  
  Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence
  
  Pages: 910-915
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Solving the Coalition Structure Generation Problem with MaxSAT2012
- Author(s)
  X. Liao, M. Koshimura, H. Fujita, R.Hasegawa
- Journal Title
  
  Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence
  
  Pages: 910-915
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] QMaxSAT : A Partial Max-SAT Solver2012
- Author(s)
  Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Journal on Satisfiability, Boolean Modeling and Computation
  
  Volume: 8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Evaluating Reranking Methods based on Link Co-occurence and Category in Wikipedia2012
- Author(s)
  Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  4th International Conference on Agents and Artificial Intelligence
  
  Volume: 1 Pages: 27-27
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Hybrid Particle Swarm Optimization and Convergence Analysis for Scheduling Problems2012
- Author(s)
  X.F.Zhang,M.Koshimura,H.Fujita,R.Hasegawa
- Journal Title
  
  Evolutionary Computation and Multi-Agent Systems and Simulation Workshop
  
  Pages: 307-314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Hybrid Particle Swarm Optimization and Convergence Analysis for Scheduling Problems2012
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop, GECCO'12 Companion Publication
  
  Volume: なし Pages: 307-314
- DOI
  10.1145/2330784.2330829
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] QMaxSAT : A Partial Max-SAT Solver2012
- Author(s)
  Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Journal on Satisfiability, Boolean Modeling and Computation
  
  Volume: 8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Report on SAT Competition and Max-SAT Evaluation2012
- Author(s)
  鍋島英知，越村三幸，番原睦則
- Journal Title
  
  Computer Software
  
  Volume: 29 Issue: 4 Pages: 4_9-4_14
- DOI
  10.11309/jssst.29.4_9
- NAID
  10031077880
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Evaluating Reranking Methods based on Link Cooccurrence and Category in Wikipedia2012
- Author(s)
  Y. Takiguchi, K. Kurakado, T. Oishi, M. Koshimura, H. Fu ilia, R. Hasegawa
- Journal Title
  
  ICAART 2012
  
  Volume: Vol.1 Pages: 277-282
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Solving the Coalition Structure Generation Problem with MaxSAT2012
- Author(s)
  Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc. of 24th International Conference on Tools with Artificial Intelligence
  
  Volume: なし
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Rule Extraction from Micro-Blog using Inductive Logic Programming2012
- Author(s)
  N.Chikara,M.Koshimura,H.Fujita,R.Hasegawa
- Journal Title
  
  Proc. of 2012 Spring World Congress on Engineering and Technology
  
  Volume: Vol.2 Pages: 257-260
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] A Partial Max-SAT Solver,Journal on Satisfiability2012
- Author(s)
  M.Koshimura,T.Zhang,H.Fujita,R.Hasegawa, QMaxSAT
- Journal Title
  
  Boolean Modeling and Computation
  
  Volume: Vol.8 Pages: 95-100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Hybrid Particle Swarm Optimization with Parameter Selection Approaches to Solve Flow Shop Scheduling Problem2011
- Author(s)
  Xue-Feng Zhang, Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems
  
  Pages: 13-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] An Efficient Hybrid Particle Swarm Optimization for the Job Shop Scheduling Problem2011
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)
  
  Pages: 622-626
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] QMaxSAT version 0.3 & 0.42011
- Author(s)
  Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of International Workshop on First-Order Theorem Proving (FTP 2011)
  
  Pages: 7-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Combining PSO and Local Search to Solve Scheduling Problems2011
- Author(s)
  X.F. Zhang, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  Proc. of 10th Annual Conf. Companion on Genetic and Evolutionary Computation
  
  Pages: 347-357
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Hybrid Particle Swarm Optimization with Parameter Selection Approaches to Solve Flow Shop Scheduling Problem2011
- Author(s)
  X.F. Zhang, X. An, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  Proc. of 10th IEEE Int'l Conf. on Cybernetic Intelligent Systems
  
  Pages: 13-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Combining PSO and Local Search to Solve Scheduling Problems2011
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proa.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)
  
  Pages: 347-357
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] An Efficient Hybrid Particle Swarm Optimization for the Job Shop Scheduling Problem2011
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)
  
  Pages: 622-626
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Evaluating Reranking Methods Using Wikipedia Features2011
- Author(s)
  K. Kurakado, T. Oishi, R. Hasegawa, H. Fujita, M. Koshimura
- Journal Title
  
  ICAART 2011
  
  Volume: Vol.1 Pages: 376-381
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Evaluating Reranking Methods using Wikipedia Features2011
- Author(s)
  K.Kurakado, T.Oishi, R.Hasegawa, H.Fujita, M.Koshimura
- Journal Title
  
  Proc.of ICAART 2011
  
  Volume: 1 Pages: 376-381
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] An Efficient Hybrid Particle Swarm Optimization for the Job Shop Scheduling Problem2011
- Author(s)
  X.F. Zhang, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  Proc. of 2011 IEEE Int'l Conf. on Fuzzy Systems
  
  Pages: 622-626
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] 推薦理由を考慮した情報推薦システム2011
- Author(s)
  力規晃，越村三幸，藤田博，長谷川隆三
- Journal Title
  
  システム情報科学紀要
  
  Volume: 16(2) Pages: 75-81
- NAID
  120003370634
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] QMaxSAT version 0.3 & 0.42011
- Author(s)
  X. An, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  Proc. of FTP 2011
  
  Pages: 7-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Hybrid Particle Swarm Optimization with Parameter Selection Approaches to Solve Flow Shop Scheduling Problem2011
- Author(s)
  Xue-Feng Zhang, Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems
  
  Pages: 13-19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Combining PSO and Local Search to Solve Scheduling Problems2011
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)
  
  Pages: 347-357
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Trendspotter Detection System for Twitter2011
- Author(s)
  W.Shirakihara, T.Oishi, R.Hasegawa, H.Fujita, M.Koshimura
- Journal Title
  
  Proc.of ICAART 2011
  
  Volume: 1 Pages: 625-628
- NAID
  110008003663
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Combining PSO and Local Search to Solve Scheduling Problems2011
- Author(s)
  Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 13th Annual Conf.Companion on Genetic and Evolutionary Computation (GECCO 2011)
  
  Pages: 347-354
- DOI
  10.1145/2001858.2002017
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] QMaxSAT version 0.3 & 0.42011
- Author(s)
  Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Proc.of 8th Int'l Workshop on First-Order Theorem Proving (FTP 2011)
  
  Pages: 7-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] QMaxSAT version 0.3 & 0.42011
- Author(s)
  Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  FTP 2011, TABLEAUX 2011 Workshops, Tutorials, and Short Papers
  
  Pages: 7-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Trendspotter Detection System for Twitter2011
- Author(s)
  W. Shirakihara, T. Oishi, R. Hasegawa, H. Fujita, M. Koshimura
- Journal Title
  
  ICAART 2011
  
  Volume: Vol.1 Pages: 628-628
- NAID
  110008003663
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] QMaxSAT version 0.3 & 0.42011
- Author(s)
  X.An, M. Koshimura, H. Fujita, R.Hasegawa
- Journal Title
  
  TABLEAUX 2011 Workshops, Tutorials, and Short Papers
  
  Pages: 7-15
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem2010
- Author(s)
  X.-F.Zhang, B.Tong, M.Koshimura, Hiroshi Fujita, R.Hasegawa
- Journal Title
  
  Australian Journal of Intelligent Information Processing Systems
  
  Volume: 12・4 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M. Koshimura, H. Nabeshima, H. Fujita, R. Hasegawa
- Journal Title
  
  IEICE Trans. on Information and Systems
  
  Volume: Vol.E93-D Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Related Word Extraction from Wikipedia for WEB Retrieval Assistance2010
- Author(s)
  K. Hori, T. Oishi, T. Mine, R. Hasegawa, H. Fujita, M. Koshimura
- Journal Title
  
  ICAART 2010
  
  Volume: Vol.2 Pages: 192-199
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem2010
- Author(s)
  Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  Australian Journal of Intelligent Information Processing Systems
  
  Volume: Vol.12 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] 極小モデル生成器MiniMGの試作2010
- Author(s)
  矢野明浩,中村徹,長谷川隆三,藤田博,越村三幸
- Journal Title
  
  九州大学大学院システム情報科学紀要
  
  Volume: 第15巻,第2号 Pages: 91-98
- NAID
  120002795249
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] 基数制約を用いたMax-SATソルバーの試作2010
- Author(s)
  張〓, 越村三幸, 藤田博, 長谷川隆三
- Journal Title
  
  第9回情報科学技術フォーラム講演論文集
  
  Volume: 第2分冊 Pages: 405-406
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: E93-D・8 Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  Miyuki KOSHIMURA, Hidetomo NABESHIMA, Hiroshi FUJITA, Ryuzo HASEGAWA
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems (Letter)
  
  Volume: Vol.E93-D Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M. Koshimura, H. Nabeshima, H. Fujita, R. Hasegawa
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems (Letter)
  
  Volume: Vol.E93-D, No.8 Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: Vol.E93-D, No.8 Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300011
[Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010
- Author(s)
  N.Chikara, M.Koshimura, H.Fujita, R.Hasegawa
- Journal Title
  
  Int'l Workshop on Web Personalization and Recommender Systems
  
  Pages: 269-272
- NAID
  130008064889
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem2010
- Author(s)
  X.F. Zhang, B. Tong, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  ICONIP 2010 Better Paper Award 受賞, Australian Journal of Intelligent Information Processing Systems
  
  Volume: Vol.12, No.4 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] モデル列挙とモデル計数2010
- Author(s)
  長谷川隆三,藤田博,越村三幸
- Journal Title
  
  人工知能学会誌
  
  Volume: Vol.25,No.1 Pages: 96-104
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] BOINCによるSATソルバーの並列実行2010
- Author(s)
  力規晃, 越村三幸, 藤田博, 長谷川隆三
- Journal Title
  
  第9回情報科学技術フォーラム講演論文集
  
  Volume: 第2分冊 Pages: 167-168
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010
- Author(s)
  N. Chikara, M. Koshimura, H. Fujita, R.Hasegawa
- Journal Title
  
  Int'l Workshop on Web Personalization and Recommender Systems
  
  Pages: 269-272
- NAID
  130008064889
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling2010
- Author(s)
  X,-F. Zhang, B. Tong, M. Koshimura, H. Fujita, R. Hasegawa.
- Journal Title
  
  Australian Journal of Intelligent Information Processing Systems
  
  Volume: Vol.12, No.4 Pages: 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] 極小モデル生成器MiniMG の試作2010
- Author(s)
  矢野明浩, 中村徹, 長谷川隆三, 藤田博, 越村三幸
- Journal Title
  
  九州大学大学院システム情報科学紀要
  
  Volume: 第15巻, 第2号 Pages: 91-98
- NAID
  120002795249
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] A Hybrid Particle Swarm Optimization Algorithm HPTS for the Flow-Shop Scheduling Problem2010
- Author(s)
  X.F. Zhang, B. Tong, M. Koshimura, H. Fujita, R.Hasegawa
- Journal Title
  
  九州大学大学院システム情報科学紀要
  
  Volume: 第15巻, 第2号 Pages: 65-69
- NAID
  120002795245
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010
- Author(s)
  N. Chikara, M. Koshimura, H. Fujita, R. Hasegawa
- Journal Title
  
  WebPRES 2010
  
  Pages: 269-272
- NAID
  130008064889
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
- Journal Title
  
  IEICE Trans.on Information and Systems Vol.E93-D
  
  Pages: 2316-2318
- NAID
  10027365040
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M. Koshimura, H. Nabeshima, H. Fujita, R. Hasegawa
- Journal Title
  
  IEICE TRANS. on Information and Systems
  
  Volume: vol.E93-D-8 Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300011
[Journal Article] RELATEDWORD EXTRACTION FROM WIKIPEDIA FOR WEB RETRIEVAL ASSISTANCE2010
- Author(s)
  K.Hori, T.Oishi, T.Mine, R.Hasegawa, H.Fujita, M.Koshimura
- Journal Title
  
  International Conference on Agents and Artificial Intelligence(ICAART)2010, Vol.2
  
  Pages: 192-199
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] モデル列挙とモデル計数2010
- Author(s)
  長谷川隆三, 藤田博, 越村三幸
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 96-104
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] モデル列挙とモテル計数2010
- Author(s)
  長谷川, 藤田, 越村
- Journal Title
  
  人工知能学会誌 25・1
  
  Pages: 96-104
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010
- Author(s)
  M. Koshimura, H. Nabeshima, H. Fujita, R.Hasegawa
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems (Letter)
  
  Volume: Vol.E93-D, No.8 Pages: 2316-2318
- NAID
  10027365040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650028
[Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010
- Author(s)
  N.Chikara, M.Koshimura, H.Fujita, R.Hasegawa
- Journal Title
  
  Int'l Workshop on Web Personalization and Recommender System
  
  Pages: 269-272
- NAID
  130008064889
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Rule Extraction from Blog Using Inductive Logic Programming2010
- Author(s)
  N.Chikara, M.Koshimura, H.Fujita, R.Hasegawa
- Journal Title
  
  Int'l Workshop on Web Personalization and Recommender Systems
  
  Pages: 269-272
- NAID
  130008064889
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article]2009
- Author(s)
  T. Oishi, T. Mine, R. Hasegawa, H. Fujita, M. Koshimura
- Journal Title
  
  ACCDS 2009
  
  Pages: 41-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Minimal Model Generation with respect to an Atom Set2009
- Author(s)
  M. Koshimura, H. Nabeshima, H. Fujita, R.Hasegawa
- Journal Title
  
  Proc. of FTP 2009
  
  Pages: 49-59
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] Minimal Model Generation with Respect to an Atom Set2009
- Author(s)
  M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
- Journal Title
  
  7th International Workshop on First-Order Theorem Proving(FTP 2009)
  
  Pages: 49-59
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240003
[Journal Article] Related Word Extraction Algorithm for Query Expansion-an Evaluation-2009
- Author(s)
  T.Oishi, T.Mine, R.Hasegawa, H.Fujita, M.Koshimura
- Journal Title
  
  International Workshop on Agent-based Collaboration, Coordination, and Decision Support(ACCDS 2009)
  
  Pages: 41-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500102
[Journal Article] Minimal Model Generation with respect to an Atom Set2009
- Author(s)
  M.Koshimura, H.Nabeshima, H.Fujita, R.Hasegawa
- Journal Title
  
  7th International Workshop on First-Order Theorem Proving
  
  Pages: 49-59
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300054
[Journal Article] 鉄道信号システムのモデル検査器SPINによる検証2005
- Author(s)
  大神, 清水, 越村, 川村, 藤田, 長谷川
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- NAID
  110001131938
- Data Source
  KAKENHI-PROJECT-14658094
[Journal Article] FPGA上のSATソルバPCMGTPの改良について2005
- Author(s)
  藤田博, 長谷川隆三, 越村三幸, 木之下昇平, 松田純一
- Journal Title
  
  九州大学大学院システム情報科学紀要 10
  
  Pages: 21-26
- NAID
  110001131578
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] FPGA上のSATソルバPCMGTPの改良について2005
- Author(s)
  藤田, 長谷川, 越村, 木之下, 松田
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- NAID
  110001131578
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] キーワード関連語提案システムの精度向上と関連語を観点としたWEBページ要約文抽出について2005
- Author(s)
  梅永, 竹下, 久本, 長谷川, 藤田, 越村
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- Data Source
  KAKENHI-PROJECT-14658094
[Journal Article] FRGA上のSATソルバPCMGTPの改良について2005
- Author(s)
  藤田, 長谷川, 越村, 木之下, 松田
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- Data Source
  KAKENHI-PROJECT-14658094
[Journal Article] キーワード関連語提案システムの精度向上と関連語を観点としたWEBページ要約文抽出について2005
- Author(s)
  梅永, 竹下, 久本, 長谷川, 藤田, 越村
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] 鉄道信号システムのモデル検査器SPINによる検証2005
- Author(s)
  大神, 清水, 越村, 川村, 藤田, 長谷川
- Journal Title
  
  九州大学大学院システム情報科学紀要 10・1(印刷中)
- NAID
  110001131938
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] On Improvements of a SAT-Solver PCMGTP on FPGA.2005
- Author(s)
  Hiroshi Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Shohei Kinoshita, Jun'ichi Matsuda
- Journal Title
  
  Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.10
  
  Pages: 21-26
- NAID
  110001131578
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] Minimal Model Generation with Factorization and Constrained Search.2003
- Author(s)
  Miyuki Koshimura, Megumi Iwaki, Ryuzo Hasegawa
- Journal Title
  
  IPSJ Journal Vol.44
  
  Pages: 1163-1172
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580380
[Journal Article] Minimal Model Generation with Factorization and Constrained Search2003
- Author(s)
  Miyuki Koshimura, Megumi Iwaki, Ryuzo Hasegawa
- Journal Title
  
  情報処理学会論文誌 44
  
  Pages: 1163-1172
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580380
[Patent] 物流倉庫の制御装置、及び物流倉庫の制御方法2022
- Inventor(s)
  越村、岡本、野田、小出
- Industrial Property Rights Holder
  越村、岡本、野田、小出
- Industrial Property Rights Type
  特許
- Filing Date
  2022
- Data Source
  KAKENHI-PROJECT-19H04175
[Patent] 物流倉庫の制御装置、及び物流倉庫の制御方法2021
- Inventor(s)
  越村、野田、加藤
- Industrial Property Rights Holder
  越村、野田、加藤
- Industrial Property Rights Type
  特許
- Filing Date
  2021
- Data Source
  KAKENHI-PROJECT-19H04175
[Patent] 実験支援システム、実験支援方法、および実験支援プログラム2013
- Inventor(s)
  長谷川隆三，藤田博，越村三幸，力規晃，阿部幸浩，西田光生
- Industrial Property Rights Holder
  長谷川隆三，藤田博，越村三幸，力規晃，阿部幸浩，西田光生
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2013-031416
- Filing Date
  2013-02-20
- Data Source
  KAKENHI-PROJECT-21300054
[Patent] 実験システム,実験支援方法,および実験支援プログラム2013
- Inventor(s)
  長谷川隆三,藤田博,越村三幸,力規晃,阿部幸浩,西田光生
- Industrial Property Rights Holder
  長谷川隆三,藤田博,越村三幸,力規晃,阿部幸浩,西田光生
- Industrial Property Number
  2013-031416
- Filing Date
  2013-02-20
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] ラムゼーグラフの二つの遷移2023
- Author(s)
  越村三幸、永野崇
- Organizer
  2023年電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] 垂直搬送機のMaxSATによる最適スケジューリング2022
- Author(s)
  越村三幸、野田五十樹
- Organizer
  スケジューリング・シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] 敵対者が存在する重み付き MaxSAT の定式化と厳密アルゴリズムの提案2022
- Author(s)
  山下魁人、菅原知地、越村三幸、横尾真
- Organizer
  Symposium on Multi Agent Systems for Harmonization 2022 （SMASH22）
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] ADSAT：敵対者が存在するMaxSAT2021
- Author(s)
  菅原知地、越村三幸、横尾真
- Organizer
  人工知能学会全国大会（第35回）
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] 細胞数カウントに向けたCNNを用いた尿中有形成分の分類2020
- Author(s)
  淺倉健太、越村三幸、池田大輔、藤田博
- Organizer
  火の国情報シンポジウム2020
- Data Source
  KAKENHI-PROJECT-17K00307
[Presentation] A Simple yet Efficient MCSes Enumeration with SAT Oracles2020
- Author(s)
  Miyuki Koshimura, Ken Satoh
- Organizer
  12th Asian Conference on Intelligent Information and Database Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem2020
- Author(s)
  Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda
- Organizer
  2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] 推移関係を表すSAT節の削減2020
- Author(s)
  越村三幸, 廖暁鵑, 渡部恵海, 櫻井祐子, 横尾真
- Organizer
  2020年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation2019
- Author(s)
  Miyuki Koshimura, Aolong Zha, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
- Organizer
  The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting
- Data Source
  KAKENHI-PROJECT-17K00307
[Presentation] Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation2019
- Author(s)
  Miyuki Koshimura, Aolong Zha, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
- Organizer
  The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] SATソルバーを用いたMCS列挙の実装とその評価2019
- Author(s)
  越村三幸，佐藤健
- Organizer
  人工知能学会第109回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] SATソルバーGlucoseを用いたMCS列挙2019
- Author(s)
  越村三幸、佐藤健
- Organizer
  ２０１９年度人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems2019
- Author(s)
  Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu
- Organizer
  PRICAI: 16th Pacific Rim International Conference on Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] Solving Coalition Structure Generation Problems over Weighted Graph2019
- Author(s)
  Emi Watanabe, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo
- Organizer
  PRIMA 2019: 22nd International Conference on Principles and Practice of Multi-Agent Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04175
[Presentation] Improved WPM Encoding for Coalition Structure Generation under MC-nets,2019
- Author(s)
  Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
- Organizer
  The 4th Kakenhi Kiban-A&B/NII Collaborate Research Meeting
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価2018
- Author(s)
  越村三幸，廖暁鵑，野本一貴，上田俊、櫻井祐子，横尾真
- Organizer
  人工知能学会第106回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] 機械学習を用いた電流データに基づく異常判定システム2018
- Author(s)
  満尾成亮，安部竜太，橋下司，越村三幸，藤田博
- Organizer
  電子情報通信学会 2018年総合大会
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] CNNを用いた尿中有形成分の分類の初期検討2018
- Author(s)
  淺倉健太，越村三幸，藤田博
- Organizer
  電子情報通信学会医用画像研究会
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] 混合基数を用いた擬似ブール制約のSAT符号化2017
- Author(s)
  上村直輝，藤田博，越村三幸，査澳龍
- Organizer
  人工知能学会第103回人工知能基本問題研究会(SIG-FPAI)
- Place of Presentation
  湯布院公民館
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] 分割決定木で表現された提携構造形成問題のMaxSAT符号化2017
- Author(s)
  越村三幸，査澳龍，野本一貴，櫻井祐子，横尾真
- Organizer
  情報処理学会第79回全国大会
- Place of Presentation
  名古屋大学東山キャンパス
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] A Hybrid Encoding of Pseudo-Boolean Constraints into CNF2017
- Author(s)
  Aolong Zha, Miyuki Koshimura, and Hiroshi Fujita
- Organizer
  Conference on Technologies and Applications of Artificial Intelligence
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation2017
- Author(s)
  Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo
- Organizer
  PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] 混合基数を用いた擬似ブール制約のSAT符号化2017
- Author(s)
  上村直輝，藤田博，越村三幸，査澳龍
- Organizer
  人工知能学会第103回人工知能基本問題研究会（SIG-FPAI）
- Data Source
  KAKENHI-PROJECT-17K00307
[Presentation] MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良2017
- Author(s)
  越村三幸，廖暁鵑，野本一貴，上田俊、櫻井祐子，横尾真
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints2017
- Author(s)
  Aolong Zha, Naoki Uemura, Miyuki Koshimura, and Hiroshi Fujita
- Organizer
  ICTAI 2017: 29th International Conference on Tools with Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] 分割関数ゲームを対象とした提携構造形成問題のMaxSAT符号化2017
- Author(s)
  越村三幸，査澳龍，野本一貴，櫻井祐子，横尾真
- Organizer
  2017年度人工知能学会全国大会（第31回）
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] MaxSATを利用したAES暗号鍵の復元法の改良2016
- Author(s)
  越村三幸，廖暁鵑
- Organizer
  NII共同研究プロジェクト：クラウド上のソフトウェア最適配置問題の解法＆解集合プログラミングによるシステム検証　合同ミーティング
- Place of Presentation
  熊本市民会館
- Year and Date
  2016-03-28
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] Modulo計算に基づく重み付MaxSAT問題の基数制約符号化手法の改良2016
- Author(s)
  有村寿高，長谷川隆三，藤田博，越村三幸，ZHA AOLONG，上村直輝
- Organizer
  人工知能学会第100回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  熊本市民会館
- Year and Date
  2016-03-27
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] MaxSAT Encoding for MC-net/PDT-based Coalition Structure Generation Problem2016
- Author(s)
  Miyuki Koshimura, Kazuki Nomoto, Yuko Sakurai, and Makoto Yokoo
- Organizer
  10th CSPSAT Seminar
- Place of Presentation
  神戸大学六甲台キャンパス
- Invited
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] Introducing Pure Literal Elimination into CDCL Algorithm2016
- Author(s)
  Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
- Organizer
  人工知能学会第99回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  湯の原ホテル（仙台市）
- Year and Date
  2016-01-21
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] モデルとUnsat Coreを利用したMaxSATソルバーの試作2016
- Author(s)
  越村三幸
- Organizer
  2016年度人工知能学会全国大会（第30回）
- Place of Presentation
  北九州国際会議場
- Data Source
  KAKENHI-PROJECT-16K00304
[Presentation] Modulo計算に基づく重み付MaxSAT問題の基数制約符号化手法の改良2016
- Author(s)
  有村寿高，長谷川隆三，藤田博，越村三幸，Zha Aolong，上村直輝
- Organizer
  人工知能学会第99回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  熊本市民会館
- Year and Date
  2016-03-27
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] Introducing Pure Literal Elimination into CDCL Algorithm2016
- Author(s)
  Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
- Organizer
  人工知能学会第99回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  湯の原ホテル（仙台市）
- Year and Date
  2016-01-21
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] MaxSATを利用したAES暗号鍵の復元法の改良2016
- Author(s)
  越村三幸，廖暁鵑
- Organizer
  NII共同研究プロジェクト: クラウド上のソフトウェア最適配置問題の解法 & 解集合プログラミングによるシステム検証合同ミーティング
- Place of Presentation
  熊本市民会館
- Year and Date
  2016-03-28
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] MaxSATソルバを用いた帰納論理プログラミング2015
- Author(s)
  力規晃，越村三幸，藤田博，長谷川隆三
- Organizer
  人工知能学会第97回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  別府国際コンベンションセンター
- Year and Date
  2015-03-23
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] Inductive Logic Programming Using a MaxSAT Solver2015
- Author(s)
  Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Organizer
  5th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学学友会館
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] Inductive Logic Programming Using a MaxSAT Solver2015
- Author(s)
  Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
- Organizer
  5th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学楽友会館
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] 節集合の簡単化によるMaxSATソルバーの高速化2015
- Author(s)
  上村直輝，越村三幸，長谷川隆三
- Organizer
  人工知能学会第97回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  別府国際コンベンションセンター
- Year and Date
  2015-03-23
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] MGTPとQMaxSAT2015
- Author(s)
  越村三幸
- Organizer
  第8回CSPSAT講演会
- Place of Presentation
  別府国際コンベンションセンター
- Year and Date
  2015-03-23
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] Extending CryptoMiniSat with Cardinality Constraints to Recover AES Key Schedules2014
- Author(s)
  YangYang Liu, Changlin Chai, Xiaojuan Liao, and Miyuki Koshimura
- Organizer
  The 7th CSPSAT & ASP Seminar
- Place of Presentation
  Rokkodai Campus, Kobe University
- Year and Date
  2014-04-22
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] 帰納論理プログラミングを用いた化学実験支援2014
- Author(s)
  力規晃，越村三幸，西田光生，阿部幸浩，藤田博，長谷川隆三
- Organizer
  人工知能学会第94回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  根室市総合文化会館
- Year and Date
  2014-07-24
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] 基数制約のSAT符号化を用いたMaxSATソルバーの試作2014
- Author(s)
  越村三幸，有村寿高
- Organizer
  2014年度人工知能学会全国大会（第28回）
- Place of Presentation
  ひめぎんホール（愛媛県県民文化会館）
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] MaxSATを利用したAES暗号鍵の復元2014
- Author(s)
  廖暁鵑, 越村三幸
- Organizer
  火の国情報シンポジウム
- Place of Presentation
  大分大学工学部
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] 高速SATソルバーZENN及びその高速化手法2014
- Author(s)
  早田翔，安本猛，越村三幸，藤田博，長谷川隆三
- Organizer
  2014年度人工知能学会全国大会（第28回）
- Place of Presentation
  ひめぎんホール（愛媛県県民文化会館）
- Year and Date
  2014-05-12
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] MaxSATを利用したAES暗号鍵の復元2014
- Author(s)
  越村三幸，廖暁鵑
- Organizer
  第5回CSPSAT2研究会
- Place of Presentation
  神戸大学自然科学総合研究棟3号館(東)4F
- Year and Date
  2014-08-22
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] 帰納論理プログラミングを用いた化学実験支援2014
- Author(s)
  力規晃，越村三幸，西田光生，阿部幸浩，藤田博，長谷川隆三
- Organizer
  人工知能学会第94回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  根室市総合文化会館
- Year and Date
  2014-07-24
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] QwMaxSAT: A weighted partial MaxSAT solver2014
- Author(s)
  Miyuki Koshimura, Toshitaka Arimura
- Organizer
  The 7th CSPSAT & ASP Seminar
- Place of Presentation
  Rokkodai Campus, Kobe University
- Year and Date
  2014-04-22
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] MaxSATソルバ用いた高分子の組成と物性との関係に関する考察2013
- Author(s)
  力規晃，越村三幸，西田光生，阿部幸浩，藤田博，長谷川隆三
- Organizer
  2013年度人工知能学会全国大会（第27回）
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] 〔デモ発表〕QwMaxSAT: a Weighted Partial MaxSAT Solver2013
- Author(s)
  越村三幸
- Organizer
  論理と推論の理論, 実装, 応用に関する合同セミナー
- Place of Presentation
  北海道大学工学部C304 ERATOセミナ室
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] SATソルバーの学習節を考慮した新高速化法2013
- Author(s)
  早田翔，長谷川隆三，藤田博，越村三幸
- Organizer
  2013年度人工知能学会全国大会（第27回）
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] Using MaxSAT to Correct Errors in AES Key Schedule Images2013
- Author(s)
  Xiaojuan Liao, 越村三幸，藤田博，長谷川隆三
- Organizer
  論理と推論の理論, 実装, 応用に関する合同セミナー
- Place of Presentation
  北海道大学工学部C304 ERATOセミナ室
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] QMaxSAT=SATソルバー + 基数制約の符号化2013
- Author(s)
  越村三幸
- Organizer
  第2回CSPSAT2研究会
- Place of Presentation
  唐津市民交流プラザ
- Year and Date
  2013-03-14
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] MaxSATソルバ用いた高分子の組成と物性との関係に関する考察2013
- Author(s)
  力規晃，越村三幸，西田光生，阿部幸浩，藤田博，長谷川隆三
- Organizer
  2013年度人工知能学会全国大会（第27回）
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] SATソルバーの学習節を考慮した新高速化法2013
- Author(s)
  早田翔，長谷川隆三，藤田博，越村三幸
- Organizer
  2013年度人工知能学会全国大会（第27回）
- Place of Presentation
  富山国際会議場
- Data Source
  KAKENHI-PROJECT-25330262
[Presentation] 提携構造形成問題の MaxSAT 符号化2012
- Author(s)
  越村三幸
- Organizer
  第12回CSPSAT研究会
- Place of Presentation
  湯布院公民館
- Year and Date
  2012-03-20
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 時間的距離に着目したTwitterからの関連単語抽出2012
- Author(s)
  白木原渉,大石哲也,越村三幸,藤田博,長谷川隆三
- Organizer
  情報処理学会第105回IFAT研究発表会
- Place of Presentation
  福岡大学
- Year and Date
  2012-01-21
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 帰納論理プログラミングを用いた高分子の組成と物性との関係に関する考察2012
- Author(s)
  力規晃，越村三幸，橋本司，西田光生，阿部幸浩，藤田博，長谷川隆三
- Organizer
  第11回情報科学技術フォーラム(FIT 2012)
- Place of Presentation
  法政大学小金井キャンパス
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] 帰納論理プログラミングを用いた高分子の組成と物性との関係に関する考察2012
- Author(s)
  力規晃,越村三幸,橋本司,西田光生,阿部幸浩,藤田博,長谷川隆三
- Organizer
  第11回情報科学技術フォーラム
- Place of Presentation
  法政大学
- Year and Date
  2012-09-04
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] SATソルバの学習節に対する新しい評価手法の提案2012
- Author(s)
  奥川巧，安本猛，越村三幸，藤田博，長谷川隆三
- Organizer
  2012年度人工知能学会全国大会（第26回）
- Place of Presentation
  山口県教育会館
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] SATソルバの学習節に対する新しい評価手法の提案2012
- Author(s)
  奥川巧,安本猛,越村三幸,藤田博,長谷川隆三
- Organizer
  2012年度人工知能学会全国大会(第26回)
- Place of Presentation
  山口県教育会館.
- Year and Date
  2012-06-12
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 提携構造形成問題のMaxSAT符号化2012
- Author(s)
  越村三幸
- Organizer
  第12回CSPSAT研究会
- Place of Presentation
  湯布院公民館視聴覚室
- Year and Date
  2012-03-20
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] MaxSATの一拡張について2012
- Author(s)
  越村三幸,廖暁鵑,藤田博,長谷川隆三
- Organizer
  第11回情報科学技術フォーラム(FIT 2012)
- Place of Presentation
  法政大学小金井キャンパス
- Year and Date
  2012-09-05
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] 帰納論理プログラミングを用いた高分子の組成と物性との関係に関する考察2012
- Author(s)
  力規晃,越村三幸,橋本司,西田光生,阿部幸浩,藤田博,長谷川隆三
- Organizer
  第11回情報科学技術フォーラム(FIT 2012)
- Place of Presentation
  政大学小金井キャンパス
- Year and Date
  2012-09-04
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] MaxSATの一拡張について2012
- Author(s)
  越村三幸
- Organizer
  第11回情報科学技術フォーラム(FIT 2012)
- Place of Presentation
  法政大学小金井キャンパス
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] MaxSATの一拡張について2012
- Author(s)
  越村三幸,廖暁鵑,藤田博,長谷川隆三
- Organizer
  第11回情報科学技術フォーラム
- Place of Presentation
  法政大学
- Year and Date
  2012-09-05
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 時間的距離に注目したTwitterからの関連単語抽出2012
- Author(s)
  白木原渉, 大石哲也, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  第105回IFAT・第205回NL合同研究発表会
- Place of Presentation
  福岡大学六本松キャンパスセミナーハウス
- Year and Date
  2012-01-21
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 帰納論理プログラミングを用いた棋譜からのルール抽出2011
- Author(s)
  力規晃, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  情報処理学会研究会(ゲーム情報学GI)
- Place of Presentation
  松江オープンソースラボ
- Year and Date
  2011-07-01
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] JSSPによるGlueMiniSat2.2.0の評価2011
- Author(s)
  越村三幸、鍋島英知
- Organizer
  第8回CSPSAT研究会
- Place of Presentation
  九州大学西新プラザ
- Year and Date
  2011-12-22
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT:Q-dai MaxSATソルバー2011
- Author(s)
  越村三幸, 安宣〓, 藤田博, 長谷川隆三
- Organizer
  2011年度人工知能学会全国大会(第25回)
- Place of Presentation
  アイーナいわて県民情報交流センター
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] UNIXのFORK機能に基づくSATソルバーの並列化2011
- Author(s)
  明石裕子,越村三幸,藤田博,長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] 帰納論理プログラミングを用いた化学反応からのルール抽出2011
- Author(s)
  力規晃,越村三幸,橋本司,山下全広,藤田博,長谷川隆三
- Organizer
  第10回情報科学技術フォーラム
- Place of Presentation
  函館大学
- Year and Date
  2011-09-07
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT : Q-dai MaxSATソルバー2011
- Author(s)
  越村三幸, 安宣〓, 藤田博, 長谷川隆三
- Organizer
  2011年度人工知能学会全国大会
- Place of Presentation
  アイーナいわて県民情報交流センター
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] UNIXのFORK機能に基づくSATソルバーの並列化2011
- Author(s)
  明石裕子, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] QMaxSAT version0.11 & 0.42011
- Author(s)
  越村三幸
- Organizer
  第10回CSPSAT研究会
- Place of Presentation
  九州大学
- Year and Date
  2011-08-19
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] Partial Max-SATソルバーQMaxSATの評価2011
- Author(s)
  越村三幸,張〓,藤田博,長谷川隆三
- Organizer
  人工知能基本問題研究会(第81回)
- Place of Presentation
  山梨大学
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 帰納論理プログラミングを用いた化学反応からのルール抽出2011
- Author(s)
  力規晃, 越村三幸, 橋本司, 山下全広, 藤田博, 長谷川隆三
- Organizer
  第10回情報科学技術フォーラム(FIT2011)
- Place of Presentation
  函館大学・函館短期大学
- Year and Date
  2011-09-07
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] Partial Max-SATソルバーQMaxSATの評価2011
- Author(s)
  越村三幸, 張トウ, 藤田博, 長谷川隆三
- Organizer
  人工知能学会第81回人工知能基本問題研究会
- Place of Presentation
  山梨大学(山梨県)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] QMaxSAT:部分MaxSATソルバーの簡便な一実装2011
- Author(s)
  越村三幸, 安宣〓, 藤田博, 長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] JSSP によるGlueMiniSat2.2.0の評価2011
- Author(s)
  越村三幸、鍋島英知
- Organizer
  第8回CSPSAT研究会
- Place of Presentation
  九州大学
- Year and Date
  2011-12-22
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT: Q-dai MaxSAT ソルバー2011
- Author(s)
  越村三幸,安宣 ,藤田博,長谷川隆三
- Organizer
  2011年度人工知能学会全国大会(第25回
- Place of Presentation
  アイーナいわて県民情報交流センター
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT version0.11 & 0.42011
- Author(s)
  越村三幸
- Organizer
  第10回CSPSAT研究会
- Place of Presentation
  九州大学西新プラザ
- Year and Date
  2011-08-19
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT:部分MaxSATソルバーの簡便な一実装2011
- Author(s)
  越村三幸, 安宣〓, 藤田博, 長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] Partial Max-SATソルバーQMaxSATの評価2011
- Author(s)
  越村三幸
- Organizer
  人工知能基本問題研究会(第81回)
- Place of Presentation
  山梨大学(山梨)
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] QMaxSAT : Q-dai MaxSATソルバー2011
- Author(s)
  越村三幸
- Organizer
  2011年度人工知能学会全国大会(JSAI 2011)
- Place of Presentation
  いわて県民情報交流センター(岩手県)
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 帰納論理プログラミングを用いた棋譜からのルール抽出2011
- Author(s)
  力規晃,越村三幸,藤田博,長谷川隆三
- Organizer
  情報処理学会研究会報告(ゲーム情報学GI)
- Place of Presentation
  松江オープンソースラボ.
- Year and Date
  2011-07-01
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] A Simple Implementation of a Partial MaxSAT Solver with MiniSat2011
- Author(s)
  M. Koshimura
- Organizer
  Third CSPSAT & ASP Seminar
- Place of Presentation
  神戸大学
- Year and Date
  2011-11-21
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] A Simple Implementation of a Partial MaxSAT Solver with MiniSat2011
- Author(s)
  Miyuki Koshimura
- Organizer
  Third CSPSAT & ASP Seminar
- Place of Presentation
  神戸大学自然科学総合研究棟
- Year and Date
  2011-11-21
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT: Q-dai MaxSAT ソルバー2011
- Author(s)
  越村三幸,安宣〓,藤田博,長谷川隆三.
- Organizer
  2011年度人工知能学会全国大会(第25回)
- Place of Presentation
  アイーナいわて県民情報交流センター
- Year and Date
  2011-06-03
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] Partial Max-SAT ソルバー QMaxSATの評価2011
- Author(s)
  越村三幸,張〓,藤田博,長谷川隆三
- Organizer
  人工知能基本問題研究会(第81回)
- Place of Presentation
  山梨大学甲府キャンパス
- Year and Date
  2011-01-31
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] QMaxSAT:部分MaxSATソルバーの簡便な一実装2011
- Author(s)
  越村三幸, 安宣〓, 藤田博, 長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] UNIXのFORK機能に基づくSATソルバーの並列化2011
- Author(s)
  明石裕子,越村三幸,藤田博,長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] QMaxSAT: 部分MaxSATソルバーの簡便な一実装2011
- Author(s)
  越村三幸,安宣 ,藤田博,長谷川隆三
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 帰納論理プログラミングを用いたプログからのルール抽出2010
- Author(s)
  力規晃,越村三幸,藤田_博長谷川隆三
- Organizer
  人工知能学会(第87回)知識べ一ス研究会
- Place of Presentation
  NTT武蔵野研究開発センター
- Year and Date
  2010-01-29
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] BOINCによるSATソルバーの並列実行2010
- Author(s)
  力規晃, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  第9回情報科学技術フォーラム(FIT2010)
- Place of Presentation
  九州大学(福岡県)
- Year and Date
  2010-09-08
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Twitter の流行語発言者の抽出に基づくフォロワー推薦システムの開発2010
- Author(s)
  白木原, 倉門, 大石, 越村, 藤田, 長谷川
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学(東京都)
- Year and Date
  2010-03-11
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 帰納学習を用いたプログからのルール抽出2010
- Author(s)
  力規晃,越村三幸,藤田_博長谷川隆三
- Organizer
  平成22年電気学会電子・情報・システム部門大会, 2010年9.月3日,熊本大学. 4)倉門浩二,大石哲也,長谷川隆三,藤田_博,越村三幸, Wikipediaのリンク共起とカテゴリに基づくリランキング手法,情報処理学会第99回IFAT研究会
- Place of Presentation
  青山学院大学
- Year and Date
  2010-08-04
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 基数制約を用いたMax-SATソルバーの試作2010
- Author(s)
  張〓,越村三幸,藤田博,長谷川隆三
- Organizer
  第9回情報科学技術フォーラム
- Place of Presentation
  九州大学
- Year and Date
  2010-09-08
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] 動詞の提示による動的な検索支援システム2010
- Author(s)
  関屋, 堀, 大石, 長谷川, 藤田, 越村
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学(東京都)
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] Twitterの流行語発言者の抽出に基づくフォロワー推薦システムの開発2010
- Author(s)
  白木原渉,倉門浩二,大石哲也,越村三圭,藤田_博,長谷川隆三
- Organizer
  情報処理学会(第72回)全国大会
- Place of Presentation
  東京大学.
- Year and Date
  2010-03-11
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] QMaxSAT : Q-dai Max SAT Solver2010
- Author(s)
  越村三幸
- Organizer
  第7回CSPSAT研究会
- Place of Presentation
  横谷温泉旅館会議室
- Year and Date
  2010-07-27
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] BOINCによるSATソルバーの並列実行2010
- Author(s)
  力規晃,越村三幸,藤田博,長谷川隆三
- Organizer
  第9回情報科学技術フォーラム
- Place of Presentation
  九州大学
- Year and Date
  2010-09-08
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] モデル生成型SATソルバーMiniMGの性能評価2010
- Author(s)
  中村徹, 矢野明浩, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  第78回人工知能学会人工知能基本問題研究会
- Place of Presentation
  兵庫県立大学(兵庫県)
- Year and Date
  2010-07-31
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 帰納論理プログラミングを用いたブログからのルール抽出2010
- Author(s)
  力, 越村, 藤田, 長谷川
- Organizer
  人工知能学会(知識ベースシステム研究会(第87回))
- Place of Presentation
  NTT武蔵野研究開発センター(東京都)
- Year and Date
  2010-01-29
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] モデル生成によるSATソルバの並列化2010
- Author(s)
  矢野明浩,越村三幸,藤田博,長谷川隆三
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学本郷キャンパス
- Year and Date
  2010-03-09
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] witter上の流行語先取り発言者検出システムの開発2010
- Author(s)
  白木原渉,大石哲也,長谷川隆三,藤田博,越村三幸
- Organizer
  情報処理学会第150回DBS研究会
- Place of Presentation
  青山学院大学
- Year and Date
  2010-08-04
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 基数制約を用いたMax-SATソルバーの試作2010
- Author(s)
  張トウ, 越村三幸, 藤田博, 長谷川隆三
- Organizer
  第9回情報科学技術フォーラム(FIT2010)
- Place of Presentation
  九州大学(福岡県)
- Year and Date
  2010-09-08
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] Wikipediaのリンク共起とカテゴリに基づくリランキング手法2010
- Author(s)
  門浩二,大石哲也,長谷川隆三,藤田_博,越村三幸
- Organizer
  情報処理学会第99回IFAT研究会
- Place of Presentation
  青山学院大学
- Year and Date
  2010-08-04
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] BOINCによるSATソルバーの並列実行2010
- Author(s)
  力規晃,越村三幸,藤田博,長谷川隆三
- Organizer
  第9回情報科学技術フォーラム(FIT2010)
- Place of Presentation
  九州大学伊都キャンパス
- Year and Date
  2010-09-08
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] 帰納学習を用いたブログからのルール抽出2010
- Author(s)
  力規晃,越村三幸,藤田博,長谷川隆三
- Organizer
  平成22年電気学会電子・情報・システム部門大会
- Place of Presentation
  熊本大学
- Year and Date
  2010-09-03
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] モデル生成によるSATソルバの並列化2010
- Author(s)
  矢野, 越村, 藤田, 長谷川
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学(東京都)
- Year and Date
  2010-03-09
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] ソーシャルブックマークにおける有用なユーザの発見2010
- Author(s)
  田代祐一,大石哲也,越村三幸,藤田博,長谷川隆三
- Organizer
  情報処理学会第151回DBS研究会
- Place of Presentation
  早稲田大学
- Year and Date
  2010-11-13
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] モデル生成型SATソルバーMiniMG の性能評価2010
- Author(s)
  中村徹,矢野明浩,長谷川隆三,藤田博,越村三幸
- Organizer
  人工知能基本問題研究会(第78回)
- Place of Presentation
  兵庫県立大学.
- Year and Date
  2010-07-31
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] ODPを利用した個人化検索システムの比較と効率化2010
- Author(s)
  伊美, 神原, 大石, 越村, 藤田, 長谷川
- Organizer
  情報処理学会創立50周年記念(第72回)全国大会
- Place of Presentation
  東京大学(東京都)
- Year and Date
  2010-03-11
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] QMaxSAT: Q-dai Max SAT Solver2010
- Author(s)
  越村三幸
- Organizer
  第7回CSPSAT研究会
- Place of Presentation
  横谷温泉旅館会議室
- Year and Date
  2010-07-27
- Data Source
  KAKENHI-PROJECT-22650028
[Presentation] ODPを利用したユーザプロファイル作成と個別化検索システムの評価2009
- Author(s)
  中村, 大石, 越村, 藤田, 長谷川
- Organizer
  電子情報通信学会〔Webインテリジェンスとインタラクション〕
- Place of Presentation
  広島市立大学(広島県)
- Year and Date
  2009-07-05
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 帰納論理プログラミングを用いたWebぺージ評価ルールの抽出とその評価,電子情報通信学会2009
- Author(s)
  田代祐一,大石哲也,力規晃,越村三幸,藤田博長谷川隆三
- Organizer
  人工知能と知識処理研究会
- Place of Presentation
  関西学院大学東京丸の内キャンパス
- Year and Date
  2009-05-15
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] SAT変換による未解決ジョブショップスケジューリング問題への挑戦2009
- Author(s)
  越村三幸
- Organizer
  スケジューリング・シンポジウム2009
- Place of Presentation
  岡山大学(岡山県)
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] ODPを利用したユーザプロファイル作成と個別化検索システムの評価2009
- Author(s)
  中村徹,大石哲也,越村三幸,藤田_博,長谷川隆三
- Organizer
  電子情報通信学会「Webインテリジェンスとインタラクション研究会
- Place of Presentation
  広島市立大学
- Year and Date
  2009-07-05
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] SAT変換による未解決ジョブショップスケジューリング問題への挑戦2009
- Author(s)
  越村三幸,鍋島英知,藤田博,長谷川隆三
- Organizer
  スケジューリング・シンポジウム2009
- Place of Presentation
  岡山大学
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] SAT変換による未解決ジョブショップスケジューリング問題への挑戦2009
- Author(s)
  越村, 鍋島, 藤田, 長谷川
- Organizer
  スケジューリング・シンポジウム2009
- Place of Presentation
  岡山大学(岡山県)
- Year and Date
  2009-09-17
- Data Source
  KAKENHI-PROJECT-21300054
[Presentation] 関連単語抽出アルゴリズムの改良と評価2009
- Author(s)
  倉門, 大石, 越村, 藤田, 長谷川
- Organizer
  電子情報通信学会〔Webインテリジェンスとインタラクション〕
- Place of Presentation
  広島市立大学(広島県)
- Year and Date
  2009-07-05
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価2009
- Author(s)
  田代, 大石, 力, 越村, 藤田, 長谷川
- Organizer
  電子情報通信学会〔人工知能と知識処理〕
- Place of Presentation
  関西学院大学東京丸の内キャンパス(東京都)
- Year and Date
  2009-05-15
- Data Source
  KAKENHI-PROJECT-21500102
[Presentation] 極小モデル生成とジヨブシヨツプスケジューリング問題の解法2008
- Author(s)
  越村三幸
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2008-09-12
- Data Source
  KAKENHI-PROJECT-20240003
[Presentation] 基数制約のSAT符号化を用いたMaxSATソルバーの試作
- Author(s)
  越村三幸，有村寿高
- Organizer
  2014年度人工知能学会全国大会（第28回）
- Place of Presentation
  ひめぎんホール（愛媛県県民文化会館）
- Year and Date
  2014-05-12 – 2014-05-15
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] 高速SATソルバーZENN及びその高速化手法
- Author(s)
  早田翔，安本猛，越村三幸，藤田博，長谷川隆三
- Organizer
  2014年度人工知能学会全国大会（第28回）
- Place of Presentation
  ひめぎんホール（愛媛県県民文化会館）
- Year and Date
  2014-05-12 – 2014-05-15
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] 節集合の簡単化によるMaxSATソルバーの高速化
- Author(s)
  上村直輝，越村三幸，長谷川隆三
- Organizer
  人工知能学会第97回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  別府国際コンベンションセンター
- Year and Date
  2015-03-22 – 2015-03-23
- Data Source
  KAKENHI-PROJECT-25330085
[Presentation] MaxSATソルバを用いた帰納論理プログラミング
- Author(s)
  力規晃，越村三幸，藤田博，長谷川隆三
- Organizer
  人工知能学会第97回人工知能基本問題研究会（SIG-FPAI）
- Place of Presentation
  別府国際コンベンションセンター
- Year and Date
  2015-03-22 – 2015-03-23
- Data Source
  KAKENHI-PROJECT-25330085

1. FUJITA Hiroshi (70284552)

# of Collaborated Projects: 14 results

# of Collaborated Products: 162 results
2. HASEGAWA Ryuzo (20274483)

# of Collaborated Projects: 11 results

# of Collaborated Products: 154 results
3. CHIKARA Noriaki (50290804)

# of Collaborated Projects: 4 results

# of Collaborated Products: 17 results
4. AMAMIYA Makoto (90202697)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MINE Tsunenori (30243851)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
6. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. BANBARA Mutsunori (80290774)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. HIRAYAMA Katsutoshi (00273813)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. INOUE Katsumi (10252321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. IWANUMA Koji (30176557)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
12. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. YOKOO Makoto (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
14. UEDA Kazunori (10257206)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. MIZUTANI Yasuharu (10411414)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. KUSAKABE Shigeru (70234416)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. TOMIYASU Hiroshi (50284550)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. Uemura Naoki

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
19. Zha Aolong

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
20. Asakura Kenta

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
21. SAKURAI Yuko

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

KISHIMURA Miyuki 越村 三幸

越村 三幸 コシムラ ミユキ

KOSHIMURA Miyuki 越村 三幸

Research Projects

Research Products

Co-Researchers

Problem Solving with SAT OraclesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research and Development of Experiment Candidate Recommendation System with Reasoning and LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Extending SAT Solvers with Cardinality Constraints and its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Developing Personalized Web Retrieval Support SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

KISHIMURA Miyuki 越村三幸

越村三幸コシムラミユキ

KOSHIMURA Miyuki 越村三幸