Category Archives: セーフティケース

主観のやくわり

前回,ISO26262におけるセーフティケースの特殊な位置づけについて書いてみました.安全性の確保を考える上で,アプローチの違い(プロセス的な定義をするかゴール指向で定義するか)は,きわめて重要です.つい最近(8月1日) […]

入力ー処理ー出力

むかし,プログラムの構造を示すために,幾つかの表記法がありました.典型的には流れ図なのですが,それ以外にもNSチャートやHCPなど沢山の表記法がありました.私が所属していた会社ではHIPOといわれる表記法を用いていました […]

Hush Hush

数学セミナーの7月号をつらつら読んでいるとペアノの紹介のところで,有名な宵の明星と明けの明星の話がありました.これは,自同律の不快で見たような話です.宵の明星と明けの明星は共に金星なので,これは,a = a とすべきか或 […]