研究紹介20160301pptx 最近の更新履歴 神奈川大学 木下佳樹研究室

「箇条書き」考

木下修司 [email protected]

2016-03-01 _{木下研究室春合宿}

クイズ : 木下研 3 年生

 _いわさわ

 _だて

 _はん

 _つちや

 _ふじわら

 _しおかわ

2

クイズ : 木下研の学生

 _いわさわ

 _おおくら

 _だて

 _てらむら

 _はん

 _いしづか

 _つちや

 _ふじわら

 _しおかわ

3

 _なかむら

 _たかうえ

 _ひざ

 _かんの

 _おの

 _つちや

クイズ : 日本の都道府県

 _北海道

 _青森県

 _岩手県

 _宮城県

 _秋田県

 _山形県

 _福島県

 _茨城県

 _栃木県

 _群馬県

 _埼玉県

 _千葉県

 _東京都

 _町田市

 _神奈川県

 _新潟県

 _富山県

4

 _石川県

 _福井県

 _山梨県

 _長野県

 _岐阜県

 _静岡県

 _愛知県

 _三重県

 _滋賀県

 _京都府

 _大阪府

 _兵庫県

 _奈良県

 _和歌山県

 _鳥取県

 _島根県

 _岡山県

 _広島県

 _山口県

 _徳島県

 _香川県

 _愛媛県

 _高知県

 _福岡県

 _佐賀県

 _熊本県

 _大分県

 _宮崎県

 _鹿児島県

 _沖縄県

何の話か

 何気なく使っている箇条書きだが、正しく理解して使わな いと危険

 箇条書きの主要な性質２つを紹介

 事例研究（平塚市の防災システム）

 _{Word の使い方の話ではない}

5

箇条書き？

番号なし

 _りんご

 _みかん

 _バナナ

番号あり

1. _平塚

2. _茅ケ崎

3. _藤沢

6

特にいろいろ考えずに使うこ

ともできる

 _{たとえば、}

 _{こんなふうに、}

 分けてもダメではない。

朝起きてやること

 _歯を磨く

 _顔を洗う

 _着替える

最初はこのように、とにかく列挙するために使う。

7

とにかく列挙するためのツー

ルから進歩して

 いろいろ考えて列挙したあとは、何かその項目たちが持っ ておいてほしい性質がある。

1. 独立性・・・各項目が指すものは、それぞれ別のもので あってほしい。重複してほしくない

2. 全部性・・・各項目が達成？されると、何か元の主題が達 成されてほしい。足りないものがあるとまずい。

8

例

朝起きてやること

 _歯を磨く

 _顔を洗う

 _着替える

独立か？ 全部か？

9

さまざまな例

日本の都道府県

 _北海道

 _青森県

 _：

 _東京都

 _神奈川県

 _埼玉県

 _：

 _沖縄県

10

さまざまな例

対象の地方自治体

 _神奈川県

 _横浜市

 _川崎市

独立か？ 全部か？

11

なぜこんなことを考えるのか

システム A は安全である

システム A の機能は新規作成、更新、削除の３つである 機能ごとに分割して議論する

 新規作成機能は安全である

 _{更新機能は安全である}

 _{削除機能は安全である} こういうことをやりたい。

12

アシュランスケース by GSN

 _{Astah*GSN による例}

13

事例：平塚市の防災システム

 防災システムがちゃんとしていると示したい

（ dependability ）

 防災システムとは何か？を細かく正確に決めたい

 文書「平塚市地域防災計画」を元につくるが、元の文書の 箇条書きからシステムを定めることは大変（ PDF 参照）

 定めるための枠組みをつくっている（ 6W1H model ）

14

システム＝仕組み

 大抵の「もの」はシステムだと思うことができる

大きく２つ

 最初から「システム」だと思ってつくられた（記述され た）もの

 システム、とは思わずつくられたもの 平塚市_←

システム、とは思わずつくられたものも、システムとして考 えて、その性質について議論したい。

15

まとめ

 _{箇条書きの性質２つ}

 _独立性

 _{全部性→網羅性}

練習

 今日家に帰るまでに箇条書きをみつけて考えてみる

16