Textures.js
SVG patterns for Data Visualization Textures are useful for the selective perception of different categories View on Github Getting started -- from the top of d3.js -- var svg = d3.select("#example") .append("svg"); var t = textures.lines() .thicker(); svg.call(t); svg.append("circle") .attr("r", radius) .style("fill", t.url()); Lines
Agda による型推論器の定式化
2. http://github.com/KDXU/InferAgda 研究概要 • Agda を用いて停止性と正当性がそれぞれ保証され た型推論器を pure functional に実装した • unification の実装部分は McBride の手法を採用 した • 主に unification の部分と application の実装に フォーカスを当てながら解説します • コード : http://github.com/KDXU/InferAgda 2 3. http://github.com/KDXU/InferAgda Agdaについて • 依存型を用いた，Haskell に似た構文をもつ定理 証明支援系言語 • プログラミング言語と定理証明支援系言語の両面 を持っている → 何かを実装しつつ証明をするのに適している • マルティンレフの型理論に基づいている 3
入門 React
Facebookが開発したJavaScriptライブラリ「React」の解説書。本書では、サンプルアプリケーションを用いてReact.jsのすべての側面を解説します。「第I部 基礎」でReactコンポーネントの作成と合成を学び、Reactの基本的な使い方を理解します。「第II部 応用」ではワンランク上のコンポーネント作成について学びます。「第III部 ツール」ではReactと共に使用して堅牢なアプリケーションを実装するためのツールについて学びます。最後の「第IV部 実践」では大規模なアプリケーション開発に必要な知識やWeb以外のユースケースについて解説します。読者はコンポーネントベースの最新のフロントエンド開発についての体系的な知識と技術を身につけることができます。日本語翻訳版の本書ではReactの開発環境の構築手順とAPIリファレンスを巻末付録として収録。 目次 まえがき 第I部 基礎
Symfony2 components overview: Stopwatch - ServerGroveServerGrove
It’s been a long wait, but we are back again with the Symfony2 components series. In the 12th post of the series, we cover the Stopwatch component. Even though is one of the smallest ones, that does not mean is not important, as plays a crucial role when we want to profile our code. Installation The recommended way of installing the component is through Composer: { "require": { "symfony/stopwatch"
Appleが先日発表した「ResearchKit」が非常におもしろい理由 | ライフハッカー・ジャパン
Appleは先日のスペシャルイベントでさまざまなものを発表しましたが、同社の新しい医療研究および健康のプラットフォーム（基盤）であるResearchKitについてはあまり知られていません。この取り組みは、実際に人々の生活をよりよいものにする見込みが非常に高いことは明らかです。実は、世界中ですでに利用されており、医師や患者が病気の兆候を見極め、健康を改善するのに役立っています。今回は、ReserchKitが実際にどのように健康管理を改善する可能性があるのかを詳しく説明します。 Apple Watchや新型のMacBookなどの新しい消費者向けガジェットの紹介が中心となった記者会見で、AppleのResearchKitは、異色の輝きを放っていました。このプラットフォームは、iOSデバイスを持っている全ての人に医療研究に参加し、病気の症状を追跡するのに役立ったり、かかりつけ医師と情報を共有したり
初心者でもほぼ無料でPHPを勉強できるコンテンツ11選 - paiza times
Photo by Robyn Jay こんにちは。谷口がお送りします。 プログラミングをこれから学ぼうとしている方の中には、「PHPを使えるようになりたい」という方も多いかと思います。 PHPは日本国内に20万人もの開発エンジニアがいるともいわれ、求人案件も非常に多い言語です。広くWeb系のサービス開発、ゲーム開発などで利用されており、少し前までその多くがLAMP環境(Linux+Apache+MySQL+PHP)と呼ばれる組み合わせの開発環境で開発されていました。最近では、CakePHPやSymfonyといった、よりWebアプリケーションを素早く作れるフレームワークによる開発も増えています。 実際のサービスでは、Facebookは現在はHackというPHP互換の言語で作られていますが、少し前まではPHPで開発されていました。また、国内ではグリーやpixivなどのサービスもPHPで開発され
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
PHP7: More strict! (but only if you want it to be)
A Laravel package to retrieve Google Analytics data | freek.dev