なおここから解説は リスコフ置換原則 に焦点を当てた解説ではなく 専門家が提案している色々な タイプ ( 型 ) 置換原理 の根底となる基本解説であることに留意してください まず 多くの専門家が提案している タイプ ( 型 ) 置換原理 のどれもが クラスのタイプ ( 型 ) の 属性の不変条 件

Size: px
Start display at page:

Download "なおここから解説は リスコフ置換原則 に焦点を当てた解説ではなく 専門家が提案している色々な タイプ ( 型 ) 置換原理 の根底となる基本解説であることに留意してください まず 多くの専門家が提案している タイプ ( 型 ) 置換原理 のどれもが クラスのタイプ ( 型 ) の 属性の不変条 件"

Transcription

1 第 8 回 : 科学的モデリング 継承 8~ タイプ ( 型 ) 置換原理 と 論理状態空間 第 8 回の話題 ~ タイプ ( 型 ) 置換原理 と 論理状態空間 今回は継承関係をより科学的に理解するために タイプ ( 型 ) 置換原理 (the principle of type substitution/type substitution principle) 自身の解説をします 前回のコラムまでの解説において 継承関係を正しく理解し 活用するには タイプ ( 型 ) 置換原理 の理解と適用が不可欠であることを強調してきました そして サンプルの継承関係のクラス図を用いて タイプ ( 型 ) 置換原理 の適用も解説してきました 今回は タイプ ( 型 ) 置換原理 をより良く理解するために基本的かつ重要事項であるタイプ ( 型 ) の 論理状態空間 の解説を行います 論理状態空間 による タイプ ( 型 ) 置換原理 の理解は 数学的に正確でありながら 同時に直観的に分かり易いというメリットがあります そこで 今回のテーマは : タイプ ( 型 ) の タイプ ( 型 ) 置換原理 と 論理状態空間 から継承関係を理解する です タイプ ( 型 ) 置換原理の基本原理 第 7 回のコラムでは タイプ ( 型 ) 置換原理 とその代表例である リスコフ置換原理 (Liskov substitution principle) を紹介しました リスコフ置換原理 は最も広く知られている タイプ( 型 ) 置換原理 ですが 極めて厳しい ( 制約が大きい ) タイプ ( 型 ) 置換原理 です このように書くと : なぜ 他の タイプ ( 型 ) 置換原理 よりも厳しい ( 制約が大きい ) 置換原理なのか? 厳しい ( 制約が大きい ) とはどういう事か? という疑問が生じます この疑問を解消するには まずは タイプ ( 型 ) 置換原理 についてもう少し色々なことを 理解する必要があります そこで今回は タイプ ( 型 ) 置換原理 の基本的な考え方を理解していきます 科学的モデリング 第 8 回 ~ 継承 8 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

2 なおここから解説は リスコフ置換原則 に焦点を当てた解説ではなく 専門家が提案している色々な タイプ ( 型 ) 置換原理 の根底となる基本解説であることに留意してください まず 多くの専門家が提案している タイプ ( 型 ) 置換原理 のどれもが クラスのタイプ ( 型 ) の 属性の不変条 件 クラス不変条件 操作の事前条件 操作の事後条件 に注意を払います さらにこの中でも最も基本となるのが クラスの 属性の不変条件 ( 制約 ) と クラス不変条件 です そこで 今回はクラスの 属性の不変条件 と クラス不変条件 に焦点を当てて タイプ ( 型 ) 置換原理 を解説していきます タイプ ( 型 ) の 論理状態空間 図 8-1 には クラス 自動車 とクラス スポーツカー およびクラス トラック が継承関係にあります スーパークラスであるクラス 自動車 に注意を向けると 特性 ( プロパティ ) として3つの属性が定義されていることが分かります 図 8-2 (* 今回のコラムは 属性の不変条件 と クラス不変条件 に焦点を当てて解説するので 操作はクラス図から省略しています ) 図 8-1 PAGE 2 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

3 図 8-2 3つの属性の制約はその属性の値の有効範囲を指定していることが分かります ここで この3つの属性 速度 エンジン回転数 走行距離 を 図 8-3 に示すように次元軸で表現してみます 1 エンジン回転数 1 走行距離 3 速度 図 8-3 図 8-3 が示しているのはクラス 自動車 のタイプ ( 型 ) の 論理状態空間 (logical state space) と呼ばれる 論理状態空間を構成する各次元軸になります 逆に言えば 全ての次元軸を組み合わせるとクラス 自動車 のタイ プ ( 型 ) の 論理状態空間 が構成されます 論理状態空間 が意味することは クラス 自動車 から生成されるオブジェクト ( インスタンス ) は 全てこの 論理状態空間 の各次元軸の範囲内に収まるという事です PAGE 3 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

4 別の表現をすれば 正当な値を持つクラス 自動車 のオブジェクト ( インスタンス ) の各属性の値は この 論理 状態空間 の次元軸の範囲の外部に存在することはありえないということです 表 8-1 科学的モデリング規則 : クラスのタイプ ( 型 ) の 論理状態空間 を明確にせよ クラスのタイプ ( 型 ) の全体の制約を クラス不変条件 と呼ぶ クラス不変条件 はクラスの全てのオブジェクト ( インスタンス ) が常に満たさなければならない制約である 1 2 論理状態空間 は クラス不変条件 で指定された 全ての状態の集合 を表現した空間である 論理状態空間 を表現する各次元軸はオブジェクト ( インスタンス ) の値を指定する次元軸である 表 8-1 論理状態空間 の継承と 同型 特殊化 拡張 タイプ置換原理 は この 論理状態空間 を用いて表現することが可能です 下記 表 8-2 の様になります 科学的モデリング規則 : サブタイプ ( 型 ) の論理状態空間はスーパータイプ ( 型 ) の 論理状態空間 内に含まれる サブタイプ 論理状態空間 は完全にスーパータイプの 論理状態空間 の中に含まれる必要がある 表 8-2 表 8-2 から分かることは下記の2つ点です スーパータイプの 論理状態空間 は サブタイプに継承される ( サブタイプは何も再定義しなければスーパータイプと同じ論理状態空間を持つ ) スーパータイプの 論理状態空間 は スーパータイプの 論理状態空間 よりも 同じ あるか 小さい 必要があるこのことを少し詳しく見ていきます クラス スポーツカー は 独自の属性を追加していません またスーパークラスのタイプ ( 型 ) の制約を再定義していません このことからクラス スポーツカー のタイプ ( 型 ) は スーパークラス 自動車 のタイプ ( 型 ) と 同型 ですから 全く同じ 論理状態空間 であることは簡単に判断できます 図 8-4 PAGE 4 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

5 一方 クラス トラック は 独自の属性 積載重量 を追加しています またスーパークラスのタイプ ( 型 ) の属性 速度 の制約を ( 速度 >= && 速度 <=15) と再定義しています このことからクラス トラック のタイプ ( 型 ) は スーパークラス 自動車 のタイプ ( 型 ) を 特殊化 かつ 拡張 していることが分かります クラス トラック の 論理状態空間 を 図 8-6 に示します 図 8-5 図 8-6 を見るとクラス トラック の 論理状態空間 は スーパークラス 自動車 のタイプ( 型 ) を 特殊化 した分だけ狭い空間になっていることが分かります ここで重要なことは 表 8-2 からの論理的帰結で サブタイプによる 特殊化 は 制約を 強く( 厳しく ) する ことは可能ですが 弱く ( 緩く ) することは不可能であるということです 1 エンジン回転数 1 走行距離 特殊化 されたクラス トラック の次元軸 15 3 速度 図 8-6 PAGE 5 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

6 ただし クラス トラック は独自の属性 積載重量 を追加しています 属性 積載重量 はスーパークラスで あるクラス 自動車 のタイプ ( 型 ) には存在しない特性 ( プロパティ ) ですから クラス トラック の 論理状態空 間 は スーパークラスであるクラス 自動車 の 論理状態空間 より 1 つ次元が多くなります つまり クラス トラック の 論理状態空間 は クラス 自動車 の 論理状態空間 を 拡張 しています ここで重要なことは 拡張 された次元軸はスーパータイプには存在しない次元軸であるため スーパータイプの制約の影響を受けないということです クラス トラック の 論理状態空間 の全ての次元軸は 図 8-7 のようになります 1 エンジン回転数 1 走行距離 特殊化 されたクラス トラック の次元軸 15 3 速度 拡張 されたクラス トラック の次元軸 3 最大積載量 図 8-7 ここまで解説してきたことを 表 8-3 に整理します PAGE 6 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

7 科学的モデリング規則 : タイプ置換原理を満たすサブタイプ ( 型 ) の 論理状態空間 サブタイプの 論理状態空間 はスーパータイプ 論理状態空間 の次元軸を含んでいなければならない サブタイプの 論理状態空間 は独自の次元軸を追加して持つことができる サブタイプによる 特殊化 は スーパータイプの制約条件を 強く ( 厳しく ) する ことは可能だが 弱く ( 緩く ) することは不可能である サブタイプの 論理状態空間 はスーパータイプの 論理状態空間 よりも 狭く することはできるが 広く することはできない サブタイプの 論理状態空間 がスーパータイプより多くの次元を持つ場合は スーパータイプの 論理状態空間 を 拡張 している 拡張 された次元軸はスーパータイプには存在しない次元軸であるため スーパータイプの制約の影響を受けない 表 8-3 なお 表 8-1 から 表 8-3 の 科学的モデリング規則 は 単一継承(single inheritance) だけでなく 多重継承 (multiple inheritance) にも完全に当てはまる規則であることを付け加えておきます 条件の比較と 強い ( 厳しい ) と 弱い ( 緩い ) ここで 条件同士の比較 について考え方を述べておきます まずは 厳密ではないものの 理解と記憶のための 簡易的な方法 として下記の 表 8-4 様に覚えると良いでしょう 科学的モデリング規則 : 制約の 強い ( 厳しい ) と 弱い( 緩い ) より大きな 範囲は 弱い( 緩い ) 条件 小さい 範囲は 強い( 厳しい ) 条件 表 8-4 もう少し正確に 条件同士の比較 について考えてみます 補足ノート参照 条件同士の 同じ ( 等しい ) 強い( 厳しい ) 弱い( 緩い ) を判定するには 比較する条件同士間に 図 8-8 のような関係があるときに比較が可能となります このとき 2つの条件間の 同じ ( 等しい ) 強い( 厳しい ) 弱い ( 緩い ) の順序関係が判定できます そのため 条件の範囲 の比較をする場合は まずは各条件の設定と条件の注意を払う必要があります PAGE 7 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

8 ケース 1 ケース 2 ケース 3 ケース 4 条件 1 条件 2 条件 1& 条件 2 条件 1 条件 2 条件 1 条件 2 比較可能 比較可能 比較不可能 比較不可能 図 8-8 図 8-8 から見て分かる通り 2 つの条件の範囲が どちらかの条件にもう片方の条件が含まれる ( ケース 1) あ るいは 完全に一致する ( ケース 2) ときのみ条件の比較が可能なことが分かります 実はケース 1 とケース 2 のような関係は 必要条件 (necessary condition) 十分条件 (sufficient condition) 必要十分条件 (necessary and sufficient condition) という用語があります 表 8-5 つまり 条件の比較は 必要条件 十分条件 必要十分条件 の関係が成立させるように 条件を設定する必 要があることが分かります ケース 解説 条件 2 が条件 1 の範囲内にある : 比較可能 条件 1 は条件 2 の 必要条件 (necessary condition) と呼ばれる ケース 1 条件 1 は条件 2 よりも 弱い ( 緩い ) 条件 条件 2 は条件 1 の 十分条件 (sufficient condition) と呼ばれる 条件 2 は条件 1 よりも 強い ( 厳しい ) 条件 条件 1 と条件 2 の範囲が等しい : 比較可能 ケース 2 条件 1 と条件 2 は互いに 必要十分条件 (necessary and sufficient condition) と呼ばれる 条件 1 と条件 2 の条件は 論理的同値 (logical equivalence) とも呼ばれます 条件 1 が条件 2 の範囲が交差している : 比較不可能 ケース 3 条件 1 と条件 2 が互いに 必要条件 (necessary condition) 十分条件 (sufficient condition) 必要十分条件 (necessary and sufficient condition) のいずれにもなっていないので比較 不可能 ケース 4 条件 1 が条件 2 の範囲が独立している : 比較不可能 PAGE 8 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

9 条件 1と条件 2が互いに 必要条件 (necessary condition) 十分条件(sufficient condition) 必要十分条件(necessary and sufficient condition) のいずれにもなっていないので比較不可能 表 8-5 科学的モデリング補足ノート : 命題 ここまで 条件式や条件文 と呼んでいたものは数学や論理学では 命題 (proposition) と呼びます 命題とは文章や数式の 真 (true) 偽(false) が判定できるものを意味します 命題と書くと難しく感じますが まずは高校 1 年生のときに数学の教科書に掲載される命題の内容で間に合います 命題を扱う時に検討することの1つに 十分条件である 必要条件である 必要十分条件 ( 論理的同値 ) である を判定があります 十分条件である 必要要件である 必要十分条件( 論理的同値 ) である の判定は 命題の中の登場する条 件を P Q の形式で表現すると判定しやすくなります 真 (true) 十分条件 必要条件 P Q が常に真(true) であれば PはQの十分条件となり これはPが成立すれば 必ず Qが成立しなければならないことを意味します P Q が真(true) になるときがあるのであれば QはPの必要条件となります P Q が常に真(true) であり 同時に Q P も常に真(true) であるときはPとQは必要十分条件の関係になります なお 記号 は ならば(implies) と読みます 例 1:x=y=であることは xy=であるための 十分条件 必要要件 必要十分条件 ( 論理的同値 ) のいずれの条件であるか? x=y=ならばxy=である が必ず成立するか? 成立する xy=ならばx=y=である が必ず成立するか? 常には成立しない ( 反例 ) xy=を成立させるものとして x=1でy=などがある PAGE 9 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

10 以上からx=y=であることは xy=であるための 十分条件 です逆にxy=であることは x=y=であるための 必要条件 です 例 2:x 2 =y 2 であることは x=yであるための 十分条件 必要要件 必要十分条件 ( 論理的同値 ) のいずれの条件であるか? x 2 =y 2 ならばx=yである が必ず成立するか? 常には成立しない ( 反例 ) x 2 =y 2 を成立させるものとして x=-1 y=1などがある x=yならばx 2 =y 2 である が必ず成立するか? 成立する 以上からx 2 =y 2 であることは x=yであるための 必要条件 です逆にx=yであることは x 2 =y 2 であるための 十分条件 です それから 命題の真偽は 図 8-8 に条件の比較を図式化したように 集合の包含関係で判定することができ 命題 P Q が真(true) とは {x P} {x Q} と表現きでます 上記の例であれば x 2 =y 2 やx=y=を成立させる集合の包含関係を比較することになります 十分条件 となる集合が小さく 必要要件 の集合に含まれことになります 集合が重なるときは 必要十分条件 のときです 命題については必要に応じて 科学的モデリング 補足ノート で解説することにします 表 8-6 まとめ & 次回 今回のコラムは タイプ ( 型 ) 置換原理 を直観的に理解するために基本的かつ重要事項であるタイプ ( 型 ) の 論理状態空間 の解説をおこないました 多相 ( ポリモフィズム / 多態 ) を利用する場合の継承関係は 専門的な呼び方として タイプ ( 型 ) 継承 (type inheritance) があります 第 2 回コラム参照 この呼び方から分かるとおり タイプ ( 型 ) 継承 (type inheritance) では タイプ( 型 ) に着目し タイプ ( 型 ) を継承 することを意味します そしてスーパークラスのタイプ ( 型 ) とサブクラス ( 型 ) にサブタイプ ( 部分型 ) 関係が成立しなければなりません さらに 振る舞い ( 意味的 ) のサブタイプ ( 部分型 ) 関係の成立が必要 であることもコラムで再三解説してきました タイプ置換原理 により 振る舞い( 意味的 ) のサブタイプ ( 部分型 ) 関係が成立するかどうかを判定しますが これはタイプ ( 型 ) 間の 論理状態空間 の包摂関係を理解することで タイプ置換原理 の考え方の基本が理解できます PAGE 1 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

11 振る舞い( 意味的 ) のサブタイプ ( 部分型 ) 関係の成立 を判定するには タイプ ( 型 ) のプロパティ ( 特性 ) を明確にし クラスのタイプ ( 型 ) の 属性の不変条件 クラス不変条件 操作の事前条件 操作の事後条件 を明確にしなければなりません そして 属性の不変条件 クラス不変条件 操作の事前条件 操作の事後条件 は 継承関係の正確な設計と実装だけでなく インスペクションやテストにとっても極めて重要な意味を持ちます 表 8-7 科学的モデリング規則 : クラスのタイプ ( 型 ) の条件を明確にしなければ検証 & 妥当性確認が不可能である クラスの 正当性 (correctness) や 妥当性(validity) を表現するタイプ( 型 ) の 属性の不変条件 クラス不変条件 操作の事前条件 操作の事後条件 を明確にしなければ クラスに対する検証すべき内容が明確にならず検証 (verification) と妥当性確認 (validation) が不可能である インスペクションやテストが漠然と実施される 何をもってクラスの 正当性 や 妥当性 を満たすかが不明瞭なので 適切なテストケースやテストデ ーターを作成できない 以上からインスペクションやテストが漠然と実施しても品質保証にならない 表 8-7 す 次回以降は 操作の事前条件 操作の事後条件 に焦点を移して タイプ置換原理 について解説をする予定で 参考文献 文献 [8-1] [BARBARAH. LISKOV 1994] A Behavioral Notion of Subtyping 文献 [8-2] [Peter Wegner 1991] Concepts and Paradigms of Object-Oriented Programming 文献 [8-3] [Markku Sakkinen] Inheritance and Other Main Principles of C++ and Other Object- Oriented Languages 文献 [8-4] [Luca Cardelli, Peter Wegner1985] On Understanding Types,Data Abstraction, and Polymorphism PAGE 11 C O P Y R I G H T ~ H AS H I M O TO S O FT W A R E C O N S U LTI N G I N TE R N AT IO N A L I N C. AL L R I G H T S R E S E R V E D.

科学的モデリング 2 回 継承 2 無断転載 & 無断配布を禁じます 第 2 回 : 科学的モデリング 継承 2 継承される特性( プロパティ ) 第 2 回の話題 継承は何を継承するのか? 今回のコラムの話題は 継承される特性 ( プロパティ ) についてです そもそもサブクラスはスーパークラスか

科学的モデリング 2 回 継承 2 無断転載 & 無断配布を禁じます 第 2 回 : 科学的モデリング 継承 2 継承される特性( プロパティ ) 第 2 回の話題 継承は何を継承するのか? 今回のコラムの話題は 継承される特性 ( プロパティ ) についてです そもそもサブクラスはスーパークラスか 第 2 回 : 科学的モデリング 継承 2 継承される特性( プロパティ ) 第 2 回の話題 継承は何を継承するのか? 今回のコラムの話題は 継承される特性 ( プロパティ ) についてです そもそもサブクラスはスーパークラスからどのような特性 ( プロパティ ) を継承するのか? という疑問に回答し説明します 科学的モデリング の視点から継承される特性 ( プロパティ ) を明確にして 今後の連載コラムの中で正確に継承の意味を探ります

More information

継承を積極的に利 することを推奨する専門家の主張 正しい設計を うには継承を正確に使 する事が極めて重要である [Ian Joyner] 開放閉鎖原理 (Open-Close Principle) を可能とするのは継承だけである [Bertrand Meyer] 表 1-1 共変化(co-varia

継承を積極的に利 することを推奨する専門家の主張 正しい設計を うには継承を正確に使 する事が極めて重要である [Ian Joyner] 開放閉鎖原理 (Open-Close Principle) を可能とするのは継承だけである [Bertrand Meyer] 表 1-1 共変化(co-varia 第 1 回 : 継承 1 科学的に継承を理解する準備 今回から 継承 について解説します まずは 設計モデル を対象として継承の解説をします モデ ルには 設計モデル 概念モデル 分析モデル があります 設計モデル は 概念モデル 分析モデル とは異なり プログラミング 語や動作させる環境を考慮したモデルです ( 概念モデル 分析モデル は特定のプログラミング 語や動作環境を考慮しないで問題空間の構造と振る舞いおよび制約に焦点をおいたモデルを作成します

More information

お客様からの依頼内容とその現状

お客様からの依頼内容とその現状 ログハウスメーカー様向け顧客管理システム構築 By BizBrowser+GeneXus 株式会社ディマージシェア お客様からの依頼内容とその現状 現状の問題点 2004 年から稼動しているクライアント / サーバ型システムのリニューアル 1) システム変更や不具合が発生するたびにソフトウェアを物理的に配布 2) 全国約 30 拠点 ( 展示場 ) 本社にサーバを設置 3) 夜間処理で拠点データを本社サーバに複製して同期

More information

所得拡大促進税制および 雇用促進税制適用における留意点 平成 25 年度の税制改正において 個人所得の 拡大を目的とした所得拡大促進税制が新たに 設けられました 平成 25 年度の税制改正において 個人所得の拡大を目的とした所得拡大促進税制が新たに設けられ さらなる雇用の確保を支援する雇用促進税制の

所得拡大促進税制および 雇用促進税制適用における留意点 平成 25 年度の税制改正において 個人所得の 拡大を目的とした所得拡大促進税制が新たに 設けられました 平成 25 年度の税制改正において 個人所得の拡大を目的とした所得拡大促進税制が新たに設けられ さらなる雇用の確保を支援する雇用促進税制の ニュースレター 2013 年 7 月号 Jul. 2013 7 YOSHIKAWA TAX JOURNAL 所得拡大促進税制および雇用促進税制適用における留意点 注目トピックス 01 所得拡大促進税制および雇用促進税制適用における留意点平成 25 年度の税制改正において 個人所得の拡大を目的とした所得拡大促進税制が新たに設けられました ここでは 所得拡大促進税制および雇用促進税制適用における留意点について解説します

More information

バイオロジカル・インジケータの製造に関するISO11138シリーズの改訂事項についてレビュー.docx

バイオロジカル・インジケータの製造に関するISO11138シリーズの改訂事項についてレビュー.docx バイオロジカル インジケータの製造に関する ISO11138 シリーズの改訂事項についてのレビュー MesaLabs 社は 様々な基準に従いバイオロジカル インジケータを製造しています 以前の SporeNews では バイオロジカル インジケータの米国薬局方 (USP) に関しての情報を記載しました 今回は 新しく改訂された AAMI/ANSI/ISO11138 シリーズの変更点について説明します

More information

中小企業に対する減税の廃止 縮小を検討 中小企業を支援する政策減税のうち 平成 26 年度末に期限が来る措置を 原則として 廃止 縮小することが検討されています その内容について解説します 中小企業を支援する政策減税のうち 平成 26 年度末に期限が来る措置を 原則として 廃止 縮小することが検討さ

中小企業に対する減税の廃止 縮小を検討 中小企業を支援する政策減税のうち 平成 26 年度末に期限が来る措置を 原則として 廃止 縮小することが検討されています その内容について解説します 中小企業を支援する政策減税のうち 平成 26 年度末に期限が来る措置を 原則として 廃止 縮小することが検討さ ニュースレター 2014 年 9 月号 Sep. 2014 9 YOSHIKAWA TAX JOURNAL 中小企業に対する 減税の廃止 縮小を検討 注目トピックス 01 中小企業に対する減税の廃止 縮小を検討中小企業を支援する政策減税のうち 平成 26 年度末に期限が来る措置を 原則として 廃止 縮小することが検討されています その内容について解説します 特集 02 二世帯住宅の場合の小規模宅地の特例平成

More information

役 員 の 退 職 金 を 支 払 う 場 合 の 注 意 点 役 員 に 対 する 退 職 金 はよく 節 税 目 的 で 利 用 さ れますが トラブルの 多 い 項 目 の 一 つとなって いるため 注 意 が 必 要 です 役 員 に 対 する 退 職 金 を 支 払 う 場 合 の 注 意

役 員 の 退 職 金 を 支 払 う 場 合 の 注 意 点 役 員 に 対 する 退 職 金 はよく 節 税 目 的 で 利 用 さ れますが トラブルの 多 い 項 目 の 一 つとなって いるため 注 意 が 必 要 です 役 員 に 対 する 退 職 金 を 支 払 う 場 合 の 注 意 ニュースレター 2015 年 6 月 号 Jun. 2015 6 YOSHIKAWA TAX JOURNAL 役 員 の 退 職 金 を 支 払 う 場 合 の 注 意 点 注 目 トピックス 01 役 員 の 退 職 金 を 支 払 う 場 合 の 注 意 点 役 員 に 対 する 退 職 金 はよく 節 税 目 的 で 利 用 されますが ト ラブルの 多 い 項 目 の 一 つとなっているため

More information

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ

2014/03/19 e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 2014/03/19 0.e ラーニングをとりまく流流れ e ラーニング利利 用実態調査結果報告について 2014 年年 3 月 19 日 日本イーラーニングコンソーシアム調査委員会 小橋岳史 0.e ラーニングをとりまく流流れ 01 02 03 04 05 06 07 08 09 10 11 12 13 14 e ラーニング 白書 ( ~ 2008) e ラーニングの市場動向についての 公式な 調査報告書 1 0.e ラーニングをとりまく流流れ 01 02

More information

2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec

2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 Circuit Design Engineering Lab. - Okayama Prefec 2013 年年度度ソフトウェア 工学分野の先導的研究 支援事業 抽象化に基づいた UML 設計の検証 支援ツールの開発 公 立立 大学法 人岡 山県 立立 大学情報 工学部情報システム 工学科 横川智教 背景 - 組込みソフトウェア開発の課題 組込みソフトウェアの開発プロセス 要求分析 設計 実装 テスト 手戻り 下流流 工程での不不具合の検出 上流流 工程への 手戻りの発 生 手戻りによる開発コスト増

More information

事例でわかる!スマートフォン対応手法カタログ

事例でわかる!スマートフォン対応手法カタログ お 役 立立ち 資 料料 事 例例 でわかる! スマートフォン 対 応 手 法 カタログ 本 資 料料 が 提 供 される 目 的 以 外 の ならびに 御 社 ( 御 社 関 連 会 社 を 含 む) 以 外 の 第 3 者 による 利利 用 複 製 はご 遠 慮 願 います IMAGICA Imageworks, Inc. All rights reserved. 2014. 07. 18 はじめに

More information

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦   形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, オートマトン 形式言語及び演習 1 有限オートマトンとは 酒井正彦 wwwtrscssinagoya-uacjp/~sakai/lecture/automata/ 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110, } 形式言語 : 数学モデルに基づいて定義された言語 認識機械 : 文字列が該当言語に属するか? 文字列 機械 受理

More information

クラス図とシーケンス図の整合性確保 マニュアル

クラス図とシーケンス図の整合性確保 マニュアル Consistency between Class and Sequence by SparxSystems Japan Enterprise Architect 日本語版 クラス図とシーケンス図の整合性確保マニュアル (2011/12/6 最終更新 ) 1 1. はじめに UML を利用したモデリングにおいて クラス図は最も利用される図の 1 つです クラス図は対象のシステムなどの構造をモデリングするために利用されます

More information

2

2 1 2 3 4 5 6 7 8 9 行行 二 人 十 目 入 日 一 行行 飛 鳥 月 車車 金金 生 見見 生 飛 人 行行 行行 山 日 行行 日 一 行行 自 自 身 生 長 見見 一 長 生 二 人 生 長 生 自 生 日 大 山 車車 山 一 人 金金 老老 生 入 行行 金金 自 老老 子 一 行行 見見 人 長 行行 子 高 生 行行 行行 行行 長 入 見見 自 日 一 自 一 人

More information

錢恂著作目錄

錢恂著作目錄 1 2 3 4 5 6 7 8 9 10 (Qian Xun) ( ) ( ) ( - ) ( - ) ( - ) ( - ) - ( - ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 11 ( ) ( ) ( ) ( ) ( ) 吴 12 - 13 - ( - 14 ( ) ( ) ( ) ( ) 15 ( ) [ ] 16 [ ] [ ] 17 18 19 20 ( ) 21 -

More information

平成 26 年 4 月の消費税率引上げ正式決定 平成 25 年 10 月 1 日に 安倍内閣は平成 26 年 4 月からの消費増税を正式に決定しました はじめに 平成 25 年 10 月 1 日に 安倍内閣は平成 26 年 4 月からの消費増税を正式に決定しました ここでは 消費増税への対応として投

平成 26 年 4 月の消費税率引上げ正式決定 平成 25 年 10 月 1 日に 安倍内閣は平成 26 年 4 月からの消費増税を正式に決定しました はじめに 平成 25 年 10 月 1 日に 安倍内閣は平成 26 年 4 月からの消費増税を正式に決定しました ここでは 消費増税への対応として投 ニュースレター 2013 年 11 月号 Nov. 2013 11 YOSHIKAWA TAX JOURNAL 平成 26 年 4 月の 消費税率引上げ正式決定 注目トピックス 01 平成 26 年 4 月の消費税率引上げ正式決定平成 25 年 10 月 1 日に 安倍内閣は平成 26 年 4 月 1 日からの消費増税を正式に決定しました ここでは消費増税への対応として投資減税措置などを定めた 経済政策パッケージ

More information

15288解説_D.pptx

15288解説_D.pptx ISO/IEC 15288:2015 テクニカルプロセス解説 2015/8/26 システムビューロ システムライフサイクル 2 テクニカルプロセス a) Business or mission analysis process b) Stakeholder needs and requirements definieon process c) System requirements definieon

More information

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード]

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード] 第 3 回 Java 基本技術講義 クラス構造と生成 33 クラスの概念 前回の基本文法でも少し出てきたが, オブジェクト指向プログラミングは という概念をうまく活用した手法である. C 言語で言う関数に似ている オブジェクト指向プログラミングはこれら状態と振る舞いを持つオブジェクトの概念をソフトウェア開発の中に適用し 様々な機能を実現する クラス= = いろんなプログラムで使いまわせる 34 クラスの概念

More information

Page 2 of 7 絞込条件 さらに検索条件を増やして検索 表示します 現在表示されている状態から再検索して絞り込みます [ 絞り込み ] ボタンで実行します [ 物件名 ]: 物件名または物件名の一部の文字を入力します [ 物件 ID を表示 ] チェック : 検索結果の物件一覧に プログラム

Page 2 of 7 絞込条件 さらに検索条件を増やして検索 表示します 現在表示されている状態から再検索して絞り込みます [ 絞り込み ] ボタンで実行します [ 物件名 ]: 物件名または物件名の一部の文字を入力します [ 物件 ID を表示 ] チェック : 検索結果の物件一覧に プログラム Page 1 of 7 物件一覧 - 概要 [ 物件一覧 ] では 現在作業中の工事一覧 その工事の担当者 進捗状況などを確認できます 新規物件は [ 新規物件追加 ] ボタンから追加することができます 物件の追加後は この画面から物件を検索 選択して 現場写真の確認 写真帳票の作成 工事日程の入力などを行います 物件の検索 物件一覧には [ 物件一覧 ] で物件を選択してから行います 表示切替 物件の一覧を

More information

Microsoft PowerPoint - UML1_2009.ppt

Microsoft PowerPoint - UML1_2009.ppt モデリングとモデル UMLとは UMLの主要モデル UML1.4 UML2.1 UML の概要 モデリングとモデル モデリング 実世界の事柄を別の物体で表現すること モデルを作成すること プログラミング 処理をプログラム言語という手段で表現 オブジェクト指向 データ構造をオブジェクトの属性 処理を振る舞いとしてモデリング モデル ある視点から見たシステムの抽象的な表現 ダイアグラム ( 図 ) により表現

More information

Microsoft PowerPoint - se06-UML(UseCase)_2.ppt [互換モード]

Microsoft PowerPoint - se06-UML(UseCase)_2.ppt [互換モード] ソフトウェア工学 06: UML モデリング (Ⅰ) ユースケースモデリングとユースケース駆動型開発 理工学部経営システム工学科庄司裕子 前回の復習 : 考えてみよう! 個人表に 番号 氏名 クラス名という個人情報と 番号 科目名 ( ) という情報が記載されているとする これをERモデリングして ER 図を書いてみようヒント : クラス という独立エンティティ ( もの を表す) と 所属 という依存エンティティ

More information

従業員の健康診断費用を 負担する場合の注意点 健康診断費用を負担する場合など福利厚生の ための費用を支払う場合の注意点について解 説します 新入社員を迎え入れ その健康診断費用を負担する会社もあると思います ここでは 健康診断費用を負担する場合など福利厚生のための費用を支払う場合の注意点について解説

従業員の健康診断費用を 負担する場合の注意点 健康診断費用を負担する場合など福利厚生の ための費用を支払う場合の注意点について解 説します 新入社員を迎え入れ その健康診断費用を負担する会社もあると思います ここでは 健康診断費用を負担する場合など福利厚生のための費用を支払う場合の注意点について解説 ニュースレター 2015 年 5 月号 May. 2015 5 YOSHIKAWA TAX JOURNAL 従業員の健康診断費用を 負担する場合の注意点 注目トピックス 01 従業員の健康診断費用を負担する場合の注意点新入社員を迎え入れ その健康診断費用を負担する会社もあると思います ここでは 健康診断費用を負担する場合など福利厚生のための費用を支払う場合の注意点について解説します 特集 02 節税対策としての決算賞与アベノミクスの影響により業績が回復し

More information

E1-KRS_2

E1-KRS_2 大 力力 支 高 力力 自 高 音 一 二 高 音 生 一 小 小 自 見見 一 一 手 力力 音 音 立立 用 高 用 金金 方 用 高 生 用 一 一 自 車車 工 金金 工 力力 力力 用 高 力力 一 欠 高 音 生 入 力力 高 入 力力 入 力力 入 力力 力力 入 力力 入 力力 大 高 力力 一 欠 用 子 用 音 方 用 用 入 方 用 力力 用 音 音 色 一 目 大 力力 高

More information

コンピュータ中級B ~Javaプログラミング~ 第3回 コンピュータと情報をやりとりするには?

コンピュータ中級B ~Javaプログラミング~  第3回 コンピュータと情報をやりとりするには? Copyright (C) Junko Shirogane, Waseda University 2016, All rights reserved. 1 プログラミング初級 (Java) 第 10 回オブジェクト指向って? 白銀純子 Copyright (C) Junko Shirogane, Waseda University 2016, All rights reserved. 2 第 10

More information

koboデスクトップアプリ ユーザーガイド

koboデスクトップアプリ ユーザーガイド 1 目... 4... 5 用... 6 用... 8 子 入... 10... 13 2 ... 13... 13 子... 16 子... 18... 19... 22 3 用 子 子 4 子 子 5 用 用 子 用 6 用 1. 2. 用 3. 4. 5. 面 行行 7 用 用 子 用 8 用 1. 2. 用 3. 4. 自 5. 9 子 入 方 見見 見見 入 入 入 子 子 子 10 見見

More information

はじめに

はじめに 日 本 薬 剤 師 会 が 構 築 中 の 電 子 お 薬 手 帳 について 自 民 党 I T 戦 略 特 命 員 会 社 会 保 障 に 関 す る 情 報 シ ス テ ム 小 委 員 会 ヒ ア リ ン グ 説 明 資 料 平 成 27 年 6 月 10 日 はじめに 本 会 とお 薬 手 帳 の 関 わり 平 成 8~9 年 都 道 府 県 や 地 域 の 薬 剤 師 会 が 中 心 となり

More information

業務の一つである 事務用機器操作 などと称して 労働者を派遣していた こうした 偽 装 を当局に指摘され 業界団体のツートップが責任を取ったかたちだ 3 月 19 日に派遣法改正案が閣議決定される寸前に 今まで黙認されてきた 偽装 が白日 の下にさらされた 業界大手を狙い撃ちしたような厚労省の手法に

業務の一つである 事務用機器操作 などと称して 労働者を派遣していた こうした 偽 装 を当局に指摘され 業界団体のツートップが責任を取ったかたちだ 3 月 19 日に派遣法改正案が閣議決定される寸前に 今まで黙認されてきた 偽装 が白日 の下にさらされた 業界大手を狙い撃ちしたような厚労省の手法に 業界 NEWS 株式会社ソリューションアンドパートナーズ info@sap-c.co.jp http://www.sap-c.co.jp 2010/03/29 民主党のパフォーマンス狙いか 改正 労働者派遣法 の骨抜き 3 月 19 日 政府は 登録型派遣や製造業務派遣の原則禁止を柱とする労働者派遣法改正案 を閣議決定した 本案は今国会で成立する見通しだ これによって 1986 年の施行以降 規制が緩和されてきた派遣法が規制強化へと向かう

More information

Microsoft Word - サファイア歯科小冊子.doc

Microsoft Word - サファイア歯科小冊子.doc 歯 生 生 長 二 歯 方 高 一 人 小 子 一 歯 自 歯 石 口 血 入 血 虫 歯 大 歯 歯 血 口 方 血 入 身 心 口 口 口 身 口 身 口 方 口 虫 歯 歯 身 歯 歯 身 目 歯 歯 肉 歯 歯 行行 歯 一 歯 行行 心 歯 大 歯 歯 歯 歯 歯 歯 歯 歯 歯 歯 入 歯 歯 人 力力 入 歯 歯 入 歯 力力 入 歯 骨 歯 力力 骨 歯 歯 行行 長 歯 方 高 歯

More information

All About特集 とは 約1,300に及ぶガイドサイトの160,000本以上の記事を中心にシーズナリティ や流行にマッチした旬のテーマで記事をまとめた All Aboutの編集企画です 特集トップページ または スポンサードコンテンツ ガイド記事 まとめ 様々なガイドがそれぞれの切り口で執筆し

All About特集 とは 約1,300に及ぶガイドサイトの160,000本以上の記事を中心にシーズナリティ や流行にマッチした旬のテーマで記事をまとめた All Aboutの編集企画です 特集トップページ または スポンサードコンテンツ ガイド記事 まとめ 様々なガイドがそれぞれの切り口で執筆し 2014.5.20 更 新 All About 特 集 広 告 案 内 2015 年 7 月 ~9 月 掲 載 分 -お 問 い 合 わせ 先 - 株 式 会 社 オールアバウト 150-0013 東 京 都 渋 谷 区 恵 比 寿 1-18-18 東 急 不 動 産 恵 比 寿 ビル 5F WEB 上 で 見 られる 広 告 案 内 ページ ADINFO http://corp.allabout.co.jp/adinfo/

More information

Microsoft Word - thesis.doc

Microsoft Word - thesis.doc 剛体の基礎理論 -. 剛体の基礎理論初めに本論文で大域的に使用する記号を定義する. 使用する記号トルク撃力力角運動量角速度姿勢対角化された慣性テンソル慣性テンソル運動量速度位置質量時間 J W f F P p .. 質点の並進運動 質点は位置 と速度 P を用いる. ニュートンの運動方程式 という状態を持つ. 但し ここでは速度ではなく運動量 F P F.... より質点の運動は既に明らかであり 質点の状態ベクトル

More information

ゲートキーパー養成研修用テキスト(第3版)

ゲートキーパー養成研修用テキスト(第3版) 木 食 日 身 金金 金金 日 大 子 心 大 辛 心 心 食 生 心 生 - 123 - 方 自 辛 子 子 食 生 大 生 文 言 大 生 生 生 子 心 - 124 - 子 入 生 心 一 心 心 食 身 生 辛 行行 自 自 車車 - 125 - 手 一 辛 行行 自 心 金金 金金 大 金金 金金 金金 一 生 金金 子 自 - 126 - 支 方 大 目 食 心 父 見見 心 心 母 父

More information

本 日 のアジェンダ 債 権 回 収 率 (LGD)については 自 己 資 本 比 率 規 制 の 改 定 (バーゼルII)を 契 機 と して 内 部 格 付 手 法 採 用 行 を 中 心 に 国 内 での 理 論 実 務 両 面 の 知 見 の 積 み 上 げが 急 速 に 進 んだ 分 野

本 日 のアジェンダ 債 権 回 収 率 (LGD)については 自 己 資 本 比 率 規 制 の 改 定 (バーゼルII)を 契 機 と して 内 部 格 付 手 法 採 用 行 を 中 心 に 国 内 での 理 論 実 務 両 面 の 知 見 の 積 み 上 げが 急 速 に 進 んだ 分 野 日 本 統 計 学 会 金 融 の 計 量 リスク 管 理 分 科 会 JAFEE 信 用 リスク 理 論 研 究 部 会 講 演 資 料 債 権 回 収 率 の 実 務 利 用 に 関 する 現 状 と 課 題 2011 年 10 月 20 日 ( 木 ) 日 本 リスク データ バンク 株 式 会 社 取 締 役 常 務 執 行 役 員 尾 藤 剛 本 日 のアジェンダ 債 権 回 収 率 (LGD)については

More information

Interviewtemplate_ver1.00.ppt

Interviewtemplate_ver1.00.ppt インタビューテンプレート Ver.1.00 シートタイプ PDF 版 インタビューテンプレートについて すぐに使えるインタビュー カスタマイズして使おう! このインタビューテンプレートは ユーザーインタビューで利利 用できる実践的な記 入シートです 効果的なインタ ビューができるように 計画 実施のタイミングにあわせ て計 9 枚のシートを 用意しています インタビュー調査の 目的にあわせて使うシートを選び

More information

学習指導要領

学習指導要領 (1 ) 数と式 ア数と集合 ( ア ) 実数数を実数まで拡張する意義を理解し 簡単な無理数の四則計算をすること 自然数 整数 有理数 無理数の包含関係など 実 数の構成を理解する ( 例 ) 次の空欄に適当な言葉をいれて, 数の集合を表しなさい 実数の絶対値が実数と対応する点と原点との距離で あることを理解する ( 例 ) 次の値を求めよ (1) () 6 置き換えなどを利用して 三項の無理数の乗法の計

More information

- はじめに - 日頃より当社商品 SBI グローバル ラップファンド ( 安定型 / 積極型 )( 愛称 :My- ラップ ) をご愛顧頂き ありがとうございます 当月は 9 月の運用環境の背景と コラムでは 直近の米利上げ局面における日米実質金利差の考察 について 詳しくお話しいたします 今後と

- はじめに - 日頃より当社商品 SBI グローバル ラップファンド ( 安定型 / 積極型 )( 愛称 :My- ラップ ) をご愛顧頂き ありがとうございます 当月は 9 月の運用環境の背景と コラムでは 直近の米利上げ局面における日米実質金利差の考察 について 詳しくお話しいたします 今後と 2018 年 10 月号 My- ラップ / オーナー の 貴方様に My- ラップ通信 My- ラップ通信は My- ラップのオーナー様と My- ラップ運用チームを繋ぐ架け橋です 毎月 お届けいたします - はじめに - 日頃より当社商品 SBI グローバル ラップファンド ( 安定型 / 積極型 )( 愛称 :My- ラップ ) をご愛顧頂き ありがとうございます 当月は 9 月の運用環境の背景と

More information

士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立

士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立 士 人 月 立立 士 月 士 人 月 日 谷 士 鹿鹿 山 田 田 田 西 田 田 八 立立 立立 士 金金 金金 士 人 月 革 月 鹿鹿 身 鹿鹿 立立 月 鹿鹿 士 人 立立 月 人 士 人 月 田 田 立立 士 一 入 月 士 谷 口 入 月 士 入 月 田 立立 士 子 入 月 立立 月 立立 立立 日 士 士 自 自 士 1 2 3 4 5 6 7 8 9 金金 金金 n 行行 n 大

More information

comment_site3

comment_site3 VS 1 2 3 4 5 6 2013 03 12 7 JK 8 1992 2012 2011 3 11 311 9 10 311 DVD Face Book 11 Face Book (3/2) 1970 1980 12 ( ) ) 13 compassion= compassion= Face Book 3.11 Face Book 14 3.11 Face Book 15 16 w Face

More information

決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 所 得 税 と 復 興 特 別 所 得 税 の 切 り 分 けが 必 要 となります 今 年 1 月 以 降 に 決 算 期 末 を 迎

決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 所 得 税 と 復 興 特 別 所 得 税 の 切 り 分 けが 必 要 となります 今 年 1 月 以 降 に 決 算 期 末 を 迎 ニュースレター 2013 年 4 月 号 Apr. 2013 4 YOSHIKAWA TAX JOURNAL 決 算 で 注 意 すべき 復 興 特 別 所 得 税 注 目 トピックス 01 決 算 で 注 意 すべき 復 興 特 別 所 得 税 今 年 1 月 以 降 に 決 算 期 末 を 迎 える 事 業 年 度 の 法 人 税 の 申 告 では 復 興 特 別 所 得 税 の 税 額 控 除

More information

る指針 が通知され 契約締結下で資金の使途を特定の臨床研究に制限した資金提供は増える傾向にある 産学連携として従来行われてきた臨床研究の中には 責任の所在が不明瞭で利益相反の開示が曖昧な 自主研究 と称された研究も多かった 契約締結に伴う資金提供の普及に伴い 企業においては 臨床研究の最終責任が研究

る指針 が通知され 契約締結下で資金の使途を特定の臨床研究に制限した資金提供は増える傾向にある 産学連携として従来行われてきた臨床研究の中には 責任の所在が不明瞭で利益相反の開示が曖昧な 自主研究 と称された研究も多かった 契約締結に伴う資金提供の普及に伴い 企業においては 臨床研究の最終責任が研究 平成 28 年 10 月 24 日 臨床研究に関する課題 1. はじめに 高血圧治療薬に関する臨床研究等の不正問題 を発端として 臨床研究に関する規制のあり方 データの信頼性確保 被験者保護 利益相反 研究倫理および広告規制に関する問題が顕在化した 日本では 医薬品 医療機器等の品質 有効性及び安全性の確保等に関する法律 ( 旧薬事法 ) において治験 ( 製造販売承認申請を目的とした臨床試験 )

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 基本 Java プログラミング演習 第 13 回 担当 : 植村 今後の予定 7/15 第 13 回 今回 7/22 第 14 回 小テスト ( クラス ) 7/29 第 15 回 総まとめテスト レポート提出 期末テストの時間割に Java のテストの欄がありますが無視してください 再テストはまた別途連絡いたします 2 CHAPTER 11 はじめてのクラス前回の復習 クラスクラスを構成する要素

More information

佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円 (100) うち イノシシ 1.1 億 円 ( 54) カラス 0.5 億 円 ( 22) 500 400 4.2

佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円 (100) うち イノシシ 1.1 億 円 ( 54) カラス 0.5 億 円 ( 22) 500 400 4.2 耕 作 放 棄 地 再 生 利 用 緊 急 対 策 担 当 者 会 資 料 平 成 26 年 6 月 30 日 生 産 者 支 援 課 中 山 間 地 域 鳥 獣 対 策 担 当 1 1. 有 害 鳥 獣 対 策 1 佐 賀 県 における 鳥 獣 による 農 作 物 被 害 金 額 の 推 移 百 万 円 800 700 600 7.0 億 円 鳥 獣 全 体 H25 鳥 獣 全 体 2.0 億 円

More information

Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt

Microsoft PowerPoint - 04_01_text_UML_03-Sequence-Com.ppt システム設計 (1) シーケンス図 コミュニケーション図等 1 今日の演習のねらい 2 今日の演習のねらい 情報システムを構成するオブジェクトの考え方を理解す る 業務プロセスでのオブジェクトの相互作用を考える シーケンス図 コミュニケーション図を作成する 前回までの講義システム開発の上流工程として 要求仕様を確定パソコンを注文するまでのユースケースユースケースから画面の検討イベントフロー アクティビティ図

More information

PowerPoint Presentation

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

More information

Microsoft PowerPoint - A1-2_株式会社ネクスト_藤澤正通_S _005.pptx

Microsoft PowerPoint - A1-2_株式会社ネクスト_藤澤正通_S _005.pptx SQiP シンポジウム 2012 ページオブジェクトパターンによる 動テストメンテナンスの効率化 株式会社ネクスト HOMEʼS事業本部 サービス推進部 品質管理グループ 藤澤 正通 FujisawaMasamichi@next-group.jp 1 動化への取組み 2011 年 4 : リグレッションテストの 動化検討を開始 6 :Selenium IDE を採 動化に着 7 : 機能カバレッジ

More information

Microsoft PowerPoint - logic ppt [互換モード]

Microsoft PowerPoint - logic ppt [互換モード] 述語論理と ( 全称 ) ( 存在 ) 回の講義の概観 : 命題論理 ( 真理値 ) 2 述語論理 ( モデルと解釈 ) 意味論 semantics 命題論理 ( 公理と推論規則 ) 述語論理 ( 公理と推論規則 ) syntax 構文論 preview 述語論理は命題論理よりも複雑 例題 : 次の文は真か偽か? ( 曖昧な文です ) すべての自然数 x に対して x < y を満たすような自然数

More information

Microsoft PowerPoint - 総務省「自動車関係税制のあり方に関する検討会」ヒアリング説明資料(自動車総連) [互換モード]

Microsoft PowerPoint - 総務省「自動車関係税制のあり方に関する検討会」ヒアリング説明資料(自動車総連) [互換モード] 総務省 自動車関係税制のあり方に関する検討会 ヒアリング説明資料 全日本自動車産業労働組合総連合会 ( 自動車総連 ) 2 0 1 4 年 1 0 月 3 日 1 Contents 自動車関係諸税に対する考え方 平成 27 年度税制改正における要望事項 総務省からのヒアリング項目について 2 自動車関係諸税に対する考え方 複雑且つ過重で不条理な自動車税制の解消 国民負担の軽減 デフレからの確実な脱却

More information

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2

電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2 電子申告の達人 で行う 法人税の達人 の電子申告 地方税 (eltax) 編 東京地方税理士会データ通信協同組合 2017 年 5 月 1 電子申告の達人とは 申告書作成ソフト ( 達人シリーズ ) で作成した申告 申請等データを電子申告データに変換し 署名 送信からメッセージボックスの確認までの一連の操作を行うことができます 2 電子申告の達人の起動方法 達人 Cube 電子申告 をクリックして下さい

More information

Java知識テスト問題

Java知識テスト問題 Java 知識テスト SDAS プログラマ(Java 編 ) 運営事務局 このテストは J2EE プログラマとしての Java の知識を評価するものです 問題は 30 問, テスト時間は J2EE 知識テストとあわせて 90 分です 問題は全て択一式です 選択肢から 1 つだけ選択してください 資料の閲覧は禁止です テストが終わり次第 答案用紙を提出していただいてかまいません テスト終了後, 本テストの内容を他の方に話さないでください

More information

Agenda Complex Processing (CEP) とは CEP の適 用事例例 BRMS について CEP について 2

Agenda Complex Processing (CEP) とは CEP の適 用事例例 BRMS について CEP について 2 大規模データ活 用のための CEP ソリューション レッドハット株式会社 JBoss サービス事業部 シニアソリューションアーキテクト梅野昌彦 1 Agenda Complex Processing (CEP) とは CEP の適 用事例例 BRMS について CEP について 2 Complex Processing (CEP) とは 3 Complex Processing とは 大量量の情報や沢

More information

前回のあらすじ 物理演算ライブラリ chipmunk を使って チキンが地面に落ちるところまで

前回のあらすじ 物理演算ライブラリ chipmunk を使って チキンが地面に落ちるところまで Cocos2d-x で作る物理演算ゲーム 引っ張って飛ばす編 = 2015 年 09 月 12 日 = 前回のあらすじ 物理演算ライブラリ chipmunk を使って チキンが地面に落ちるところまで 今回はチキンを 引っ張って飛ばします これ チキンにタッチして 飛ぶ! 離す! スライド AngryChicken を xcode で実行 まずは起動しよう やる処理を日本語でまとめる 1 画面へのタッチイベントを取得する

More information

2018 年 12 月 28 日基準 当月の基準価額と市況の推移 ( 前月末の基準価額 日経 225 先物を 10,000 として指数化しています ) 14,000 12,000 日経 225 先物 SBI 日本株 4.3 ブル 10,000 8,000 6,000 4,000 18/11/30 1

2018 年 12 月 28 日基準 当月の基準価額と市況の推移 ( 前月末の基準価額 日経 225 先物を 10,000 として指数化しています ) 14,000 12,000 日経 225 先物 SBI 日本株 4.3 ブル 10,000 8,000 6,000 4,000 18/11/30 1 2018 年 12 月 28 日基準 運用実績 基準価額 4,518 円前月末比 3,218 円純資産総額 基準価額は信託報酬控除後の値です 70.50 億円 設定日 :2017 年 12 月 19 日 基準価額等の推移 資産構成 ( 単位 : 百万円 ) ( 円 ) ( 億円 ) 17,500 15,000 純資産総額 ( 右軸 ) 基準価額 ( 左軸 ) 1 150 - 金額 - 比率 - 12,500

More information

マーケティング学会プレゼン pptx

マーケティング学会プレゼン pptx 婚活の理理由 雑誌記事のテキストマイニングによる正当化の研究 日本マーケティング学会 第 3 回マーケティングカンファレンス 2014 年年 11 月 23 日 株式会社 Mind Mining 代表取締役織 田由美 子 oda.yumiko@mind- mining.com 目次 1. はじめに 2. 理理論論的枠組み 3. 分析 手法とデータ 4. 発 見見事実 5. 結論論及び議論論 1 目次

More information

H 株式会社 A が 会社の業績不振と X の能力が期待値 ( 本人の申告 ) より低かったことを理由として X を普通解雇 H H H Xがハローワークで紹介されたYの求人に対して応募 XがYに対してメールで提出した履歴書および職務経歴書に

H 株式会社 A が 会社の業績不振と X の能力が期待値 ( 本人の申告 ) より低かったことを理由として X を普通解雇 H H H Xがハローワークで紹介されたYの求人に対して応募 XがYに対してメールで提出した履歴書および職務経歴書に 第 85 回 KPIソリューションズ ( 経歴詐称を理由とする解雇 ) 事件 KPI ソリューションズ ( 経歴詐称を理由とする解雇 ) 事件 ( 東京地 裁平 27.6.2 判決 ) 雇用契約の締結に先立って提出された履歴書および職務経歴書や面接での言動において 労働者による経歴等の詐称があったとして 解雇が有効とされ また 採用時の面接において労働者が賃金増額を求めた際の言動が不法行為 ( 詐欺

More information

次に示す数値の並びを昇順にソートするものとする このソートでは配列の末尾側から操作を行っていく まず 末尾の数値 9 と 8 に着目する 昇順にソートするので この値を交換すると以下の数値の並びになる 次に末尾側から 2 番目と 3 番目の 1

次に示す数値の並びを昇順にソートするものとする このソートでは配列の末尾側から操作を行っていく まず 末尾の数値 9 と 8 に着目する 昇順にソートするので この値を交換すると以下の数値の並びになる 次に末尾側から 2 番目と 3 番目の 1 4. ソート ( 教科書 p.205-p.273) 整列すなわちソートは アプリケーションを作成する際には良く使われる基本的な操作であり 今までに数多くのソートのアルゴリズムが考えられてきた 今回はこれらソートのアルゴリズムについて学習していく ソートとはソートとは与えられたデータの集合をキーとなる項目の値の大小関係に基づき 一定の順序で並べ替える操作である ソートには図 1 に示すように キーの値の小さいデータを先頭に並べる

More information

C. Web ページから CSV ファイルをインポート 管理者メニューから 先生アイコンをクリックします CSV インポートボタンを押した後 確認画面がでます 内容を確認後 インポートを押して取り込みを行ってください 1 人づつ登録する場合 A. 先生一覧のボタンから 一人づつ登録することもできます

C. Web ページから CSV ファイルをインポート 管理者メニューから 先生アイコンをクリックします CSV インポートボタンを押した後 確認画面がでます 内容を確認後 インポートを押して取り込みを行ってください 1 人づつ登録する場合 A. 先生一覧のボタンから 一人づつ登録することもできます ロイロノート スクール名簿登録マニュアル 株式会社 LoiLo 2015 年 4 月 3 日 はじめに ロイロノート スクールをご利用頂くためには 予め先生 生徒名簿と 授業の情報をご登録いただく必要があります ご登録は 学校管理者アカウント にてサーバーへログインして行います このマニュアルでは その手順をご説明いたします 1. エクセルファイルをダウンロードする 名簿登録に使用するエクセルファイルを

More information

することが不可欠です < 過去の検討 > 市場問題 PT の座長私案という位置づけで 事業費 734 億円 7 年間で築地市場を改修する構想が出され その後 ある程度の見直しが行われました しかし 市場の営業を続けながら ローリング計画に従い市場を改修することには 多くの困難が伴うことが 過去の検討

することが不可欠です < 過去の検討 > 市場問題 PT の座長私案という位置づけで 事業費 734 億円 7 年間で築地市場を改修する構想が出され その後 ある程度の見直しが行われました しかし 市場の営業を続けながら ローリング計画に従い市場を改修することには 多くの困難が伴うことが 過去の検討 5. 築地市場の現在地再整備の課題豊洲市場の安全が議論の焦点でしたが 築地市場についても安全性の問題が指摘され始めました 築地市場の敷地で過去に行われた都道の建設工事で 土壌汚染が検出されていることが分かってきました 築地市場の使用履歴からは その他にも土壌汚染の可能性が高いことが指摘されました また 開放型施設である築地市場の安全上の問題も指摘されました 閉鎖型施設である豊洲市場の方が 築地市場より安全性が高いという主張は

More information

交際費課税と役員給与 交際費に隣接する費用の中には役員給与として認定される可能性がある取引もあります 交際費課税と役員給与の関係性について解説します 法人の交際費をめぐる相次ぐ税制改正により 交際費に関 わる法人税務は緩和の一途をたどっています しかし 交際費に隣接する費用の中には役員給与として認

交際費課税と役員給与 交際費に隣接する費用の中には役員給与として認定される可能性がある取引もあります 交際費課税と役員給与の関係性について解説します 法人の交際費をめぐる相次ぐ税制改正により 交際費に関 わる法人税務は緩和の一途をたどっています しかし 交際費に隣接する費用の中には役員給与として認 ニュースレター 2014 年 12 月号 Dec. 2014 12 YOSHIKAWA TAX JOURNAL 交際費課税と役員給与 注目トピックス 01 交際費課税と役員給与法人の交際費をめぐる相次ぐ税制改正により 交際費に関わる法人税務は緩和の一途をたどっています しかし 交際費に隣接する費用の中には役員給与として認定される可能性がある取引もあります 交際費課税と役員給与の関係性について解説します

More information

Microsoft Word - 初心者用語集02.docx

Microsoft Word - 初心者用語集02.docx スピリチュアル FX 講師知井道通 FX 初 心者のための FX 用語集 ( トレード 用語編 ) この資料料では FX を学んでいく上で これだけは知っておいた 方が良良いと 言う項 目の中から 特にチャート分析に使 用する 用語を集めました この 用語集では 極 力力難しいものは省省いています ただ この資料料で紹介する内容さえ知っておけば セミナーやその他テキストの中で出てくるチャート分析も

More information

IMJ | ラピッドUX手法 第3回 ~UX指向アンケートでカスタマーエクスペリエンスを可視化するデータをサクッと集めよう~ - IMJ Report.pdf

IMJ | ラピッドUX手法 第3回 ~UX指向アンケートでカスタマーエクスペリエンスを可視化するデータをサクッと集めよう~ - IMJ Report.pdf ラピッド UX 手法第 3 回 ~UX 指向アンケートでカスタマーエクスペリエンスを可視化するデータをサクッと集めよう ~ 2013 年 10 月 31 日 UX( ユーザーエクスペリエンス ) のアウトプットとして顧客体験をマップ化することがここ数年とても多くなった ユーザー の体験全体を " ジャーニー " と称し その行動文脈を具体的に深掘るために インタビュー や実際に商品 サービスを使う様

More information

うですが 大雑把な推定であり 大勢に影響はないので そのまま使うことにします 下表がつなぎ合わせて作成した損益計算書です H30 年度に築地から豊洲市場 に移転する表になっています 表をクリックすると拡大します 東京都中央卸売市場 市場会計の損益計算書 単位 : 億円 / 消費税抜 単年度損益 H2

うですが 大雑把な推定であり 大勢に影響はないので そのまま使うことにします 下表がつなぎ合わせて作成した損益計算書です H30 年度に築地から豊洲市場 に移転する表になっています 表をクリックすると拡大します 東京都中央卸売市場 市場会計の損益計算書 単位 : 億円 / 消費税抜 単年度損益 H2 6. 豊洲移転で 60 年累積赤字 1 兆円は詐欺的論理少し刺激的なタイトルを付けました 2017 年 4 月 8 日の市場問題 PT 小島座長ほかによる築地市場での意見交換会の資料には 60 年間の累積赤字約 11,420 億円 というタイトルの市場会計の収支試算の資料が掲載されています 先ず 豊洲を含まない現在の市場会計は 僅かながら黒字で推移していると説明されます 次に 豊洲市場は 減価償却費を考慮すると

More information

学習指導要領

学習指導要領 (1) 数と式 ア数と集合 ( ア ) 実数数を実数まで拡張する意義を理解し 簡単な無理数の四則計算をすること 自然数 整数 有理数 無理数の包含関係など 実数 の構成を理解する ( 例 ) 次の空欄に適当な言葉をいれて, 数の集合を表しなさい ア イ 無理数 整数 ウ 無理数の加法及び減法 乗法公式などを利用した計 算ができる また 分母だけが二項である無理数の 分母の有理化ができる ( 例 1)

More information

1/10 平成 29 年 3 月 24 日午後 1 時 37 分第 5 章ローレンツ変換と回転 第 5 章ローレンツ変換と回転 Ⅰ. 回転 第 3 章光速度不変の原理とローレンツ変換 では 時間の遅れをローレンツ変換 ct 移動 v相対 v相対 ct - x x - ct = c, x c 2 移動

1/10 平成 29 年 3 月 24 日午後 1 時 37 分第 5 章ローレンツ変換と回転 第 5 章ローレンツ変換と回転 Ⅰ. 回転 第 3 章光速度不変の原理とローレンツ変換 では 時間の遅れをローレンツ変換 ct 移動 v相対 v相対 ct - x x - ct = c, x c 2 移動 / 平成 9 年 3 月 4 日午後 時 37 分第 5 章ローレンツ変換と回転 第 5 章ローレンツ変換と回転 Ⅰ. 回転 第 3 章光速度不変の原理とローレンツ変換 では 時間の遅れをローレンツ変換 t t - x x - t, x 静止静止静止静止 を導いた これを 図の場合に当てはめると t - x x - t t, x t + x x + t t, x (5.) (5.) (5.3) を得る

More information

PowerPoint Presentation

PowerPoint Presentation 最適化手法 第 回 工学部計数工学科 定兼邦彦 http://researchmap.jp/sada/resources/ 前回の補足 グラフのある点の隣接点をリストで表現すると説明したが, 単に隣接点の集合を持っていると思ってよい. 互いに素な集合のデータ構造でも, 単なる集合と思ってよい. 8 3 4 3 3 4 3 4 E v 重み 3 8 3 4 4 3 {{,},{3,8}} {{3,},{4,}}

More information

Microsoft Word - 佐藤歯科医院.doc

Microsoft Word - 佐藤歯科医院.doc 小 子 方 人 歯 長 長 大 歯 一 心 歯 日 歯 歯 口 阜 大 歯 歯 目 門 方 歯 日 目 歯 行行 自 方 高 方 入 歯 入 歯 口 食 歯 肉 歯 歯 肉 歯 肉 血 口 手 入 方 口 歯 歯 門 自 口 歯 月 土 高 高 歯 立立 口 高 口 欠 口 高 口 目 高 一 口 口 口 高 口 口 身 行行 力力 口 口 大 口 身 歯 口 入 口 生 口 血 行行 自 用 高

More information

た場合クラスを用いて 以下のように書くことが出来る ( 教科書 p.270) プログラム例 2( ソースファイル名 :Chap08/AccountTester.java) // 銀行口座クラスとそれをテストするクラス第 1 版 // 銀行口座クラス class Account String name

た場合クラスを用いて 以下のように書くことが出来る ( 教科書 p.270) プログラム例 2( ソースファイル名 :Chap08/AccountTester.java) // 銀行口座クラスとそれをテストするクラス第 1 版 // 銀行口座クラス class Account String name クラス ( 教科書第 8 章 p.267~p.297) 前回は処理をまとめる方法として メソッドについて学習した 今回はメソッドとその処理の対象となるデータをまとめるためのクラスについて学習する このクラスはオブジェクト指向プログラミングを実現するための最も重要で基本的な技術であり メソッドより一回り大きなプログラムの部品を構成する 今回はクラスにおけるデータの扱いとクラスの作成方法 使用方法について説明していく

More information

Microsoft Word - C言語研修 C++編 3.doc

Microsoft Word - C言語研修 C++編 3.doc 2006/05/10 オブジェクト指向... 3 1 クラスの継承... 3 2 継承の書式... 3 3 protected... 5 4 メンバ関数のオーバーライド... 6 5 クラスの型キャスト... 7 6 仮想関数... 8 2 オブジェクト指向 1 クラスの継承 クラスには 継承 という機能があります 継承とは 既にあるクラスを元に 新しいクラスを作る 機能です 継承元のクラスを 親クラス

More information

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63>

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63> 2. 厚生経済学の ( 第 ) 基本定理 2 203 年 4 月 7 日 ( 水曜 3 限 )/8 本章では 純粋交換経済において厚生経済学の ( 第 ) 基本定理 が成立することを示す なお より一般的な生産技術のケースについては 4.5 補論 2 で議論する 2. 予算集合と最適消費点 ( 完全 ) 競争市場で達成される資源配分がパレート効率的であることを示すための準備として 個人の最適化行動を検討する

More information

GEC-Java

GEC-Java Copyright (C) Junko Shirogane, Waseda University 2019, All rights reserved. 1 プログラミング初級 (Java) 第 14 回継承 白銀純子 第 14 回の内容 継承 オーバーライド ポリモーフィズム Copyright (C) Junko Shirogane, Waseda University 2019, All rights

More information

平成 26 年度の税制改正に 関する要望について 各府省庁からの平成 26 年度の税制改正要望に 関する内容が明らかになりました 主な府省庁 の税制改正要望事項について解説します 中小企業庁からの要望 中小企業庁からの税制改正要望のうち 主なものは以下の通りです 1 中小企業投資促進税制 による 3

平成 26 年度の税制改正に 関する要望について 各府省庁からの平成 26 年度の税制改正要望に 関する内容が明らかになりました 主な府省庁 の税制改正要望事項について解説します 中小企業庁からの要望 中小企業庁からの税制改正要望のうち 主なものは以下の通りです 1 中小企業投資促進税制 による 3 ニュースレター 2013 年 10 月号 Oct. 2013 10 YOSHIKAWA TAX JOURNAL 平成 26 年度の税制改正 に関する要望について 注目トピックス 01 平成 26 年度の税制改正に関する要望について各府省庁からの平成 26 年度の税制改正に関する要望の内容が明らかになりました ここでは主な府省庁の税制改正要望事項について解説します 特集 02 消費増税と住宅購入時期について消費税率の引き上げが予定されていますが

More information

販売用資料 ハーベストアジアフロンティア株式ファンド関連レポート 米中貿易戦争 - アジア諸国への影響 - ハーベストグローバルインベストメントリミテッド提供の情報に基づき SBI アセットマネジメントが作成 米中貿易戦争によるアジア諸国への影響 年初以降 米国 中国を中心とした貿易戦争を背景とした

販売用資料 ハーベストアジアフロンティア株式ファンド関連レポート 米中貿易戦争 - アジア諸国への影響 - ハーベストグローバルインベストメントリミテッド提供の情報に基づき SBI アセットマネジメントが作成 米中貿易戦争によるアジア諸国への影響 年初以降 米国 中国を中心とした貿易戦争を背景とした ハーベストグローバルインベストメントリミテッド提供の情報に基づき SBI アセットマネジメントが作成 米中貿易戦争によるアジア諸国への影響 年初以降 米国 中国を中心とした貿易戦争を背景とした市場の変動が続いています こうした動きは将来想定される中国の経済成長にとって一部脅威になるとみられているものの 中国を除くアジア諸国に対して恩恵をもたらすものになると考えています 本レポートでは 米中貿易戦争によるアジア諸国への影響について

More information

プロジェクトのあらまし 平成 年度特別経費 ( プロジェクト分 新規事業 ) 大学の特性を生かした多様な学術研究機能の充実採択プロジェクト : 教授システム学 の研究普及拠点の形成 学び直しを支援する社会人教育専門家養成 [ 短期プログラム ] パッケージの開発と普及 概要 e ラーニング専門家養成

プロジェクトのあらまし 平成 年度特別経費 ( プロジェクト分 新規事業 ) 大学の特性を生かした多様な学術研究機能の充実採択プロジェクト : 教授システム学 の研究普及拠点の形成 学び直しを支援する社会人教育専門家養成 [ 短期プログラム ] パッケージの開発と普及 概要 e ラーニング専門家養成 第 253 回社会人の学び直しを支援する大学院での FD のための教材開発 教材開発プロジェクトのあらまし /3 か年計画目的 : 全国展開して 大学 ( 大学院 ) における 社会人の学び直し 機能を強化する! 社会人教育専門家 増 = 社会人学生 ( 学び直し ) 拡大! 開発教材の概要 ( 対象 : 主に教員準備段階, 運用形態 : 主にオンライン /120h 程度 ) 社会人学び直し支援の方針

More information

040402.ユニットテスト

040402.ユニットテスト 2. ユニットテスト ユニットテスト ( 単体テスト ) ユニットテストとはユニットテストはプログラムの最小単位であるモジュールの品質をテストすることであり その目的は結合テスト前にモジュール内のエラーを発見することである テストは機能テストと構造テストの2つの観点から行う モジュールはプログラムを構成する要素であるから 単体では動作しない ドライバとスタブというテスト支援ツールを使用してテストを行う

More information

AWS からのメール配信の選択肢 1. EC2 上に Mail Transfer Agent (MTA) を構築して配信 2. Amazon Simple Service (SES) の利利 用 3. 外部 配信サービスの利利 用 3. については AWS 特有の 手順はない

AWS からのメール配信の選択肢 1. EC2 上に Mail Transfer Agent (MTA) を構築して配信 2. Amazon Simple  Service (SES) の利利 用 3. 外部  配信サービスの利利 用 3. については AWS 特有の 手順はない AWS からの Email 送信 Amazon Data Services Japan AWS からのメール配信の選択肢 1. EC2 上に Mail Transfer Agent (MTA) を構築して配信 2. Amazon Simple Email Service (SES) の利利 用 3. 外部 Email 配信サービスの利利 用 3. については AWS 特有の 手順はないため省省略略して以降降では

More information

Functional Programming

Functional Programming PROGRAMMING IN HASKELL プログラミング Haskell Chapter 12 Lazy Evaluation 遅延評価 愛知県立大学情報科学部計算機言語論 ( 山本晋一郎 大久保弘崇 2011 年 ) 講義資料オリジナルは http://www.cs.nott.ac.uk/~gmh/book.html を参照のこと 0 用語 評価 (evaluation, evaluate)

More information

Oracle SQL Developer Data Modeler

Oracle SQL Developer Data Modeler Oracle SQL Developer Data Modeler テクニカル レビュー - 2009 年 6 月 アジェンダ テクニカル レビューおよび機能レビュー 開発者の生産性に重点 Oracle SQL Developer Data Modeler の概要 対象 テクノロジー 機能のレビュー パッケージの更新 Oracle SQL Developer

More information

部下がやる気をなくすリーダーのひと言 部下が成果を出さない 社員のやる気 がない という悩みの原因は リーダーの 何気ないひと言 かもしれません 部下がやる気をなくす言葉 5 類型 部下がやる気をなくすリーダーの言葉には 大まかに以下 5 つの類型があります 1. 保身のための言葉 2. 不信を意味

部下がやる気をなくすリーダーのひと言 部下が成果を出さない 社員のやる気 がない という悩みの原因は リーダーの 何気ないひと言 かもしれません 部下がやる気をなくす言葉 5 類型 部下がやる気をなくすリーダーの言葉には 大まかに以下 5 つの類型があります 1. 保身のための言葉 2. 不信を意味 事務所だより 2012 年 12 月号 Dec. 2012 12 SR-HORIZON OFFICE JOURNAL 部下がやる気をなくす リーダーのひと言 注目トピックス 01 部下がやる気をなくすリーダーのひと言 部下が成果を出さない 社員のやる気を感じられない と悩んでいるリーダーは多いのではないでしょうか その原因は 普段の 何気ないひと言 にあるかもしれません 特集 02 賃金カットの手順について

More information

用 2

用 2 木 子 用 2 用 女女 子 女女 子 身 長 力力 力力 力力 力力 3 身 長 力力 足 立立 止 力力 入 4 5 力力 骨 入 高 6 工 高 子 力力 高 支 7 小 入 見見 8 女女 子 力力 女女 子 女女 子 女女 子 見見 9 10 子 女女 子 入 女女 子 自 言 手 女女 子 子 11 女女 子 女女 子 人 12 人 力力 子 人 自 13 用 力力 自 人 用 入 14

More information

LSD2014_manual.ppt

LSD2014_manual.ppt 1 ライフサイエンス 辞 書 2014のご 案 内 ライフサイエンス 辞 書 の 基 本 的 な 使 い 方について 次 の 順 にご 紹 介 します 1. パソコン 設 定 2. オンライン 辞 書 3. プロジェクト 紹 介 まずインターネットで http://lsd-project.jp/ に 接 続 しましょう 辞 書 ダウンロードページ 2 ホームページ 右 端 にある ダウンロード をクリッ

More information

目次 決算報告書の作成 決算報告書作成画面を起ち上げる P2 基本条件を設定する P3 表紙を編集する P5 貸借対照表を編集する P6 損益計算書を編集する P7 販売管理費内訳の別頁を編集する P8 製造原価報告書を編集する P9 株主資本等変動計算書を編集する P10 個別注記表を編集する P

目次 決算報告書の作成 決算報告書作成画面を起ち上げる P2 基本条件を設定する P3 表紙を編集する P5 貸借対照表を編集する P6 損益計算書を編集する P7 販売管理費内訳の別頁を編集する P8 製造原価報告書を編集する P9 株主資本等変動計算書を編集する P10 個別注記表を編集する P 簡易マニュアル決算業務 ( 決算報告書 ) Ver: 2013 年 2 月 16 日 目次 決算報告書の作成 決算報告書作成画面を起ち上げる P2 基本条件を設定する P3 表紙を編集する P5 貸借対照表を編集する P6 損益計算書を編集する P7 販売管理費内訳の別頁を編集する P8 製造原価報告書を編集する P9 株主資本等変動計算書を編集する P10 個別注記表を編集する P12 決算報告書の出力

More information

2018 年 11 月 30 日基準 当月の基準価額と市況の推移 ( 前月末の基準価額 日経 225 先物を 10,000 として指数化しています ) 12,000 日経 225 先物 SBI 日本株 3.7ブル 11,000 10,000 連動率は以下の計算により算出しています 基準価額の前営業日

2018 年 11 月 30 日基準 当月の基準価額と市況の推移 ( 前月末の基準価額 日経 225 先物を 10,000 として指数化しています ) 12,000 日経 225 先物 SBI 日本株 3.7ブル 11,000 10,000 連動率は以下の計算により算出しています 基準価額の前営業日 重要なお知らせ 本ファンドは 2019 年 2 月 5 日をもちまして 約款の規定に基づき満期償還いたします 2018 年 11 月 30 日基準 運用実績 基準価額 12,555 円前月末比 +757 円純資産総額 基準価額は信託報酬控除後の値です 92.18 億円 ファンド設定日 :2015 年 2 月 6 日 基準価額等の推移 資産構成 ( 単位 : 百万円 ) ( 円 ) ( 億円 ) 30,000

More information

フレームワークを活用して採用ターゲットを見極める 採用活動は自社だけが行なってるわけではありません たくさんの採用競合が存在しています そう まるでビジネスのように ビジネス上は競合を意識するのに採用上は 競合を意識しないなんてことはありませんよね!? 数々のフレームワークを活用して 外部環境と内部

フレームワークを活用して採用ターゲットを見極める 採用活動は自社だけが行なってるわけではありません たくさんの採用競合が存在しています そう まるでビジネスのように ビジネス上は競合を意識するのに採用上は 競合を意識しないなんてことはありませんよね!? 数々のフレームワークを活用して 外部環境と内部 type の採用ノウハウシリーズ 外部と内部の環境分析がキモ! 採用成功するための採用ターゲットを決める4つのプロセス ~ 敵を知り 己を知れば百戦危うからず ~ 株式会社キャリアデザインセンター @type 企業様向けページ 担当 1 フレームワークを活用して採用ターゲットを見極める 採用活動は自社だけが行なってるわけではありません たくさんの採用競合が存在しています そう まるでビジネスのように

More information

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�)

Microsoft Word ã‡»ã…«ã‡ªã…¼ã…‹ã…žã…‹ã…³ã†¨åłºæœ›å•¤(佒芤喋çfl�) Cellulr uo nd heir eigenlues 東洋大学総合情報学部 佐藤忠一 Tdzu So Depren o Inorion Siene nd rs Toyo Uniersiy. まえがき 一次元セルオ-トマトンは数学的には記号列上の行列の固有値問題である 固有値問題の行列はふつう複素数体上の行列である 量子力学における固有値問題も無限次元ではあるが関数環上の行列でその成分は可換環である

More information

Microsoft Word - ModelAnalys操作マニュアル_

Microsoft Word - ModelAnalys操作マニュアル_ モデル分析アドイン操作マニュアル Ver.0.5.0 205/0/05 株式会社グローバルアシスト 目次 概要... 3. ツール概要... 3.2 対象... 3 2 インストールと設定... 4 2. モデル分析アドインのインストール... 4 2.2 モデル分析アドイン画面の起動... 6 3 モデル分析機能... 7 3. 要求分析機能... 7 3.. ID について... 0 3.2 要求ツリー抽出機能...

More information

パターン 2 出生率 : と同様 移動率 :2015 年以降ゼロ ( 転入転出が均衡 ) ( 人 ) 2,800 2,600 との比較 ( 総人口 ) 2,400 2,200 1,800 1,600 1,400 1,200 1,000 1,792 1,925 とパターン 2 の差 H72(2060)

パターン 2 出生率 : と同様 移動率 :2015 年以降ゼロ ( 転入転出が均衡 ) ( 人 ) 2,800 2,600 との比較 ( 総人口 ) 2,400 2,200 1,800 1,600 1,400 1,200 1,000 1,792 1,925 とパターン 2 の差 H72(2060) (2) 各種パターンの推計結果 ( との比較 ( 総人口 ) 年齢 3 区分別人口 ) パターン 1 出生率 :2040 年までに 2.07( 人口置換水準 ) まで上昇し 以降 2.07 を維持すると仮定 (2020 年 1.60 2030 年 1.80 2040 年 2.07 2060 年 2.07 ) 移動率 : と同様 との比較 ( 総人口 ) ( 人 ) 2,800 2,600 2,400

More information

< 目次 > 1. 広報の目的等 2. 大型車通行適正化推進月間の創設 3. 平成 30 年度の広報の取組み 4. 新たな取組み 5. 継続的な取組み 6. 平成 30 年度の活動目標 1

< 目次 > 1. 広報の目的等 2. 大型車通行適正化推進月間の創設 3. 平成 30 年度の広報の取組み 4. 新たな取組み 5. 継続的な取組み 6. 平成 30 年度の活動目標 1 資料 4 平成 30 年度の連絡協議会の活動計画 ( 案 ) < 第 7 回大型車通行適正化に向けた関東地域連絡協議会 > 平成 30 年 7 月 13 日 ( 金 ) < 目次 > 1. 広報の目的等 2. 大型車通行適正化推進月間の創設 3. 平成 30 年度の広報の取組み 4. 新たな取組み 5. 継続的な取組み 6. 平成 30 年度の活動目標 1 1 広報の目的等 関東地域連絡協議会は平成27年度より

More information

できるプログラマーを本気で育てる Java 超 Webプログラマーへの第 歩 第 2 回オブジェクト指向 テクノロジックアート 瀬 嘉秀

できるプログラマーを本気で育てる Java 超 Webプログラマーへの第 歩 第 2 回オブジェクト指向 テクノロジックアート 瀬 嘉秀 できるプログラマーを本気で育てる Java 超 Webプログラマーへの第 歩 第 2 回オブジェクト指向 テクノロジックアート 瀬 嘉秀 内容 オブジェクト指向とは オブジェクト指向のしくみ Java 言語とオブジェクト指向 属性と振る舞い クラスとメソッド オブジェクト指向の特徴 演習問題 勉強会の参考書 Java ( アジャイルソフトウェア開発技術シリーズ 基礎編 ) 発売日 2012 年 5

More information

Avago( 旧 LSI) 3108 チップ搭載 RAID カードでの RAID1/RAID10 この RAID カードの RAID1 と RAID10 の設定方法によるメリット / デメリットについて お問い合わせをいただきました お問い合わせ : SuperMicroのサーバに当該チップ使用のR

Avago( 旧 LSI) 3108 チップ搭載 RAID カードでの RAID1/RAID10 この RAID カードの RAID1 と RAID10 の設定方法によるメリット / デメリットについて お問い合わせをいただきました お問い合わせ : SuperMicroのサーバに当該チップ使用のR Avago( 旧 LSI) 3108 チップ搭載 RAID カードでの RAID1/RAID10 この RAID カードの RAID1 と RAID10 の設定方法によるメリット / デメリットについて お問い合わせをいただきました お問い合わせ : SuperMicroのサーバに当該チップ使用のRAIDカードが搭載されています 利用 HDDは20 以上です HDDはRAIDを組んで使用しますが RAID

More information

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実  1 個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果 品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善 工数割合分析

More information

警 察 庁 丁 保 発 第 121 号 平 成 25 年 8 月 27 日 原 義 保 存 期 間 5 年 警 察 庁 生 活 安 全 局 保 安 課 長 ( 平 成 30 年 12 月 31 日 まで) 風 俗 営 業 等 の 規 制 及 び 業 務 の 適 正 化 等 に 関 する 法 律 等

警 察 庁 丁 保 発 第 121 号 平 成 25 年 8 月 27 日 原 義 保 存 期 間 5 年 警 察 庁 生 活 安 全 局 保 安 課 長 ( 平 成 30 年 12 月 31 日 まで) 風 俗 営 業 等 の 規 制 及 び 業 務 の 適 正 化 等 に 関 する 法 律 等 P 店 舗 勝 ち 残 りポイント 改 正 風 営 法 を 遵 守 された 店 舗 設 計 更 に 改 正 される 風 営 法 を 見 抜 く 〇 IR 法 案 を 先 読 み 〇 IR 法 案 7 号 営 業 への 改 正 影 響 警 察 庁 丁 保 発 第 121 号 平 成 25 年 8 月 27 日 原 義 保 存 期 間 5 年 警 察 庁 生 活 安 全 局 保 安 課 長 ( 平 成

More information

10-vm1.ppt

10-vm1.ppt オペレーティングシステム ~ 仮想記憶 (1) ~ 山田浩史 hiroshiy @ cc.tuat.ac.jp 2015/06/19 OS の目的 裸のコンピュータを抽象化 (abstraction) し より使いやすく安全なコンピュータとして見せること OS はハードウェアを制御し アプリケーションの効率的な動作や容易な開発を支援する OS がないと メモリをアプリケーション自身が管理しなければならない

More information

Marionette操作説明

Marionette操作説明 ようこそ マリオネットの世界へ マリオネットは Vectorworks を使うデザイナーのためのビジュアルプログラミング環境です この入門書をきっかけに ぜひ新しいデザインの世界を体験してください マリオネット入門 Marionette Primer 20160115 マリオネット入門 目次マリオネットとは... 2 マリオネットをはじめる... 3 ノード... 5 ノードのスクリプトの編集...

More information

4 3. (a) 2 (b) 1 2 xy xz- x , 4 R1 R2 R1 R xz- 2(a) 2(b) B 1 B 2 B 1 B 2 2

4 3. (a) 2 (b) 1 2 xy xz- x , 4 R1 R2 R1 R xz- 2(a) 2(b) B 1 B 2 B 1 B 2 2 2017 Vol. 16 1-33 1 2 1. 2. 21 [5], 1 2 2 [1] [2] [3] 1 4 3. (a) 2 (b) 1 2 xy- 2 1. xz- x 2. 3. 1 3 3, 4 R1 R2 R1 R2 3 1 4 2 xz- 2(a) 2(b) 1 4 2 B 1 B 2 B 1 B 2 2 5 8 7 6 5(a) 5(b) 9 7 8 2 (a) 5 (b) 1

More information

Microsoft Word - db4_ERモデル.doc

Microsoft Word - db4_ERモデル.doc 4. ER モデル 4.1 E-R モデルとは何かを理解する a. 教 p.43 上部の図 [ER 図の一例 ] のうち 顧客の部分 ( 右図参照 ) が表していることを説明せよ 顧客 b. 同様に [ER 図の一例 ] のうち 商品の部分が表していることを説明せよ c. 同図中で 顧客 < 注文 > 商品の部分が表していることを説明せよ 顧客番号 顧客名 住所 d. 教 p.43 で E ( エンティティ

More information

Amazon VPCスターターパック Amazon VPCスターターパックのご 紹 介 Amazon VPCの 運 用に 際 しアルテリア ネットワークス 社 とサーバーワー クスが 協 業 で 提 供 するサービスです 1 万 拠 点 以 上 の VPN サービスを 手がけているアルテリア ネット

Amazon VPCスターターパック Amazon VPCスターターパックのご 紹 介 Amazon VPCの 運 用に 際 しアルテリア ネットワークス 社 とサーバーワー クスが 協 業 で 提 供 するサービスです 1 万 拠 点 以 上 の VPN サービスを 手がけているアルテリア ネット AWSで 仮 想 プライベートクラウドを 安 定 運 用 VPCスターターパック 説 明 資 料料 株 式 会 社 サーバーワークス 2015 年年 4 月 現 在 Amazon VPCスターターパック Amazon VPCスターターパックのご 紹 介 Amazon VPCの 運 用に 際 しアルテリア ネットワークス 社 とサーバーワー クスが 協 業 で 提 供 するサービスです 1 万 拠 点

More information

ETWest2015SEC先端技術入門ゼミ(一般配布用).pptx

ETWest2015SEC先端技術入門ゼミ(一般配布用).pptx ETWest2015:SEC 先端技術 入 門ゼミ モデルベースシステムズエンジニアリング (MBSE) 入 門 2015/6/10( 水 )11:40 ~ 12:25 株式会社コギトマキナ代表取締役 システムズ アーキテクト 鈴鈴 木尚志 アジェンダ 背景 MBSEとは何か SEとは モデルとは SysMLとは 目的は MBSE の概要を把握すること 2 この絵を理理解しよう 株 コギトマキナ 複製及び転載禁

More information

<基礎領域>

<基礎領域> 1. 科目コード 1243 2. 科目名 プログラミング特論 3(Advanced Programming 3) 3. 担当教員 吉田博哉 (Hiroya YOSHIDA) 4. 開講期 2 年次春 1 期 (( 昼 ) 火 3-4 時限 ( 夜 ) 火 6-7 時限 ) 5. 科目の目的 概要 オブジェクト指向言語を用いたアプリケーション開発の基礎知識を身につけることを目的とする Web アプリケーションを開発

More information

マネジメントの客観性 網羅性 論理性 KT 法マネジメント ( 副題 1: マネジメントの客観性と論理性 ) ( 副題 2: 思考と判断の見える化 ) 1. 四つの思考領域 2. 原因究明 (PA) のプロセス 3. 意思決定の (DA) プロセス 4. リスク分析 (RA) のプロセス 5. 状況

マネジメントの客観性 網羅性 論理性 KT 法マネジメント ( 副題 1: マネジメントの客観性と論理性 ) ( 副題 2: 思考と判断の見える化 ) 1. 四つの思考領域 2. 原因究明 (PA) のプロセス 3. 意思決定の (DA) プロセス 4. リスク分析 (RA) のプロセス 5. 状況 KT 法マネジメント ( 副題 1: マネジメントの客観性と論理性 ) ( 副題 2: 思考と判断の見える化 ) 1. 四つの思考領域 2. 原因究明 (PA) のプロセス 3. 意思決定の (DA) プロセス 4. リスク分析 (RA) のプロセス. 状況分析の (SA) プロセス 6. 研修プログラムの構成 7. 研修実施企業 環境企画 主宰松村眞 思考と判断の見える化 Copyrightc 2014

More information

ログイン / ボリューム選択

ログイン / ボリューム選択 eb RegistryWeb 操作マニュアル 2015/02/23 ebase 株式会社 ログイン / ボリューム選択 ログイン ログアウト ユーザーログイン ログアウト画面 画面はすべて eb ASP/Registry サービスページになります 1.Internet Explorer を起動してください 2. アドレスバーにアドレスを入力し Enter キーをクリックするとページにログインできます

More information

Microsoft PowerPoint - 10.pptx

Microsoft PowerPoint - 10.pptx m u. 固有値とその応用 8/7/( 水 ). 固有値とその応用 固有値と固有ベクトル 行列による写像から固有ベクトルへ m m 行列 によって線形写像 f : R R が表せることを見てきた ここでは 次元平面の行列による写像を調べる とし 写像 f : を考える R R まず 単位ベクトルの像 u y y f : R R u u, u この事から 線形写像の性質を用いると 次の格子上の点全ての写像先が求まる

More information

政策研究 第 6 回学校の教師は何の仕事に負担を感じているのか アルファ社会科学株式会社主席研究員本川裕 授業時間が少ないのは日本の教師が世界一多忙だから? 地域の小学校 中学校やそれを担っている教師たちは 子どもの教育上から重要な存在であるばかりでなく コミュニティ機能に占め

政策研究 第 6 回学校の教師は何の仕事に負担を感じているのか アルファ社会科学株式会社主席研究員本川裕 授業時間が少ないのは日本の教師が世界一多忙だから? 地域の小学校 中学校やそれを担っている教師たちは 子どもの教育上から重要な存在であるばかりでなく コミュニティ機能に占め 2015.08.25 政策研究 第 6 回学校の教師は何の仕事に負担を感じているのか アルファ社会科学株式会社主席研究員本川裕 授業時間が少ないのは日本の教師が世界一多忙だから? 地域の小学校 中学校やそれを担っている教師たちは 子どもの教育上から重要な存在であるばかりでなく コミュニティ機能に占める役割からも地域住民にとって無関心ではいられない存在である OECD は 2013 年に学校の学習環境と教員の勤務環境に焦点を当てた第

More information

10 ソフトウェア工学 Software Engineering ソフトウェアモデリング SOFTWARE MODELING ソフトウェアモデリングとは? ソフトウェアの抽象なモデルを, さまざまな視点から簡潔に表現する作業 表現方法 グラフィカルモデル : 所定の記法による図で表現 流れ図, クラ

10 ソフトウェア工学 Software Engineering ソフトウェアモデリング SOFTWARE MODELING ソフトウェアモデリングとは? ソフトウェアの抽象なモデルを, さまざまな視点から簡潔に表現する作業 表現方法 グラフィカルモデル : 所定の記法による図で表現 流れ図, クラ 0 ソフトウェア工学 Software Engineering ソフトウェアモデリング SOFTWRE MODELING ソフトウェアモデリングとは? ソフトウェアの抽象なモデルを, さまざまな視点から簡潔に表現する作業 表現方法 グラフィカルモデル : 所定の記法による図で表現 流れ図, クラス図など 数理モデル : 数式や論理式で表現 形式手法 ( モデル検査など ) 視点 外部からの視点 :

More information