ログイン
言語:

WEKO3

  • トップ
  • ランキング


インデックスリンク

インデックスツリー

  • RootNode

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 札幌学院大学総合研究所紀要 [1(2014)-]
  2. 第8巻

組合せ最適化問題の最適解を高速列挙するためのソフトウェアフレームワーク設計

http://hdl.handle.net/10742/00003351
http://hdl.handle.net/10742/00003351
c72f7efb-69b2-46a9-9c34-f2b9b6e89207
名前 / ファイル ライセンス アクション
SK-8-067.pdf SK-8-067.pdf (5.7 MB)
Item type 紀要論文 / Departmental Bulletin Paper(1)
公開日 2021-04-21
タイトル
タイトル 組合せ最適化問題の最適解を高速列挙するためのソフトウェアフレームワーク設計
タイトル
タイトル Software Framework Design for Fast Enumeration of Optimal Solutions to Combinatorial Optimization Problems
言語 en
言語
言語 jpn
キーワード
主題Scheme Other
主題 組合せ最適化
キーワード
主題Scheme Other
主題 コンテナ・プリマーシャリング問題
キーワード
主題Scheme Other
主題 列挙
キーワード
主題Scheme Other
主題 ソフトウェアフレームワーク
キーワード
主題Scheme Other
主題 ロジスティクス
キーワード
言語 en
主題Scheme Other
主題 Combinatorial Optimization
キーワード
言語 en
主題Scheme Other
主題 Container Pre-Marshalling Problem
キーワード
言語 en
主題Scheme Other
主題 Enumeration
キーワード
言語 en
主題Scheme Other
主題 Logistics
キーワード
言語 en
主題Scheme Other
主題 Software Framework
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ departmental bulletin paper
著者 小池, 英勝

× 小池, 英勝

WEKO 2350

小池, 英勝

Search repository
著者別名
識別子Scheme WEKO
識別子 2351
姓名 KOIKE, Hidekatsu
抄録
内容記述タイプ Abstract
内容記述 解法が確立していない問題を解くためのソフトウェア開発では,プログラムの仕様の変更が頻繁に起こることがある.本論文は,頻繁な仕様変更に対応しながら正しくて効率的なプログラムを開発するためのフレームワークを提案する.本研究の特徴は,プログラムの部品を書き換えルールで表現し,仕様から正しい書き換えルールを生成・集積してプログラムを構成することである.このことによってプログラムの効率と正しさの両立が可能になる.フレームワークの適用例としてコンテナ・プリマーシャリング問題の最適解を高速列挙するプログラムの開発プロセスを扱う.
抄録
内容記述タイプ Abstract
内容記述 Frequent revision of program specifications can occur in software development to solve problems of which well-established solutions have yet to be found. This paper proposes a framework for software development to efficiently enumerate optimal solutions to combinatorial optimization problems; the framework copes with the frequent specification changes. A peculiarity of this study is that we represent each program component as a correct rewriting rule, which is generated from a specification and accumulates in a program. The peculiarity enables us to manage both efficiency and correctness of a program. This paper demonstrates a software development process to efficiently enumerate optimal solutions to a container pre-marshalling problem as an application example of the ramework.
内容記述
内容記述タイプ Other
内容記述 情報科学
内容記述
内容記述タイプ Other
内容記述 Information Sciences
内容記述
内容記述タイプ Other
内容記述 論文
書誌情報 札幌学院大学総合研究所紀要 = Proceedings of the Research institute of Sapporo Gakuin University

巻 8, p. 67-78, 発行日 2021-03-20
ISSN
収録物識別子タイプ ISSN
収録物識別子 2188-4897
その他のタイトル
その他のタイトル Software Framework Design for Fast Enumeration of Optimal Solutions to Combinatorial Optimization Problems
出版者
出版者 札幌学院大学総合研究所 = Research Institute of Sapporo Gakuin University
資源タイプ
内容記述タイプ Other
内容記述 Bulletin
戻る
0
views
See details
Views

Versions

Ver.1 2023-06-26 11:13:13.513523
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3