Windows Vista,7 & 8のUAC対策について
【はじめに】 【どんな問題に遭遇するか？】 【どのような時に問題に遭遇するか？】 【そもそもUACとは?】 【問題を引き起こす原因】 【対応策】 【はじめに】 Windows Vista/7/8/8.1/10では、セキュリティ強化機能として、User Account Control(略称:UAC) がサポートされています。 具体的には、管理者権限が与えられているユーザーでも、一般ユーザーと同じく、 フォルダに対してファイルの書き込みや更新の保護を行う目的の対策が行なわれます。 この影響で、従来と同じ感覚でWindowsを利用しようとすると、どうしても自由度が拘束されてしまい、 使い方に注意を配っていないと様々なトラブルを経験することになります。 そもそもこの背景には、 XPまでの従来のアプリケーションが ユーザーに管理者権限が与えられていることを前提にしていたり、 また特に意識してこなかっ
Homotopy Type Theory and Univalent Foundations
Homotopy Type Theory and the Univalent Foundations of Mathematics Homotopy type theory refers to a new interpretation of Martin-Löf's constructive type theory into homotopy theory. Propositional equality between intensionally distinct terms is interpreted as homotopy. The interpretation makes use of methods from abstract homotopy theory such as Quillen model categories, as well as related methods
Curry Examples
Curry: Example Programs Here is a collection of (small) Curry programs. References to larger applications can be found here. Usually, each program contains some example goals at the end in order to see its intended application. The programs are sorted by the main language features they use so that people interested in the various features of Curry can look at these examples: Purely functional prog
五十嵐 健夫 のページ teddy
氏名：五十嵐 健夫 所属：東京大学大学院情報理工学系研究科コンピュータ科学専攻 (教授) 住所：〒113-0033 東京都文京区本郷7-3-1 東京大学 理学部7号館 303号室 (地図) 電話：03-5841-4109 (直通) FAX： 03-5841-4105 takeo @ acm.org
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
