GreaseMonkey で Opera の Shift + カーソルを再現？ - mayuminiの日記
GreaseMonkeyで書いてみました。 友人id:mzpのブログで紹介してもらってましたが、 ブログ作れ！ って言われたので作って公開。 ソースはかなり汚いので恥ずかし・・・ ・機能 Shift＋「j」「k」「l」「i」で<a>タグのリンクを上下左右に辿ります。 Shift押しっぱなしで1秒たつと、現在のタグから上下左右それぞれのタグが 薄くハイライトされます。 キーバインドはソース開くと変えられるようにはしてあります。 http://code.google.com/p/crossfire-gm/source/browse/trunk なんか、微妙にうまくいかないという話を聞いたのでファイル直のリンク↓ http://crossfire-gm.googlecode.com/svn/trunk/crossfire-gm.user.js trunkのページから行きたいときは、GMをいったん
mayuminiの日記
GreaseMonkeyで書いてみました。 友人id:mzpのブログで紹介してもらってましたが、 ブログ作れ！ って言われたので作って公開。 ソースはかなり汚いので恥ずかし・・・ ・機能 Shift＋「j」「k」「l」「i」で<a>タグのリンクを上下左右に辿ります。 Shift押しっぱなしで1秒たつと、現在のタグから上下左右それぞれのタグが 薄くハイライトされます。 キーバインドはソース開くと変えられるようにはしてあります。 http://code.google.com/p/crossfire-gm/source/browse/trunk なんか、微妙にうまくいかないという話を聞いたのでファイル直のリンク↓ http://crossfire-gm.googlecode.com/svn/trunk/crossfire-gm.user.js trunkのページから行きたいときは、GMをいったん
Homoiconic Days
7/27に開かれたLisp Meetup #30で「Clojureシンタックスハイライター開発から考えるこれからのLispに必要なもの」というタイトルで話してきました。 Clojureシンタックスハイライター開発から考えるこれからのLispに必要なもの from sohta 内容としては、去年のShibuya.lispのテクニカルトークで話した内容を重点をズラして焼き直したものです。終わった後にいくつか意見をいただきましたが、絶対数は多くないのでどう受け止められているのかはちょっと気になるところです。 「これからのLispに必要なもの」とタイトルにはあるものの、具体的に「これが必要だ」と言えてないのが残念な感じですが。。。この発表でいいたかったのは、「LispコードをCASEツールで解析できる対象にしていきませんか」という提案です。 ICSE勉強会なんかの話を聞いていると、他の言語(特にJ
mallowlabsの備忘録
Google Apps Script とログ Google Apps Script (GAS) で、ログを書く時に長年 Logger.log を使っていた。 スクリプトを実行し、メニューの 表示 → ログ でログを表示できる。 ただし、このログは自分でスクリプトを実行した時のログが表示できるだけで、例えば webapp としてデプロイしている時のログを見ることはできなかった。 Stackdriver Logging の有効化 実行中のログを見るためには Stackdriver Logging というものを利用する。 メニューの 表示 → Stackdriver Logging をクリックする。 紐付けができていない場合には以下のダイアログが表示されるので、 Google Cloud Platform でプロジェクトを作ってあげる必要がある。 https://console.cloud.go
すえひろがりっっっ!(SoftWareメモ)
ruby プロファイル $ ruby -r profile hoge.rb 2008-06-09 02:58 | ruby | sue | comment 0 TeamViewer TeamViewer なにこれ． すげぇ． P2P 的な VNC ? 2008-06-01 16:52 | ツール | sue | comment 0 [Excel]行の自動調整 改行を打たなくてもセルの高さが自動で変わるようにする． ホーム > 配置 > 折り返して全体を表示する 2008-05-22 16:29 | Excel | sue | comment 0 OSのディストリビューションを調べる方法 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2393841 より 1) Debian系 Debian/GNU Linux # cat /etc/deb
にわとり小屋でのプログラミング日記
この記事はTppMark11の問題をCoqでやってみたという内容である。 問題はこちら: docs.google.com 命題論理式と同値であることの定義 命題論理式の定義 Inductive Term := | Var(v : Var.T) | Neg(t : Term) | And(t1: Term)(t2: Term) | Or(t1: Term)(t2: Term) | Impl(t1: Term)(t2: Term) | TRUE | FALSE . 同値であることの定義 変数環境を表すctxを Var.T -> bool の関数で表現し、命題論理式のevalを次で定義した。 Fixpoint eval ctx t : bool := match t with | Var v => ctx v | Neg t => negb (eval ctx t) | And t1 t2 =>
ムーミンの棲む谷
おひさしぶりです！ 最近は就職活動にあけくれていたのですが， よーやく内定を頂くことができました。 １２社も落ちてどーなることかと冷や冷やしてましたが・・・ 来年から東京でSEとして働くことになります。 取り急ぎ報告までっ！
zyxwvの日記
概要 Agda2 で挿入ソート関数を定義して、それがほんとにリストをソートすることを証明してみました。試すには Agda の標準ライブラリ(The Agda Wiki - Standard Library)が必要です。 冗長な証明になっている可能性は大いにあります。Agda のサンプルコードはあんまり見ない気がするので、誰かの参考になれば幸いです。 関数定義 インサート関数 insert と、リストをソートする関数 insertSort をごく普通に定義します。 "≤?" は Coq で言うところの SumBool 型の値を返す不等号演算子です。たぶん。こちらを使うと、条件分岐した先でその条件が仮定として使えるようになるので、後の証明がしやすくなります。 insert : ℕ → List ℕ → List ℕ insert x [] = [ x ] insert x (x' ∷ xs)
らくがきえんじん
別アカウントに移動しました。 Haskell の型レベルプログラミングによるセッション型の実装 full-sessions を 晒します． くわしくはこちら → http://d.hatena.ne.jp/keigoi/20090622 π計算の型に セッション型というのがあって、そいつを Haskell上に実装して PPL2009 で発表しました。 ソースコードはこちら 発表論文はこちら 気をとりなおして。 Haskell用の C言語のパーザライブラリ Language.C の意味解析機能を使ってみる。 まずはグローバルスコープのシンボルテーブルを表示してみる。 こんなことができる 入力 (sample.c) enum enum1 {x, y, z}; void fundec1(); struct st1 { int a, b; }; typedef struct st2_ { int
Gemmaの日記
書き初めに、以下のお題に答えます。 C++の問題ですが、 Javascript で。 1から1000までプリントせよ。ただし、ループ文や条件分岐文を使わずに。 c++ - Printing 1 to 1000 without loop or conditionals - Stack Overflow コード(Firefox 専用) var zero = function(f) function(x) x; function succ(c) function(f) function(x) f(c(f)(x)) function add(n,m) function(f) function(x) m(f)(n(f)(x)) function multiply(n,m) function(f) function(x) n(m(f))(x) function power(n,m) function(
FrontPage - Enjoy Programming
Enjoy Programming Contents Functional Programming Haskell, Objective Caml, Scheme and Standard ML Procedural Programming C/C++, C# and Java Lightweight Language Programming Python Books Log Miscellaneous Tips Memo... All About Monads Write Yourself a Scheme in 48 Hours A Haskell Tutorial Code Reading LazyLines Links shikiwiki wiki-clone written in Haskell OCaml-nagoya
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
でびたwiki
http://kamakiri.ddo.jp/nadokatan/
cari.jp(かりるーむ株式会社)
すえひろがりっっっっ!
Hiki Error
VERSIONFIVE
☆Lily☆ 〜a once in a life time〜