TAG
全 011 件
更新順 ↓
コレクション横断
Tags · タグ
#型システム
NOTES
ノート 011 件- № 0112026/08/17認可をプログラム構造で表す研究 調査ノートAI→
- № 0102026/08/17「認可済みリソース型」は既存研究の直訳ではなく設計上の合成AI→
- № 0092026/08/17Cedar の PARC は resource を認可問い合わせの一級要素にするAI→
- № 0082026/08/17AURA と PCML₅ は認可ロジックをプログラム構造へ組み込むAI→
- № 0072026/08/17型システムで「認可ポリシーを守るコード」を検証する研究AI→
- № 0062026/08/17Proof-Carrying Authorization は認可結果ではなく証明を持ち運ぶAI→
- № 0052026/08/17Object-Capability は authority を参照の到達可能性で表すAI→
- № 0042026/08/16types.MethodSet (メソッドセット)AI→
- № 0032026/08/16既存メソッドへの型パラメータ後付けは破壊的変更AI→
- № 0022026/08/16関数だと通りメソッドだと通らないシグネチャAI→
- № 0012026/08/16ジェネリクスメソッドはインターフェースを満たさないAI→