Shumpei Shiraishi's Weblog: Web開発を革命する（かも知れない）Web Componentsという仕様について
2012年12月25日火曜日 Web開発を革命する（かも知れない）Web Componentsという仕様について Web Componentsは、現在のところ余りまとまった日本語の情報がないようですが、Web開発を大きく、本当に大きく変える可能性を持つテクノロジーです。 Web Componentsは、現在のWebが抱える大きな問題点を解決する手段としてW3Cで仕様が策定中です。仕様策定を主導しているのはGoogleで、現時点ではGoogle Chrome（WebKit）がWeb Components（の一部）を実装している唯一のブラウザです。 Google Japanのエンジニアも、Web Componentsの実装には深く関わっているとのことなので、そのうち日本語の情報も充実してくると思われますが、本エントリはそれまでのつなぎ、ということで書いてみたいと思います。 しかし、Web Co
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Rolling shutter - Wikipedia
This article is about the image capture method. For the type of window shutter, see Roller shutter. Animation showing the rolling shutter effect A de Havilland Canada Dash 8 Q-400 six-blade propeller, with severe rolling-shutter distortion from a Pixel 3 camera A Eurocopter EC-120 helicopter – the rotor blades seem to be swept back more than usual due to the rolling-shutter effect. Simulation of t
Gitの競合（コンフリクト）を解決する手順 | Act as Professional
Pull Requestをためたりなどして、マージする競合（コンフリクト）が発生すると、GitHubでは自動マージできないためこの様な表示になる。 この様なときの解決方法は、競合が発生しているため、人間が判断して取り込む必要がある。 自分のリポジトリへマージするまず、Pull Requestを受け取ったリポジトリを最新の状態にする。 $ git clone git@github.com:hirocaster/wdpress69.git Cloning into 'wdpress69'... remote: Counting objects: 236, done. remote: Compressing objects: 100% (122/122), done. remote: Total 236 (delta 134), reused 211 (delta 111) Receiving
บาคาร่าออนไลน์ Baccarat99 เว็บตรง ทางเข้าสมัครสมาชิก ฟรี 300
ท้าทาย เพิ่มเติมประสบการณ์ รวมไปถึงลุ้นเงินรางวัลได้อย่างมีอิสระ บาคาร่า99 ทางเลือกที่จะเข้ามาเติมเต็มให้กับนักพนันทุกคนอย่างทั่วถึง สำหรับคนทั่วไปที่มีความสนใจตัวเกมพนันออนไลน์ อยากจะให้เริ่มต้นกับทาง บาคาร่า99th ที่มีการเน้นบริการเกมพนันยอดนิยมระดับโลกอย่าง Baccarat เกมพนันที่กลายมาเป็นอันดับที่ 1 สามารถครองใจนักพนันไปทั่วโลก เนื่องจากว่าขึ้นชื่อว่าเกมพนัน จะต้องง่ายและหลากหลาย สามารถตอบสนองทั้ง
Common Crawl - Open Repository of Web Crawl Data
Common Crawl maintains a free, open repository of web crawl data that can be used by anyone.Common Crawl is a 501(c)(3) non–profit founded in 2007. We make wholesale extraction, transformation and analysis of open web data accessible to researchers.Overview Over 250 billion pages spanning 15 years.Free and open corpus since 2007.Cited in over 10,000 research papers.3–5 billion new pages added ea
The Anatomy of a Search Engine
Computer Science Department, Stanford University, Stanford, CA 94305 In this paper, we present Google, a prototype of a large-scale search engine which makes heavy use of the structure present in hypertext. Google is designed to crawl and index the Web efficiently and produce much more satisfying search results than existing systems. The prototype with a full text and hyperlink database of at leas
The Turing Digital Archive
Alan Turing (1912-54) Turing is best-known for helping decipher the code created by German Enigma machines in the Second World War, and for being one of the founders of computer science and artificial intelligence. WelcomeThis digital archive contains many of Turing's letters, transcriptions of talks, photographs and unpublished papers, as well as memoirs and obituaries written about him. It conta
Web crawler - Wikipedia
This article is about the internet bot. For the search engine, see WebCrawler. "Web spider" redirects here. Not to be confused with Spider web. "Spiderbot" redirects here. For the video game, see Arac (video game). Architecture of a Web crawler A Web crawler, sometimes called a spider or spiderbot and often shortened to crawler, is an Internet bot that systematically browses the World Wide Web and
Code Excited Linear Prediction - Wikipedia
Code Excited Linear Prediction（CELP、セルプ）は線形予測符号・ベクトル量子化・合成による分析を組み合わせた音声符号化アルゴリズムである。直訳すると「符号励振線形予測」。 CELPは当時の既存の低ビットレートのアルゴリズム（RELP、LPC、ヴォコーダーのFS-1015など）に比べて格段に優れた音質を示した。様々な派生が生まれ（ACELP、RCELP、LD-CELP、VSELPなど）、現在最も広く使われている音声符号化アルゴリズムである。CELPはこのアルゴリズムのクラスを指す用語であり、特定のコーデックを指す用語ではない。 概要[編集] CELPアルゴリズムは次の考え方に基づいている: 線形予測符号 (LPC) に基づく音源フィルタモデル 声帯相当の音源 (励起信号): 線形予測残差 声道相当のフィルタ: 線形予測フィルタ ベクトル量子化 (VQ)
Tripping May Be As Effective as Your Antidepressants
Researchers found that psilocybin-assisted therapy was at least as effective as traditional antidepressant medication in reducing depression symptoms.Psilocybin may play a role in dissolving the ego while letting the brain form new connections, effectively resetting old thought patterns that can lead to depression and addiction.As evidence for psilocybin-assisted therapy mounts, health systems wil
Why Ramda?
When buzzdecafe recently introduced Ramda to the world, there were two distinct groups of responses. Those accustomed to functional techniques -- in Javascript or in other languages -- mostly responded with, "Cool". They may have been excited by it or just casually noting another potential tool, but they understood what it was for. The second group responded with a resounding, "Huh?" To those not
The JavaScript Problem - HaskellWiki
The problem The JavaScript problem is two-fold and can be described thus: JavaScript, the language. JavaScript, the language, has some issues that make working with it inconvenient and make developing software harder : lack of module system (only pre-ES6), weak-typing, verbose function syntax1 (pre-ES6), late binding2, which has led to the creation of various static analysis tools to alleviate thi
Yahoo! Labs、Flickrで研究用のデータセットとして1億件の画像等をCCライセンスで公開
2014年6月24日、Yahoo! LabsがFlickrで約9,930万件の画像、約70万件の動画をYahoo! Webscopeの研究用のデータセットとして、CCライセンスで公開したと発表しています。 データセットは約12GBで、写真、JPEG画像のURL、ビデオのURLやタイトル、説明、カメラの種類やタグなどのメタデータも含まれているとのことです。また、4,900万件の写真には、ジオタグ（緯度と経度についての情報）が付与されているとのことです。Amazonのウェブサービスのプラットフォームを利用して提供されており、アクセスには無料の登録が必要とのことです。 One Hundred Million Creative Commons Flickr Images for Research http://yahoolabs.tumblr.com/post/89783581601/one-hu
Salarly | Main
Welcome to Salarly Have you ever wondered what competitive salaries at Microsoft, Apple, or Amazon are? Salarly allows you to find salaries paid by many companies. Unlike other websites, Salarly does not rely on self-reported salary data but uses the salary data of foreign workers in the US. This salary data must be reported to the Department of Labor and is available on their website. Find salari
The best interface is no interface
Subscribe to our mailing list and stay up to date on our latest thought leadership and learning opportunities. “Atmadm.” Getting our work done was an alphabet soup nightmare. “chkntfs.” “dir.” (Source: vintagecomputer.net) Then, in 1984, Apple adopted Xerox PARC’s WIMP — window, icon, menu, pointer — and took us a galactic leap forward away from those horrifying command lines of DOS, and into a wo
魔法のような異次元体験型アトラクション制作のための投影型AR活用の取組みがすごいウォルト・ディズニー・イマジニアリング社。
魔法のような異次元体験型アトラクション制作のための投影型AR活用の取組みがすごいウォルト・ディズニー・イマジニアリング社。 ウォルト・ディズニー・イマジニアリング社SF映画並みのバーチャル空間をつくって仕事をしている。AR技術など最新技術でアトラクションの設計を行っている。美術、建築など1500人のプロ集団が所属し、スタートレックTNGのホロデッキのようなバーチャル空間を使ってデザインしている。 最新アトラクションのデザイン・分析におけるVR活用や、魔法のような異次元体験型アトラクション制作のための投影型AR活用の取組みを基に、技術革新の最先端を紹介するビデオ。ディズニーのアトラクション制作の裏側に迫る。後半がすごい興味深い。
もう一度就活するなら──社会人が学生にすすめる企業ランキング
社会人経験を積んだ今ならこの企業をおすすめしたい──転職サービス「DODA」は、「社会人が選ぶ、就活生にお薦めしたい企業ランキング」を発表した。上位50社中、IT企業は8社がランクインしている。 1位はトヨタ自動車で、「日本を代表する製造業であり、仕事のプロセスもレベルが高いと思う」といった理由が挙がっていた。2位はGoogle、3位はソニー。7位にソフトバンク、8位にアップルジャパン、10位にパナソニックが入った。 25～39歳のホワイトカラー系職種の男女5000人に聞いた結果をまとめた。学生には身近でイメージしやすい商材を扱う企業が人気なのに対し、社会人はキャリアや将来性を重視するなど、学生との視点の違いが目立ったという。 順位 企業 1
Time
First written in 2006 or before. Last modified 3 Mar 2015. Some notes about time: UTC: The time at zero degrees longitude (the Prime Meridian) is called Coordinated Universal Time (UTC is a compromise between the French and English initialisms) GMT: UTC used to be called Greenwich Mean Time (GMT) because the Prime Meridian was (arbitrarily) chosen to pass through the Royal Observatory in Greenwich
研究留学の話 - aggren0xの日記
引用先もひとりごとだし、このエントリもひとりごと。まあ追随っていうか。こういうのみんなそうですよ的な話っていうか。パリの話ですいませんが。 http://biomedcircus.com/research_02_13.html 海外に出ると、海外駐在員として出てきたような日本人は、研究留学している人間よりも完全にふたつかみっつ、格上の生活をしている。ちなみに官僚もそうである（なんでだろう）。 幸いなことに（？）僕は海外に出た当初から駐在員と関係をもってしまったので、最初っから格差に気づいていて、途中で気づいて涙するようなことはなかった。それでわかっていた格差はこういうものだ。 まず海外に来たら役所に滞在許可証をもらわないといけないが、研究者は一人でなんとかするか、ラボの事務さんに頭下げて朝から並ぶ。駐在員は、会社が手配した通訳さんがやってくれて、窓口の時間に間に合えば良い。 研究者が雑踏に
Easel
Easel is an in-browser, high-fidelity web design tool aimed at designers and developers on small teams.Design For the Web Easel is an in-browser, high-fidelity web design tool that lets you mockup, share and implement your ideas with ease. Design Design accurately with built-in web fonts and true-to-browser rendering. Start quickly by importing your existing styles with our chrome extension. Share
How I managed to edit /etc/hosts without becoming root and still got rejected from the app store.
Back in may, I was on holiday in Spain for a month. Finally without a contract, I decided to try and pick up cocoa. The new Mac OS X app store was still rather empty and especially the developer tools section was filled with useless icon resize tools. Opportunity called upon me to add something useful. The concept, a system preference pane for /etc/hosts. OS X has a lot of nice GUI tools for it's
Ninety-Nine Haskell Problems
These are Haskell translations of Ninety-Nine Lisp Problems, which are themselves translations of Ninety-Nine Prolog Problems. If you want to work on one of these, put your name in the block so we know someone's working on it. Then, change n in your block to the appropriate problem number, and fill in the <Problem description>,<example in Haskell>,<solution in haskell> and <description of implemen
スマホの周囲の会話はジャイロスコープ経由で盗聴可能
By Kārlis Dambrāns 近年のスマートフォンに必ずといっていいほど搭載されているのが、物体の角度や角速度を検出するためのジャイロスコープ。位置情報の精度を高める役割も果たしているので、iOS・Androidのアプリがジャイロスコープを利用するときは、特別な許可を取らなくても使うことができます。しかし、最新のジャイロスコープはスマートフォン周辺の音響信号を測定することが十分に可能なほど高性能になっており、スタンフォード大学の研究チームが「ジャイロスコープから得られる超長波情報をもとに、スマートフォンの周りで行われた会話の内容を認識可能なレベルにまで解析する」という、なにやらとんでもないことを成功させました。 Mobile Sensors Exploitation http://crypto.stanford.edu/gyrophone/ Gyrophone: Recognizi
「Heartbleed」よりもココ――サイバー攻撃者が狙う多国籍企業の弱点
シスコによれば、セキュリティリスクでは標的型攻撃などインパクトの大きな脅威が注目される。しかし、実際には企業内の「脆弱なリンク」が問題になる。 シスコシステムズは10月8日、「シスコセキュリティ年次レポート」の中期報告書を発表した。報告書ではサイバー攻撃などの脅威について、企業内に潜む「脆弱なリンク」の問題を指摘している。 報告書は、2013年時点で合計4兆ドルの資産を保有し、売上が3000億ドルを超えている16の大手多国籍企業を調査した結果をまとめた。 それによると、対象企業のネットワークの約94％にマルウェアをホスティングするWebサイトへのトラフィックが見つかった。これは、IPアドレスとして解決されるホスト名を求めるDNSリクエストの発行が、「マンインザブラウザ」攻撃の機能を備えたマルウェアの拡散に関連していることを示すという。 また、約70％のネットワークではダイナミックDNSドメ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Got any tips or tricks for Terminal in Mac OS X?
EducationUSA Tokyoトップページ
http://jiten.cside3.jp/teaching/teaching_17.htm
GitHub - Shopify/superdb: The Super Debugger, a realtime wireless debugger for iOS
GitHub - interagent/http-api-design: HTTP API design guide extracted from work on the Heroku Platform API
Learn | Google Bug Hunters
What are the most important tips for getting accepted in MIT Media Lab? What is the minimum GPA required, and on what criteria are applic...
What are the average credentials for someone entering a physical science or computer science PhD programme at MIT or Stanford?
Is it true that If one gets a strong referral from the professor (from the same research group or department he/she is applying) then low...
alphaWorks Services
Library – Mukai Laboratory
C4.5 algorithm - Wikipedia
GitHub - x86-64/frozen: Data management and processing library
Light Table
GitHub - impress/impress.js: It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.
ウェアラブル・ドローンがカメラの定義を変える：腕に装着できる小型ドローン（動画あり）