従業員の融通を許した シフトスケジューリング問題

Size: px
Start display at page:

Download "従業員の融通を許した シフトスケジューリング問題"

Transcription

1 フードコートにおけるアルバイト従業員の勤務シフト作成に関する研究 東京理科大学工学部第一部経営工学科 4 年 沼田研究室 日野駿 2014/01/31 卒研審査会 1

2 目次 1. はじめに 2. 問題 3. 定式化 4. 求解実験 5. 結果と考察 6. まとめと今後の課題参考文献 2014/01/31 卒研審査会 2

3 1. はじめに 1.1. 研究背景 (1) 飲食店は, 大部分の従業員をアルバイトで構成 作成者は, アルバイトが提出する希望勤務時間を基に, 勤務シフトを作成する クリアすべき条件は? 決められた範囲内の連続勤務を割り当て各時間帯ごとに異なる必要人数の確保 ローテーション制のスケジューリングと異なる人員の過不足が発生する可能性!! 2014/01/31 卒研審査会 3

4 1.2. 先行研究 アルバイトのシフトスケジュールで考慮する要素 [1] 従業員の勤務可能時間 連続勤務時間の上限 下限 必要従業員数 アルバイトの勤務シフトに関する研究 [2][3] 出勤時間帯の決定 2 種類程度の勤務配置の決定 2014/01/31 卒研審査会 4

5 1.3. 研究背景 (2) 従業員が担う仕事の種類が多数あり, 移動しながら勤務する場合の勤務シフトスケジューリング モデル化 既存の研究には含まれていない要素 フードコート型飲食施設 フードコートとは 屋台形式で店舗を出店し, 飲食スペースを共有する, セルフサービス形式の屋内型の食事施設のこと. ショッピングセンターや空港, サービスエリア等に多く設置されている. 図 1: フードコート営業形態 2014/01/31 卒研審査会 5

6 1.4. 研究背景 (3) フードコート A では 施設全体を一社で経営し, 各店舗で働く従業員を一括で雇用している 本籍となる店舗を与えている 人員不足が発生した際にヘルプとして他店舗に出張する事がある ヘルプとして出張 人員不足が発生 2014/01/31 卒研審査会 6

7 望ましい1.7. 研究背景 (4) シフト作成において 必要人員 > 割り当て人員 必要人員 < 割り当て人員 必要人員 = 割り当て人員 実行不能 BEST!! 最適化問題として定式化 割り当てに生ずる過不足を最小化 2014/01/31 卒研審査会 7

8 1.5. 研究背景 (5) シフト作成の現状, フードコート A の場合 2014/01/31 卒研審査会 8

9 1.6. モデルの提案 従業員の移動を前提に, 出勤時間と勤務配置を一括して決定する 2014/01/31 卒研審査会 9

10 1.7.研究目的 移動しながら勤務することを前提として 割り当ての過不足を少なくするモデルを示す 全従業員の出勤時間と勤務配置を一括に決定 実態に即したデータを用いて モデルの有効性を 吟味する 店舗や業務 誰をどの 店舗(業務)に 割り当てるか 図3 提案の概要 2014/01/31 卒研審査会 10

11 2. 問題 2.1. 従業員の移動勤務とは 勤務時間中に勤務配置を変更すること本籍である店舗以外にも勤務すること移動時間や移動回数の制限はないものとする. 例えば 5 時間勤務する従業員が, 本籍店舗 a で 3 コマ店舗 b で 2 コマ移動勤務する場合, 10 通りの勤務シフトが考えられる パターン 1 店舗 a 店舗 a 店舗 a 店舗 b 店舗 b パターン 2 店舗 a 店舗 a 店舗 b 店舗 b 店舗 a パターン 3 店舗 a 店舗 b 店舗 b 店舗 a 店舗 a パターン 4 店舗 b 店舗 b 店舗 a 店舗 a 店舗 a パターン 5 店舗 b 店舗 a 店舗 a 店舗 a 店舗 b パターン 6 店舗 b 店舗 a 店舗 a 店舗 b 店舗 a パターン 7 店舗 b 店舗 a 店舗 b 店舗 a 店舗 a パターン 8 店舗 a 店舗 b 店舗 a 店舗 a 店舗 b パターン 9 店舗 a 店舗 b 店舗 a 店舗 b 店舗 a パターン 10 店舗 a 店舗 a 店舗 b 店舗 a 店舗 b 図 2: 勤務パターンの例 2014/01/31 卒研審査会 11

12 2.2. 過剰な人員割り当てとは 必要な人数よりも, 多く割り当てる事 なぜ発生? 一定時間以上の連続勤務を割り当てる 最短 ( 最長 ) 勤務時間に従う必要がある 1 単位毎に割り当てることはできない 例えば 時間帯 勤務時間割り当ての制約が, 2 単位以上かつ 3 単位以下の場合, 全時間帯で必要人数を確保する時, 余分な割り当てが発生してしまう 従業員 A 出勤 出勤 出勤 従業員 B 出勤 出勤 出勤 従業員 C 出勤 出勤 従業員 D 出勤 出勤 出勤 従業員 E 出勤 出勤 必要人数 割り当て人数 図 3: 過剰な人員割り当ての発生例 2014/01/31 卒研審査会 12

13 2.3. 問題設定 時間軸の離散化 営業時間を 1 時間 =1 コマに分割 それぞれの時間帯で, 店舗 ( 業務 ) の必要人数がある 業務にはある程度の習熟が必要なものがある そこで 従業員に本籍 ( スペシャリスト ) 店舗と勤務 ( ヘルプ ) 可能店舗を与える 従業員 店舗 本籍店舗 a 勤務可能店舗 b,c 必要人数必要スペシャリスト人数時間帯毎にある 2014/01/31 卒研審査会 13

14 2.4. 条件 問題を扱う上で, 詳細な条件を以下のように設定する. 1) 従業員は勤務希望の時間帯以外勤務しない 2) 店舗や業務間の移動に, 時間はかからないとする 3) 全従業員の時給は一律同額とする 4) 同時に,2つ以上の配置に入ることはない 5) 従業員は,1 日に1 度しか出勤しない 2014/01/31 卒研審査会 14

15 3. 定式化 3.1. 記号の定義 nn: 店舗 ( 業務 ) 数 (nn: ii = 1~nn) mm: 従業員数 (mm: jj = 1~mm) TT: 営業時間 (tt = 0~TT) rr iiii ZZ: 店舗業務 ii における時間 tt での必要最低人員 dd iiii ZZ: 店舗業務 ii における時間 tt での必要最低スペシャリスト人員 LL, UU 0~TT 1 : 最短および最長連続勤務時間 2014/01/31 卒研審査会 15

16 3.2. 記号の定義 SS iiii {0,1} : 従業員 jj が店舗 ( 業務 )ii のスペシャリストか否か h iiii {0,1} : 従業員 jj が店舗 ( 業務 )ii をヘルプ可能か否か ww jjjj {0,1} : 従業員 jj が時間 tt に勤務を希望しているか否か pp : ある時間帯 tt に勤務している場合, それまで既に終えている勤務時間 2014/01/31 卒研審査会 16

17 3.3. 決定変数 yy iiiiii {0,1}: 従業員 jj を店舗 ii, 時間帯 tt で働かせるか否か xx jjjjkk {0,1}: 従業員 jj を時間帯 tt から kk 時間連続で働かせるか否か 従業員 jj = 1 tt = 9 を始点として kk = 6 時間勤務する xx 1,9,6 = /01/31 卒研審査会 17

18 3.4. 目的関数 営業時間中の人時 ( 出勤した従業員の勤務時間の総計 ) を最小にする 時間帯 合計 従業員 A a a b 3 従業員 B a a b b 4 従業員 C a a a 3 従業員 D b b b 3 従業員 E b a b 4 必要人数 割り当て人数 最小化 2014/01/31 卒研審査会 18

19 3.5. 制約式 s.t. 従業員の勤務開始時刻と勤務時間についての制約 従業員が出勤している間は, 必ずいずれかの配置で働く 営業終了時刻を超えて働かない (2) 式の図 2014/01/31 卒研審査会 19

20 3.6. 制約式 必要人数と必要スペシャリスト人数を満たすようにする制約 従業員が希望した時間以外に働かない 勤務可能な店舗でのみ勤務できることを表す 同時に二つ以上の店舗で働かない 2014/01/31 卒研審査会 20

21 4. 求解実験 4.1. 実験手順 実行 Gurobi によって厳密解を求める 計算機 Mac OS X , 1.8GHz Intel core i7, メモリ 4GB 描画 考察 結果をガントチャートに描画する チャートを基に考察 計算時間, 過剰な割当の有無を整理 2014/01/31 卒研審査会 21

22 4.2. 実験概要 与えるデータ 店舗 ( 業務 ) 数 7 (nn = 7) 従業員数 150 名 (mm = 150) 営業時間 17 時間 (TT = 16) 最短連続勤務時間 3 時間 (LL = 3) 最長連続勤務時間 8 時間 (UU = 8) 2014/01/31 卒研審査会 22

23 4.3. 実験概要 rr iiii や dd iiii も実態に即して設定 従業員に与えるデータはランダムに設定 本籍店舗ヘルプ可能店舗 希望勤務時間 実態に則し, 本籍店舗は 1 つ, ヘルプ可能店舗は 2 つ 5 つのデータに対して実験 2014/01/31 卒研審査会 23

24 5. 結果と考察 5.1. 結果と考察 (1) 結果をガントチャートに描画 横軸は時間帯, 縦軸は従業員番号, マスの中の番号は勤務店舗を示す. 実行時間は最長 561[s] 作成時間の短縮が見込める 人員の過剰な割り当てなし 表 1: 実験結果 実験 1 実験 2 実験 3 実験 4 実験 5 実行時間 [s] 過剰割り当て [ 人時 ] 6 8 時間勤務する従業員 図 4: ガントチャート 2014/01/31 卒研審査会 24

25 5.2. 結果と考察 (2) 6~8 時間勤務をする従業員は 13~15 名程度 その多くが開店作業や閉店作業の時間に勤務 勤務配置の頻繁な変更 移動回数を制限する制約を含まなかったため 過剰な割り当ての原因にも 勤務が単調にならないメリット ヘルプ勤務を禁止して実験すると実行不能 2014/01/31 卒研審査会 25

26 6. まとめと今後の課題 勤務時間中の配置移動が前提となっている, 勤務シフト作成問題を数理計画モデルとして定式化した 実店舗の営業実態に則したデータを作成し, 数値実験を実行することで有効性を示した 長時間勤務する従業員に与える休憩 勤務シフトの公平性 勤務の公平性を考慮できるモデルへの拡張 2014/01/31 卒研審査会 26

27 参考文献 [1] 整数計画法 アルバイトのスケジュール, ( 最終閲覧日 :2014 年 1 月 29 日 ) [2] 中島啓介, ファーストフード店における準社員割り付け問題, 平成十三年度卒業研究抄録集, 東京理科大学工学部第二部経営工学科,pp , 2002 [3] 矢川陽一郎, ファストフードA 店におけるアルバイトのシフトスケジュール作成支援ソフトの試作, 平成二十二年度卒業研究抄録集, 東京理科大学工学部第二部経営工学科,pp61-64, /01/31 卒研審査会 27

28 訂正 営業時間中の 3 コマ目 (rr ii3 ) と 14 コマ目 (rr ii14 ) 営業時間中の 3 コマ目 (rr ii2 ) と 15 コマ目 (rr iiii ) (7) 式は前提条件の (2) を意味する. (7) 式は前節条件の (1) を意味する. 2014/01/31 卒研審査会 28

29 訂正 2014/01/31 卒研審査会 29

30 ご清聴ありがとうございました 2014/01/31 卒研審査会 30

31 付録. データの設定方法 rr iiii の設定方法 営業実態を基に設定 休憩中の代替人員は 7 2=14 人時用意 時間帯 店舗 店舗 店舗 店舗 店舗 業務 業務 必要人数に, 休憩する従業員の代わりに勤務する代替人員を加える 時間帯 店舗 店舗 店舗 店舗 店舗 業務 業務 /01/31 卒研審査会 31

31 33

31 33 17 3 31 33 36 38 42 45 47 50 52 54 57 60 74 80 82 88 89 92 98 101 104 106 94 1 252 37 1 2 2 1 252 38 1 15 3 16 6 24 17 2 10 252 29 15 21 20 15 4 15 467,555 14 11 25 15 1 6 15 5 ( ) 41 2 634 640 1 5 252

More information

三者ミーティング

三者ミーティング Corral Puzzle の 整数計画法による解法と評価 第 11 回組合せゲーム パズル研究集会 2016 年 月 7 日 ( 月 ) 大阪電気通信大学 弘中健太鈴木裕章上嶋章宏 2016//7 第 11 回組合せゲーム パズル研究集会 2 発表の流れ 研究の背景 整数計画法と先行研究 2 Corral Puzzle ルールと定義 定式化 2 種類の閉路性の定式化 7 1 6 評価 計測結果と考察

More information

0226_ぱどMD表1-ol前

0226_ぱどMD表1-ol前 No. MEDIA DATA 0 B O O K 00-090-0 0 000900 000 00 00 00 0000 0900 000900 AREA MAP 0,000 0,000 0,000 0,000 00,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 0,000 00,000 0,000

More information

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m 知識工学 ( 第 5 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章のつづき ) 証明の戦略その 3 ( 融合法 ) 証明の戦略その 1 やその 2 で証明できたときは たしかにKKKK ααとなることがわかるが なかなか証明できないときや 証明が本当にできないときには KKKK ααが成り立つのか成り立たないのかわからない また どのような証明手続きを踏めば証明できるのか定かではない

More information

数理言語

数理言語 知識工学 第 13 回 二宮崇 1 教科書と資料 教科書 Artificial Intelligence: A Modern Approach (3rd Edition): Stuart Russell, Peter Norvig ( 著 ), Prentice Hall, 2009 この講義のウェブサイト http://aiweb.cs.ehime-u.ac.jp/~ninomiya/ke/ 2

More information

周波数割り当て表

周波数割り当て表 APPENDIX E この付録では ブロードキャストと CATV の NTSC と PAL/SECAM 規格 および全世界で使用されている周波数を示します ビデオ伝送には 3 つの規格があります これらの規格は 色をモノクロ信号に符号化する方法によって定義されます これらの方法は次のように定義されます NTSC:National Television System Committee NTSC は

More information

Microsoft PowerPoint - ICD2011TakadaSlides.pptx

Microsoft PowerPoint - ICD2011TakadaSlides.pptx キャッシュウェイ割り当てと コード配置の同時最適化による メモリアクセスエネルギーの削減 九州大学 高田純司井上弘士京都大学石原亨 2012/8/9 1 目次 研究背景 組込みプロセッサにおけるエネルギー削減の必要性 キャッシュウェイ割り当て 提案手法 キャッシュウェイ割り当てとコード配置の組み合わせ 同時最適化 評価実験 まとめ 2012/8/9 2 組込みプロセッサの課題 研究背景 低消費エネルギー化,

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 製品競争下での インストア広告サービスの 戦略的効果 慶應義塾大学大学院松林研究室 M2 小林春輝 目次 1. はじめに 2. モデルの定式化 3. 分析 考察 4. 結論 はじめに ICT の著しい発展 多様な消費者ニーズを把握しやすくなり 製品開発に活用 メーカー企業に製品ラインナップを拡大させるインセンティブを与え熾烈な品揃え競争 市場に存在する過剰な製品数 はじめに このメーカー内のそれぞれの製品を比較検討

More information

Q E Q T a k Q Q Q T Q =

Q E Q T a k Q Q Q T Q = i 415 q q q q Q E Q T a k Q Q Q T Q = 10 30 j 19 25 22 E 23 R 9 i i V 25 60 1 20 1 18 59R1416R30 3018 1211931 30025R 10T1T 425R 11 50 101233 162 633315 22E1011 10T q 26T10T 12 3030 12 12 24 100 1E20 62

More information

- 主な機能 - 設定機能キャッシュメモリをキャッシュセグメントに分割し 業務で使用する論理ディスクを割り付けるための設定を行います WebSAM istoragemanager のクライアント画面から操作が可能です キャッシュセグメント作成 削除機能キャッシュセグメントの作成 削除を可能にします

- 主な機能 - 設定機能キャッシュメモリをキャッシュセグメントに分割し 業務で使用する論理ディスクを割り付けるための設定を行います WebSAM istoragemanager のクライアント画面から操作が可能です キャッシュセグメント作成 削除機能キャッシュセグメントの作成 削除を可能にします istorage VirtualCachePartitioning 製品概要 istorage VirtualCachePartitioning は ストレージのキャッシュメモリを複数の区画 ( キャッシュセグメント ) に分割する機能をサポートします キャッシュ分割は 仮想化環境における各テナントでの占有量を制限して I/O 帯域を確保することで 仮想化環境の高安定性を実現するための機能です この機能を導入することにより

More information

リソース制約下における組込みソフトウェアの性能検証および最適化方法

リソース制約下における組込みソフトウェアの性能検証および最適化方法 リソース制約下における組込みソフト ウェアの性能検証および最適化方法 広島市立大学 大学院情報科学研究科システム工学専攻 中田明夫倉田和哉百々太市 1 提案技術の概要 組込みシステムの開発 厳しいリソース制約 (CPU, ネットワークなど ) 非機能要求 ( リアルタイム性など ) の達成 開発プロセスにおける設計段階 性能問題を発見することが困難 実装段階で性能問題が発覚 設計の手戻りが発生 設計段階での性能検証手法

More information

6. 合計欄の見出し行 下記の選択が可能です * シフト別 7. 検索ボタン 押釦すると 上記 1~5 の検索条件に従って勤務表から明細欄に表示し 更に明細行の合計を合計欄に表示します 2 検索結果の表示と更新 1. 表示順序が無い場合の明細欄の表示順序 従業員番号順となります 2. 明細欄の日付

6. 合計欄の見出し行 下記の選択が可能です * シフト別 7. 検索ボタン 押釦すると 上記 1~5 の検索条件に従って勤務表から明細欄に表示し 更に明細行の合計を合計欄に表示します 2 検索結果の表示と更新 1. 表示順序が無い場合の明細欄の表示順序 従業員番号順となります 2. 明細欄の日付 4.5 シフト作成 従業員の日別シフトを日別シフト作成画面で 時間帯別シフトを時間帯別シフト作成画面で計画する業務を 日別シフト作成画面 当プログラムは 勤務表が予め作成されている事を前提としています 従って 勤務表が登録されている期間以上に作成期間を指定した場合 勤務表が無い部分について横軸の日付は表示されますが明細欄はグレー表示されます 合計欄 明細欄 1 検索条件指定 1. 会社名 検索対象となる会社を選択してください

More information

P MY1B.indd

P MY1B.indd Series High M Series C Series Series T Series M C W C H/ MY3 MY3 Series Large M C T 10 16 20 25 32 40 50 63 80 100 øø øøø 1225 D- -X Series M Series øø C Series ø ø Series T Series 1226 10 10 T5063 ø 40

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 新しい働き方 幹部の右腕 ができること及び某店舗実験結果まとめのご提案 働き方 ソリューション 週休 3 日制 人手不足 ワークライフバランス 日本 HR チャレンジアワード 2017 年人材マネジメント部門 人材サービス優秀賞受賞 人工知能が繁忙 閑散に対応する業務量分析と基準人工の作業モデルへ 最適な人材配置を実現し 多様化する働き方を受入 生産性の向上を実現 338-0012 埼玉県さいたま市中央区大戸

More information

Factsheet_2018_1Q_ xlsx

Factsheet_2018_1Q_ xlsx 第 36 期 (2018 年 3 月 ~2018 年 5 月 ) 第 36 期 (2018 年 3 月 ~2018 年 5 月 ) Fact Sheet Fact Sheet 1. 前期及び当期業績等の推移 3. 事業概況 (1) 業績概要 P.1 (1) 月末生徒数推移 P.6 (2) 売上原価内訳 P.2 (2) 入会者数推移 P.6 (3) 販売管理費内訳 P.2 (3) 退会率推移 P.7

More information

FAX780CL_chap-first.fm

FAX780CL_chap-first.fm FAX-780CL ABCDEFGHIα 01041115:10 :01 FAX-780CL α 1 1 2 3 1 2 f k b a FAX-780CL α n p q 09,. v m t w FAX-780CL A BC B C D E F G H I c i c s s i 0 9 V X Q ( < N > O P Z R Q: W Y M S T U V i c i k

More information

FAX780TA_chap-first.fm

FAX780TA_chap-first.fm FAX-780TA ABCDEFGHIα 01041115:10 :01 FAX-780CL α 1 1 2 3 1 2 f k b a FAX-780TA α n p q 09,. v m t w FAX-780TA A BC B C D E F G H I c i c s s i 0 9 i c i k o o o t c 0 9 - = C t C B t - = 1 2 3

More information

<4D F736F F F696E74202D208D8296D889EB8DC65F C835B8393>

<4D F736F F F696E74202D208D8296D889EB8DC65F C835B8393> 非対称な資金制約の下での 多店舗出店競争と その社会効率性 慶應義塾大学大学院理工学研究科 開放環境科学専攻松林研究室 高木雅哉 修士 年 目次 本研究の目的 現状分析 分析の指針 モデル 先行研究の紹介 均衡戦略分析結果 先手優位 後手優位 社会効率性分析結果 N による比較静学 まとめ x x n x x x n 0 本研究の目的 先行研究 資金制約の下での多店舗出店戦略 Ida, T. and

More information

ボルツマンマシンの高速化

ボルツマンマシンの高速化 1. はじめに ボルツマン学習と平均場近似 山梨大学工学部宗久研究室 G04MK016 鳥居圭太 ボルツマンマシンは学習可能な相互結合型ネットワー クの代表的なものである. ボルツマンマシンには, 学習のための統計平均を取る必要があり, 結果を求めるまでに長い時間がかかってしまうという欠点がある. そこで, 学習の高速化のために, 統計を取る2つのステップについて, 以下のことを行う. まず1つ目のステップでは,

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 人材不足!! を解決する手法 業務プロセスの改善と時短化年々拡大する労働力不足を解決し 現場サービス力を向上する ご提案 338-0012 埼玉県さいたま市中央区大戸 6-11-15-2F TEL:048-822-1110 / FAX:048-822-1010 目次 01. 人工知能エンジンの特長 P1 02. 驚異の人工知能エンジン P2 03. 全体最適化のしくみ P3 04. スキルマッピングとキャリアパスプランの構築

More information

P MY1B.indd

P MY1B.indd Series High M Series C Series Series T Series M C W C H MY3 MY3 Series arge M C T 10 16 20 25 32 40 50 63 80 100 øø 1211 D- -X Series M Series øø C Series ø ø Series T Series 1212 10 10 T5063 ø 40 30 20

More information

微分方程式 モデリングとシミュレーション

微分方程式 モデリングとシミュレーション 1 微分方程式モデリングとシミュレーション 2018 年度 2 質点の運動のモデル化 粒子と粒子に働く力 粒子の運動 粒子の位置の時間変化 粒子の位置の変化の割合 速度 速度の変化の割合 加速度 力と加速度の結び付け Newtonの運動方程式 : 微分方程式 解は 時間の関数としての位置 3 Newton の運動方程式 質点の運動は Newton の運動方程式で記述される 加速度は力に比例する 2

More information

様々なミクロ計量モデル†

様々なミクロ計量モデル† 担当 : 長倉大輔 ( ながくらだいすけ ) この資料は私の講義において使用するために作成した資料です WEB ページ上で公開しており 自由に参照して頂いて構いません ただし 内容について 一応検証してありますが もし間違いがあった場合でもそれによって生じるいかなる損害 不利益について責任を負いかねますのでご了承ください 間違いは発見次第 継続的に直していますが まだ存在する可能性があります 1 カウントデータモデル

More information

Microsoft PowerPoint - mp13-07.pptx

Microsoft PowerPoint - mp13-07.pptx 数理計画法 ( 数理最適化 ) 第 7 回 ネットワーク最適化 最大流問題と増加路アルゴリズム 担当 : 塩浦昭義 ( 情報科学研究科准教授 ) hiour@di.i.ohoku.c.jp ネットワーク最適化問題 ( 無向, 有向 ) グラフ 頂点 (verex, 接点, 点 ) が枝 (edge, 辺, 線 ) で結ばれたもの ネットワーク 頂点や枝に数値データ ( 距離, コストなど ) が付加されたもの

More information

基本設計書

基本設計書 Dahua アプリかんたん手順 (2) SmartPlayer 操作手順書 (1.00 版 ) 2017 年 09 月 05 日 三星ダイヤモンド工業株式会社 it 事業部 文書番号 :MDI-it-MAN-076 変更履歴 版数 変更日 区分 変更箇所頁項番 変更内容 1.00 2017/09/05 新規 新規作成 1 /13 目次 1. 本手順書について... 3 2. インストール / アンインストール...

More information

<4D F736F F F696E74202D208AC888D B F90AC89CA E707074>

<4D F736F F F696E74202D208AC888D B F90AC89CA E707074> 平成 23 年度短時間正社員制度導入支援事業 厚生労働省委託事業 新たな制度導入に伴う留意点 ~ 簡易コンサルティング実施企業事例より ~ Ⅰ. 企業の抱える課題別の導入制度例とその留意点 Ⅱ. 事由を問わない短時間正社員制度導入における留意点 Ⅲ. 管理職を対象とした短時間正社員制度導入における留意点 0/ Ⅰ. 企業の抱える課題別の導入制度例とその留意点 1/ 1. 企業の抱える課題別の導入制度例

More information

2 継続雇用 の状況 (1) 定年制 の採用状況 定年制を採用している と回答している企業は 95.9% である 主要事業内容別では 飲食店 宿泊業 (75.8%) で 正社員数別では 29 人以下 (86.0%) 高年齢者比率別では 71% 以上 ( 85.6%) で定年制の採用率がやや低い また

2 継続雇用 の状況 (1) 定年制 の採用状況 定年制を採用している と回答している企業は 95.9% である 主要事業内容別では 飲食店 宿泊業 (75.8%) で 正社員数別では 29 人以下 (86.0%) 高年齢者比率別では 71% 以上 ( 85.6%) で定年制の採用率がやや低い また Ⅱ 調査結果の概要 1 高年齢者雇用安定法改正 に関する認知度と対応状況 (1) 高年齢者雇用安定法改正 の認知度平成 25 年 4 月 1 日に施行された 高年齢者雇用安定法改正 の認知度 ( 知っている とする企業の割合 ) は 調査対象 4,381 社全体の 94.0% 1 と高い また このうち 法改正があったことを知っており 内容もおおよそ知っている と回答している企業は 75.5% であった

More information

1 2

1 2 1 2 4 3 5 6 8 7 9 10 12 11 0120-889-376 r 14 13 16 15 0120-0889-24 17 18 19 0120-8740-16 20 22 21 24 23 26 25 28 27 30 29 32 31 34 33 36 35 38 37 40 39 42 41 44 43 46 45 48 47 50 49 52 51 54 53 56 55 58

More information

3 5 6 7 7 8 9 5 7 9 4 5 6 6 7 8 8 8 9 9 3 3 3 3 8 46 4 49 57 43 65 6 7 7 948 97 974 98 99 993 996 998 999 999 4 749 7 77 44 77 55 3 36 5 5 4 48 7 a s d f g h a s d f g h a s d f g h a s d f g h j 83 83

More information

P CS2.indd

P CS2.indd Series ø, ø, ø 27.2kg 11.3kg ø kg 35 30 25 20 15 10 5 0 27.2 11.3 58% 30.1 13.1 57% 1 1.6 1.6 1,500 1,200 1,000 500 0 0 15 30 45 60 75 90 400 300 200 100 & 0 0 400 800 1200 0 565 Series 0.005MPa 5mm/s

More information

P0001-P0002-›ºflÅŠpB5.qxd

P0001-P0002-›ºflÅŠpB5.qxd Series ø, ø16, ø20, ø, ø32, ø40 MY1B MY1M MY1C T MY1W MY2C MY2H MY3 MY3B MY3M ø D- 15 -X -X 16 20 32 40 qqwe qwυeυυυq we m max M Mmax ME MEmax Σα 1 Σα w υ υυ υδ υδ υδ υ δ υ e 16 Series MY1B MY1M MY1C T

More information

N N 1,, N 2 N N N N N 1,, N 2 N N N N N 1,, N 2 N N N 8 1 6 3 5 7 4 9 2 1 12 13 8 15 6 3 10 4 9 16 5 14 7 2 11 7 11 23 5 19 3 20 9 12 21 14 22 1 18 10 16 8 15 24 2 25 4 17 6 13 8 1 6 3 5 7 4 9 2 1 12 13

More information

アルゴリズムとデータ構造

アルゴリズムとデータ構造 講義 アルゴリズムとデータ構造 第 2 回アルゴリズムと計算量 大学院情報科学研究科情報理工学専攻情報知識ネットワーク研究室喜田拓也 講義資料 2018/5/23 今日の内容 アルゴリズムの計算量とは? 漸近的計算量オーダーの計算の方法最悪計算量と平均計算量 ポイント オーダー記法 ビッグオー (O), ビッグオメガ (Ω), ビッグシータ (Θ) 2 お風呂スケジューリング問題 お風呂に入る順番を決めよう!

More information

3. 無期労働契約への転換後の労働条件無期労働契約に転換した後の職務 勤務地 賃金 労働時間等の労働条件は 労働協約 就業規則または個々の労働契約等に別段の定めがない限り 直前の有期労働契約と同一になるとされており 無期転換に当たって職務の内容などが変更されないにもかかわらず 無期転換後の労働条件を

3. 無期労働契約への転換後の労働条件無期労働契約に転換した後の職務 勤務地 賃金 労働時間等の労働条件は 労働協約 就業規則または個々の労働契約等に別段の定めがない限り 直前の有期労働契約と同一になるとされており 無期転換に当たって職務の内容などが変更されないにもかかわらず 無期転換後の労働条件を 312101 無期転換ルールへの対応 Q. 2018 年 4 月から無期転換ルールが本格的に始まると聞きましたが 無期転換ルール とはどのようなものでしょうか また 企業の実務的な対応について具体的にご教示くださ い A 無期転換ルールとは 同一の使用者との間で 有期労働契約が通算して5 年を超えて更新された場合に 有期契約社員が申込みをすると 使用者がこれを承諾したものとみなされ 無期労働契約に転換するというルールです

More information

情報システム評価学 ー整数計画法ー

情報システム評価学 ー整数計画法ー 情報システム評価学 ー整数計画法ー 第 1 回目 : 整数計画法とは? 塩浦昭義東北大学大学院情報科学研究科准教授 この講義について 授業の HP: http://www.dais.is.tohoku.ac.jp/~shioura/teaching/dais08/ 授業に関する連絡, および講義資料等はこちらを参照 教員への連絡先 : shioura (AT) dais.is.tohoku.ac.jp

More information

学内配布向け Symantec Endpoint Protection 12.1 RU1 簡易インストールマニュアル Windows 版 2011 年 12 月 5 日 コンピュータセンターサポート室 1

学内配布向け Symantec Endpoint Protection 12.1 RU1 簡易インストールマニュアル Windows 版 2011 年 12 月 5 日 コンピュータセンターサポート室 1 学内配布向け Symantec Endpoint Protection 12.1 RU1 簡易インストールマニュアル Windows 版 2011 年 12 月 5 日 コンピュータセンターサポート室 1 目次 1. はじめに 3 2. システム要件 3 3. 既存ウイルス対策ソフトのアンインストール 4 4. インストール手順 5 5. LiveUpdate の自動更新の設定 9 6. LiveUpdate

More information

2019 年 6 月 4 日演習問題 I α, β > 0, A > 0 を定数として Cobb-Douglas 型関数 Y = F (K, L) = AK α L β (5) と定義します. (1) F KK, F KL, F LK, F LL を求めましょう. (2) 第 1 象限のすべての点

2019 年 6 月 4 日演習問題 I α, β > 0, A > 0 を定数として Cobb-Douglas 型関数 Y = F (K, L) = AK α L β (5) と定義します. (1) F KK, F KL, F LK, F LL を求めましょう. (2) 第 1 象限のすべての点 09 年 6 月 4 日演習問題 I α, β > 0, A > 0 を定数として Cobb-Douglas 型関数 Y = F K, L) = AK α L β 5) と定義します. ) F KK, F KL, F LK, F LL を求めましょう. ) 第 象限のすべての点 K, L) R ++ に対して F KK K, L) < 0, かつ dethf )K, L) > 0 6) を満たす α,

More information

P MY1W.indd

P MY1W.indd W Series ø, ø, ø, ø, ø, ø, ø H M C H W C MY3 MY3 MW MWK CW CWK 1339 D- -X W Series 1 2 3 4 5 M/C 6 13 MW CW Σα NG NG NG NG NG OK OK OK OK OK MW CW W Series q 1341 M H C H W C MY3 MY3 D- -X W υ z y x x

More information

Probit , Mixed logit

Probit , Mixed logit Probit, Mixed logit 2016/5/16 スタートアップゼミ #5 B4 後藤祥孝 1 0. 目次 Probit モデルについて 1. モデル概要 2. 定式化と理解 3. 推定 Mixed logit モデルについて 4. モデル概要 5. 定式化と理解 6. 推定 2 1.Probit 概要 プロビットモデルとは. 効用関数の誤差項に多変量正規分布を仮定したもの. 誤差項には様々な要因が存在するため,

More information

最近の就業者の労働時間と労働時間帯の関連に関する実証分析

最近の就業者の労働時間と労働時間帯の関連に関する実証分析 15 年度統計関連学会連合大会 最近の就業者の労働時間と労働時間帯の関連に関する実証分析 15 年 9 月 7 日 ( 月 ) 総務省統計局労働力人口統計室長尾伸一野村大輔 研究の目的 女性の活躍推進等のため ワークライフバランスの推進が課題となっている 裁量労働制 フレックスタイム制 という新たな働き方に注目が集まる中 最近の就業者がどのように働いているかを分析することが従前以上に重要となっている

More information

パソコンシミュレータの現状

パソコンシミュレータの現状 第 2 章微分 偏微分, 写像 豊橋技術科学大学森謙一郎 2. 連続関数と微分 工学において物理現象を支配する方程式は微分方程式で表されていることが多く, 有限要素法も微分方程式を解く数値解析法であり, 定式化においては微分 積分が一般的に用いられており. 数学の基礎知識が必要になる. 図 2. に示すように, 微分は連続な関数 f() の傾きを求めることであり, 微小な に対して傾きを表し, を無限に

More information

データ解析

データ解析 データ解析 ( 前期 ) 最小二乗法 向井厚志 005 年度テキスト 0 データ解析 - 最小二乗法 - 目次 第 回 Σ の計算 第 回ヒストグラム 第 3 回平均と標準偏差 6 第 回誤差の伝播 8 第 5 回正規分布 0 第 6 回最尤性原理 第 7 回正規分布の 分布の幅 第 8 回最小二乗法 6 第 9 回最小二乗法の練習 8 第 0 回最小二乗法の推定誤差 0 第 回推定誤差の計算 第

More information

回帰分析の用途・実験計画法の意義・グラフィカルモデリングの活用 | 永田 靖教授(早稲田大学)

回帰分析の用途・実験計画法の意義・グラフィカルモデリングの活用 | 永田 靖教授(早稲田大学) 回帰分析の用途 実験計画法の意義 グラフィカルモデリングの活用 早稲田大学創造理工学部 経営システム工学科 永田靖, The Institute of JUSE. All Rights Reserved. 内容. 回帰分析の結果の解釈の仕方. 回帰分析による要因効果の把握の困難さ. 実験計画法の意義 4. グラフィカルモデリング 参考文献 : 統計的品質管理 ( 永田靖, 朝倉書店,9) 入門実験計画法

More information

PowerPoint Presentation

PowerPoint Presentation 付録 2 2 次元アフィン変換 直交変換 たたみ込み 1.2 次元のアフィン変換 座標 (x,y ) を (x,y) に移すことを 2 次元での変換. 特に, 変換が と書けるとき, アフィン変換, アフィン変換は, その 1 次の項による変換 と 0 次の項による変換 アフィン変換 0 次の項は平行移動 1 次の項は座標 (x, y ) をベクトルと考えて とすれば このようなもの 2 次元ベクトルの線形写像

More information

変更履歴 バージョン日時作成者 変更者変更箇所と変更理由 RIGHTS R ESER VED. Page 2

変更履歴 バージョン日時作成者 変更者変更箇所と変更理由 RIGHTS R ESER VED. Page 2 改善計画書 注意事項 本改善活動計画書のテンプレートは 講演用に作成したサンプル用のテンプレートです そのためにシンプルな構成にしてあります 実際に改善活動計画書を作成する場合は 企業や組織の規模や目的および改善活動の内容に応じて 記載内容は追加記述が必要となる場合があります 本テンプレートを参考し ご利用する場合は企業や組織の特徴や都合に合わせて 必要に応じて適宜カスタマイズしてご利用ください 変更履歴

More information

スライド 1

スライド 1 Keal H. Sahn A R. Crc: A dual teperature sulated annealng approach for solvng blevel prograng probles Coputers and Checal Engneerng Vol. 23 pp. 11-251998. 第 12 回論文ゼミ 2013/07/12( 金 ) #4 M1 今泉孝章 2 段階計画問題とは

More information

2 目次 1 はじめに 2 システム 3 ユーザインタフェース 4 評価 5 まとめと課題 参考文献

2 目次 1 はじめに 2 システム 3 ユーザインタフェース 4 評価 5 まとめと課題 参考文献 1 検索エンジンにおける 表示順位監視システムの試作 工学部第二部経営工学科沼田研究室 5309048 鳥井慎太郎 2 目次 1 はじめに 2 システム 3 ユーザインタフェース 4 評価 5 まとめと課題 参考文献 3 1-1 背景 (1) 1 はじめに インターネットユーザーの多くが Yahoo や Google などの検索エンジンで必要とする ( 興味のある ) 情報の存在場所を探している.

More information

CAEシミュレーションツールを用いた統計の基礎教育 | (株)日科技研

CAEシミュレーションツールを用いた統計の基礎教育 | (株)日科技研 CAE シミュレーションツール を用いた統計の基礎教育 ( 株 ) 日本科学技術研修所数理事業部 1 現在の統計教育の課題 2009 年から統計教育が中等 高等教育の必須科目となり, 大学でも問題解決ができるような人材 ( 学生 ) を育てたい. 大学ではコンピューター ( 統計ソフトの利用 ) を重視した教育をより積極的におこなうのと同時に, 理論面もきちんと教育すべきである. ( 報告 数理科学分野における統計科学教育

More information

yy yy ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ;;; ; ; ; ;; ;; ;; ;;; ;;; ;;; ;; ;; ;; ;; ;; ; ; ; ; ; ; ;

More information

鳥取県物品電子入札システムセキュリティ ポリシー設定マニュアル IC カードを利用しない応札者向け 第 1.7 版 平成 31 年 2 月鳥取県物品契約課 鳥取県物品電子入札システムセキュリティ ポリシー設定マニュアル Ver.01-07

鳥取県物品電子入札システムセキュリティ ポリシー設定マニュアル IC カードを利用しない応札者向け 第 1.7 版 平成 31 年 2 月鳥取県物品契約課 鳥取県物品電子入札システムセキュリティ ポリシー設定マニュアル Ver.01-07 鳥取県物品電子入札システムセキュリティ ポリシー設定マニュアル IC カードを利用しない応札者向け 第 1.7 版 平成 31 年 2 月鳥取県物品契約課 目次 第 1 章はじめに 1 1.1 セキュリティ ポリシーを設定するまでの流れ 1 第 2 章セキュリティ ポリシーを設定する前に 2 2.1 前提条件確認 2 2.2 Java ランタイム (JRE) の確認方法 3 第 3 章 Java 実行環境の設定

More information

Microsoft PowerPoint - no1_17

Microsoft PowerPoint - no1_17 数理計画法 田地宏一 Inrodcion o Mahemaical rogramming 教科書 : 新版数理計画入門 福島雅夫 朝倉書店 参考書 : 最適化法 田村 村松著 共立出版 工学基礎最適化とその応用 矢部著 数理工学社 6Linear and Nonlinear Opimizaion: second ediion I.Griba.G. Nash and A. ofer IAM 9 など多数

More information

2.

2. 2. 10 2. 2. 1995/12006/111995/42006/12 2. 10 1995120061119954200612 02505 025 05 025 02505 0303 02505 250100 250 200 100200 5010050 100200 100 100 50100 100200 50100 10 75100100 0250512 02505 1 025051205

More information

アダストリア売り上げデータによる 現状把握と今後の方針 東海大学情報通信学部経営システム工学科佐藤健太

アダストリア売り上げデータによる 現状把握と今後の方針 東海大学情報通信学部経営システム工学科佐藤健太 アダストリア売り上げデータによる 現状把握と今後の方針 東海大学情報通信学部経営システム工学科佐藤健太 目次 1. 研究背景 2. 研究目的 3. データ概要 4. 分析手順 5. 分析結果 6. 戦略予想 7. まとめ 8. 今後の課題 参考文献 2016/10/27 2016 年 S-PLUS &Visual R Platform 学生研究奨励賞 1 1. 研究背景 Ⅰ アダストリア (¹) とは,

More information

ムーアの法則に関するレポート

ムーアの法則に関するレポート 情報理工学実験レポート 実験テーマ名 : ムーアの法則に関する調査 職員番号 4570 氏名蚊野浩 提出日 2019 年 4 月 9 日 要約 大規模集積回路のトランジスタ数が 18 ヶ月で2 倍になる というムーアの法則を検証した その結果 Intel 社のマイクロプロセッサに関して 1971 年から 2016 年の平均で 26.4 ヶ月に2 倍 というペースであった このことからムーアの法則のペースが遅くなっていることがわかった

More information

Microsoft PowerPoint - 4.pptx

Microsoft PowerPoint - 4.pptx while 文 (1) 繰り返しの必要性 while の形式と動作 繰り返しにより平 根を求める ( 演習 ) 繰り返しにより 程式の解を求める ( 課題 ) Hello. をたくさん表示しよう Hello. を画面に 3 回表示するには, 以下で OK. #include int main() { printf("hello. n"); printf("hello. n");

More information

< F2D A8E678BA692E88E9696B D2E6A7464>

< F2D A8E678BA692E88E9696B D2E6A7464> 事務連絡平成 25 年 2 月 28 日 日本内航海運組合総連合会会長一般社団法人日本旅客船協会会長一般社団法人日本長距離フェリー協会会長 殿 国土交通省海事局運航労務課 労使協定書の記載例について 海上労働条約の批准に伴う船員法の一部を改正する法律等について( 平成 25 年 2 月 28 日付け国海働第 156 号 ) により 各種労使協定書の作成要領及び記載例を通知したところでございますが より具体的な記載例を別添のとおり作成いたしましたので

More information

平成22年度「技報」原稿の執筆について

平成22年度「技報」原稿の執筆について 新人研修のためのプロジェクト管理ツール導入 伊藤康広 工学系技術支援室情報通信技術系 はじめに 新人研修は系全体で業務分担をできるようにするために 重要な業務であると考えられる そのため 研修指導のメンバーのみならず 関係者全員が研修の状況が見えるようになっていることが望ましい 従来は新人が個別に Excel シートで進捗管理をしてきたため そのファイルが定期的に公開されない限り 新人から離れた場所にいる関係者は進捗を把握することが難しい状態になるという問題があった

More information

概要 2 1. エアコン 冷蔵庫 冷凍庫及び洗濯機 衣類乾燥機については 経過年数の推移に 過去と比較して特に変化は見られない ワイブル平均が最も大きい品目は冷蔵庫 冷凍庫 (15.8 年 ) 最も小さい品目は洗濯機 衣類乾燥機 (11.7 年 ) で 両者の差は 4.1 年となった ワイブル平均の

概要 2 1. エアコン 冷蔵庫 冷凍庫及び洗濯機 衣類乾燥機については 経過年数の推移に 過去と比較して特に変化は見られない ワイブル平均が最も大きい品目は冷蔵庫 冷凍庫 (15.8 年 ) 最も小さい品目は洗濯機 衣類乾燥機 (11.7 年 ) で 両者の差は 4.1 年となった ワイブル平均の 度 使用済家電 4 品目の経過年数等調査 216 年 5 月 みずほ情報総研株式会社 概要 2 1. エアコン 冷蔵庫 冷凍庫及び洗濯機 衣類乾燥機については 経過年数の推移に 過去と比較して特に変化は見られない ワイブル平均が最も大きい品目は冷蔵庫 冷凍庫 (15.8 年 ) 最も小さい品目は洗濯機 衣類乾燥機 (11.7 年 ) で 両者の差は 4.1 年となった ワイブル平均の大きさは 冷蔵庫

More information

TimeCardView と Cisco Unified Communications Express Historical Reporting Client

TimeCardView と  Cisco Unified Communications Express  Historical Reporting Client TimeCardView と Cisco Unified Communications Express Historical Reporting Client を使用すると 次の 2 種類のレポート生成タスクを実行できます 履歴レポートの生成と表示 (P.27) (P.29) 上記以外の種類のタスクとしては 既存のレポート設定のロード がありますが これは TimeCardView の機能に関連しません

More information

Microsoft PowerPoint - 統計科学研究所_R_重回帰分析_変数選択_2.ppt

Microsoft PowerPoint - 統計科学研究所_R_重回帰分析_変数選択_2.ppt 重回帰分析 残差分析 変数選択 1 内容 重回帰分析 残差分析 歯の咬耗度データの分析 R で変数選択 ~ step 関数 ~ 2 重回帰分析と単回帰分析 体重を予測する問題 分析 1 身長 のみから体重を予測 分析 2 身長 と ウエスト の両方を用いて体重を予測 分析 1 と比べて大きな改善 体重 に関する推測では 身長 だけでは不十分 重回帰分析における問題 ~ モデルの構築 ~ 適切なモデルで分析しているか?

More information

Microsoft PowerPoint - DA2_2019.pptx

Microsoft PowerPoint - DA2_2019.pptx Johnon のアルゴリズム データ構造とアルゴリズム IⅠ 第 回最大フロー 疎なグラフ, 例えば E O( V lg V ) が仮定できる場合に向いている 隣接リスト表現を仮定する. 実行時間は O( V lg V + V E ). 上記の仮定の下で,Floyd-Warhall アルゴリズムよりも漸近的に高速 Johnon のアルゴリズム : アイデア (I) 辺重みが全部非負なら,Dikra

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子

東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子 東邦大学理学部情報科学科 2014 年度 卒業研究論文 コラッツ予想の変形について 提出日 2015 年 1 月 30 日 ( 金 ) 指導教員白柳潔 提出者 山中陽子 2014 年度東邦大学理学部情報科学科卒業研究 コラッツ予想の変形について 学籍番号 5511104 氏名山中陽子 要旨 コラッツ予想というのは 任意の 0 でない自然数 n をとり n が偶数の場合 n を 2 で割り n が奇数の場合

More information

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ

2-1 / 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリ 2-1 / 32 4. 語問題 項書換え系 4.0. 準備 (3.1. 項 代入 等価性 ) 定義 3.1.1: - シグネチャ (signature): 関数記号の集合 (Σ と書く ) - それぞれの関数記号は アリティ (arity) と呼ばれる自然数が定められている - Σ (n) : アリティ n を持つ関数記号からなる Σ の部分集合 例 : 群 Σ G = {e, i, } (e Σ

More information

ミクロ経済学Ⅰ

ミクロ経済学Ⅰ 労働需要 労働力を雇う側の意思決定 労働力を雇うのは企業と仮定 企業は利潤を最大化する 利潤最大化する企業は どのように労働力を需要するか? まず 一定の生産量を生産する際の 費用最小化問題から考察する 企業の費用最小化 複数の生産要素を用いて生産活動を行なう企業を想定 min C( w, r; y) = wl + rk LK, subject to FKL (, ) y Cwr (, ; y) 費用関数

More information

システム imac 21.5 インチディスプレイ 3.6GHz i5 Dual core / HT 2.8GHz i7 Quad core / HT ATI Radeon 4850 ATI Radeon HD はいいいえいいえはいいいえ ATI はいいいえ

システム imac 21.5 インチディスプレイ 3.6GHz i5 Dual core / HT 2.8GHz i7 Quad core / HT ATI Radeon 4850 ATI Radeon HD はいいいえいいえはいいいえ ATI はいいいえ Composer 6 および Symphony 6 認定 Apple Mac システム システム Mac デスクトップ Mac Pro dual 6-Core 2.66GHz "Westmere" Core 2.66GHz および 2.93GHz "Nehalem" Core 2.26GHz "Nehalem" Core 3.0GHz および 3.2GHz "Harpertown" Geforce

More information

本書は 一般社団法人情報通信技術委員会が著作権を保有しています 内容の一部又は全部を一般社団法人情報通信技術委員会の許諾を得ることなく複製 転載 改変 転用及びネットワーク上での送信 配布を行うことを禁止します - 2 -

本書は 一般社団法人情報通信技術委員会が著作権を保有しています 内容の一部又は全部を一般社団法人情報通信技術委員会の許諾を得ることなく複製 転載 改変 転用及びネットワーク上での送信 配布を行うことを禁止します - 2 - WDM 用途のスペクトル グリッド : DWDM 周波数グリッド Spectral grids for WDM applications : DWDM frequency grid 第 2 版 2012 年 8 月 30 日制定 一般社団法人情報通信技術委員会 THE TELECOMMUNICATION TECHNOLOGY COMMITTEE 本書は 一般社団法人情報通信技術委員会が著作権を保有しています

More information

次元圧縮法を導入したクエリに基づくバイクラスタリング 情報推薦への応用 武内充三浦功輝岡田吉史 ( 室蘭工業大学 ) 概要以前, 我々はクエリに基づくバイクラスタリングを用いた情報推薦手法を提案した. 本研究では, 新たに推薦スコアが非常に良く似たユーザまたはアイテムを融合する次元圧縮法を導入した. 実験として, 縮減前と縮減後のデータセットのサイズとバイクラスタ計算時間の比較を行う. キーワード

More information

Lesson2 下のファイルを開いておきましょう H21hyo3_Ver フォルダ - ドリルフォルダ - ドリル _ 提供データの中の - Lesson2 提供.xls - 問題 1 問題 1 シートを開いておきます ( 問 1)C 列の条件に従って G 列にセルの内容をコピーまたは移

Lesson2 下のファイルを開いておきましょう H21hyo3_Ver フォルダ - ドリルフォルダ - ドリル _ 提供データの中の - Lesson2 提供.xls - 問題 1 問題 1 シートを開いておきます ( 問 1)C 列の条件に従って G 列にセルの内容をコピーまたは移 コンピュータサービス技能評価試験 表計算部門 3 級受験対策練習問題集ドリル 1 Lesson1~Lesson6! 注意! このドリルは データをダウンロードしてから初めてください ( ダウンロード方法は別紙 ) Lesson1 下のファイルを開いておきましょう H21hyo3_Ver1.1.01 フォルダ - ドリルフォルダ - ドリル _ 提供データの中の - Lesson1 提供.xls -

More information

労働力調査(詳細集計)平成29年(2017年)平均(速報)結果の概要

労働力調査(詳細集計)平成29年(2017年)平均(速報)結果の概要 第 1 雇用者 ( 正規, 非正規の職員 従業員別の動向など ) 1 正規の職員 従業員は56 万人増加, 非正規の職員 従業員は13 万人増加 217 年平均の役員を除く雇用者は546 万人と, 前年に比べ69 万人の増加となった このうち正規の職員 従業員は3423 万人と56 万人の増加となった 一方, 非正規の職員 従業員は236 万人と13 万人の増加となった 別にみると, 性は正規の職員

More information

第 6 回の目的 確定年金現価の算式について理解する 終身年金現価の算式について理解する 簡単な例で掛金の計算をしてみる 極限方程式を理解する 年金数理第 6 回 2

第 6 回の目的 確定年金現価の算式について理解する 終身年金現価の算式について理解する 簡単な例で掛金の計算をしてみる 極限方程式を理解する 年金数理第 6 回 2 東京工業大学大学院経営工学専攻 年金数理第 6 回 年金現価 終価 極限方程式 講師 : 渡部善平 (( 株 )IIC パートナーズ ) 第 6 回の目的 確定年金現価の算式について理解する 終身年金現価の算式について理解する 簡単な例で掛金の計算をしてみる 極限方程式を理解する 年金数理第 6 回 2 確定年金現価 終身年金現価 確定年金 確定年金現価 確定年金 : 年金受給者の生死にかかわらず一定期間の支払いを約束する年金

More information

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識 知識工学 II ( 第 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7. 知識に基づくエージェント知識ベース (knowledge base, KB): 文 の集合 他の 文 から導出されない

More information

T75 T55 T45 T67 T54 D81 D71 D51 D61 D41 T95 V83 V73 V63 L93 D81 D71 D51 D61 D41 T95 RX82 V83 V73 V63 L93

T75 T55 T45 T67 T54 D81 D71 D51 D61 D41 T95 V83 V73 V63 L93 D81 D71 D51 D61 D41 T95 RX82 V83 V73 V63 L93 T75 T55 T45 T67 T54 D81 D71 D51 D61 D41 T95 V83 V73 V63 L93 D81 D71 D51 D61 D41 T95 RX82 V83 V73 V63 L93 T95 T95T75 T75T5 T55T4 T45T6 T67T54 T54 L93 L93V83 V83V73 V73V63 V63 RX82 RX82N72 N72N61 N61N51

More information

! Aissi, H., Bazga, C., & Vaderpoote, D. (2009). Mi max ad mi max regret versios of combiatorial optimizatio problems: A survey. Europea joural of ope

! Aissi, H., Bazga, C., & Vaderpoote, D. (2009). Mi max ad mi max regret versios of combiatorial optimizatio problems: A survey. Europea joural of ope mi max regret l m ( ) ! Aissi, H., Bazga, C., & Vaderpoote, D. (2009). Mi max ad mi max regret versios of combiatorial optimizatio problems: A survey. Europea joural of operatioal research, 197(2), 427-438.!

More information

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ( ) 24 25 26 27 28 29 30 ( ) ( ) ( ) 31 32 ( ) ( ) 33 34 35 36 37 38 39 40 41 42 43 44 ) i ii i ii 45 46 47 2 48 49 50 51 52 53 54 55 56 57 58

More information

untitled

untitled i ii (1) (1) (2) (1) (3) (1) (1) (2) (1) (3) (1) (1) (2) (1) (3) (2) (3) (1) (2) (3) (1) (1) (1) (1) (2) (1) (3) (1) (2) (1) (3) (1) (1) (1) (2) (1) (3) (1) (1) (2) (1) (3)

More information