並び順

ブックマーク数

期間指定

  • から
  • まで

121 - 160 件 / 351件

新着順 人気順

proofの検索結果121 - 160 件 / 351件

  • Matzにっき(2006-04-25)-The Definitive Proof that Ruby on Rails is enterprise technology

    << 2006/04/ 1 1. [言語] Perlish Magazine 20060401 号 2 1. [教会] 司会 3 1. [原稿] オープンソースマガジン 2006年6月号 4 1. 東京出張 2. [Ruby] .c( whytheluckystiff )o. -- The Fully Upturned Bin 3. [言語] The Scala Programming Language 4. カプセルホテル 5 1. 会社訪問 2. [言語] だめんずうぉ〜か〜 6 1. [Ruby] Drecom Award on Rails 2. [言語] The World's Most Maintainable Programming Language 7 1. 新人研修 2. [原稿] 日経Linux 2006年6月号 3. [Ruby] 島根県のWebサイト,“地元発”の技術

    • GitHub - frohoff/ysoserial: A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.

      You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

        GitHub - frohoff/ysoserial: A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
      • Windows8 UX Workshopに参加してきました。 | future-proof.jp

        先日、4月6日に品川の日本マイクロソフト本社にて開催されたWindows8 UX Workshopに参加してきました。 基本的には、先日カスタマープレビューが公開されたことを受けたIA/UXデザイナー/デベロッパー向けのMetro Style Appの設計手法の講義という内容でした。 講義は、Windows PhoneにおけるUXデザインなども手がけたAvlade社のJennifer Smithと、米Microsoft Windows8チームのBonnie Lau氏の2名でした。 基本的な内容としては、「Metro style design principles」の5原則を詳しく説明したのち、Metro Style Appの設計のワークを行うというもので、基本的なWindows8 UIの紹介がメインでした。 Metroの設計思想として「徹底したクロムの排除」が挙げられます。 ここで言うクロ

        • Proof of Stake とは何か? | block-chain.jp by コンセンサス・ベイス

          【ざっくりまとめると】 ・分散合意形成アルゴリズム(コンセンサス・アルゴリズム)の一つ ・Proof of Work への代替案 ・マイニングによる消費電力がない ・51%攻撃の可能性を低くできる ・コンセンサスに必要な時間が短い ・ASIC等を使った一部のマイナーによる中央集権化のリスクが少ない ・コインを持っている割合(Stake)で、ブロックの承認の割合を決めることを基本とする ・Proof of Stakeを発展させたものが沢山ある 前提知識 以下を知っているものとします。 ビットコイン (Bitcoin) プルーフオブワーク (Proof of Work) ブロックチェーン (blockchain) 51%攻撃 (51% attack) チェックポイント (checkpoint): ビットコインのチェックポイントとは何か? | block-chain.jp Proof of St

            Proof of Stake とは何か? | block-chain.jp by コンセンサス・ベイス
          • GitHub - opersys/gitgeist-poc: A git-based social network proof of concept

            You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

              GitHub - opersys/gitgeist-poc: A git-based social network proof of concept
            • Proof that 22/7 exceeds π - Wikipedia

              Proofs of the mathematical result that the rational number ⁠22/7⁠ is greater than π (pi) date back to antiquity. One of these proofs, more recently developed but requiring only elementary techniques from calculus, has attracted attention in modern mathematics due to its mathematical elegance and its connections to the theory of Diophantine approximations. Stephen Lucas calls this proof "one of the

                Proof that 22/7 exceeds π - Wikipedia
              • EthereumのPoA(Proof of Authority)ネットワークを複数のノードで構築 - Qiita

                背景 最近、Ethereumのプライベートネットワークを構築し、スマートコントラクトを用いたアプリケーションの開発を行っています。 このプライベートネットワークを一般的なProof of Workのコンセンサスアルゴリズムにて構築すると、マイニングの速度が12~13秒程度になるように、difficultyが調整されており、参加ノードが限定されているプライベートネットにおいて、マイニングに対する報酬すら必要ないにもかかわらず、1トランザクション実行する度に10秒以上待たされることや、複雑な問題を解くためにCPUリソースが奪われていき、辛いなと思っていました。 そこで、なんとかして、difficultyを低くしたいと思っていましたが、Proof of Workでは difficultyを定数にする設定はなく、gethのソースコードであるgo-ethereumのCalcDifficulty関数の

                  EthereumのPoA(Proof of Authority)ネットワークを複数のノードで構築 - Qiita
                • GitHub - pwnall/chromeview: Proof of concept Android WebView implementation based on Chromium code

                  You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                    GitHub - pwnall/chromeview: Proof of concept Android WebView implementation based on Chromium code
                  • Elegant Six-Page Proof Reveals the Emergence of Random Structure | Quanta Magazine

                    When the mathematicians Jeff Kahn and Gil Kalai first posed their “expectation threshold” conjecture in 2006, they didn’t believe it themselves. Their claim — a broad assertion about mathematical objects called random graphs — seemed too strong, too all-encompassing, too bold to possibly be true. It felt more like wishful thinking than a reflection of mathematical truth. Even so, no one could prov

                      Elegant Six-Page Proof Reveals the Emergence of Random Structure | Quanta Magazine
                    • GitHub - yyx990803/vue-lit: Proof of concept custom elements "framework"

                      <my-component></my-component> <script type="module"> import { defineComponent, reactive, html, onMounted, onUpdated, onUnmounted } from 'https://unpkg.com/@vue/lit' defineComponent('my-component', () => { const state = reactive({ text: 'hello', show: true }) const toggle = () => { state.show = !state.show } const onInput = e => { state.text = e.target.value } return () => html` <button @click=${to

                        GitHub - yyx990803/vue-lit: Proof of concept custom elements "framework"
                      • The Incredible Proof Machine – Blog – Joachim Breitner's Homepage

                        In a few weeks, I will have the opportunity to offer a weekend workshop to selected and motivated high school students1 to a topic of my choice. My idea is to tell them something about logic, proofs, and the joy of searching and finding proofs, and the gratification of irrevocable truths. While proving things on paper is already quite nice, it is much more fun to use an interactive theorem prover,

                        • CMOはProof of Business Conceptを理解せよ、マーケティングにもIT投資にも使える

                          CMOはProof of Business Conceptを理解せよ、マーケティングにもIT投資にも使える 前回は、マーケティングにテクノロジーを活用する必要性から、今後はCMOが関わるIT投資が増えることは間違いないことに触れた。 また第2回で書いたように、CMOはマーケティングテクノロジストの側面が求められる。マーケティング施策で新たなテクノロジーを活用する時や、小さなPD(CA)∞サイクルを回すためにデータやテクノロジーを活用して振り返りをする時などである。 CMOがシステム開発の素人だったとしても、それ故にIT業界の“常識”に流されることなく、純粋にマーケティングの観点から目的に沿ってテクノロジー活用を考えられる。 これまで書いてきたように、今後はマーケティング全体で小さなPD(CA)∞サイクルを回すことが当たり前になってくる。すると必然的に、同じ流れがIT投資でも起きる。CMOは

                            CMOはProof of Business Conceptを理解せよ、マーケティングにもIT投資にも使える
                          • GitHub - clarus/falso: A proof of false in Coq.

                            You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                              GitHub - clarus/falso: A proof of false in Coq.
                            • David"Fingerrs" Haynes and Alvin Mills Doing Actual Proof

                              The video that started it all.. David and Alvin doing their version of Actual Peoof by Herbie Hancock

                                David"Fingerrs" Haynes and Alvin Mills Doing Actual Proof
                              • World IA Day2013 Japan 無事に終了しました。 | future-proof.jp

                                World IA Day2013が無事に終了しました。 僕は今年も運営チームとしてお手伝いさせていただきました。 今年のテーマは「Exploring and Expanding the Ontologies of IA(IAの価値体系を探求・拡大する)」として、集合知 × IAの観点でセッションを設計しました。 登壇いただくスピーカーの片側もWebサービス設計など、いわゆるインフォメーションアーキテクトという人ではない人に登壇いただいたのですが、結果としてかなりIAというものを考えるいいきっかけになるような体系化されたセッションになったと思います。 個人的には、楽天の森さんがセッションで扱った「ビッグデータと、クラスタリング・マイニングの視点、機械と人が協調する」という視点と、Gunosyの関さんの推薦エンジンのセッションの繋がりはよかったと思います。 Gunosyは僕個人的に、今回一

                                • GitHub - supership-jp/activerecord-spanner-adapter: Trying to implement a proof-of-concept of Spanner support in ActiveRecord

                                  You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                                    GitHub - supership-jp/activerecord-spanner-adapter: Trying to implement a proof-of-concept of Spanner support in ActiveRecord
                                  • Cornerz - Bullet Proof Curved Corners using Canvas/VML

                                    Cornerz v0.2 Bullet Proof Corners plugin for jQuery using Canvas/VML Jonah Fox (jonah@parkerfox.co.uk) 2008 Usage: $('.myclass').curve(options) options is a hash with the following parameters. Bracketed is the default radius (10) borderWidth (read from BorderTopWidth or 0) background ("white"). Note that this is not calculated from the HTML as it is expensive borderColor (read from BorderTopColor

                                    • Future proof » Tim’s laptop service manuals

                                      Blog Categories 7.04 (3) blog (74) drivers (8) gaming (5) life (57) linux (7) music (2) mythtv (1) rant (18) review (17) techsup (36) ubuntu (4) whinge (7) windows (33) work (63) wtf (27) Blog Archives November 2012 February 2011 October 2010 June 2010 March 2010 February 2010 December 2009 November 2009 October 2009 September 2009 August 2009 July 2009 June 2009 May 2009 April 2009 March 2009 Feb

                                      • GitHub - timwr/CVE-2016-5195: CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android

                                        $ make root ndk-build NDK_PROJECT_PATH=. APP_BUILD_SCRIPT=./Android.mk APP_PLATFORM=android-16 make[1]: Entering directory '/home/user/dev/git/exploits/CVE-2016-5195' [arm64-v8a] Install : dirtycow => libs/arm64-v8a/dirtycow [arm64-v8a] Install : run-as => libs/arm64-v8a/run-as [x86_64] Install : dirtycow => libs/x86_64/dirtycow [x86_64] Install : run-as => libs/x86_64/run-as [mips64] Install : di

                                          GitHub - timwr/CVE-2016-5195: CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android
                                        • How Panasonic Avionics designed its Astrova IFE to be future-proof - Runway Girl

                                          Runway Girl Network uses cookies. By using our site you consent to the use of cookies in accordance with our Privacy Policy. A lot of airlines carry the same inflight entertainment system on board their aircraft for as long as ten or 15 years. But IFE screens and associated technology typically evolve at a much faster pace than aircraft seats and other interiors. That’s why, when Panasonic Avionic

                                            How Panasonic Avionics designed its Astrova IFE to be future-proof - Runway Girl
                                          • お手軽なiPhone防水ケースなら780円の安くてお洒落な「Splash Proof Case」がいい感じ|男子ハック

                                            iPhoneアクセサリiPhone ケースお手軽なiPhone防水ケースなら780円の安くてお洒落な「Splash Proof Case」がいい感じ2013年8月11日63 @JUNP_Nです。ちょっと水に近い場所でアクティブに活動する予定があったので先日オープンしたAppBank Store新宿店で防水ケースを購入!試しに使ってみました。

                                              お手軽なiPhone防水ケースなら780円の安くてお洒落な「Splash Proof Case」がいい感じ|男子ハック
                                            • China unveils world’s 1st meltdown-proof nuclear reactor with 105 MW capacity

                                              The commercial scale High-Temperature Gas-Cooled Reactor Pebble-Bed Module (HTR-PM) in Shandong, China Cell In a global first, researchers at Tsinghua University in China have successfully demonstrated a meltdown-proof nuclear fission reactor. The twin reactor design can generate 105 MW of power each and has been in the works since 2016. The technology is a welcome step for the nuclear energy indu

                                                China unveils world’s 1st meltdown-proof nuclear reactor with 105 MW capacity
                                              • GitHub - rockymadden/scala-node: :link: Proof of concept to determine if Scala.js could be leveraged to make a Node.js module. It can.

                                                You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                                                  GitHub - rockymadden/scala-node: :link: Proof of concept to determine if Scala.js could be leveraged to make a Node.js module. It can.
                                                • An ABC proof too tough even for mathematicians - The Boston Globe

                                                  Shinichi Mochizuki, a Japanese mathematician who claims to have solved the ABC conjecture.handout On Aug. 30, a Japanese mathematician named Shinichi Mochizuki posted four papers to his faculty website at Kyoto University. Rumors had been spreading all summer that Mochizuki was onto something big, and in the abstract to the fourth paper Mochizuki explained that, indeed, his project was as grand as

                                                    An ABC proof too tough even for mathematicians - The Boston Globe
                                                  • GitHub - AtnNn/rethinkdb-stream: Proof of concept for streaming binary data using RethinkDB changes

                                                    You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                                                      GitHub - AtnNn/rethinkdb-stream: Proof of concept for streaming binary data using RethinkDB changes
                                                    • World IA Day2012、無事終了しました。 | future-proof.jp

                                                      World IA Day2012、無事に終了しました。 今回はスタッフ、パネル登壇と個人的には楽しみまくって、まだちょっと楽しい余韻に浸ってる感じなのですがとりあえずまとめを書いてみようと思います。 すでにいくつかのスライドはアップされているようです。 全体について 僕個人的には、今回のWorld IA Day2012 TOKYOはセッションすべての関連性で「理解のデザイン」に迫っているなぁ、と感じてます。 キーノートの坂本さんのセッションでの「OpenUMプロジェクト」や、ソシオメディア上野さんのセッションに見る「モードレス」なUIデザインという、実際の取り組みに関する話題から、千葉工大安藤先生のUXについての定義付けや、青山学院大学山田さんの「行動経済学」、僕もパネルで参加したUX TOKYO前田さんの「ストーリーテリング」といった「ユーザの行動に迫る分野」というインタラクション/

                                                      • Proof of Stake and our next experiments in web3

                                                        A little under four years ago we announced Cloudflare's first experiments in web3 with our gateway to the InterPlanetary File System (IPFS). Three years ago we announced our experimental Ethereum Gateway. At Cloudflare, we often take experimental bets on the future of the Internet to help new technologies gain maturity and stability and for us to gain deep understanding of them. Four years after o

                                                        • 【まとめ】WebSig会議 vol.33「感覚的アプローチからのスマホUIデザイン」を行いました。 | future-proof.jp

                                                          先日、6/29にmixiさんをお借りして33回目となるWebSig 24/7が実施されました。 テーマは「感覚的アプローチからのスマホUIデザイン」。 今回は、モデレータとして運営側になり、初めての開催となりました。 WebSigには数年前からちょくちょく参加するようになり、モデレータのメンバーとも何度かやりとりしているうちに気がついたら、モデレータになっていましたw 「良いスマホアプリを作るのはWebよりはるかに難しくね?」 これが、最初の課題意識への問いかけだったのですが、これに対して考えたのは、 スマホのタッチインターフェースは、マウスと違って画面を直接触れるようになったことでより「感触」や「心地」が重要な要素になった 「感触」や「心地」のような部分はいままでの「メディア」としてのPC Webサイトではあまり語られなかった部分であり、UXデザインや、サービスデザインのような戦略か

                                                          • A Spectre proof-of-concept for a Spectre-proof web

                                                            The latest news and insights from Google on security and safety on the Internet

                                                              A Spectre proof-of-concept for a Spectre-proof web
                                                            • GitHub - mubix/shellshocker-pocs: Collection of Proof of Concepts and Potential Targets for #ShellShocker

                                                              You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

                                                                GitHub - mubix/shellshocker-pocs: Collection of Proof of Concepts and Potential Targets for #ShellShocker
                                                              • CommandProxy : .NET / AIR Integration Proof of Concept

                                                                Two of the most requested features for Adobe AIR have been the ability to launch native executables from an AIR application, and the ability to integrate native libraries into an AIR application. Unfortunately, neither feature will be included in Adobe AIR 1.0. However, this does not mean that you cannot build an AIR application that has closer / tighter integration with the underlying operating s

                                                                • For Mr. Marano: Proof that your “good friend” hid behind a pseudonym to propagate hate - Japan-U.S. Feminist Network for Decolonization (FeND)

                                                                  For Mr. Marano: Proof that your “good friend” hid behind a pseudonym to propagate hate In our last post, we exposed that Shunichi Fujiki a.k.a. “Shun Ferguson” (Japanese representative of “comfort women” denier “Texas Daddy” a.k.a. Tony Marano) had used the pseudonym “Comfort women trying to get second big money” and the fake email address “comfortwomenistotallieofgreedykorean@givememoney.co.kr” t

                                                                    For Mr. Marano: Proof that your “good friend” hid behind a pseudonym to propagate hate - Japan-U.S. Feminist Network for Decolonization (FeND)
                                                                  • Setup your own private Proof-of-Authority Ethereum network with Geth | HackerNoon

                                                                    Setup your own private Proof-of-Authority Ethereum network with Geth by@ethervolution

                                                                      Setup your own private Proof-of-Authority Ethereum network with Geth | HackerNoon
                                                                    • サービスデザインをメタな視点で捉えるということ | future-proof.jp

                                                                      DevLoveが主催する「メタ・サービスデザイン – 情報アーキテクチャの観点から捉えるサービスデザイン?」に参加してきました。 講師はコンセントの坂田さん。 最近(といってもここ数年の間)、UX/IAまわりでの議論の中に「サービスデザイン」だとか、「UX戦略」というキーワードをよく聞きます。 企業であるとか、事業の単位であるとか、広い視点から捉えてサービスや体験を設計することで、一貫性があり、包括的な設計を可能にする「手法」だと個人的には認識しています。 サービスデザインは、組織が内包する問題をあらわにする UXデザインにしても、IAという領域にしても「理想とする形」を追い求めれば求めるほど、行き着く問題は組織上の課題、企業文化に関する課題、事業構造に関する課題、など一朝一夕での解決や改善が難しい難題に行き着くと思っています。 サービスデザインという考え方は、「ユーザのために最適なサ

                                                                      • iPhone Windowed HTTP Live Streaming Using Amazon S3 and Cloudfront Proof of Concept | IONCANNON

                                                                        • Proof of burn. コインを燃やすとは? - ビットコインダンジョン2.0

                                                                          ビットコインは実際には存在しないもので、ブロックチェーン上に記録された台帳のバランスを表示したものに過ぎません。紙幣のように燃やしてこの世から消してしまうということは、できないように思いますが、Proof of Burnという仕組みでコインをある意味燃やしてしまう手法というのが、確立されてきています。 どうやって実体がないものを燃やすのか?そもそも何のためにコインを燃やすのか?そしてそれがCNPCoinとはどういう関係があるのかについて説明したいと思います。 Burnとは何か? では、Burnとは具体的にどのような行動を指すのでしょうか? (Bitcoinのburnとは、物理的にPaper walletを燃やすことではないのです) 一言で言うと、確率的にほぼ間違いなく使用不可能なPublic Addressにコインを送ることで、そのコインを使用不可能にすることです。それと同時に、そのコイン

                                                                            Proof of burn. コインを燃やすとは? - ビットコインダンジョン2.0
                                                                          • カラフル手袋が次世代インタフェースに(Hand-tracking proof) : monogocoro ものごころ

                                                                            popular 12 フリーの波が家具にも(Recession Design) テレビの原点(A new dimension in television) 人間犬(NingenDog) 暗くなると花開くライト(Morning Glory) 暗くなると花開くライト(Morning Glory) シリンダー住宅(Roll-it) F-35が垂直に飛び立つ仕組み(How:F-35 STOVL) How great leaders inspire action How great leaders inspire action Arduinoが子供のオモチャになる(modkit) 陽当たりイメージライト(Daylight Entrance) 森の船着き場(Mom’s Retreat) random 12 待望の生録レコーダー。[linear PCM recorder PCM-D50 by sony]

                                                                            • Proof of work - Wikipedia

                                                                              Proof of work (PoW) is a form of cryptographic proof in which one party (the prover) proves to others (the verifiers) that a certain amount of a specific computational effort has been expended.[1] Verifiers can subsequently confirm this expenditure with minimal effort on their part. The concept was invented by Moni Naor and Cynthia Dwork in 1993 as a way to deter denial-of-service attacks and othe

                                                                              • t-proof-air-gadget.net

                                                                                This domain may be for sale!

                                                                                  t-proof-air-gadget.net
                                                                                • PyPy.js Update: A Proof-of-Concept JIT

                                                                                  Two weeks ago I hatched a plan to port Python to the Web Platform by using Emscripten to translate PyPy into JavaScript. My hope is to produce something than can run in the browser with performance comparable to a standard Python interpreter, a hope which hinges on two key ingredients: PyPy's powerful just-in-time compiler, which can optimize the hot loops of your program into efficient native cod