jQuery git pull + git log

今日から暇のあるときにjQueryのコミットログを読んでいこうと思います。 その読んだソースのメモです。今日の一番のニュースはjQueryUI1.8.15リリースが間近かも、という事です。 jquery コミット無し。 jquery-ui Tagging the 1.8.15 release. · 54f1e73 ·…

『第0回 スタートHaskell』に行ってきました

『第0回 スタートHaskell』に行ってきました。第0回 スタートHaskell : ATND教科書は『プログラミングHaskell』です。プログラミングHaskell作者: Graham Hutton,山本和彦出版社/メーカー: オーム社発売日: 2009/11/11メディア: 単行本(ソフトカバー)購入:…

jQueryを毎日、git pull

昨日、GitHubを散策していたら、気になるプロジェクトを発見。 jQuery JavaScript Library · GitHubです。少しソースを読んでみたのですが、意外と簡単に読めてしまいました。もっと難しいのかと思っていました。とりあえず、下記のプロジェクトを毎日git pu…

「第0回 スタートHaskell」に参加します

第0回 スタートHaskell : ATND 日時 :2011/07/24 13:00 to 18:30 定員 :180 人 会場 :IIJ 大会議室 (17階) (東京都千代田区神田神保町1-105 神保町三井ビルディング 17階) この夏、Haskellを始めよう! Haskell入門者のための勉強会「 スタートHaskell 」…

『プログラミングの基礎』その7

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は4.4型推論と型チェックです。Ocaml インタプリタは裏で型推論と型チェックをしているらしいです。 型推論 型を一切、入力しなくても型を推論してくれる 型…

ProofSummit2011(仮題)

ProofSummit 2011 - PARTAKE ProofSummit2011(仮題) 定理証明支援系(Coq,Agda,Isabelle/HOL,ACL2などなど)を中心に集まるお祭り 日時:2011年9月25日(日) 10:00 - 17:00 申込締切:2011年9月18日(日) 12:00 カテゴリ:コンピューター 定員:40 会場:株式会…

函数プログラミングの集い 2011 in Tokyo

函数プログラミングの集い 2011 in Tokyo - PARTAKE 函数プログラミングの集い 2011 in Tokyo ICFPに合わせた函数プログラミングのお祭りです。日時:2011年9月17日(土) 10:00 - 17:00 申込締切:2011年9月17日(土) 10:00 カテゴリ:コンピューター 定員:15…

Functional Meeting の日程

OCaml Meeting 2011の開催の予定はなく、今年はFunctional Meeting的になるそうです。 日程予定 9/17(土曜日)Functional Meeting 9/18(日曜日)MLのWorkshop ちなみに、ICFP2011の日程 ICFP 2011 : The 16th ACM SIGPLAN International Conference on Functio…

『プログラミングの基礎』その6

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は関数の型です。 問題4.5 (P.22) 前節の問題で作成した関数の型はそれぞれ何か。 関数の型はOcamlインタプリタで実行すれば、次の行に表示されます。4.1の…

中島聡著 『エンジニアとしての生き方』 出版記念講演会

【受付を締め切りました】中島聡著 『エンジニアとしての生き方』 出版記念講演会 : ATND に参加します。 日時 :2011/04/24 15:30 to 17:00 定員 :100 人 会場 :株式会社オプト 1F大会議室 (東京都千代田区神田錦町3-26 一ツ橋SIビル1F)行かれる方はよろ…

第15回FormalMethods勉強会

第15回FormalMethods勉強会(ハッシュタグ #fm_forum) : ATND に参加します。 日時 :2011/04/23 13:00 to 19:00 定員 :20 人 会場 :豆蔵トレーニングルームB (東京都新宿区西新宿二丁目1番1号)行かれる方はよろしくお願いします。

『入門OCaml』を注文

入門OCaml ~プログラミング基礎と実践理解~作者: OCaml-Nagoya出版社/メーカー: 毎日コミュニケーションズ発売日: 2007/05/22メディア: 単行本(ソフトカバー) クリック: 59回この商品を含むブログ (31件) を見る先程、ネットショップで『入門OCaml』を注文…

『プログラミングの基礎』その5

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は変数定義の構文です。 問題4.1 (P.21) アルバイトを始めたときには時給850円だが1年経過するごとに時給が100円ずつあがることにしよう。アルバイトを始め…

『プログラミングF#』

なぜか、気がついたら手元にF#の本が3冊もありました。 せっかくなので1冊ずつ順に紹介していきます。最初は『プログラミングF#』です。【楽天ブックスならいつでも送料無料】プログラミングF# [ クリス・スミス ]ジャンル: 本・雑誌・コミック > PC・シス…

今年のプログラム系イベントのまとめ

毎年恒例、プログラム系のイベントの日時が決まったみたいです。 あと日程が不明なのは日本ユニックスユーザー会が開催するLLイベントのみです。ちなみに、私は全て参加する予定です。 行かれる方がいらっしゃいましたら、よろしくお願いします。 日本Ruby会…

OCaml Meeting 2011 は開催されるんでしょうか?

毎年恒例のイベントで気になるものがあります。 OCaml Meeting です。今年も開催されるなら、ぜひ行ってみたいと思います。 um2010 - OCaml.jp 昨年は名古屋で開催されたみたいでした。 行った人の話では、翌日のcoqのイベントも参加するために名古屋に泊ま…

『プログラミングの基礎』その4

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は変数定義の構文です。 問題3.1 (P.16) 次の変数を OCaml インタプリタで定義せよ。それぞれの変数の型は何か。 (1) 名前が e で値が 2.7182 であるような…

組み込みスクリプト言語とRiteVM勉強会

組み込みスクリプト言語とRiteVM勉強会 : ATND 日時 / DATE : 2011/01/08 17:00 to 20:30 会場 / PLACE : 横浜市神奈川地区センター (神奈川区神奈川本町8-1) 前半の「組み込みスクリプト言語勉強会」セッションではゲームプログラマーの @fum1h1ro が自社…

『プログラミングの基礎』その3

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は文字列と真偽値です。 問題2.3 (P.11) 次のそれぞれの文字列をOCamlインタプリタに入力せよ。次に、それらの文字列を結合してみよ。 (1) 「東京」、「特許…

『プログラミングの基礎』その2

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。今回は実数なのですが、本文をよく読めば簡単な問題です。 OCamlの場合、整数と実数を厳格に区別するために実数専用の命令が別にあります。 加算 +. 減算 -. 乗算…

『プログラミングの基礎』その1

プログラミングの基礎 (Computer Science Library)作者: 浅井健一出版社/メーカー: サイエンス社発売日: 2007/03メディア: 単行本購入: 17人 クリック: 409回この商品を含むブログ (109件) を見る『プログラミングの基礎』は、以前にも読んだことあるのです…

『関数プログラミング』その2

前回の続きです。またもや練習問題を解いてみました。 練習問題 (P.7) 1.2.1 式 square (square (3 + 7)) を標準形に簡約する方法をすべて示せ。 square (square (3 + 7)) => square (square (10)) <+> => square (10 × 10) <square> => square (100) <×> => 100 × 1</square>…

『関数プログラミング』その1

関数プログラミング作者: R.バード,P.ワドラー,武市正人出版社/メーカー: 近代科学社発売日: 1991/04メディア: 単行本購入: 7人 クリック: 82回この商品を含むブログ (13件) を見る『関数プログラミング』を購入したのですが、この本の例題の回答ってどこか…

参照透明性

ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門作者: 青木峰郎,山下伸夫出版社/メーカー: ソフトバンククリエイティブ発売日: 2006/06/01メディア: 単行本購入: 25人 クリック: 314回この商品を含むブログ (328件) を見る只今、『…

日本Ruby会議2010

日本Ruby会議 2010, 8月27日〜29日今年も日本Ruby会議に行きます。 行かれる方はよろしくお願いします。今年は、つくばに泊まる予定です。 只今、ホテルを探し中です。 名称: 日本Ruby会議2010 (RubyKaigi2010) 会期: 2010 年 8 月 27 日(金)・28 日(土)・29…

Lightweight Language Tiger

LL Tiger今年もLLシリーズのイベントに行きます。 チケットはTシャツ付きをすでに購入しています。 今年は「Lightweight Language Tiger」という名前らしいです。 行かれる方はよろしくお願いします。 ◆開催概要 名称 :Lightweight Language Tiger (通称:L…

『初めての人のためのLISP 増補改訂版』 発送は2010年3月中旬

以前注文していた『初めての人のためのLISP 増補改訂版』のメールが着ました。 発送は2010年3月中旬だそうです。 楽しみ! [初めての人のためのLISP 増補改訂版] 発送時期変更のお知らせ 復刊ドットコムです。 いつもご利用いただきありがとうござい…

html5の情報収集

最近、特に注目されるようになったhtml5ですが、自分なりの情報収集先をまとめました。 ここを一通り読んだら、html5の事が分かったような気になります。(?)タグ「html5」を検索 - はてなブックマーク はてぶのhtml5タグ。新情報はここで。HTML5(1ページ…

オライリーから、『実用Git』が発売

Version Control with Git - O'Reilly Media Version Control with Git作者: Jon Loeliger出版社/メーカー: Oreilly & Associates Inc発売日: 2009/06メディア: ペーパーバック購入: 1人 クリック: 35回この商品を含むブログ (6件) を見るオライリーから『Ve…

あけましておめでとうございます

最近、更新をしていなかったのですが、 今年は、頻繁に更新をしようと思います。