Clojure関連メモ退避所 - Playground of ours
Google Waveが。。ということでWaveにためていたClojure関連のリンクを退避。 チュートリアル系 Official Clojure reference & API http://clojure.org/Reference "Clojure - Functional Programming for the JVM" by R. Mark Volkmann http://java.ociweb.com/mark/clojure/ Moxley Stratton - "Clojure Tutorial For the Non-Lisp Programmer" http://www.moxleystratton.com/article/clojure/for-non-lisp-programmers Eric Rochester - "Clojure Series" (deals
http://www.midiyvideo.com/show/list/1
Make Tokyo Meeting 06 東京工業大学＠大岡山。 パンフには190以上のブースが載っていたと思います。 全てのブースを取る時間は無くて、特に体育館は撮れないブースが多かった。 次回作るならもっとましなビデオにできると思います。 映像のデータ容量は40〜50MBくらいあります。 CloudFrontなのでデータの配信はそんなに遅くは無いと思います。 22 Nov 2010 前のビデオで、ロータリーエンコーダーの回転をArduinoで読み取ってPCにシリアルで送りました。 このビデオではその値を使ってPCの中のビデオをコントロールします。 PC側はProcessingを使います。 ビデオは先に連番画像ファイルとして書き出しておき、Processingでその画像ファイル表示します。 回転方向が時計回りなら、画像ファイルの番号をカウントアップし、半時計周りならカウ
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Unix Magazine「インターフェイスの街角」
Unix Magazine「インターフェイスの街角」関連資料 掲示板 2006年4月号 「写真の位置登録」 2006年3月号 「マイ認証」 2006年2月号 「索引ナビゲータ」 2006年1月号 「Greasemonkeyによるブラウザ機能の拡張」 2005年12月号 「本棚演算」 2005年11月号 「Rindaで実世界指向プログラミング」 2005年10月号 「並べる! 技術」 2005年9月号 「TV番組の検索と録画予約システム」 2005年8月号 「位置情報からの検索」 2005年7月号 「逆リンクと兄弟リンク」 2005年6月号 「携帯から位置情報を活用」 2005年5月号 「Ajax」 2005年4月号 「Phidgetsシステム」 2005年3月号 「ファイルシステムによる階層型データの管理」 2005年2月号 「最近の画像認証」 2005年1月号 「位置コミュニケーション」
回文や XML にマッチする鬼車の正規表現 - まめめも
ref: 鬼車 正規表現 Version 5.9.1 ref: Ruby Freaks Lounge: 第6回 Ruby M17N 事始め:正規表現編 \g と \k について今までちゃんとわかってなかったけれど、少しわかったような気になったのでメモ。Ruby というより鬼車の話なので、PHP でも使えるかもしれない。試してないけど。 田中哲スペシャル \g の基本 \g で参照される括弧の中身がそこにそのまま書かれたと思えばいい。 re = /\A(?<foo>abc...def)\g<foo>\z/ # \g<foo> を展開して考える # /\A(?<foo>abc...def)abc...def\z/ と同じ意味 p "abc123defabc123def".match(re) # マッチ p "abc123defabc456def".match(re) # マッチ p "abc1
zsh-lovers 翻訳 - cuspy.org
この文書についてhttp://grml.org/zsh/zsh-lovers.html の和訳です 誤字, 誤訳など有りましたら http://twitter.com/hamano まで 名前zsh-lovers - Z shell の為のチップスやトリックや用例 概要これを読んでね. ;-) 要約私たちが zsh のマニュアルを読む度、用例やシェル生活における単純な通例が無いことに驚嘆します。 zshは多くの機能を持ちます、しかしmanページには(procmailex(5)の様な)用例が在りません。 それが私たちがこのmanページを書いた理由です。 大部分のトリックとonelinerはzsh-usersメーリングリスト、zsh-workers、google、ニュースグーループと私たちから生まれました。 詳しくはLINKSセクションを見てください。 注意: この manページ(zsh-lo
Erlang Tips
Erlang に関する情報を，自分用メモを兼ねて作成しました． 間違い等見つけた方はブログのエントリまで連絡いただけるとうれしいです． 最終更新：2007/07/04 23:56 目次 Erlangの特性 Erlangは以下のような特徴があります． 簡単に言うと，ネットワークサーバを書くのに向いています． 得意なこと ・大量の並列処理 ・複数サーバでの分散処理（ただしEthernet経由で通信するので専用インターコネクトほどは速くないと思います） 苦手なこと ・純粋な計算処理（C言語の10倍程度遅いようです） ・GUIアプリケーション（WingsというErlangでかかれたGUIアプリはあるが，GUI周りの情報は少ないです） ありそうな勘違い ・マルチコア・SMP環境にすれば，コア数に比例して性能が向上する． →もちろん条件によるので，必ず比例するわけではありません． SMPサポートは条件
職務質問されたらこれを見せて下さい
A Wealth of Information at Your Fingertips Store and Bookmark Documents Share Documents Privately Reach Millions of People
org-mode + remember-mode でEmacs内で瞬時にメモをする→コードリーディングに生かす・メモ検索する - http://rubikitch.com/に移転しました
Emacsで即座にメモを取る方法はいろいろある。日本ならばHowmとかChangeLogメモが人気なのかな。俺はorg-mode + remember-modeを使っている。 org-rememberをインストールする remember-modeは頭の中で思い付いたものを即座にメモをするためのシンプルで便利なツールだ。M-x rememberでメモ用バッファがポップアップするから、メモを書いてC-c C-cを押せば記録される、それだけ。https://gna.org/p/remember-el なり「apt-get install remember-el」なりでインストールしてみよう。 org-modeはoutline-modeの超超拡張版だ。もともと構造化テキストを扱うものだったのが、本格的なアウトラインプロセッサになっていたり、TODO管理や予定表やスプレッドシート（まじで表計算できる
デザイン エクストリーム セミナー (DEXS) 2014 in Fukuoka
I always get excited at Easter Candy time. Mini Eggs are in stores again! Yaaay! Mini Eggs are pretty good by themselves, but there is an EVEN BETTER way to eat them. ...That's right. PUT THEM IN RICE KRISPIE SQUARES. I am basically an evil genius. If you need me, I'll be in my cave shaped like a skull on the side of a volcano.
とても古い随感 | Netsphere Laboratories
纏まったものやら纏まってないものやら、駄文いろいろ。 これ以降の日記は、随感録(最新)へ移行しました。 1999年 1月 2月 3月 4月 5月 6月 7月 1998年 11～12月
これは覚えておきたい！10秒でネクタイを締める方法 - IDEA*IDEA ～ 百式管理人のライフハックブログ ～
ドットインストール代表のライフハックブログ
OrgMode/Manual - 目次
Org-mode4.60 最終翻訳日：2006/12/23 Org-modeマニュアルは以下の構成になっています。４つのページに分けました。 マニュアル１ 1 Introduction（1 はじめに） はじめに 2 Document structure（2 文書の構造） ツリーはあなたの脳の変わりに動作する 3 Tables（3 テーブル：表） 瞬間表フォーマット作成の純粋マジック マニュアル２ 4 Hyperlinks（4 ハイパーリンク） 状況に応じた文書 5 TODO items（5 TODO項目） すべてのツリーの枝はTODO項目にできる 6 Timestamps（6 タイムスタンプ） 項目に日付と時刻を指定する マニュアル３ 7 Tags（7 タグ） 見出しにタグを付けタグが同じものを合わせる 8 Agenda views（8 アジェンダのビュー） ビュー画面に情報を集める 9
GNU SCREEN メモ
GNU SCREEN メモ 2005-12-20-2 [Tips] Let's use SCREEN! <http://www.dekaino.net/screen/> USING SCREEN EXAMPLE part1 <http://www.dekaino.net/screen/02example.html> 新しい仮想画面の生成^Z^C ^Zc仮想画面の切替^Zn ^Z[SPC] ^Z@仮想画面リストの表示^Z^W ^Zw仮想画面のタイトル変更^ZA仮想画面への直接移動^Z[画面番号]仮想画面の切替(降順)^Z^H ^Z[DEL] ^Z^P ^Zp USING SCREEN EXAMPLE part2 <http://www.dekaino.net/screen/03example.html> バックスクロール(コピーモードに移行)^Z[ESC] ^Z[コピーバッファへのコピー範囲
「あ、プレゼント買わなくちゃ！」に役立ちそうなおしゃれショップまとめ | P O P * P O P
個人的に調べ物をしていたのでその結果をシェアしておきます。 ギフトってなにかと最後まで決まらないものですよね。「明日までに買わなくちゃ！」ということもしばしば。そこでおしゃれ系のギフトが揃いそうなショップをまとめてみました。 ちなみに選択基準は適当ですｗ。ネットショップがないものも含まれますのでご注意を。いざというときに役立つかも？！ 詳しくは以下からどうぞ。 hhstyle 定番中の定番です。原宿や青山にもありますね。 living motif 六本木のAXISビルに入っていますね。こちらもギフトにおすすめ。 Francfranc こちらも定番ですね。ちょっとした家具や小物が充実しています。 無印良品 一応こちらも。ネットショップではよく割引をやっていますよ。 MoMA Online Store Japan アート的アイテムの定番ですね。 ZOZOTOWN | CIBONE公式通販サイト
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
"รวมเพลง Wiz Khalifa สุดยอดเพลงที่คุณต้องได้ยิน"
サービス終了のお知らせ
「ベンチャー企業」のための資金調達入門 | isologue
http://mcalc.zapto.org/
軽量なGUI、グラフィックス、アニメーション向けライブラリRuby Shoes
