はてなブックマーク

なにやら日本語で書かれた定理証明支援系言語 Coq の良質なチュートリアルが公開されたとのことで、とりあえず読んでみました。 http://www.iij-ii.co.jp/lab/techdoc/coqt/ 定理証明支援系とは何か、 Coq で何ができるのか、という話題についてはここでは触れませんので、興味のある方は検索してみるなり、 Twitter でハッシュタグ #coqt をつけて誰かに聞いてみるのが良いと思います。 さて、公開された最初の記事「http://www.iij-ii.co.jp/lab/techdoc/coqt/coqt1.html」では最初に読者に前提として求める知識についての記述があります。 読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。 http://www.iij-ii.co.jp/lab/te

14日から実質3日かけて YAPC::Asia TOKYO 2010 に参加してきた。会場は東工大大岡山キャンパスで家から結構近くて助かりました。 実は YAPC に参加するのは初めて。YAPC::Asia はもう5年ほど東京で開催されていて、去年は申し込みはしたが、平日に開催されたため参加できず。今回は休日に合わせてスケジュールしてくださったらしく、2日目*1が土曜日でした。が、全部参加したかったので、夏期休暇(≒お盆休み)を2日間の休みに変換して木、金と仕事を休んで参加しました。 以下、軽く流す感じで記憶を記録に変換する。 0日目(10/14 Thu.) 0日目ってなんやねんと思う方もいるかと思いますが、 YAPC::Asia は Perl の祭典だけあって、プログラマに優しい0オリジンなのです。というのは冗談で、 YAPC::Asia 前夜祭というものが開催されるとのことで参加してき

8/27〜8/29 につくばで開催された RubyKaigi 2010 に行ってきました。 事の発端 そもそも、 Rubyist を名乗るほど Ruby を使いこなしていない自分が何故 RubyKaigi に行ったか。 つい最近のこと。会社の同僚の一人が Ruby に興味を持っていたことが始まりでした。 彼は Ruby を勉強したいと言う。 僕ももう2年ほど Ruby に触れていないけれど、いつ仕事で Ruby を使う時が来ても大丈夫なようにしておきたいという思惑があり、二人で Ruby を学ぶ時間を作りました。 その頃、ちょうど RubyKaigi のチケットが販売されていました。例年であればもう売り切れている頃だったのですが、 Twitter で「まだチケット販売中です」という情報を得たので、彼に RubyKaigi を紹介しました。彼がとても乗り気だったこともあり、その場に居合わせた

(2010/04/17 15:00 追記あり。赤字で表記しています) 昨日、 Twitter が新しいサービス @Anywhere を公開しました。 http://dev.twitter.com/anywhere 早速使ってみました。といっても、はてなダイアリーでは タグ内をいじることはできないので、今使用しているもう一つのブログ( http://www.rs-f.net/t/ )で試してみました。以下の内容は、公式ドキュメント( http://dev.twitter.com/anywhere/begin )を参考にしていますが、私の英語読解力には難があるので、翻訳精度は低めに見積もってください。 @Anywhere には以下の機能があります。 オートリンク機能 ホバーカード機能 フォローボタン設置機能 ツイート用テキストボックス設置機能 ログイン&ログアウト機能 ログイン状態表示機能 以

何やらgoogle.comのデザインが変わったらしいですね。少しかっこよくなったGoogleの新しい検索ぺージをいますぐ体験する方法*二十歳街道まっしぐら（FC2ブログ時代）で実際に見てみる方法が紹介されています。個人的には気に入りました。でもこれって、google.co.jpにアクセスしちゃうとダメなんですよね。 検索する場合ってだいたい、ブラウザについてる検索バーから検索しますよね。検索バーから検索してもgoogle.comで結果を表示したい。 検索バーからgoogle.comで検索する方法（Chrome編） というわけで、検索バーの設定をいじってしまいましょう。Google Chromeの場合、ブラウザの設定をいじるだけでできます。 [オプション] -> [基本設定] -> [規定の検索エンジン] の欄にいって、検索エンジンを編集します。たいていの方は規定の検索エンジンがgoogle

YAPC::Asiaってイベント まあ、僕もここ数年参加してるんですけど、 YAPC::Asia ってイベントがあります。 YAPC::Asia Tokyo 2013 元々は Perl というプログラミング言語をメインに取り扱うイベントだったんだけど、最近は言語の枠とか薄れてきてるみたいです。公式ページ見ても、「エンジニアのエンジニアによるエンジニアのためのお祭り」って書いてあって、 Perl って言語の名前、どこにもでてこないし。 個人的には、エンジニアの方はもちろん、エンジニアになりたい方（含む学生）にもお勧めなイベントです。採択されてるトークとか見ても、仕事でシステム開発・運用してる方向けのものもたくさんありますし、 Perl 入学式っていうプログラミング初心者向けの企画もあります。プログラミング経験ない人でも興味さえあれば楽しめること間違いなし。 急にこんなこと言い出した理由 この