(10枚)共有ツイートする66リンクスコアとは、はてなブログ・はてなダイアリーの記事からはてなキーワードへの自動リンクをするかしないかを判定するための指標です。一定期間ブログもしくはダイアリーをご利用いただくと、当スコアのモデレーション権限が付与されます。詳細はリンクスコアをご覧ください。自分のmacに入れるツール新しいmacがくる予定なので、インストールすべきツール等をメモ。セットアップどこまで何を入れたのか思い出せない・・・。そんなわけで整理した。(MBP)を研究用ラップトップとして使用している。ダウンロードしてインストール。いう関数型プログラミング言語&定理証明支援系を扱うことになったので、ここで紹介していこうと思います。10.8.3)を買いました。Emacsと、MacのTerminal.app越しのリモートのEmacsとでキーバインド周りの挙動を揃えたいと思った。自分は学生の頃にエディタとしてEmacsを使っていた関係で、すっかりEmacsが馴染んだ体になってしまっています。今ちょっとずつ設定してったりしています。リポジトリに登録してみました。機能変更・お知らせ・ヘルプはてなキーワード開発ブログヘルプ広告掲載についてソーシャルアカウント@hatenakeyword。