Learn You a Haskell for Great Good! の日本語訳が出版されるそうです。（某Haskellerの情報より） 私は原書のPDFを購入したのですが、日本語訳がでたら、そちらも購入しようと思います。 "Learn You a Haskell for Great Good!" はwebで無料で読めるのです…

今日のニュースは jquery-mobileが"Releasing 1.0b2."になった事です。 Releasing 1.0b2. jquery-mobileのコミットが多すぎるので、途中までです。 jquery Landing pull request 453. Typo correction strictEquals=>strictEqual. Fix... · 905e892 · jquery…

プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (11件) を見る『プログラミング言語の基礎概念』をamazonにて注…

今日はテスト関連とドキュメントの修正が大漁でした。 jquery コミット無し。 jquery-ui Tests: Modified testsuites.js into a subsuiteRunner extension for QUnit. · 8fe87e2 · jquery/jquery-ui · GitHub テスト関連の修正。 - <script src="testsuites.js"></script> + <script src="subsuiteRunner.js"></script> ↑これにの変更して、…

第1回 スタートHaskellに参加登録しました。 行かれる方はよろしくお願いします。 第1回 スタートHaskell : ATND 日時 :2011/08/24 19:00 to 22:00 定員 :60 人 会場 :ニフティ株式会社 6階 セミナールーム （東京都品川区南大井6-26-1 大森ベルポートA館）

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

前回の続きです。またもや練習問題を解いてみました。 練習問題 (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>…

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

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

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