Z, VDM: 言語と像 図(10)

安全系の設計において、ZとVDMにまず取り組んだ。　
国際規格になっている言語だから。

知人が、facebookで言語について語っていた。

自然言語が苦手でプログラミングを仕事にするようになった。

仮説（52）プログラミング言語教育のXYZ
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4


自分ではプログラミング言語が設計だと主張してきた。
通信規約について時系列図で記述し始めたら、言語で表現するよりも図にした方がわかりやすいことが分かった。

時系列図を書いていても通信規約のプログラムのバグをうまく取れない時、状態遷移を管理すればいいことを知った。

最初は状態遷移を図で書いていた。
状態遷移表を知り、UMLの規格にTbular形式を認める記述を確認した。

その後、通信の仕様記述言語であるSpin(single promela interpreter)を知り、状態遷移について言語と図の相互変換を知るようになる。

図から言語が生成できることを知った。

これらの道具には、XMLなどの文字で図を保存する方式などを知った。

ここまで考えて、言語と図という表題にしようとした。

言語 v.s. 図

しかし、言語には、プログラミング言語もあれば、数字もある。

単純なものから、複雑なものまで。

図も、よく考えてみれば、一次元の点の有無から、三次元の像まで計算機でも簡単に操作できるし、三次元印刷機(3D printer)で容易に試作できるようになった。

そこで再整理してみた。

| |単純|簡単|複雑|
|:----|:----|:----|:----|
|言語|数字|人工言語|自然言語|
|像|点（存在・無/真・偽）|図|像（三次元以上）|

人工言語には、プログラミング言語、論理設計言語(HDL)、仕様記述言語など、いろいろな種類がある。

数字に、変数を含めるかどうか。
数字に離散値と連続値の分類をどうするか。

究極の一次元になれば、言語も図も同じだということがわかる。

数は微分、積分と統計・確率が大事かも。

仮説・検証（119）統計と確率が扱えれば工学のほとんどは大丈夫
https://qiita.com/kaizen_nagoya/items/c917054d1390b7e17049

確率・統計（物理、生命、社会）
https://qiita.com/kaizen_nagoya/items/98d0a37012f039e67a39

仮説・検証(92) 事業計画確率(project plan with probability)
https://qiita.com/kaizen_nagoya/items/f2dc5d216e57df844f50

# 離散と連続

数字を離散と連続に分けて考えてみる。

言語と像くらいの違いがある。

あるいは、単純と複雑の違いくらい。

しかし、離散は離散の中で、単純と複雑の違いがあり、
連続には連続の中で、単純と複雑の違いがある。


## 音響

音響機器で連続系に近いものを複数検討する。

真空管音響機器

アナログレコード

ケーブル、プラグ
　どういうケーブルがよい、どういうプラグがよいという話を時々お聞きします。
　再現してみると違いがわかることがあります。

目的は、３つあるかもしれません。
　一つは、差を知ること自体が目的になっている場合。
　二つ目は、生演奏の感動をどう再現するかの場合があります。
　三つ目は、新しい音響系の構築です。

二つ目のうち、一方に音響機器を用いていない演奏を聞いたものの再現と、音響ききを用いた生演奏の再現の二つの課題があります。

# 安全工学シンポジウム 2019　日本学術会議
#### 安全分析の図的表現方法、及び設計文書と親和性の高いツールの提案
ガイオ・テクノロジー（株）技術開発本部技術戦略室技術戦略グループ　田中伸明, 名古屋市工業研究所　小川清 
https://www.gaio.co.jp/newslist/anzen_org2019/

#### 機械の制御システムの設計における安全分析の事例報告
尾崎秀典，青島武志，可兒利弘，路 海寧(オプトン)，間瀬 剛，松原和音，斉藤直希， 小川 清(名古屋市工業研究所)

#### HAZOP と TRIZ を適用した新製品開発とその安全分析
斉藤直希，間瀬 剛，松原和音，小川 清(名古屋市工業研究所)， 寺久保 敏，石津和紀，坪井俊之(システム技術研究会)

#### 医療システムへの HAZOP 適用
松原和音，間瀬 剛，斉藤直希，小川 清(名古屋市工業研究所)

#### 災害支援無線系における安全分析手法の応用
小川 清，斉藤直希，間瀬 剛，松原和音(名古屋市工業研究所)， 村上 孝，小寺浩司(デンソークリエイト)，福田仁志(豊田自動織機)

# 自動車技術会 2020 春
#### 安全分析とモデルベース設計を統合することによる説明力の向上策 // Measures to Improve Explanatory Power by Integrating Safety Analysis and Model-Based Design
田中 伸明;余宮 尚志;小川 清 
https://tech.jsae.or.jp/hanbai/list.aspx?bunkenno=20205079

安全分析におけるHAZOPによる想定外の洗い出し
　
Unexpected Identification using HAZOP in Safety Analysis	
小川 清 (アテック),  柏原 一雄 (デンソークリエイト) , 田中 伸明 (ガイオ･テクノロジー)
https://www.bookpark.ne.jp/cm/jsae/select.asp?pageno=5&pagenum=10&category=103&lang=J&table=JSAP

##Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
https://www.springer.com/gp/book/9783030555825#aboutBook

A method to support the accountability of safety cases by integrating safety analysis and model-based design
Nobuaki Tanaka (GAIO TECHNOLOGY Co., Ltd.), Hisashi Yomiya, Dr. Kiyoshi Ogawa 
https://www.springerprofessional.de/en/a-method-to-support-the-accountability-of-safety-cases-by-integr/18306364

### TRIZを図にした書籍

トリーズ（TRIZ）の発明原理４０ Kindle版
高木芳徳  
https://www.amazon.co.jp/dp/B01MROYD6H/

# 参考資料
仮説（116）「今日死ぬとしたら」日本語が不得意なプログラマが話をする　日本語（12）
https://qiita.com/kaizen_nagoya/items/61a03864ac6c011e6164

プログラマが心がけるとよい文章の書き方
https://qiita.com/kaizen_nagoya/items/af1e6207ccaa063dafb8

仮説(87)プログラマとして、「プログラムを書く時、文章を書く時、言い訳をする時」に心がけていること
https://qiita.com/kaizen_nagoya/items/7e5700db01727cb516fc

# 関連資料
' @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

品質一覧 
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/f7f0b9ab36569ad409c5

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

日本語（０）一欄
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) 
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧 
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

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

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

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

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

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

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

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

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

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜ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

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

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

「はじめての」シリーズ　 ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

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

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

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

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

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

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.
### 文書履歴(document history)
### 文書履歴(document history)
ver. 0.01 初稿 20201114 午後
ver. 0.02 追記 20201114 夜
ver. 0.03 音響追記 20201115
ver. 0.04 ありがとう追記 20230530
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
####  Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.