ラムダ計算入門 この PDFを参考に、Javaでのラムダ計算を実装してみました。ついでに JavaCCを使って以下のような文を解釈できるようにしました。 (λx.x(y z)); λs.λz.s(s(sz));実際には、以下のようなコードで入力の解析と簡約化を行います。 import static…

http://book.akahoshitakuya.com/u/8759 11月13日から、読書メーターを始めてみました。前から気が向いたらここに本の感想を書いたりしてたのですが、気軽に読んだ本の履歴をつけるには使いづらいので、感想と履歴を分けることにしました。既に1月くらい使っ…

ソリッドファイター (電撃文庫)作者: 古橋秀之,石田走出版社/メーカー: メディアワークス発売日: 1997/09メディア: 文庫 クリック: 35回この商品を含むブログ (49件) を見る実際の完全版は、本として流通してないのでアニメイトか通販でしか入手できません。…

久しぶりに.NETのプログラムを話題を。 .NET2.0でDataGridViewというデータをGridを表示するコントロールがありまして、そこにデータのEntityを自動的にBindするために BindingSourceというコントロールが用意されています。これを使うとデータクラスのプロ…

ここしばらく TopCoderをやってなかったのですが3連休で久しぶりに時間があるので、MM43に挑戦してみようと思います。 問題はこちら：http://www.topcoder.com/longcontest/?module=ViewProblemStatement&compid=8999&rd=13568 画像を使った認証システムがあ…

されど罪人は竜と踊る 3~Silverdawn Goldendusk~ (ガガガ文庫)作者: 浅井ラボ,宮城(みやぎ)出版社/メーカー: 小学館発売日: 2008/09/19メディア: 文庫購入: 2人 クリック: 17回この商品を含むブログ (51件) を見るされど罪人は竜と踊る 4 (ガガガ文庫)作者: …

昨日、08067299820 から『サイト未納料金があります。明日18時迄に連絡なき場合、法的手続きを取らせて頂きます。(株)P・O・P 0120-407-008』とCメールが届いてました。 文面でググってみたら、予想通り良くあるもののようです。そんな訳でここでネタにさせ…

偽物語(上) (講談社BOX)作者: 西尾維新,VOFAN出版社/メーカー: 講談社発売日: 2008/09/02メディア: 単行本購入: 35人 クリック: 249回この商品を含むブログ (346件) を見るちょっと前に読了してたのですが、ようやくEntryを。化物語、傷物語の続編になります…

via http://www.kmonos.net/alang/d/2.0/lisp-java-d.html なんだか、LispがJava や C++ より優れた結果を残しているようなので、自分も挑戦してみました。 とりあえず問題を見て入力をみたり出力を確認したりしながら、1時間半ほどで以下のコードが書けまし…

数学ガール/フェルマーの最終定理 (数学ガールシリーズ 2)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2008/07/30メディア: 単行本購入: 35人 クリック: 441回この商品を含むブログ (259件) を見るようやく購入したので、黙々と読んでしまいまし…

問題は以下のURLにあります。 http://www.topcoder.com/longcontest/?module=ViewProblemStatement&compid=8831&rd=13564 今回は賞金がかかっているようなので、Top5に入ると賞金がもらえるようです。あと期間は1週間弱残っているので、参加してみてはいかが…

フリーランチの時代 (ハヤカワ文庫JA)作者: 小川一水出版社/メーカー: 早川書房発売日: 2008/07/01メディア: 文庫購入: 10人 クリック: 85回この商品を含むブログ (146件) を見る小川一水さんの本が出てたのをようやく読了。SFの短編集でした。とても良い読…

きみとぼくが壊した世界 (講談社ノベルス)作者: 西尾維新,TAGRO 出版社/メーカー: 講談社発売日: 2008/07/08メディア: 新書購入: 10人 クリック: 216回この商品を含むブログ (171件) を見るとっても、メタメタな感じで良かったです。結局、どこまでホントで…

前回の Marathon Matche 36の結果も反映されたようで、「Marathon Matches Rating: 1291」になってました。この際だから URLで公開しておきます。 http://www.topcoder.com/tc?module=MemberProfile&cr=22725594&tab=longまだ、MM に3回参加しただけなので、…

もうあと1日しか残ってないけれど MM36が始まったので、前回(http://d.hatena.ne.jp/Horiuchi_H/20080612/1213242021)にさらに引き続き起動用の関数を、と思ったのですが今回は visualizerを使わない問題なのでそれはなくなりました。代わりに、パスワードの…

http://d.hatena.ne.jp/Horiuchi_H/20080619/1213855066 昨日のEntryに以下の用なコメントをいただきました。 koichikkoichik 2008/06/19 20:30 > UpdateTime等のカラムを getdate()関数の値で UpdateやInsertそれはトリガでやるのが定番のような． あまりDB…

S2JDBCを調査していていて、以下の１点だけできないことがあったので自分で実装してみました。 「できないこと」とは、テーブルのUpdateTime等のカラムを getdate()関数の値で UpdateやInsertを実行することが SQLの自動生成ではできないことです。多少わが…

前回(http://d.hatena.ne.jp/Horiuchi_H/20080503/1209830474)に引き続き、MM35が始まったので Java用の visualizer用コードを下の方に張っておきます。 さて、今回の問題はゾンビがいっぱい居る部屋の中を脱出するというものです。10回までは触られても大丈…

http://wordgear.x0.com/novel/ この週末、はまってしまってずっと読んでました。MMORPGやったことがあると、さらに入り込んでしまいますね。久しぶりに、続きが気になって仕方ない本に出合えました＾＾

僕たちの終末 (ハルキ文庫)作者: 機本伸司出版社/メーカー: 角川春樹事務所発売日: 2008/05/15メディア: 文庫購入: 1人 クリック: 52回この商品を含むブログ (47件) を見るとっても、機本さんらしい文体なのだけど、とっても本格SFなできでした。今回は、と…

人類は衰退しました 3 (ガガガ文庫)作者: 田中ロミオ,山崎透出版社/メーカー: 小学館発売日: 2008/04/19メディア: 文庫購入: 19人 クリック: 755回この商品を含むブログ (266件) を見る3巻も読了しました。前巻が短編集でしたが、今回は大掛かりな長編でした…

複数プロジェクトを Tracで管理している時にプロジェクト横断的にチケットを見たりできるプラグインです。 見た目は、こんな感じになるらしいです。 http://dev.rectang.com/projects/allインストールするには、 https://svn.rectang.com/tram/trunk よりフ…

Trac Lightningの導入 - しがないプログラマ の日記 の続き 休み明けにだいぶバージョンが上がっていたので、実運用に入る前に早速バージョンアップしてみました。 http://sourceforge.jp/projects/traclight より、TracLightning-1.7.4.exe をDownloadして…

ちょっと前にTopCoder(http://www.topcoder.com/) に登録して、SRMの過去問題を解いたりしてたのですが、Marathon Match が始まったので参加してみました。問題はこちら http://www.topcoder.com/longcontest/?module=ViewProblemStatement&compid=7695&rd=1…

会社のサーバに Trac Lightningを導入したので備忘録としてメモ。Trac Lightningのページ より、TracLight-x.x.exe をDownloadして実行。これで Tracの導入は完了です。 ただ、今回は既に Apache2.0系のものが動いてたためか、Tracが使う Apacheのサービス登…

Windowsの Eclipseで C++開発をする際に boostを使う方法ではまった所をメモ。・http://www.boost-consulting.com/products/free より、最新版をDownloadしてきます。VC++7.1 もしくは VC++8.0 で開発する分にはこちらをインストールすれば全て完了です。デ…

Windows上で、Eclipseを使った C++の開発環境を作る手順のまとめ。・Eclipse + CDTをDownloadして展開します。以下のURLから「Pleiades All in One 日本語ディストリビューション」でCDT入りのモノを選ぶと楽ができます。 Eclipse 日本語化 | MergeDoc Proje…

ばいばい、アース〈4〉今ここに在る者 (角川文庫)作者: 冲方丁,キム・ヒョンテ出版社/メーカー: 角川書店発売日: 2008/02/01メディア: 文庫購入: 1人 クリック: 95回この商品を含むブログ (68件) を見る冲方さんのデビュー作の文庫化と言うことだったのです…

パンドラVol.1 SIDEーA作者: 講談社BOX出版社/メーカー: 講談社発売日: 2008/02/04メディア: 単行本（ソフトカバー）購入: 3人 クリック: 198回この商品を含むブログ (74件) を見る西尾維新さんの「化物語」の第0話にあたる「暦ヴァンプ」が掲載されていたの…

零崎曲識の人間人間 (講談社ノベルス)作者: 西尾維新,竹出版社/メーカー: 講談社発売日: 2008/03/07メディア: 新書購入: 7人 クリック: 207回この商品を含むブログ (170件) を見る読了しました。戯言シリーズでも人間シリーズでも今までは名前くらいしか出て…