約 737,971 件
https://w.atwiki.jp/sms20120113/pages/51.html
日時 毎週月曜日 20 45~22 15 テキスト 『型システム入門 プログラミング言語と型の理論』 - Benjamin C. Pierce (著), 住井 英二郎 (監訳), 他7名 原著 Types and Programming Language (TaPL) 前提知識 論理学 数学(集合, 離散数学) 関数型プログラミング言語(Scheme, OCaml, Haskell ...) コンパイラの基礎的な概念(抽象構文, BNF文法, 評価, 抽象機械 ...) などが前提知識としてあるとベストですが、無くてもどうにかなると思われます 型理論概説 型理論とは元々素朴集合論におけるラッセルのパラドクスに対する理論としてラッセル自身が構築したものになります。また、公理的集合論に似ていることも示されています。 その顕著な応用例としてはコンピュータプログラミングが挙げられます。型によるエラー検出や安全性向上の効果は十分期待できるものです。 今回使用するテキストは型システムをOCamlというプログラミング言語を利用して実装し、学習していく構成になっています。 応用を挙げれば幾らでもあり、この勉強会はかなり深い話への導入にあります 備考 聴講可能 現在メンバー募集中 Haskell勉強会と少なからず関係があります 3章→5章→8章→9章→11章の順に進める予定です(プログラム要素は少なめに理論を追う形で進めます) 活動報告 2015/09/07 演習3.2.5まで whiteboard 2015/09/14 補題3.3.3まで whiteboard1 whiteboard2 2015/09/28 定義3.5.3まで whiteboard 2015/10/19 演習3.5.10まで whiteboard 2015/11/02 定理3.5.12まで whiteboard 次回予告 11/23 20 45 ~ 22 15 p.29 演習3.5.13より
https://w.atwiki.jp/cryptospace/pages/29.html
定理(TBE2PKE暗号)の証明のアイデア 攻撃者Aが構成(TBE2PKE暗号)の公開鍵pkに関する暗号文 c* = (c*tbe, vk*, σ*) を入手したとする。 部品であるタグベース暗号の識別不可能性より、 c*tbeはその復号文mbの情報を漏らさない。 また、vk*, σ* はもともとメッセージと無関係なので、もちろん復号文mbの情報を漏らさない。 攻撃者Aが構成(TBE2PKE暗号)の妥当な暗号文 c = (ctbe, vk, σ) を生成したとすると、 c ≠ c* より、 vk = vk*, (ctbe, σ) ≠ (c*tbe, σ*) または、 vk ≠ vk* である。 前者ならば、攻撃者Aは部品であるワンタイム署名の強い意味での偽造不可能性を破っている。 後者ならば、タグが異なるということだから、タグ選択暗号文攻撃に関する識別不可能性より、 cの復号文は、攻撃者Aにとって役にたたない。 定理(TBE2PKE)の証明 構成(TBE2PKE)に対する任意のCCA攻撃者をAとする。 Aを用いてTBEに対する(タグ選択)攻撃者Bを構成する: 攻撃者B (1n)を入力として、 ※ Bは最初にタグvk*を選択し、そのタグvk*に関する暗号文c*を破りたい。 (vk*, sigk*) ← SKG(1n) vk*をチャレンジャーに出力し、公開鍵pkを受け取る。 pkを入力としてAを起動する。 Aからチャレンジクエリ(m0,m1)を受け取ったら、 (m0,m1)を自身のチャレンジクエリとしてチャレンジャーに出力し、暗号文ctbe*を受け取る。 σ* ← SIGN(sigk*, ctbe*) c* = (ctbe*, vk*, σ*)を応答する。 Aから復号オラクルに対する問い合わせ(ctbe, vk, σ)を受け取ったら、 VFY(vk, ctbe, σ) =? reject ⊥を返す。 else vk =? vk* アボート else (vk, ctbe) を自身の復号オラクルに問い合わせ、受け取った復号文を応答する。 ※ vk≠vk* なので、この復号オラクルへの問い合わせは妥当。 Aが出力b で停止したら、b を自身の出力として停止する。 攻撃者Bの解析: Bがアボートさえ起こさなければ、BのAに対するシミュレーションは完ぺきである。 Aが攻撃に成功するとき、必ずBも攻撃に成功する。 よって、 (Aの識別利得) - Pr[Bがアボート] ≦ (Bの識別利得). よって、後は以下の主張を示せばよい。 主張 Pr[Bがアボート] はネグリジブル。 証明 攻撃者Aを用いて、ワンタイム署名OTSの偽造者Fを構成する: 偽造者F 検証鍵vk*を入力として、 ※ Fは検証鍵vk*のもとで妥当なメッセージ署名対(ctbe,σ)を偽造したい。 (pk, sk) ← Gentbe pkを入力としてAを起動する。 Aからチャレンジクエリ(m0,m1)を受け取ったら、 b ← {0,1}, c*tbe ← Enctbe(pk, vk*, mb) c*tbe を自身の署名オラクルに問い合わせ、署名σ* を受け取る。 c* = (c*tbe, vk*, σ*)を応答する。 Aから復号オラクルに対する問い合わせ(ctbe, vk, σ)を受け取ったら、 VFY(vk, ctbe, σ) =? reject ⊥を返す。 else vk =? vk* : (ctbe, σ)を出力して停止。 else Dectbe(sk, vk, ctbe) を応答する。 Aが停止したら、停止する。 偽造者Fの解析: 明らかに、 Fは署名オラクルに一度しか問い合わせていない。 Pr[Bがアボート] = Pr[Fが偽造に成功]. よって、OTSは強いワンタイム署名なので、Pr[Bがアボート] はネグリジブルである。 q.e.d. Q.E.D. 上へ
https://w.atwiki.jp/vocaloidchly/pages/6938.html
我們的最終定理 Music:じーざす Vocal:鏡音リン/レン 翻譯:草川 自知是必然的 容易淡忘事情的我們 能讓暫停時間甚麼的 是不可能的 此是現實 並非假想 僅只持有觀念老舊的公式 和大人一同戰鬥甚麼的 還不如死算了 沒關係的 沒關係 被理想化的過去漸漸會變得蜷曲 這就是謊言的證據 我們仍無法做到 但即使後悔而哭泣 感到無力而淚流不止 意識到了嗎? 你正逼近著真實 破壞數學所支配的世界吧 我們的最終定理 應該不會有差錯的吧 即使還未能證實 can t stop feeling 是誰的邏輯 已存在的理論 不管怎樣全都銷毀 甚麼時候我們才能 將這世界的空白都填補 覺悟是必要的 對未來毫無防備 不到最後一秒仍未能預知 比起能達成 意識到不可能的想法逐漸浮增 感覺我們越來越不像自己 似乎變得失常 似乎變得失常 就算諂媚地笑也行 笑吧 嘲笑阿 無法解答的仍無法答覆阿 我知道的阿 笑啊 笑啊 拜託了 就笑吧 體諒一下吧 體諒一下吧 體諒阿 吶,意識到了吧 我們的最終兵器 是自我摧殘嗎 吹噓著無意義的妄想 can t stop feeling 不想變成大人啊 保持現狀就夠了 答案甚麼的已經不需要了 也沒得向誰尋求了吧? 我們的最終定理 應該不會有差錯的吧 即使還未能證實 can t stop feeling 是誰的邏輯 已存在的理論 不管怎樣全都銷毀 甚麼時候我們才能 將這世界的空白都填補 補充* トーキングヘッズ 在電視.電影畫面中出現的講者。
https://w.atwiki.jp/geogebra_kyozai/pages/30.html
加法定理 加法定理(+) 加法定理(-) 加法定理テスト 加法定理の応用 三角関数の合成 2倍角の定理
https://w.atwiki.jp/wiifitplus/
Wii fit plus(ウィーフィットプラス)攻略@wikiへようこそ 「Wii Fit」の最新作となるWii fit plusの攻略サイトです。 前作Wii Fitの情報も扱っています。 ウィキはみんなで気軽にホームページ編集できるツールです。 任天堂HP Wii Fit Plus(ソフト単品) 2000円(税込) Wii Fit Plus(バランスWiiボードセット) 9800円(税込) 「Wii Fit PLUS」はバランスWiiボードを同梱しての発売が予定。 すでにバランスWiiボードを導入しているユーザーのために「単独ソフトとしても販売される。 新要素 新トレーニング 『Wii Fit Plus』では、『Wii Fit』に収録されていたトレーニング48種目に加えて、21種類のトレーニングが追加。もちろんセーブデータも引き継ぐことができます。 トレーニング+15種目 ヨガ3種目 筋トレ3種目 目的別のトレーニングメニュー 自分だけのオリジナルメニュー 毎日のトレーニングメニューをカスタマイズしたり、空き時間に応じて20、30、40分のトレーニングを選べる。 さらに、お腹の調子を整える、腕を引き締める、ストレス解消するといった特定の目的に向けたトレーニングメニューも選択可能。 消費カロリーと目標設定 トレーニング後に消費カロリーが表示されます。その日の総消費カロリーや、実際の食べ物を目安に目標カロリーを設定することもできます。 「からだ測定」のバランステストが5種類追加され、合計10種類に バランステストを単独で遊ぶこともできます。 赤ちゃんやペットも トレーニングはできないが、体重測定は可能。 交代でプレー みんなで遊ぶ ちょっと交代 歩数やウエストなどを記録可能 『Wii Fit Plus』以外で行った運動の時間のほか、自分のウエストサイズや歩数などのデータを毎日のグラフに記録することができます。 夜型にも対応 日付が次の日に変わる時刻を、0 00(標準)または3 00(夜型)のいずれかに設定することができます。
https://w.atwiki.jp/z-limited/pages/88.html
『アクシズ』 アクシズは、宇宙世紀0072年に公国と月企業連合体が共同で開発した小惑星で、極秘裏に建造した恒久基地である。 ソロモンやア・バオア・クーといった小惑星を地球圏に送り出す際にも使用され、ヘリウム輸送船団の基地として 運用されることもあった。 一年戦争に敗れたジオン公国は、地球連邦政府と終戦協定を締結し、ジオン共和国となった。 しかし、一年戦争が終結したその日、共和国となった本国の帰還命令を無視して、温存されていた宇宙艦艇の約半数が 地球圏を脱出。火星と木星の軌道の間の小惑星帯に向けて発進した。 また、ザビ家内部の派閥間の反目などから、戦況の趨勢が決した時点で戦線を離脱した艦艇も多数あったという。 小惑星帯まで逃げ延びた艦隊は、デギン・ザビ公王の側近だったマハラジャ・カーンを指導者として、ザビ家復興を期し、 ドズル・ザビの忘れ形見であるミネバ・ザビを拠り所としてアクシズを目指した。 0081年3月に小惑星帯に辿り着いた艦隊は、2年の歳月をかけて資源採掘用の小惑星アクシズを要塞化し、 総勢3万人にも及ぶ人々を収容するため、居住ブロックとなるモウサを建造。 施設の規模としては初期の球形コロニーに匹敵し、永住も可能であった。 また、地球圏を脱して以来の窮乏生活を続けながらも、MSの開発は継続していた。 そんな状況の中、0081年5月にミネバの母親であるドズルの未亡人ゼナが死去し、 モウサの完成から間もない0083年8月には、マハラジャ・カーンも死去してしまう。 閉鎖空間における指導者の不在は、集団を危機に陥れる。 そこで当時、アクシズにおいてかなりの発言力を有していたシャア・アズナブルは、 当時16歳の少女ハマーン・カーンをミネバの摂政に推薦し、アクシズの首脳部もこれを承認した。 そして、マハラジャの死から二日後、アクシズに新たなる指導者が誕生するのである。 ハマーンはマハラジャの娘であり、彼女の姉はドズルの愛妾であった。 しかし、彼女は血統や情実で選ばれたのではなく、天才と呼ぶにふさわしい指導力と洞察力、政治手腕を合わせ持っていた。 とりわけ、民衆を心酔させるカリスマ性は天性のものであった。 彼女は瞬く間にアクシズを掌握し、父が生存を主眼に置いて指導を行っていたのに対し、 地球圏への帰還とザビ家再興を目標として掲げた。 こうした目標設定は、人心の掌握に非情に有効であり、長期間に渡る窮乏生活や閉鎖された空間に対する人々の不安を緩和し、不満を分散させる効果があった。実際のアクシズに、現在の地球連邦に抗する十分な戦力があるはずもなかったが、 この目標設定は非情に有効に機能した。指導者を喪失し、希望を失いかけていた人々は、ハマーンの言葉を信じることで、 生きる力を取り戻すことができたのだ。 ハマーンは、摂政に就任して間もなく「デラーズ・フリート」の蜂起を知り、2年前の共闘の確約に応える形で 先遣隊を送り出した。 実際にはギレン派、ドズル派、キシリア派が乱立する当時のアクシズの状況を解消したいという思惑も働いていた。 エギーユ・デラーズは、熱烈なギレン信奉者であり、彼とともに闘うことは小異を捨てて大同につくという行動を 自ら示すことにも繋がるからだ。事実、エギーユ・デラーズ自身も作戦遂行中の同志よりの支援に感激し、 艦隊内の結束もより強固なものとなった。 シャアは、ハマーンの補佐役として動いていたが、ハマーンの掲げる地球圏への帰還やザビ家再興が民意を統合する為の 方便ではなく、彼女自身の志向であることを知り、次第にアクシズの意志決定から距離を置くようになっていった。 スペースノイドの自治権確立やニュータイプの覚醒はシャアの目的ではあったものの、ザビ家による独裁政治の復活を 望んでいるわけではなかったからである。この事から、彼はアクシズ内で個人的な協力者を見つけ出す事にした。 「ザビ家による地球圏支配」ではなく、「ジオンの理想とした未来像の実現」を目指す同志を増やしていったのである。 そしてこの事が、ハマーンとの間に更なる溝を作っていく事になるのである。 『アクシズの機動兵器』 アクシズがネオ・ジオンと改称する前の機体。 モビルスーツ AMX-002 ガザB AMX-003 ガザC ガザC ハマーン専用機 AMX-003C ガザC改 AMX-006 ガザD AMX-007 ガザE 試作モビルスーツ MS-09RN シュネー・ヴァイス MS-09RN-2 トゥッシェ・シュヴァルツ MS-14J リゲルグ MS-21C ドラッツェ AMX-004 キュベレイ モビルアーマー AMA-00GR ゼロ・ジ・アール AMA-002 ノイエ・ジール
https://w.atwiki.jp/hakemon/pages/313.html
汎用理論考察 だれでもかきこめる はんようりろんこうさつページだよぉ 歴代アンケート結果と参考スレ 第一回※データなし 第二回 第三回 第四回 ふぇぇ、はんようりろんせんようすれだよお 汎用理論考察 + ... 汎用理論とは -- 名無しさん (2020-01-27 18 05 22) 餓鬼論理の進化系 -- 名無しさん (2020-05-15 21 07 35) ポケモンは 一個体で完結する 戦闘に限界がある、から、あとは、如何に 後続への負担を 軽減して、突破できるタイミング を 逃さないかだよねえ -- 名無しさん (2022-03-01 21 24 47) 名前 コメント 「とんぼがえり」「ボルトチェンジ」はありえるか + ... 一回ハンケートだったと思いますがありえるが多かったです。 -- 名無しさん (2020-02-13 21 05 10) 名前 コメント 「みちづれ」は はんようりろんてきに ありえるのか + ... ありえる -- み (2020-01-23 21 59 25) ありえない -- 名無しさん (2020-05-15 21 07 59) 名前 コメント 「ほじょわざしゅたい」のポケモンはハケモンたりえるか + ... ありえる -- 名無しさん (2020-05-15 21 08 12) 名前 コメント 「うけしゅたいのポケモン」はハケモンたりえるか + ... 相性や数値を利用して殴り合いで最終的に勝てるならありえると思います。 -- 名無しさん (2020-01-06 04 34 35) 汎用性の無いやつはゴミ -- 名無しさん (2020-05-15 21 08 35) 名前 コメント 『ねむり』たいさく あくび キノコのほうし ねむりごな さいみんじゅつ + ... 対策不可能 -- 名無しさん (2020-05-15 21 08 50) 名前 コメント ハーティ神の擁立 + ... だめです -- シナモン (2020-01-23 21 59 52) 汎用理論に神はいない。これは覆すことのできない絶対的な事実である。故に、存在してはならない。 -- 名無しさん (2020-05-15 21 09 54) ハルガモスでいいはい論破 -- 名無しさん (2021-12-26 14 37 20) 名前 コメント
https://w.atwiki.jp/tuttri/pages/377.html
<タイム計測> 目標設定&成果確認のためのタイム計測 頻度としては月に1回ぐらいの予定 【心構え】 5000mを15分切るタイムで走るには,月間600kmを走りこまないといけないと言われている. 僕のベストは恥ずかしながら17分30秒で,そのときは月間250km程度. だいたいそんな目安から,自分の目標を決めて,月間何km走りこむか考えて日々の練習を行ってほしい. どれだけ力が付いているか.それを知るためにも毎月の1000m計測が必要と考えた.がんばってほしい. 鳥本 2012年度 学年 氏名 5/22 7/10 11/6 11/13 11/20 11/27 B4 鳥本 3 10 3 06 3 17 2 59 3 06 大橋 3 26 3 21 3 31 3 31 沖見 3 39 3 40 棚橋 3 12 B3 山蔭 3 35 3 35 3 32 3 37 林 4 17 4 00 4 07 3 52 横田 3 09 DNS DNS DNS 3 19 鈴木 4 01 4 03 4 32 4 15 長谷川 4 34 戸谷 DNS B2 長橋 3 47 3 27 3 33 3 21 3 26 2013年度 学年 氏名 5/21(1km) 6/25(5km) 7/2(5km) M1 鳥本 19 05 大橋 3 28 B4 山蔭 3 23 計測 計測 林 3 47 B3 長橋 3 13 石村 27 24 高柳 3 18 19 31 中島 21 45 深澤 24 08 野上 DNS 川越 24 54 B1 野田 計測 <練習メニュー> ラン練 2013 練習メニュー ①ペース走 10km + WS(流し)4本 ②ビルドアップ走(3kmごと) A. キロ5分半 → 5分 → 4分半 B. キロ5分20秒 → 5分 → 4分40秒 → 4分20秒 C. キロ5分20秒 → 5分 → 4分40秒 → 4分20秒 → 4分 → 1km TT ③インターバル走 (200mを35秒 → 200mを1分20秒で400mトラック5周)× 3セット ④タイム計測 1km計測 + 1時間走 5km計測 + ジョグ (20分) ①~④を週替わり or 参加者のリクエストで実行 ⑤ば~ど キロ5分で2.5km → キロ3分50秒で0.5km × 5セット オプション ⑥LSD(キロ6~7分程度で15 ~ 20km) ⑦外周3周 (3km × 3周) <コメント> 近いうちに5km計測もやりたい... -- ラン隊長 (2013-05-22 23 33 16) このページには関係ありませんが、面白そうな大会を見つけたので。もし良ければページを作ってください。http //triathlon-lumina.com/press_det.html?press_cd=101727 -- ASTROMAN (2013-06-27 21 12 03) 名前 コメント
https://w.atwiki.jp/cryptospace/pages/161.html
情セ大有田研究室のセミナーページです。 共有しておきたい情報、アイデア、予定など自由に書き込んでください。 (メンバー登録は上部メニュー [このウィキに参加] からお願いします。) イベント イベント情報 サイト サイト情報 コード Boneh Franklin encryption scheme トピック Flexible Attribute-Based Encryption 分離認証問題 属性ベース認証 属性ベース認証2 Resettable Argument Resettable Argument 2 対話認証スキームIDKEA0 A Group-Key Agreement Protocol nonmalleableな鍵共有プロトコル KEAクリアコンパイラ Quasi-commitment Functionality Implicit Corrupt Another Composability 楕円曲線暗号 ゲーム理論と暗号理論 輪講発表資料 修士論文 2013年度前期 M2輪講資料 上へ
https://w.atwiki.jp/bennkyoukai/pages/16.html
契約理論の教科書を輪読します。 Text 伊藤秀史『契約の経済理論』 関連文献:Patrick Bolton and Mathias Dewatripont, "Contract Theory" 場所:14 30-@3501 日程: 日時 担当 範囲 6/16 打ち合わせ 6/23 森 1.1.1-1.1.3 6/30 荒井 1.1.4 7/7 西村 1.2 7/14 白石 1.3 8/8 崎元 1.4 8/28 崎元 1.4 10/10 白田 2.1 10/20 木附 2.2 10/27 木附 2.2 11/10 白石 2.2.2 11/17 白石 2.2.2 12/01 白石,荒井 2.2.2,2.3 12/08 森谷 4.1 12/15 森谷,白石 4.1,4.2.1 12/15 白石,荒井 4.2.1,4.2.2 1/19 荒井 4.2.2 1/26 無藤 4.2.3-6 2/9 折原 4.3.1 2/16 西村 4.3.2 2/23 西村 4.3.2 3/2 白石 5.1 3/9 森谷 Comparative Statics in Principal-Agent Problems, R. Holden 3/16 森 5.2 3/16 白石 5.3-5.4.1 3/31 白田 5.4.2,5.4.3 4/06 本多 5.4.4-6 4/14 白石 9.1-2 4/21 無藤 9.3 4/28 西村 9.4 5/12 森 9.5 5/19 白石 7.1 5/26 白石 7.1 6/02 白田 7.1.3 6/09 無藤 7.2 6/16 本多 7.2.1 6/23 西村 7.2.2 6/30 白石 7.2.2 7/06 荒井 6.1.1-2 7/14 西村 6.1.3-6.1.5 7/24 無藤 6.2