サービス終了のお知らせサービス終了のお知らせ いつも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サマースクールは、プログラミングの理論と実践に関する基礎知識や ホット・トピックに関して、分かりやすく解説していただくことを目的とした、 日本ソフトウエア科学会・プログラミング論研究会主催のイベントです。 第４回目となる今回も、 前回までと同様、日本ソフトウエア科学会大会併設企画として 開催されます。 プログラミングの理論と実践に関して興味のある学生、 企業・
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.city5.org/rhg_200605/
Streams with Splitted Classes
