ちょけねこ　たんじょうびのおくりもの　

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

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

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

しらべかた(how to check)

C言語風 (like c programming language)

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

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

魔法の言葉（効能）

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

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

無(no)

if ( 0 == x || NULL == x) {
 exception(no,x)
} else {
 function(x)
}

逆(reverse)

if ( - A == x) {
 exception(reverse,x)
} else {
 function(x)
}

他(other than)

if ( A != x && 0 == x && -A != x) {
 exception(otherthan,x)
} else {
 function(x)
}

大(more)

if ( x > Am) {
 exception(more,x)
} else {
 function(x)
}

小(less)

if ( x < Al) {
 exception(less,x)
} else {
 function(x)
}

類(as well as)

if ( A == x(j) || x1(t) == x2(t)) {
 exception(aswellas, x)
} else {
 function(x)
}

部(part of)

if ( A(k) == x) {
 exception(partof,x)
} else {
 function(x)
}

早(early)

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

遅(late)

if (x(t) < A(t)) {
 exception(late,x)
} else {
 function(x)
}

前(before)

if ( x(i) < A(i)) {
 exception(before,x)
} else {
 function(x)
}

後(after)

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」検索(けんさく)

ちょけねこ

魔法の言葉:HAZOP(guide word)

配布(distribution)

下記の行事で無料配布しました。

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

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

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

HAZOP 質疑応答編&記録編(3.6a) Safety and Security https://www.slideshare.net/kaizenjapan/hazop-tokyo201809 p.174

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

参考文献(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/drafts/cb7eb3199b0b98904a35

プログラマが苦手な人との口頭のやりとり面談技術(interview technique)７つの要点
https://qiita.com/kaizen_nagoya/items/f322df6978853c708c99

言い訳(excuse)

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

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞

文書履歴(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.

ちょけねこ たんじょうびのおくりもの

ちょけねこ たんじょうびのおくりもの

しらべかた(how to check)

C言語風 (like c programming language)

魔法の言葉（効能）

無(no)

逆(reverse)

他(other than)

大(more)

小(less)

類(as well as)

部(part of)

早(early)

遅(late)

前(before)

後(after)

おとな の かたへ

ちょけねこ

魔法の言葉:HAZOP(guide word)

配布(distribution)

JAXA/IPA WOCS2

OSC nagoya

SWEST

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

参考文献(reference)

言い訳(excuse)

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

ちょけねこ　たんじょうびのおくりもの　

ちょけねこ　たんじょうびのおくりもの　

おとな　の　かたへ