IBM DeveloperIBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.
圏論（Category Theory）
序 圏 関手 自然変換 随伴関手 表現可能性 参考書 [ 序 ] 圏の理論は数学の理論的な構造を明確にするのに役立つ。 以下、圏論についてまとめることにする。 [ 圏 ] 「対象」とよばれるモノ（ = 数学的な対象 ）のクラスと対象 X から Yへの 「射（morphism）」とよばれる要素からなる集合 Hom(X, Y) が指定されていて、f ∈ Hom(X, Y) と g ∈ Hom(Y, Z) に対してはその「合成」とよばれる射 gf が定められていて、以下の３条件を 満たしているときこれらの総合概念 C を 圏（category）とよぶ。 （Cat 1） 射の合成は結合法則 h(gf) = (hg)f をみたす. （Cat 2） 任意の対象 X に対して ∃ε∈Hom(X, X) ∀f∈Hom(X, Y)∀g∈ Hom(Z, X), fε=f, εg
なぜ vi のカーソル移動は hjkl に割り当てられたか - swk's log
* なぜ vi のカーソル移動は hjkl に割り当てられたか [tech] 246 users Bill Joy が使っていた ADM-3a という CRT ターミナルのキーボードには、 hjkl のキーにカーソルの矢印が刻印されていた http://www.srs.ne.jp/~north/netdaemon/vi.html この端末は^H、^J、^K、^Lを表示することでカーソルを左下上右に移動できたのです。^H(BACKSPACE)と^J(LINEFEED)はASCIIコードどおりですが、あとの2つは独自の拡張でしょう。 fj.editor.vi: Emacs vs vi 「ホームディレクトリの ~ も実は これ 由来なんじゃないの?」 http://www.bsddiary.net/d/200406.html#22 やるな ADM-3a． http://www.tentacle.
Haskellで遊ぶ: Netsphere Laboratories
(2005.7.18 新規作成, 2009.1 更新。) 関数型プログラミングのための言語 Haskell について。 [2022-09] 処理系が GHC --The Glasgow Haskell Compiler-- だけになってしまってずいぶん経つ。仕様も Haskell 2010 language 以降、纏められなくなってしまった。見通しはあまり明るくない。 Haskell とは (2008.11.7 この節を追加。) 関数型プログラミング 例えばC言語でもオブジェクト指向プログラミングができます (gtk+など) が、プログラミング言語の支援があったほうが自然にプログラミングできます。 Haskell あるいはほかの関数型プログラミング言語 (Clean, O'Caml, Scala, Erlang など）は、関数型プログラミングがしやすいようなプログラミング言語です。程度問題
うまい棒のキャラメル味、ココア味、かばやき味が製造中止に: rarity0
(11/10)健忘長官「民主党の外交を不安視されている方々がいるが韓国目線で考えると不安は無い。むしろ評価されている」 (10/22)岡崎ﾄﾐ子国家公安委員長「反日デモに参加したのは国益にかなうと思っている」 (10/08)ノーベル平和賞、中国民主活動家の劉暁波氏に (09/07)【ECO】放置自転車を修理して綺麗にした男性が逮捕される (09/02)東亜板の鉄板ネタである「恐怖！日帝の呪いの鉄杭」伝説が全国区で放送される (08/19)【肉肉弾弾】テレビ東京「水曜シアター9」が9月で終了【肉弾弾】 (08/04)紅衛兵こと仙谷由人、仙谷談話を発表 (08/03)田中理恵△「次の駅で降りろ」 (08/03)中井国家公安委員長「金賢姫を観光旅行に連れてったのは韓国の要請があったから」 韓国「そんなことは言っていない」 (08/02)横浜西口に天然とんこつラーメン専門店「一蘭」がオープン (0
WebブラウザからWordが使える！？ 米Upstartleの「Writely」
今回と次回は少し視点を変え、米国でWeb 2.0的と呼ばれる企業の担当者の声をお届けしたいと思います。 今回お話をうかがったのは、Web 2.0というトレンドの中で、Web 1.0的企業との世代交代を目指す米Upstartleでマーケティングやアライアンスを担当しているジェニファー・メイゾン氏です。 Upstartleとは、“Up”“Start”“Turtle（亀）”を組み合わせた造語らしいのですが、この会社名を知っている方は少ないと思います。しかし、彼らが提供しているWebベースのワープロ「Writely」は、カリフォルニアのVC（ベンチャーキャピタル）の注目の的となっているサービスです。 Webベースのサービスであるにもかかわらず、Ajaxによって非常にリッチなインターフェイスを備えたWritelyは、操作感がMicrosoft Wordに近く、非常に完成度が高いサービスです。しかも、
窓の杜 - 【NEWS】マウスホイールの回転のみで様々なマウスジェスチャーを行うFirefoxプラグイン
「Firefox」のウィンドウ内を9分割し、その各領域でマウスホイールを回転することで、さまざまなマウスジェスチャーを実行できる「Firefox」プラグイン「rimwheel」v0.1.4が、13日に公開された。「Firefox」v0.9以降、「Mozilla」v1.7以降に対応するフリーソフトで、編集部にてWindows XP上の「Firefox 日本語版」v1.5および「Mozilla 日本語版」v1.7.12で動作確認した。現在、「Firefox」や「Mozilla」などのプラグインが数多く公開されている“mozdev.org”内の作者ページからダウンロードできる。 「rimwheel」は、マウスホイールの上下回転のみで、タブの切り替えやリロードといったさまざまなマウスジェスチャーを実行できる「Firefox」プラグイン。本プラグインをインストールした「Firefox」や「Mozil
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.isi.edu/~hdaume/htut/
OSS WEB|Haskell|SICP
http://pitecan.com/blog/2006/01/blog-post_25.html
preston-net.com - このウェブサイトは販売用です！ - preston-net リソースおよび情報
Fresh Reader - Fast RSS feed reader - boost your productivity -