タグ

2013年4月2日のブックマーク (5件)

  • 最愛メモ帳が代替わりしました - インターネットの備忘録

    会議中にノートPCをバカッ!と開けると相手との間に壁が出来て何となく苦手だったので(自分がそうされるのも苦手)、場合にもよるのですが、基的にずっと手書きノート派です。 会議でなくても、テキストをバーっと打つとか何かを検索しながらメモするみたいな、PCのキーボードが必要なとき以外は手書きでメモ帳にどんどん書き出す方が好きです。 バーっと書きだしたものを俯瞰して、「あっこれはいい、使える」と思ったものに赤丸をつけて、後でまとめてデータ化する、というのが個人的には一番効率が良い気がしています。好みでしょうね。 なので、そんな使い方をするためのメモ帳は脳みその外部メモリみたいな感じ。 集中して書き出してメモしておけば、そのことから一度離れても、あとから読み出して思い出せるという大事な相棒で、どういうノートを相棒にするかは常にアップデートしてきたのですが、久しぶりに「これは!」というものに出会えた

    最愛メモ帳が代替わりしました - インターネットの備忘録
  • github:shop

    Looking for a new laptop sticker, super-cozy hoodie, or an art book featuring everyone’s favorite Octocat? Welcome to the GitHub Shop, where you can find high-quality, sustainable gifts for yourself, a friend, or even your pet. New Collections Step into style with GitHub's newest arrivals, designed to keep you looking effortlessly fresh as you stay in the flow.

    github:shop
    iwazer
    iwazer 2013/04/02
    たまに来るといろいろ増えとる
  • anything導入のeverything 〜3分で使えるanything.el〜 - http://rubikitch.com/に移転しました

    Emacsを書きました】 anything.elは難しいという印象を持っている人がいるようです。 おそらく、導入しにくいのが原因ではないでしょうか。 anything.elを導入するには、変数anything-sourcesを設定する必要がありました。 しかし、これはもはや過去の話です。 Web検索というのは、ときおり古い情報にひっかかることがあります。 情報は鮮度が命です。 世界は刻一刻と変化しています。 正しい情報を得るには、一次情報に当たるのが最短距離です。 anything.elの一次情報は、開発者である僕のブログの最新記事が一次情報になります。 anything.elを検索したところ、古い情報にひっかあり、惑わされ、それでanything.elは難しいという印象を持たれるのは開発者として意ではありません。 auto-install.elを導入するインターネットにあるLisp

    iwazer
    iwazer 2013/04/02
  • 「ラムダ計算」を独学で学習するための,講義ノートやPDFのリンク集 (復習用の問題付き) - 主に言語とシステム開発に関して

    講義ノートの目次へ ラムダ計算は,コンピュータ・サイエンスの重要な1分野。 「λ」を使って各種の関数を記述し,λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて,関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して,挙動や性質を予測することができる。 計算機科学の,より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に,独学でλ計算を勉強するための, 入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから,応用的なものへと並べてある。 質の高いものだけを精選し,わかりづらい資料は除外してある。 ラムダ計算の概要 ラムダ計算の基礎 ラムダ計算の応用 復習のための問題(入門レベル) ※λ計算を利用した計算量・計算複雑性・計算可能

    「ラムダ計算」を独学で学習するための,講義ノートやPDFのリンク集 (復習用の問題付き) - 主に言語とシステム開発に関して
  • http://domtree.breckyunits.com/