Category Archives: 安全

多足

多足というのは,例えばGSNでセーフティケースを記述したときの姿を指します.ある安全要求に対して,複数の証拠とそれに基づく立証があるとき,多足に見えます(GSN図を想像してみてください).単に,樹ではないかとも思わないで […]

セーフティケースはなんのため

次のようなセーフティケースの定義があります. argument that the safety goals for an item are complete and satisfied by evidence compi […]

トゥールミン

埴谷雄高さんの初期の詩集(アフォリズム集)に,「不合理ゆえに我信ず」があります.大変美しい内容です.ここでは有名な「自同律の不快」ということが形を変えていろいろ展開されています.自同律というのは,一般には同一律とよばれる […]