ちょけねこ たんじょうびのおくりもの 安全(96) 図(34)

# ちょけねこ　たんじょうびのおくりもの　
<img width="454" alt="ちょけ3.jpg" src="https://qiita-image-store.s3.amazonaws.com/0/51423/891996fe-7680-78b9-505a-df68594f403a.jpeg">

プログラムの仕様・設計で抜け漏れがないかを確かめるために使うことができる道具の説明絵本です。

誰もがわかるように、楽しいことで説明しています。
特に、１０歳以下の子供が取り組むときには、必ず楽しいことで演習をしてください。

最後に、直接プログラムで判定できるように式を記述しています。プログラムを組む時の条件分岐にご利用ください。

![魔法の言葉２.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/51423/94b30b8f-dde9-33df-a994-66bdb9bb3c61.png)

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
# しらべかた(how to check)
![調べ方２.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/51423/6abedf0e-0eeb-eac7-7b4f-c34d09b20d8d.png)

# C言語風 (like c programming language)
ここでは、HAZOPをプログラミングで生かす場合に、「C言語の場合だったらどうだろう」
という視点で、プログラムの断片を記載しています。変数、配列、関数のいずれを使うか、
場合によって異なるため、最初の宣言との間には整合性を取っていません。

全てを整合性を持たせるためには、変数名、配列名、関数名を適宜変更してください。

# 魔法の言葉（効能）
Overflow(大：more)は検査するのにunderflow(小：less)は検査してない
遅い(late)は検査するのに、早い(early) は検査してないなど、
両極端をどちらも検査しなくてはいけないことを定着させるのに有効です。

```c
#include <stdio.h>
void exception(int,int);
void function(int);
int main(){
int x;
int A;//狙い、目当て、設計値
int Am;//上限
int Al;//下限
```

## 無(no)

```c
if ( 0 == x || NULL == x) {
 exception(no,x)
} else {
 function(x)
}
```
## 逆(reverse)

```c
if ( - A == x) {
 exception(reverse,x)
} else {
 function(x)
}
```
## 他(other than)

```c
if ( A != x && 0 == x && -A != x) {
 exception(otherthan,x)
} else {
 function(x)
}
```
## 大(more)

```c
if ( x > Am) {
 exception(more,x)
} else {
 function(x)
}
```
## 小(less)

```c
if ( x < Al) {
 exception(less,x)
} else {
 function(x)
}
```
## 類(as well as)

```c
if ( A == x(j) || x1(t) == x2(t)) {
 exception(aswellas, x)
} else {
 function(x)
}
```
## 部(part of)

```c
if ( A(k) == x) {
 exception(partof,x)
} else {
 function(x)
}
```
## 早(early)

```c
if ( x(t) > A(t) )  {
 exception(early,x)
} else {
 function(x)
}
```

## 遅(late)

```c
if (x(t) < A(t)) {
 exception(late,x)
} else {
 function(x)
}
```
## 前(before)

```c
if ( x(i) < A(i)) {
 exception(before,x)
} else {
 function(x)
}
```
## 後(after)

```c
if ( x(i) > A(i)) {
 exception(after,x)
} else {
 function(x)
}
```

# おとな　の　かたへ
引用
「ちょけねこ　お調子(ちょうし)ものの代名詞(だいめいし)！新進(しんしん)「ちょけむさ」のLINE(ライン)クリエーターズスタンプ。

この絵本(えほん)の絵(え)はスタンプからなる。表紙(ひょうし)は絵本(えほん)オリジナル。

まほうのことば　HAZOP(はぞっぷ)で決(き)めている11のことば。
８つはそれぞれ二次元(にじげん)に対称(たいしょう)なことば。４組(くみ)の対(つい)がある。

類部(るいぶ)（空間(くうかん)の質(しつ)）
大小(だいしょう)（空間(くうかん)の量(りょう)）
前後(ぜんご)（時間(じかん)の質(しつ)）
早遅(そうち)（時間(じかん)の量(りょう)）

無(む)，逆(ぎゃく)は，有(あ)る・設計(せっけい)・想定(そうてい)の反対(はんたい)のことば。他(ほか) 以外(いがい)はすべて対称(たいしょう)。他(ほか)は残(のこ)りを入(い)れる便利(べんり)な箱(はこ)。とっても楽(らく)ちん。無(no)，大(more)，小(less)は，すぐに思(おも)いつく。始めは，この３つだけでもOK(オッケー)。これを無大小優先 (むだいしょうゆうせん)(NMLfirst(エヌエムエルファースト))と呼(よ)ぶ。

HAZOP(はぞっぷ)(Hazard(ハザード) and(アンド) Operability(オペラビリティ)の略(りゃく)) 国際電気会議(こくさいでんきかいぎ)(IEC(アイイーシー))規格(きかく)61882。外(はず)れ，想定外(そうていがい)を洗(あら)い出(だ)す方法(ほうほう)。使(つか)う人(ひと)，創(つく)った人(ひと)の意図(いと)から外(はず)れた状態(じょうたい)を，11の魔法(まほう)のことば(guide word(ガイドワード))で引(ひ)き出(だ)す。物(もの)にも事(こと)にも使(つか)える。」

「ちょけねこ　HAZOP」検索(けんさく) 

### ちょけねこ
https://store.line.me/stickershop/product/1074356/ja

# 魔法の言葉:HAZOP(guide word)
## 配布(distribution)
下記の行事で無料配布しました。
### JAXA/IPA WOCS2
15回
https://www.ipa.go.jp/sec/events/20171129.html
http://stage.tksc.jaxa.jp/jedi/event/20171129.html
14回
https://www.ipa.go.jp/sec/events/20161212.html
http://stage.tksc.jaxa.jp/jedi/event/20161212.html
13回
https://www.ipa.go.jp/sec/events/20160119.html
http://www.kenkai.jaxa.jp/publication/event/2015/160119.html

### OSC nagoya
2018
https://www.ospn.jp/osc2018-nagoya/ 配布予定

OSC OosakaのLTでは朗読をさせていただきました。
https://www.ospn.jp/osc2018-osaka/modules/eguide/event.php?eid=2

2017
https://www.ospn.jp/osc2017-nagoya/

2016
https://www.ospn.jp/osc2016-nagoya/

### SWEST
http://swest.toppers.jp
19回
https://swest.toppers.jp/SWEST19/program/
資料
https://www.slideshare.net/kaizenjapan/hazop-safety-and-security-with-records-swest-at-gero-gifu-pref-japan
参加企業での復習
https://www.slideshare.net/kaizenjapan/hazop-safety-and-security-at-fukui-201712

18回
https://swest.toppers.jp/SWEST18/program/
17回
https://swest.toppers.jp/SWEST17/program.html

## 立場の違いによって見えるものが違う
（Difference in appearance due to differences in viewpoint）

立場１（左）から見ると、全体はAで、色は黄色（薄い色）、Bは中心の部分で色は黄緑（濃い色）
立場２（右）から見ると、全体はBで、色は空色（やや薄い色）、Aは中心部分で色は黄緑色（濃い色）

立場が違えば、集合関係も違うように見えるかもしれないし、色も違うように見えるかもしれない。

<img width="568" alt="視点の違い.png" src="https://qiita-image-store.s3.amazonaws.com/0/51423/38c6c560-22cf-3c19-1b7a-ca64539fee53.png">
 HAZOP 質疑応答編&記録編(3.6a) Safety and Security 
https://www.slideshare.net/kaizenjapan/hazop-tokyo201809 p.174

　この資料は、三次元のA、Bを二次元表記したものです。全体像は、横から、左下は左から、右下は右から見た像の二次元表記です。屈折率等を考慮すると、下の左右の中心像はもっと大きくなるというご指摘をいただいています。三次元描画ソフトでこの資料を作成してくださる方を募集しています。

## 図を使った分析
実物、写真、動画を使った分析に加え、設計図である状態図、時系列図、刻時図を使った分析が有効である。

図を使って分析・設計すればこんなに簡単。安全(11), 図(11) 
https://qiita.com/kaizen_nagoya/items/6347eb55b2812d745549

設計 図(12) 表はいつ(when)書く、何を(what)書く、どうやって(how)書く。 仮説(71) 
https://qiita.com/kaizen_nagoya/items/7fddfa5d8bfb5a947db8

顧客指向の設計定義 要件定義に代えて。仮説(91) 図(25)　
https://qiita.com/kaizen_nagoya/items/79c608ebba14db53d353

算譜(program)の見直し(review)に必要な指向, 技能, 技法, 手順 上位７, 仮説(188) coding(72), 図(26) 
https://qiita.com/kaizen_nagoya/items/6d5962e1a0e4be28405c

算譜(program)が計画(plan),設計(design)である３つの理由, coding(33) 図(27) 
https://qiita.com/kaizen_nagoya/items/34daa0403eaca5e8b5a6


# 参考文献(reference)
「想定外」3.11 東日本大震災をIT技術者が振り返る
https://qiita.com/kaizen_nagoya/items/80433f4bf7fe116bddd1

効率的なHAZOPの進め方
https://qiita.com/kaizen_nagoya/items/2b8eae196945b7976446

安全分析における HAZOP-TRIZ連携の試み(1/3) 
https://www.slideshare.net/kaizenjapan/hazop-and-triz-byoffor-the-children13
(2/3)
https://www.slideshare.net/kaizenjapan/hazop-and-triz-byoffor-the-children23
(3/3)
https://www.slideshare.net/kaizenjapan/hazop-and-triz-byoffor-the-children33

交通事故死を減らすのにプログラマが主導できる事項13選。仮説・検証（21）。安全(26)
https://qiita.com/kaizen_nagoya/items/4d46bbf0dde44d7bb99a

安全・安心分析の	  HAZOP	 による統合的運用
https://www.slideshare.net/kaizenjapan/hazop-and-othere-analysis-method-include-stamp-and-fram

安全分析において、HAZOP,	FMEA,	FTAの組み合わせによる リスクアセスメントの進め方の検討
https://www.slideshare.net/kaizenjapan/hazop-and-triz-byoffor-the-children13

プログラマが知っているとよい　色使い（安全色）
https://qiita.com/kaizen_nagoya/items/cb7eb3199b0b98904a35
プログラマが苦手な人との口頭のやりとり面談技術(interview technique)７つの要点
https://qiita.com/kaizen_nagoya/items/f322df6978853c708c99

## 言い訳(excuse)
絵を描かれた著者に代わり、赤色の使い方を記録。
リボンの赤は、ハレの日を演出する。見出しの文字は、リボンと箱の色を再利用。
ちょけねこの性別は未公開。贈り物の相手の性別は不明。


# 関連資料
' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e
## 自己記事一覧
プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学 
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き 
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧 
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48) 
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding Rules(0) C Secure , MISRA and so on 
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

小川清最終講義、小川清最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.
### 文書履歴(document history)
初版　ver. 1.00 20180311
ver. 1.1 20180311 C言語風の記述を追記
ver. 1.1.1 20180312 シンタックスハイライトの修正　alt 2018年03月12日 12時41分 (JST)編集リクエストにより　Cを追記。
ver. 1.1.2 20180312 「無」のNULL判定を追記。
ver. 1.2 20180313 HAZOP説明を記載。JAXA/IPA WOCS, SWEST, OSC Nagoyaを追記 
ver. 1.2.1 20180313 exception関数の引数を２つに変更。効能を追記。
ver. 1.2.2 20180316 項目の構造を見直し、はじめの方の表現に追記。配布を最後に移動。
ver. 1.2.3 20180731 面談URL追記。slideshare URL追記
ver. 1.2.4 20180816 プログラマが知っているとよい　色使い（安全色）、言い訳追記 
ver. 1.2.5 20200305 別記事からリンク
ver. 1.2.6 ありがとう追記 20230312
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
####  Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.