GitについてのビデオとCheatSheet - satoko's blog - s21g
先のエントリに引続き、コツコツとGitについて勉強します。 Git CheatSheet http://zrusin.blogspot.com/2007/09/git-cheat-sheet.html Git@Google Techtalk 追記：資料を見ながらだとさらにわかりやすいです。ここで取り上げました。 by Randal Schwartz(Perlの人？) http://video.google.com/videoplay?docid=-1019966410726538802&ei=bz8XSOj2A5G8qgO79_3SBg&hl=en 長いのですが、20分くらいからがGitについての知らないことが多く紹介されていて面白かったです。40分すぎると頭がグルグルまわって来ましたが...先のエントリと合わせて何かつかめてきた感じ。スライドが公開されていないのが残念。 SHA1はシャー
P2P分散ストレージ「Cagra」 - Blog by Sadayuki Furuhashi
id:nyaxt氏との共同開発の分散ストレージ「Cagra」（かぐら）のアルファ版をリリースしました。 cagra α3リリース cagra テクニカルデモ α２リリース 分散ストレージエンジンテクニカルデモ α版リリース cagraのα版試してみたよ - takumalog Cagraは以下のような特徴を持った（目指した）P2P分散ストレージです。 Zeroconf マルチマスタでレプリケーションするWrite 高速な分散Read オプションで高速な非同期Write インターネットレベルよりもLANレベルのマシン台数に特化 巨大データサポート 高速イベント駆動システムコール＋軽量スレッド 超アジャ〜イルな開発体制 まだα版で全部が実装されているわけではないですが、とりあえず動きます。 Zeroconf UDPマルチキャストでノードを自動的に発見するので、一切設定ファイルを書かずに動作せる
こめんと(2008-04-22) - MutualTestFox 公開
■ [Misc] 怒涛 うわー、なんか無茶苦茶忙しかった……。 とりあえず2件の発表を終えました。やること溜りまくりですねぇ。 ■ [Work] Fail-Safe C release 1 公開 というわけで、1つ目の発表は Fail-Safe C の正式版公開 です。 最初に函館で発表したのが2001年のJSSST大会*1 で、かれこれもう7年もかかってしまいましたので、プレスリリースは自分なりの1つの纏めとケジメのつもりです。 協力して頂いた皆様、本当にありがとうございました。 Slashdot をはじめいろいろ連絡とかバグレポとかフィードバックを頂いた皆様、対応が遅れていてすみません。 有難く早急に取り組ませて頂きたいと思います。 Fail-Safe C の研究を始めるに当たって「C言語を対象にする」と決めた時点で、 実用に供するというのは大前提の1つです。これからも Fail-Sa
Mac使ってるのにTextMate使ってないとかどんだけ | ヲゾゾ wozozo blog
だよ。 TextMate使いたくて、関西から東京にインターンシップで来てたときMac買ったらその後生活費がやゔぁくて帰りの新幹線代もやゔぁくなって家に帰ったときには財布の中200円しかなかったぐらいスゴイTextMateを使ってみようぜという。 でっていう。 とりあえず入れとけよ的なプラグインな奴ら。 emacsとかvimとかもいいけどTextMateもイイヨイイヨ。eclipseでもいいけどTextMateもイイヨイイヨ。 GetBundle 普通はBundleをインストールするときはターミナルからコマンド打ってSubversionで入れないといけない。 でもコイツを入れると選んでクリックするだけでインストールできてしまうという太郎。 JavaScript Tools これいれるとJavaScriptモードのときに、「Run JavaScript」とか「JavaScript Lint」
TopCoderで世界と渡り合う日本IBMの異才――夷藤勇人
もしあなたが美しい（あるいはトリッキーな）コードが飛び交う世界を知りたいと願うならそれはTopCoderに参加することで容易に実現することができる。このTopCoderに参加している数少ない日本人で、生涯プログラマーを宣言する人物にTopCoderの魅力を聞いた。 世にハッカーと呼ばれる人は数多く存在すれど、日常生活においてわたしたちがそうした人たちのコーディングを目の当たりにする機会はまれである。 しかし、美しい（あるいはトリッキーな）コードが飛び交う世界を知りたいと願うならそれは容易に実現することができる。そこには国籍、年齢、過去の栄光……そのいずれもが何の意味も持たない、コードのみが支配する世界が広がっている。 そんな世界の1つとしてTopCoderが挙げられる。世界中からトップレベルのプログラマーが参加するプログラミングコンテストとして知る人ぞ知るTopCoder。日本ではいまひと
ラムダ計算ＡＢＣ
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
Hewlett-Packard Test Drive
This note is intended to inform you about changes to the free developer access program called TestDrive. TestDrive has been providing valuable support to partners across the globe for more than 10 years. As with most products or services, there comes a time when an offering must end to make way for new developments. Effective September 30, 2008 HP will be shutting down the TestDrive program. The m
aguse.jp: ウェブ調査
あやしいサイトや知らないサイトを訪れる前に、URLを入力するだけでサイト背景情報を調査したり、迷惑メールの送付経路を表示したりすることが出来ます。
OSSのダイアグラム作成ツール「Tulip 3.0.0」が公開 | エンタープライズ | マイコミジャーナル
オープンソースのダイアグラム作成ツール「Tulip 3.0.0」 Tulip Softwareは10日、オープンソースのグラフ化ツール「Tulip 3.0.0」をリリースした。動作環境はX Window Systemが導入済みのUNIX系OS、LinuxやWindows、Mac OS X向けのバイナリパッケージも提供される。ライセンスにはGNU GPLv2を適用、オープンソースソフトウェアとして利用できる。 今回のリリースは、2006年10月からβテストが行われてきたバージョン3の正式版。GUIツールキットにQt 4 (バージョン4.2以降に対応、3以前は非対応) を採用し、ツールバーやダイアログボックスなどのユーザインターフェイスを一新。OpenGLを利用したレンダリングエンジンは再設計され、描画性能が向上した。 ファイルフォーマットの見直しも行われ、作者の名前や作成日といったメタデータ
MOONGIFT: » 文句なしのWiki「MindTouch Deki Wiki」:オープンソースを毎日紹介
完成形を見てしまった気がする。それくらいできが良い。 これまでWikiエンジンを幾つも紹介してきた。もちろん、機能面ではもの凄く充実しているものも数多い。だが、使い勝手や初期状態での機能等を考えると、これがまさに完成系と言えるのではないだろうか。 今回紹介するオープンソース・ソフトウェアはMindTouch Deki Wiki、エンタープライズ向けのWikiエンジンだ。 欠点がなさすぎる。日本語はもちろんOK、Ajaxを使って遷移の少ない作り、履歴管理＋差分表示にももちろん対応している。編集はWYSIWYGなテキストエリアでできる。 ヘッダを作れば、その中だけで編集できる。画像をアップロードして、埋め込むのも簡単。ページの階層管理もできて、タグも使える。ウォッチリストに登録、コメントをする、RSS配信など何でもござれだ。 さらに多言語対応、Google Analyticsを埋め込めるなどな
cmd.exeを超便利にする ckw 0.8.10 を改造した。 - Perlとかmemoとか日記とか。
08.12.03追記 最近の性能のいいPCだとckwのConsoleを隠す処理が失敗してConsoleが出たままになったりするようです。 修正したバージョンを公開された方がいらっしゃるようなのでそちらもご参照ください。 d:id:s-yata:20080823:1219474577 http://blogs.wankuma.com/shuujin/archive/2008/10/15/158825.aspx 色々放置ですいません。。。。 /追記 ※修正版をアップしました。 d:id:hideden:20071123:1195822428 6月の転職を機にメインの作業環境をGentooLinuxに変更して快適なLinuxライフを送っていたのだが、ちょっとわけあって一時的にXPに戻す事になった。今年の初めから５月末まではOSXだったから、久々のWin環境。 何でもかんでもConsole + z
2008-04-02
主人公は高校生、クラスで目立たないが、実はLispハッカー。 明治時代から代々続くプログラマの家系。 ご先祖様は、チャールズ・バベッジと競いあったり、フォン・ノイマンに「やつは天才だった」と言わしめたり。 彼の家系は、その類まれなハッキング能力から、時の権力者や、軍や、国際大企業や、秘密結社から狙われている。 彼の祖父は、戦時中に、現代でいう楕円曲線暗号を、時代に先駆け５０年早く編み出していたが、その秘密を守るため軍に殺された。 彼の父親は、２０００年問題で核ミサイルを発射しかけた国防総省のメインコンピュータのプログラムを修正したが、放射線に晒されて、命を落とした。 プログラミングの秘伝を記した巻物は一子相伝。 幼少のころから父親にプログラミングを叩き込まれる。 第１話 高校の文化祭で開かれた、タイピングコンテスト。 彼は決勝戦に進出。 「こんなヘンピな高校でも、なかなかのやつがいるもんじ
グレゴリオ暦とバイナリ暦
ここで、 31/128 に着目すると、これは 2^5 - 1 / 2^ 7 であるから技術的に （というか 2進数的に）大変都合が良い。 確か似たようなことを小林芳直さんがどこかに書かれていて、 これを「バイナリ暦」と提唱(笑)されていた記憶があるので、ここでも バイナリ暦（Binarian）と呼ぶことにする(笑)。 即ち 128 で割り切れず 4 で割り切れる年をうるう年にすればよく、 これだけで数十万年の間はややこしいい他の補正をせずとも誤差が １日以内に収まることになる。 下のグラフは Binarian が、西暦で表した年が 128 で割り切れず 4 で割り切れる年を うるう年とした場合の太陽年とのずれ。 Gregorian が、西暦で表した年が 100 で割り切れず 4 で割り切れる年を うるう年とし、4000 で割り切れ 400 で割り切れない年も閏年とした場合の太陽年とのずれ。
特定領域 > 研究成果報告 > 列挙学校
資料 ``列挙の基本と基礎的なアルゴリズム'' 岡本 吉央 (東京工業大学) [ Slides PDF (5.3 MB) ] / [ Handout PDF (1.8 MB) ] / [ Exercises PDF (46 KB) ] C プログラム等 (岡本さんの列挙のページ) ``グラフ列挙の手法'' 中野 眞一 (群馬大学) [ Powerpoint (568 KB) ] ``パターンマイニングにおける列挙アルゴリズム'' 有村 博紀 (北海道大学) [ PDF (1.2 MB) ] ``複雑な構造の簡潔な列挙法と実装法'' 宇野 毅明 (情報学研究所) [ Powerpoint (2.0 MB) ] © The Copyrights for the PowerPoint / PDF files are owned by their authors.
ChaIME
ブラウザから使える IME としては AjaxIME が有名ですが、AjaxIME よりは仮名漢字変換モデルをがんばっているので、多少精度がよいようです。 ATOK 2007 はたまたま失敗する事例ばかり集めているので悪く見えますが、 普段はもっとよいですね。言語モデルを Web コーパスから作り、仮名漢字 変換モデルを新聞記事から作っているので、上記4つの硬い文は ChaIME でも正しく変換できることは予測可能ですが、下記4つは難しいです。 このような文体で書かれたコーパス(ブログデータ?)から仮名漢字変換モデル を学習するとうまく行くかもしれません。 統計的仮名漢字変換 統計的仮名漢字変換について ページを分けました。 既知の問題点(優先度順) unigram によるバックオフ(辞書引き回数が減る) 仮名漢字モデルの Google 日本語 N グラムからの推定 現在2GBの辞書サイズ
はてなようせいとまなぶ Schemeの形式的意味論
わからない…… わからない…… R6RSのAppendix Aに載っている形式的意味論がわからない…… Schemeの形式的意味論を理解するための冒険は、 R6RSを印刷して読みながら、実際にPrologとかで、 意味論にそったインタプリタを作ることよ わからない…… そんな面倒なことをする意味があるのかわからない…… 本当にそれで理解できたのかは筆者もわからない…… それじゃあ、簡単に説明をするからよく聞いてね。 けど、それでもR6RSを印刷したほうがいいわ。 それから、R6RSは「みんなもってる」ものなので、 自分のものだと分かるように、ちゃんと名前を書かないとだめよ。 「おなまえシール」を貼るというのも手ね。 もくじ なにをするの おおざっぱに もうすこしせいかくに きほん かきかえ むずかしいかきかえ ぶんぽう やくそくときほん ぷろぐらむのぶんぽう ぶんみゃくとあな ぶんみゃくの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
生活や実務に役立つ高精度計算サイト
deadbeaf.org
OCamlチュートリアル
http://www.nilfs.org/ja/