ソフト・ロー
ハード・ロー
公平性
AIによる採用が男性有利にして女性を不利にするみたいな問題
安全性
ソフト・ロー
ハード・ロー
公平性
AIによる採用が男性有利にして女性を不利にするみたいな問題
安全性
廃墟や心霊スポットは危険がいっぱい
クマとかが出る
クマの出没時期を調べて外す
クマ対策グッズを得る
蜂の巣とか出てくるかも
生成AIは医療においても活用が進められている
乳がんの発見に用いることで医師より30%ほど高い性能を発揮する例がスウェーデンなどで行われている
フィリピンでは地図サービスが普及していない
にも関わらず地震や台風などの被害が大きい
アフリカについても結構そう
readonlyを提供する場合には推移性を提供しない問題やaliasing problemなどがありそもそも追加するには不完全な部分がある
このためreadonlyが提供された上でもコンパイラによる安全性や効率性の向上効果は限定的である.
型修飾を増やすとライブラリが型修飾の有無についてサポートを行う必要がある
とくにGoにはオーバーロードがないためくちゃくちゃになってしまう
extended Berkley Packet Filter
Lunuxカーネルの機能で,ユーザが作成したプログラムをカーネルに送り込んで独自の命令セットを持つカーネル内部の仮想マシン上で実行できる機能.
BPFを拡張したもの.
パケットフィルタの技術を拡張している.
Cで書かれたBPFプログラムをLLVMでコンパイルしてBPFバイトコードにする.
監査対象のシステムの入力から出力に至る過程を追跡できる一連の仕組みと記録.
情報システムに対して信頼性,安全性,効率性のコントロールが適切に行われていることを実証するもの.
信頼性の向上のための指標.
Reliability
信頼性: 故障しにくいこと
MTBFや故障率から見積もられる.
Availability
運営を特定組織で行うのではなく,ユーザ全体の計算機で協力して行うことで安全性を確保する仕組み.
P2P通信
暗号技術
コンセンサスアルゴリズム
などの技術を利用している.