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
Share on Twitter Share on Google Share on Facebook Share on Weibo Share on Instapaper ETS and Mnesia Apart from (emp-record ...) macros for ETS Match Patterns, which are also valid in Mnesia, LFE also supports match specifications and Query List Comprehensions. The syntax for a match specification is the same as for match-lambdas: (match-spec ((arg ... ) {{(when e ...)}} ...) ;; Matches clauses ..
最近聞かれなくなってきた Isomorphic JavaScript ですが、気付けば今は Universal JavaScript と呼ばれているらしいです。 そもそも日本語の記事が少なくて困ったので、色々調べたものを整理するために書きます。 とても簡単にふわっとまとめると、以下のような感じ。 SPA で問題となるのがSEO対策、初回ロード時間 SSR はこれを解決してくれるが、クライアントとサーバでロジックの重複が発生 同じコードをクライアントとサーバで実行しよう = Isomophic! 同じコードをネイティブアプリやデスクトップアプリや組み込みデバイスでも実行しよう = Universal! なぜ Isomorphic JavaScript なのか まず、なぜ Isomorphic という概念が出てきたのかについて。 シングルページアプリケーションにおける問題 2013年頃から、シ
Sassファイルのスタイルの定めから、一部を別ファイルに切り分けることができます。スタイルを部品に分けることで、それらを組み合わせたり、管理がしやすくなるのです。
Less クライアント上でもCSSへ変換できるところが他の2つとの大きな違い。事前にサーバ上で変換を忘れて古いままのCSSを配布してるなんてことがなくなるのかな...一方で、中括弧やセミコロンの省略ができない。この省略できないのは個人的に痒いところです。また、サンプルコードを見る限り文法のラーニングコストが一番高そうかなと思います。しかし、Google TrendsとGithub上ではLessが一番なので、注目度が一番高いのは間違いなしですね。 Sass / SCSS Ruby on RailsではデフォルトでSassが設定されています。Lessと比較すると文法が分かりやすく、私はとっつき易さを感じました。Github上では、Stylusより少しStar数が多い感じです。SCSSは、2010年Sass3から新たに採用された記法です。SCSSではインデント記法が廃止されCSS3互換文法になり
当ページの目的 Web制作やWebアプリ開発などを目指すにあたり必須となる言語について特徴等をまとめていきます。 HTML HTMLは一般に「エイチ・ティー・エム・エル」と呼ばれ、Hyper Text Markup Languageの頭文字の略です。 Webページを制作するための言語の一つです。 Webページを制作するための言語の一つ HTMLはタグで記述される 見出しや段落といったドキュメントの構造化、画像・リンクの埋め込みも可能な高機能マークアップ言語 パソコン・スマホ等の端末で表示されるサイトの大半がHTMLで記述されている 記述の内容(タグ・ソースコード等)を各ブラウザが解釈することでWebページが正しく表示される HTMLは「XHTML」などの後継仕様の他、現在主流のHTML5がある(※) (※)HTML5は最新のSEO対策(検索エンジン対策)でも推奨されている仕様 HTMLの種
フロントエンド開発ツールマップみたいな何か。JavaScriptフレームワーク、AltJS、CSSプリプロセッサ、HTMLテンプレートとかまとめ。 2月1日より社員になりましたくぼたなるひとです。初ブログです。つーかいっそ今日から社員なので初業務です。 ちなみにデザイナーです。でもフロントエンドエンジニアになりつつあります。でもデザイナーです。 はい、意味不明な前置きはやめて本題です。 今日はフロントエンド開発ツールについて概観してみようと思います。 「やっぱりフロントエンドエンジニアじゃねえか!」とか言わないでください。 HTML/CSS/JavaScriptだよね。 フロントエンド開発の人が扱うものといえば、基本はHTML/CSS/JavaScriptという認識ですよね。 その他ツールとしてはブラウザとエディタさえあれば、極端ですが即開発できます。簡単ですね。 およそ間違ってないですね
自前の sakuraサーバー に Nginx をインストールできたんで、FastCGI で Common Lisp(caveman2) につなげてみるけぇ。 ここ を参考に。 今回はタイトルの「フレームワーク」ってのとことは関係ないんじゃけどね。 まぁ、細かいこたぁええんじゃけぇ。 ほいじゃぁやるわ〜 cl-fastcgi のインストール とりあえず cl-fastcgi をインストールしとく。 ローカル環境(openSUSE)でやったときは何か無いって叱られたけぇ。 あ、 やっぱし叱られた。libfcgi.so じゃったか。 > (ql:quickload :cl-fastcgi) Unable to load any of the alternatives: (CL-FASTCGI::PATH "libfcgi.so") [Condition of type CFFI:LOAD-FOR
こんにちは。FASTCODINGです。 Googleマップといえば、目的地までの道のりを調べたり ストリートビューで回りの様子を見てみたりと、近頃私たちにとってとても身近なサービス。 そんなGoogleマップの中でも、企業サイトやイベントサイトなどのウェブページへのマップ埋め込みに 多く利用されているGoogle MAP APIのサービスが2018年7月16日から大きく変わり、Google Maps Platformに移行します。 期限まで残すところあとわずか。 突然、管理サイトに埋め込んであるGoogleマップが 見えなくなってしまわないよう、きっちり確認しておきましょう。 今回の仕様変更で変わること Googleマップを埋め込む際、APIキー完全必須に APIキー必須のアナウンスは、2016年6月には行われていましたが 古いサイトではまだAPIキー無しでも表示が可能でした。 ですが、7
内容説明 コンピュータと協働して数学する! 定理証明支援系Coq/SSReflect/MathComp,待望の入門書. ◆定理証明支援系とは? 数学の定理証明を支援するソフトウェアのこと.数学の高度化に伴い,従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか,Coqをはじめとする定理証明支援系が開発されてきました.こうしたシステムには,証明の正しさを保証する機能のほか,証明をコンピュータが扱える形に翻訳する「数学の形式化」の作業を効率化する仕組みが備えられています.実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され,話題をよびました. ◆日本語初のチュートリアル 本書は,Coqとその拡張言語SSReflect/MathCompの初となる解説書です.定理証明支援系の研究利用と普及を手がけてきた著者らが,開発環境のインストール手順から基本的な操作,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く