問題の抽象化（あるいは定式化）
クリーク分割問題に対する疎な定式化 (最適化手法の理論と応用の繋がり)
... データ解析，マイクロアレイ解析，コミュニティ検出，グループテクノロジーなど，実社会への数多くの応 用を持つ．しかしながら，クリーク分割問題は $NP$ - 困難であり， Gr\"otschel と Wakabayashi により提案さ れた 0-1 ...
7
資源制約付きスケジューリング問題の定式化と近似解法 (新しいパラダイムとしてのアルゴリズム工学)
... 張するとともに , タブー探索に基づく近似解法を提案する. また , 大きな構造物を扱う工場におけ るスケジ $:\iota$ 一リング問題を例にとり , 本 RCPSP ソルバの現実問題への適用について述べる . キーワード: 資源制約付きスケジューリング問題, 汎用アルゴリズム, 近似解法, タブ – 探索 . 1 はじめに 2 定式化 ...
10
ベクトル均衡点問題のいくつかの拡張定式化について (非線形解析学と凸解析学の研究)
... 確認できる ([3] を参照) 。よって、本稿の定式化はベクトル均衡点問題の1つの拡張として妥当と 言えると筆者は考えている。他の拡張方法の可能性については、今後の課題である。 (荒谷の感想) ...
7
講演の 目的 産業や学術の幅広い分野における多くの現実問題が整数計画問題として定式化できます. 近年年では分枝限定法に様々なアイデアを盛り込んだ 高性能な整数計画ソルバーがいくつか公開されています. 最適化の専 門家でない利利 用者にとって現実問題を整数計画問題に定式化することは決して容易易な作業で
... • 最適化の専⾨門家でない利利⽤用者にとって現実問題を整数計画問題に定 式化することは決して容易易な作業ではありません． • 多くの利利⽤用者が現実問題を整数計画問題に定式化できるようになる ことを⽬目指して，線形計画法と整数計画法の基本から始めて，定式 ...
60
非等スペクトル線形問題の定式化について (非線形波動現象の数理と応用)
... 本稿では, これまでに断続的に考察されてきた非等スペクトル線形問題の一般的な定式化を 与えた . そして , AKNS 階層を例にとり , その有効性を具体的な計算過程と結果を通して紹介 した. しかし, 紙数制限の関係で , AKNS 階層以外は詳しくは触れることができない . そこで 結果のみ簡単に紹介しておく 8 : ...
11
可能性測度による線形計画問題の二段階定式化(数理システムにおける最適化理論とその応用)
... 最適化を行う環境に不完全な情報 ( 不確実性要素 ) が含まれる場合のモデ ’ $\triangleright$ として、 確率計画における $=$ 段階問題が存在する。 しかし、 このような不確 i 実性要素が確率的変 動を示さない際にも、確率変数として問題を定式化するのは賢明な方法であるとは思え ...
8
織方図作成における最適化問題のグラフによる定式化 (数値最適化の理論と実際)
... 本論文では , 長目綜続を導入した場合に, 与えられた織物組織を製織するのに必要な綜続枠枚数を最小化する 方法を提案する. まず , 必要な最小綜続枠枚数が , 織物組織図をブール行列とみなしたときのブール階数 (Boolean rank) であることを示す . 次に , 行列のブール階数を求める問題が, 2 ...
13
保存型有限要素法による熱伝導問題の陽的解法 I : 自然座標による定式化
... 別言語のタイトル Heat Conduction Problems in Solids by Explicit Conservative Finite Element Method I : Natural Coordinate Formulations. URL http://hdl.handle.net/10232/13330.[r] ...
14
段取り替え数最小化を考慮したカッティングストック問題の定式化と近似解法 (最適化のための連続と離散数理)
... Step $0$ 全ての $P$ に対して $x_{p}arrow 0,$ $\frac{\partial}{\partial}x_{\mathrm{p}}Larrow-\beta_{p}$ とする . Step 1 全ての $P$ に対して以下の 1,2 いずれかの条件が成り立てば終了. 1. $| \frac{\partial j}{\partial ...
9
均衡点問題へ定式化可能な経営戦略モデルとその実例 (非線形解析学と凸解析学の研究)
... の解として定義する。 この均衡点に従って両者が生産量を決定する場合、 「 $B$ 社が Nash 均衡点 に従って定められた生産量坊を守り続ける限りは、 $A$ 社が自らの純益を最大にする生産量は $x_{1}^{*}$ である」、 また、 「 $A$ 社が Nash 均衡点に従って定められた生産量婿を守り続ける限りは、 B ...
14
資源制約付きスケジューリング問題の定式化と近似解法 (数理最適化の理論と応用)
... 本論文では , RCSP を以下のように定式化する . 資源集合 $\mathcal{R}=\mathcal{R}^{\mathrm{r}\mathrm{e}}\cup \mathcal{R}^{\mathrm{n}\mathrm{o}\mathrm{n}}$ , 作業集合 $J=$ $\{1,2.’\cdots, J\}$ , 処理モード集合 ...
9
JAIST Repository: ゴール指向分析に基づくモデル検査のための外部環境の抽象化手法
... 本稿では，時系列の変化量に対して制約を設ける，外部環境モデルの抽象化手法を 提案する．センサ・アクチュエータの組み込みシステムにおいて，複数の外部環境の 情報を内部に保持するシステムの場合，静的な観点で外部環境の情報の範囲を削減す ...
17
経験の貧困あるいは生の抽象化 : ムージルと「オーストリア的なもの」をめぐる議論について
... 3．生の抽象化 本論の冒頭で紹介したように，平行運動で「オーストリアは全世界である」と いういささか飛躍した主張を行ったサロンの主催者ディオティーマは，彼女の協 力者であるラインスドルフ伯爵がときおり狼狽するほど自由奔放に自らの理想主 義を振りかざす。このような場面でのディオティーマの心理状況について，ムー ...
15
不可分財をもつ経済均衡のM凸劣モジュラ流による定式化 (数理最適化の理論とアルゴリズム)
... $h$ の初期保有量における貨幣の量 $m_{h}^{\mathrm{O}}$ が十分に大きいと仮定する . 消費者 $h$ は予算制 約の下で自らの効用を最大化するように財の消費量 $(x_{h}, m_{h})\in \mathrm{Z}^{K}\cross \mathrm{R}$ ...
9
今日の内容 現代の科学は 哲学の伝統的な問題である概念形成あるいは抽象の問題に どこまで迫っているのだろうか? 人工知能の研究は 心と世界あるいは抽象と具体の哲学的問題に どのような光を ( あるいは影を ) もたらすのか? コンピュータは概念をもつことができるか? 近年の深層学習によるブレークスル
... ディープラーニングの仕組み • 上の層から下の層へ行くにつれて、無駄を省 き、情報を圧縮させる。 • 入力層と出力層のあいだにある中間層（隠れ 層）を形成するニューロンの数を減らしたり増 やしたりすることを繰り返すことで、抽象化と ...
29
'Secondary Thom polynomial' 定式化の試みについて(特異点論とオーミニマルカテゴリー)
... 件になるか十分条件にとどまるかが分かれ , その違いに問題の考察の難易度が依拠している. この違いについて少し補足をしておこう . 折り目写像 $f$ : $M^{n}arrow \mathbb{R}^{p}$ が存在すると , その特 異点集合は $M^{n}$ の $p-1$ 次元部分多様体であり , 制限写像 $f|_{S(f)}$ : $S(f)arrow ...
16
合体成長過程におけるダスト圧縮過程の数値計算とその定式化
... サイズ）まで成長し、ガス抵抗を弱くする必要があるだろう。ダストはこ の合体成長の際、衝突によって圧縮され、fluffy な構造を保つことができないと予想され る。圧縮によりダストの断面積が変われば、運動を支配するガス抵抗力も変化する。そのた め、ダストの圧縮がいつ、どのように起こるかは、ダスト進化を考える上で重要な問題とな っている。 ...
1
JAIST Repository: センサIoTデバイスにおけるエミュレーション抽象化
... End-to-End の通 信を行うためにはアプリケーションでの担保が必要となる。また、IoT デバイス の省電力のための仕組みや、LPWA に代表される省電力通信は帯域が狭く、ベン ダによる通信制限がかかることがあるため、搭載されるアプリケーションソフト ウェアに欠陥があった場合、その修正をすることが困難である。ソフトウェアの ...
95
「資本」の定式化について : 柴田敬の「資本」概念と西（2014），（2015）における定式化との関係
... るのである。その問題は，稿をあらためて論じよう。 注 1） このことは，西（2014)，59頁，注や西（2015)，191頁の注21において指摘した問題であるが， 柴田は正しい資本の式を導きだしていたのであるから，そこでの記述は撤回されなければならない。 2） ...
11
計算機のリソースとは 1.CPU 2. 主記憶 3. 補助記憶装置 の抽象化
... 7. 演習問題 8. プログラミングシステムの概要，文法とそのクラス，字句解析と正規文法 9. 正規表現からの非決定性オートマトンの生成、決定性オートマトンへの変換 10. 字句解析用オートマトン生成ソフトウエアの実際 ...
41