社内のIA（情報アーキテクチャ）研修の講師をしてみた。：そのフォローアップ | future-proof.jp
ちょっと前になりますが、自分が現在所属している会社の研修の一環で「情報アーキテクチャ」をテーマにした講座の講師を拝命して研修を行いました。 対象はおもに若手社員、というターゲットが設定されていて、講座は全3回となぜかきまっていました。 正直、3回もネタが持つかなー、と思ったり聴いてくれる人も中だるみ感がないようにしたいな、と思っていろいろ考えました。 考えた結果、講座は ・過去 ・現在 ・未来 の3軸に分けることにしました。 なぜ、そうしたかというと若手をターゲットにしていたので、若手に「Web業界でなぜIAが必要とされるようになってきたか」、を知ってほしいと思ったからでした。 それを知ることで、僕らが相手にしているクライアントさんがどういう課題意識を持って、僕らにご相談いただいているのか、プロジェクトを進める過程でどういう悩みを持って僕らと対峙しているのか、という部分を少しでもわか
自分が死んだ時、大切な人にメッセージを届けてくれるサービス「Proof of Life」 | ライフハッカー・ジャパン
デスク配線がスッキリ。Ankerの全部入り12 in 1モニタースタンドが突然8,250円OFFされてた #Amazonセール
iPhoneを水没させてしまった、落として画面を割ってしまった──そういった失敗談をよく耳にする。今回紹介するのは、そんな失敗をしてしまった人やスポーツやアウトドアの環境でiPhone使いたいという人にピッタリのiPhoneケースだ。 軍用規格を通る耐久性でiPhoneを保護 「LIFE PROOF」（8800円）は単なるiPhoneケースではない。「水」「雪」「塵」「衝撃」という4つの外的要因からiPhoneを保護する機能を持つ。 保護等級クラス最高（IP68）を誇り、泥や砂、塵だけでなく、水や雪、さらには衝撃からもiPhoneを守ってくれるのが最大の特長だ。 iPhoneを落としたときの強い衝撃に耐えられるよう、米軍用規格の落下テスト（MIL-STD-810F-516.5）を経て設計されたもの。本体自体はタフなポリカーボネートのフレームから構成され、2mもの高さからすべての面や角をコン
If you have a file called todo.txt on your computer right now, you're in the right place. So many power users try dozens of complicated todo list software applications, only to go right back to their trusty todo.txt file. But it's not easy to open todo.txt, make a change, and save it—especially on your touchscreen device and at the command line. Todo.txt apps solve that problem. Simplicity is todo
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain f
Build a proof of concept | Android Things | Android Developers
Modern Android Quickly bring your app to life with less code, using a modern declarative approach to UI, and the simplicity of Kotlin.
Magic provides the leading wallet-as-a-service plus essential NFT capabilities.
2018年9月20日、Quanta Magazine "Titans of Mathematics Clash Over Epic Proof of ABC Conjecture" の翻訳
tar0log.tumblr.com tar0.tumblr.com | taro.haun.org | @tar0zzz | @4bungi | @4bungi | suzuri Tags: abc, eht, life, mini, prfm, photo, ringo, sci, writing Feb 21, 2023: My blog has moved to 4bungi.jp/blog/. I will keep this tumblr so the links will not be broken, but I am also copying the articles I have posted here to 4bungi.jp. Life is like riding a bicycle. To keep your balance you must keep movin
Formalization and Proof of Distributed Systems (ja)
分散システムの形式化と証明について ＠情報システム特別講義D 2016年度筑波大学
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
If you have a file called todo.txt on your computer right now, you're in the right place. So many power users try dozens of complicated todo list software applications, only to go right back to their trusty todo.txt file. But it's not easy to open todo.txt, make a change, and save it—especially on your touchscreen device and at the command line. Todo.txt apps solve that problem. Simplicity is todo
Adding Social Proof to Your Website with Client Logos & Press Mentions - Designmodo
Add Brands That Everyone Knows First and foremost, you need brands that people trust. That’s the whole idea behind social proof. You want to add logos onto your page that people recognize and will say “if they use this website then it MUST be good”. Take a look at the SatisMeter homepage and see if you can find the “happy customers” logo section. How many of those companies do you recognize? You m
GitHub - nebulet/nebulet: A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Nebulet is a Google Summer of Code project started during the summer of 2018. More details about Nebulet and GSoC are here. Under the hood, Nebulet is a microkernel that executes WebAssembly modules in ring 0 and a single address space to increase performance. This allows for low context-switch overhead, syscalls just being function calls, and exotic optimizations that simply would not be possible
Life Proof Story | ずっと、守ってあげる
前作よりも一回り大きくなったiPhone6は、ついに手のひらサイズの域を越えました。そうなると、懸念されるのはやはり「落下」でしょう。 地上2メートルからの落下テストに耐えた回数は、なんと26。もしも、あなたの身長が2メートルを越していなければ、LIFEPROOFをまとったスマートフォンを手に取り、腕を前に突き出して、どうぞ手を離してみてください。何事もなかったかのように、その端末はいつも通りの動作をすることでしょう。 そうは言っても、万が一ということがあります。LIFEPROOFをご利用中にお客様の端末に不具合が起こってしまった場合、各端末機（修理費用）を360日間保証します（※1）。 スマートフォンケースで、このような保証サービスを提供しているのはLIFEPROOFだけ（※2）。 それほど製品に自信がある、という私たちの想いの裏返しだと思っていただければ幸いです。
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017
CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Reynald Affeldt, Jacques Garrigue IPSJ SIGPRO 114, 2017-06-09, will be appear at IPSJ JIP. ● ここで出てくる plugin は github にあります – https://github.com/akr/monomorphization – https://github.com/akr/monadification
Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem
Recently, two teenage girls — Calcea Johnson and Ne’Kiya Jackson — gave a presentation to the American Mathematical Society where they demonstrated a new proof of the Pythagorean Theorem. Their proof has caused quite a stir. One reason for the stir delights me and makes me incredibly happy as a teacher of mathematics. By all accounts, these two teenage math…
Mathematical proof that rocked number theory will be published
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
anarchy proof -
Anarchy Proof This is a proof server. You can enjoy theorem proving here in several languages (one language). The list of all problems Create a new problems News return top
続かないものはブログにしてしまえ、という教えがある（どこかで聞いた）。 そう考えるとProof Purchaseはナイスなアイディアではないか。 このサイトでは日々のレシートにコメントを書き込んでアップしている。 いわゆる日記＋購買記録ブログである。たったそれだけではあるが、誰もが悩んでいる「あれぇ、いつの間にか財布が空？」という状態から（ある程度）脱することができるだろう。 レシートをブログのコンテンツにすることにより、もっと意識的に自分の購買行動を自覚できるからだ。 なにか続けたいものがある人はこういうやり方を参考にしてみてはどうだろう。
Bunnies can fly...proof
Our little bunny that we found in the garage. Fed him for a week and let him go. Unfortunately the hawk had other plans... :( This video is licensed and protected by this YouTube Channel. For licensing or usage, contact licensing@viralhog.com **Update** and answers to some questions: 1) It is %100 real video, no editing and it was filmed with a Motorola Droid Rzr Maxx HD 2) The mommy bunny ca
楽しいお酒はつい飲み過ぎてしまい、自分でもわからないうちに泥酔してしまうことがあります。そんな自分では注意するのが難しい「飲み過ぎ」を防いでくれるウェアラブルデバイスが「Proof」です。ブレスレット型のデバイスを装着しているだけで皮膚から血中のアルコール濃度を検知し、飲み過ぎる前にスマートフォンに通知してくれるほか、身体からお酒が抜けるまでの時間まで計算することが可能です。 Proof Wearable https://www.proofwearable.com/ Proofはブレスレット型のウェアラブルデバイスで、皮膚からアルコール分子を読み取ることで、血中アルコールレベル(BACレベル)をトラッキングしてくれます。 アルコール分子を読み取るメカニズムは、特許出願中の使い捨てカートリッジによるもの。カートリッジには酵素ベースの電気化学センサーを搭載しており、アルコールを電流に変換するこ
The biggest mystery in mathematics: Shinichi Mochizuki and the impenetrable proof - Nature
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
GitHub - google/security-research: This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code. We believe that vulnerability disclosure is a two-way street. Vendors, as well as researchers, must act responsibly. This is why Google adheres to a 90-day disclosure deadline. We notify vendors of vulnerabilities immediately, with details shar
PoC（Proof of Concept）よみ：ぴーおーしー（ぷるーふ・おぶ・こんせぷと） PoCとは、Proof of Conceptの略で、「概念実証」という意味です。新しい概念や理論、原理、アイディアの実証を目的とした、試作開発の前段階における検証やデモンストレーションを指します。 「概念実証」という言葉自体は新しいものではありませんが、IoT（モノのインターネット）やM2M、AI（人工知能）など「新しい概念」に基づいたサービス提供においては、付加価値やサービス、ソリューションの仕様を検証・実証する際に、重要なプロセスとなります。このような新しい概念によるサービスは、全体の仕様決定が難しいため、この概念実証（PoC）を繰り返しながら、少しずつ対応領域を広げていくことが適しているといわれています。
Behind Wolfram|Alpha’s Mathematical Induction-Based Proof Generator—Wolfram Blog
An idea, some initiative, and great resources allowed me to design and create the world’s first online syntax-free proof generator using induction, which recently went live on Wolfram|Alpha. Motivation It is no secret that Wolfram|Alpha is a well-used tool for math students, especially those taking first-year college and university math courses. In fact, one of the most common responses I receive
Introduction F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or
by DeclanTM ウェブサービスのアカウント情報を保護する目的で、手持ちのスマートフォンなどに認証番号を送信して二重のログインを行う「2段階認証」は、万が一パスワードが漏れてしまった際にもアカウントの乗っ取りを防げる有効的な手段です。しかし、2段階認証ではスマートフォンに表示される認証番号を読み取ってPCに入力する必要があり、通常のログインよりも時間と手間がかかります。そんな面倒な作業を省いて、周囲の「音」を使うことで自動的に2段階認証を行う「Sound-Proof」が発表されました。 Sound-Proof http://sound-proof.ch/ Sound-Proof: Usable Two-Factor Authentication Based on Ambient Sound | USENIX https://www.usenix.org/conference/usen
UI Crunchに運良く参加できたので、自分とデザインの関わりについて振り返ってみた。 | future-proof.jp
Post navigation ← Previous UI Crunchに運良く参加できたので、自分とデザインの関わりについて振り返ってみた。 DeNAさん、グッドパッチさんがオーガナイズするイベントUI Crunchに行ってきました。 前回のVol.1は気づくのが遅く瞬殺で埋まった後、という感じだったのですが今回はいろいろありまして運良く参加することができました。 今回のテーマはズバリ「UIデザイナー不要説」について。 テーマ設定も旬なのですが、実際に「UIデザイナー不要説」の中の人を登壇者で呼んじゃうあたりがヤバイなぁ、と思いつつほかにもトレタの吉田さん、nanapiの上谷さん、BASEのえふしんさんなど豪華な顔ぶれがそれぞれの立場からUIデザイナーについて語る、というたてつけ。 それぞれのセッションは誰かがラップアップしてくれものだと信じて、僕は話を聞きながら思ったことを書き連ねて
Webディレクター:blog | iphone3GSでAR(現実拡張)地下鉄案内アプリ「Nearest Subway Augmented Reality」 « future-proof.jp
web業界のこと、趣味のこと都市の交通網は利便性を高める為に複雑に絡み合い運用されていて、地方から出てくるとまるで迷路のように入り組んでいます。今日紹介するのはiphone3GSで実現するAR(現実拡張)地下鉄案内アプリ「Nearest Subway Augmented Reality」です。 カメラで地下鉄の構内を撮影すると、撮影している方向に地下鉄の駅が重なり表示され、駅までの距離やなどの情報が表示されます。 現在、Beta Testers版まで完成されているそうで、現在アップルの承認待ちで通過次第リリースされるそうです。App Storeでの販売実現する事でついにARが手元にやってきた感じがしますね。今後こういったAR系のアプリが実際市場価値があるのか？利便性があるのかの試金石になりそうです。
GitHub - Polight/lego: 🚀 Low-Tech Web-Components Made Lightweight & Future-Proof.
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
【鏡音リン】proof of life【オリジナル】
リン初投稿です。レンのsoundless voiceにアンサーソングを作ってみました★イラストはyuccoさん、えーりさんに描いてもらいました。■ 前作→sm4977896■ 作ったもの→mylist/8159174
An all-in-one marketing solution, purpose-built to scale your campaigns.
GitHub - standardrb/standard: Ruby's bikeshed-proof linter and formatter 🚲
The standard gem brings the ethos of StandardJS to Ruby. It's a linter & formatter built on RuboCop and provides an unconfigurable configuration to all of RuboCop's built-in rules as well as those included in rubocop-performance. It also supports plugins built with lint_roller, like standard-rails. Standard Ruby was created and is maintained by the team at Test Double, because we appreciate the im
Mercari Advent Calendar 2017の8日目はブロックチェーンについてです。 7日目は、@keita0qさんの tech.mercari.com でした。 「ブロックチェーン x 分散ファイルシステム」に興味がある方は、@stanakaさんの tech.mercari.com をご覧ください。 今日は、@zaq1tomoがサンフランシスコからお送りします。 はじめに 今回は、ブロックチェーンにおける主要技術のひとつ コンセンサスアルゴリズム（合意形成アルゴリズム）についての投稿です。 Proof of Work Proof of Stake Proof of Importance 他にも多くのアルゴリズムが提案されていますが、今回は最も代表的なBitcoinの Proof of Work（PoW） についてまとめたいと思います。 Proof of Work（PoW） W
Proof of Work考、あるいは暗号通貨システムのガバナンスについて - Qiita
はじめに 全国のEthereumファンの皆様や暗号通貨評論家の各位やブロックチェーンマニアの諸兄姉には、いかがお過ごしでしょうか。 2016年1月末に書いた別の記事で、ETHの相場がすごく高騰しているというようなことを書きましたが、今ではETHの相場は、その1月末時点から比べてもさらに３倍以上に高騰しています。なんでもっと大量に買っておかなかったんでしょうか。バカですね。ほっといてくださいよ。 この記事では、中本哲史のBitcoinホワイトペーパー以来の暗号通貨界における一つの重要な伝統である「Proof of Work」について、少し掘り下げて考えてみたいと思います。その際の話の枕として、EthereumにおけるProof of Workのアルゴリズムである「Ethash」のコンセプトについて批判的な検討を加えることにします。Ethereumファンの皆様にはすみませんが、相場が上がってる
Proof General
What is Proof General? Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh, mainly by David Aspinall, with contributions from other sites. It is distributed under the conditions of the GNU General Public License v3.0
Proof Market
This is a proof market for Coq. The list of all problems Create a new problem Recent answers How to get proofs done for bitcoins Create a new problem wait for somebody to solve the problem on recent entries pay bitcoins see the proof How to get bitcoins for proving find a problem on the list of all problems (optional) contact possible payers solve the problem post your solution with a price and yo
Many people are surprised to learn that sed, a seemingly simple text filtering program, is actually Turing complete. This realization prompts the question: how can a text processing utility achieve such computational power? The answer lies in sed's fundamental operations. Essentially, sed functions as a miniature assembly language, equipped with a comparison operation, branching capabilities, and
This domain may be for sale!
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
軍用試験に耐えたスリムな最強iPhoneケース「LIFE PROOF」
Todo.txt: Future-proof task tracking in a file you control
Welcome! | The Coq Proof Assistant
Magic: Future-proof passwordless authentication
Proof claimed for deep connection between primes - Nature
Todo.txt: Future-proof task tracking in a file you control
日々のレシートにコメントをつけてアップしている『Proof Purchase』 | 100SHIKI
どれくらい酔っているか、いつシラフになるかを通知するウェアラブルデバイス「Proof」
PoC（Proof of Concept） | IoT用語辞典 | キーエンス
F*: A Proof-Oriented Programming Language
A SIMPLE PROOF OF THE GEOMETRIC-ARITHMETIC MEAN INEQUALITY (PDF)
「音」を使ってオンラインアカウントの2段階認証を行う「Sound-Proof」とは？
Future proof your business with GTM AI
【Proof of X】ブロックチェーンの意思はどのように決まるか | メルカリエンジニアリング
A Proof That Unix Utility Sed Is Turing Complete
t-proof-air-gadget.net