多足というのは,例えばGSNでセーフティケースを記述したときの姿を指します.ある安全要求に対して,複数の証拠とそれに基づく立証があるとき,多足に見えます(GSN図を想像してみてください).単に,樹ではないかとも思わないで […]
-
Pages
-
Categories
-
Archives
多足というのは,例えばGSNでセーフティケースを記述したときの姿を指します.ある安全要求に対して,複数の証拠とそれに基づく立証があるとき,多足に見えます(GSN図を想像してみてください).単に,樹ではないかとも思わないで […]
次のようなセーフティケースの定義があります. argument that the safety goals for an item are complete and satisfied by evidence compi […]
埴谷雄高さんの初期の詩集(アフォリズム集)に,「不合理ゆえに我信ず」があります.大変美しい内容です.ここでは有名な「自同律の不快」ということが形を変えていろいろ展開されています.自同律というのは,一般には同一律とよばれる […]