1. The document provides an introduction to HTML5, describing its origins from HTML4 and XHTML and how it incorporates CSS3 and JavaScript.
2. It outlines the main HTML5 technologies like device access, multimedia, connectivity and offline storage.
3. The document then details many of the new HTML5 structural elements like header, nav, article, section, aside, and footer and provides examples of how to implement them. It also covers new features like video, audio, forms, and input types.
HTML5 introduces several new semantic elements that help improve the structure and meaning of web pages. These include header, nav, article, section, aside, and footer. It also provides new form input types like date, time, email, url and new multimedia elements like video and audio. HTML5 aims to provide powerful APIs for building web applications using features such as canvas drawing, drag and drop, offline storage and native video playback in browsers. While HTML5 is still evolving, many of its features can be used now in modern browsers without waiting until full standardization and adoption is complete in 2022.
1. The document provides an introduction to HTML5, describing its origins from HTML4 and XHTML and how it incorporates CSS3 and JavaScript.
2. It outlines the main HTML5 technologies like device access, multimedia, connectivity and offline storage.
3. The document then details many of the new HTML5 structural elements like header, nav, article, section, aside, and footer and provides examples of how to implement them. It also covers new features like video, audio, forms, and input types.
HTML5 introduces several new semantic elements that help improve the structure and meaning of web pages. These include header, nav, article, section, aside, and footer. It also provides new form input types like date, time, email, url and new multimedia elements like video and audio. HTML5 aims to provide powerful APIs for building web applications using features such as canvas drawing, drag and drop, offline storage and native video playback in browsers. While HTML5 is still evolving, many of its features can be used now in modern browsers without waiting until full standardization and adoption is complete in 2022.
The document summarizes a visit to the Antequera Museum located in Antequera, Spain. It describes the building as being located in the Najera Palace in Coso Viejo Square, with 20 permanent exhibition rooms. Key artifacts mentioned include the Efebo de Antequera bronze sculpture of a young boy that is over 2,000 years old. It also describes Acilia Plecusa's tomb, along with works by painter Cristóbal Toral. The summary encourages visitors to enjoy the museum and learn about the art, history and culture of Antequera.
This document discusses ProFunctor, Arrow, and their relationships. [1] ProFunctors generalize Functors by allowing mapping of both the domain and codomain of a function, while Functors only allow mapping the codomain. [2] Arrows allow mapping of both domain and codomain like Profunctors, and provide additional operations. [3] The ProFunctor type class splits the constraints of Arrow into separate operations for mapping the domain and codomain.
The document provides an introduction to HTML5, including:
- HTML5 combines HTML, CSS, and JavaScript and introduces new semantic elements like header, nav, article, and footer.
- HTML5 offers powerful APIs for multimedia, graphics, offline storage, and more that allow building powerful web applications.
- While HTML5 won't be fully standardized until 2022, many features can already be used without waiting.
- The document describes and provides examples of using various new HTML5 structural elements, multimedia elements, forms, and more. It encourages starting with a text editor and modern browser.
http://inarocket.com
Learn BEM fundamentals as fast as possible. What is BEM (Block, element, modifier), BEM syntax, how it works with a real example, etc.
4. Haskell から Core へ
module Foo ( f ) where
f :: Int -> Int -> Int
f x y = x * (x + y)
Haskell を Core 形式へ変換し、出力するコマンド
% ghc -c -ddump-simpl Foo.hs
. . . . . .
5. Haskell から Core へ
Foo . f :: GHC . Types . Int -> GHC . Types . Int ->
GHC . Types . Int
[ GblId , Arity =2]
Foo . f =
( x_a9H :: GHC . Types . Int )
( y_a9I :: GHC . Types . Int ) ->
GHC . Num .*
@ GHC . Types . Int
GHC . Num . $fNumInt
x_a9H
( GHC . Num .+
@ GHC . Types . Int GHC . Num . $fNumInt
x_a9H y_a9I )
Core は GHC が内部で利用している Lambda 式 . . . . . .
23. GVN
-- p , q は自由変数
r = p
s = q
x = p + q
y = r + s
z = x * y
. . . . . .
24. GVN
z = x * y -- 略
-- hash [r + s] = hplus [ hash [r],
-- hash [+] ,
-- hash [s ]]
-- -- p = > 1, (+) = > 2, q = > 3,
-- -- r = > 1, s = > 3
-- = hplus [ 1, 2, 3]
-- = 123
-- この例では例えば 123 になったとしておく
y = r + s -- y = > 123
x = p + q -- x = > 123
s = q -- s = > 2, q = > 2
r = p -- r = > 1, r = > 1
. . . . . .
25. GVN
y = r + s -- y => 123
x = p + q -- x => 123
s = q -- s => 2, q = > 2
r = p -- r => 1, r = > 1
-- 1: r == > p
-- 2: s == > q
-- 123: y == > x
. . . . . .
26. GVN
-- 1: r == > p
-- 2: s == > q
-- 123: y == > x
r = p -- 変化なし -- 除去可能
s = q -- 変化なし -- 除去可能
x = p + q -- 変化なし
y = p + q -- <-- y = r + s -- 除去可能
z = x * x -- <-- z = x * y
. . . . . .