サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
ストリング図による複合モナドの計算 (1)
四角形の左右の辺が圏を、上下の辺が関手を表す。四角形内部に自然変換 （の名前）を記入する（F⇒Fの恒等自然変換の場合は四角形内は空白とする）。 関手は左から右、自然変換は上から下と方向を決めているので、いち いち矢印は書かなくてもよい。（人により、右から左、下から上の方向も使う ので注意！） 次は、複合的なペースティング図と、それに対応するスタック図の例である。 α:: F;;G ⇒ H : A→C β:: F;;F ⇒ K;;L : A→A 4. ストリング図 平面内で、一筆書きできる“交差しない境界線”で囲まれた領域を‘部屋’ （chamber）と呼ぶ。平面内に描かれた有向グラフDが、部屋Rに対する‘スト リング図’だとは、次を満たすことである。なお、‘開いた辺’とは、始点ま たは終点のどちらか一方のノードを持たない辺であり、ここではグラフに開い た辺を認める。 すべてのノードは部屋の
Type Checking with Open Type Functions (PDF)
UNSW Engineering Fearless thinking. World changing action.
Hop.js
Hop.js: a multitier JavaScriptHop.js (aka Hop) is: A multitier JavaScript: a single code runs on the client and the server. A compliant JavaScript implementation: EcmaScript 5.1 compliant; EcmaScript 6 features (modules, async/await, proxy objects, ...); Nodejs compatibility. An extended JavaScript: builtin HTML: native HTML syntax support and multitier dom. server-side web workers. native websock
Hop, a Language for Programming the Web 2.0
Hop is available at: http://hop.inria.fr. The web site contains the distribution of the source code, the online documentation, and various demonstrations. The recent evolution of the web makes it suitable for replacing traditional graphical user interfaces (henceforth GUIs). The combination of fast HTML rendering of modern web browsers (such as Gecko 20051111, shipped with Firefox 1.5), generaliz
PPL Summer School 2006
第４回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2006) URL: http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/ 開催日時: 2006年9月12日（火） 会場: 東京大学 本郷キャンパス 工学部 新２号館 ２１２号室 主催： 日本ソフトウエア科学会・ プログラミング論研究会 (日本ソフトウエア科学会第23回大会併設企画) PPLサマースクールは、プログラミングの理論と実践に関する基礎知識や ホット・トピックに関して、分かりやすく解説していただくことを目的とした、 日本ソフトウエア科学会・プログラミング論研究会主催のイベントです。 第４回目となる今回も、 前回までと同様、日本ソフトウエア科学会大会併設企画として 開催されます。 プログラミングの理論と実践に関して興味のある学生、 企業・
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Types and Programming Languages: The Next Generation", Benjamin Pierce
http://www.city5.org/rhg_200605/
Streams with Splitted Classes