λ計算で再帰関数を表すには不動点演算子を使うのが「教科書的」ですが、現実的な言語処理系やプログラム解析の研究などでは、効率や精度・単純さなどの問題などから、再帰関数をプリミティブにするほうが普通です。 で、Scheme(というかSICP?)の影響かどうかわかりませんが、たまに「再帰関数をプリミティブとして実装するには、Schemeのset!やMLのreferenceのような、破壊的代入が必要である」という誤解があります(追記:これはわりとよくある誤解で、演習のレポートなどでも散見されるので、特定の人間のことを言っているわけではありません。念のため…)。もちろん、そういう実装も可能ですが、そうでない実装も可能です。たとえば、f(x)=Mなる再帰関数fをfix(f,x,M)と書くことにして、前回のbig-step semanticsを M ::= x | fix(f,x,M) | M1 M2
If you haven't been paying attention to GNU grep recently, you should be happily surprised by some of the new features and options that have come about with the 2.5 series. They bring it functionality you can't get anywhere else -- including the ability to output only matched patterns (not lines), color output, and new file and directory options. Granted, the addition of this feature set caused a
New Version 1.2The version 1.2 has been released. Added a new feature that gives the user more control over PropertyDtd implementations. See the change log for details. New Version 1.1The version 1.1 has been released. Small changes. See the change log for details. Moved to SVN repositoryThe Java2Excel library has been migrated from CVS to SVN (aka Subversion). Sourceforge now provides SVN reposit
第6回 SWTレイアウトを活用しよう 米持幸寿 2006/6/1 米持先進技術工房 @IT分室では、テクノロジー・エバンジェリスト 米持幸寿氏が、J2EEの最新技術情報を提供します。最新技術の中身をいち早くキャッチアップしたい読者のためのコーナーです。 SWTでコンポーネントを作っていくには、前回解説したようにCompositeのサブクラスにCompositeのサブクラスを載せていくということの繰り返しとなります。この場合、Compositeをどのように配置するかを自動調整してくれるのがレイアウトです。オブジェクト指向のGUIツールキットは、多くの場合レイアウトを持っています。AWT、Swingなどにも、同様にレイアウトがあります。 レイアウトを利用しない(null を設定)で画面を作る作業は、視覚的にわかりやすいため使うのが簡単ですが、筆者はあまりお勧めしません。ウィンドウシステムやID
連載目次 わたしたちはコンピュータの奴隷じゃない! Windows PCを使っていて、あるいはWindowsサーバを管理していて、「何で人間様が、こんなこまごまとした作業を繰り返し、何度も何度もやらないといけないの?」と思うことはないだろうか。例えばこういう作業はどうだろう。 「My Documentsフォルダ内にある2005年に作成されたファイルのうち、最近1カ月更新してないテキスト・ファイルの中身を確認したいので、それらのファイルの1行目を抜き出して1つのテキスト・ファイルにする」 これを手作業でやろうと思うと大変だ。まずエクスプローラでMy Documentsを開き、詳細表示モードにし、作成日時と更新日時をにらめっこしながら該当するファイルを選び、メモ帳で開いて1行目をコピーし、もう1つメモ帳を立ち上げてそれを貼り付け……、という操作を複数のファイルで繰り返す。フォルダが階層化されて
HATENA-TUBEで使っている、jQueryというjsフレームワークが楽しすぎる件について。 jQueryは、ちょっとダーティだけどスゴイお手軽に、色々なことができるステキライブラリっす。小さい実験でのプロダクティビティはもうprototype.jsの100倍ぐらいスゴイっす。 色々実験中なのでそのメモ。 まず、最新版を右クリックから保存して適当なフォルダに入れる。 まず、jQueryではdobument.body.onloadに相当する部分が、ちょっと独特なのでおまじないのつもりで以下のように書きます。 初期化 $(document).onready( function(){ //ここに初期化系の処理 }) で、jQueryもプロトタイプみたいに$()関数を多様するのだけど、その強力さが半端ありません。例えば、ノードの一括定義とかができちゃいます。 全ての<p>ノードの中身を”Hel
With Toodledo you can create powerful to-do lists to improve your productivity. We provide you with folders, tags, contexts, subtasks and more to help organize your lists as efficiently as possible. You can sort, filter and search through your list and Toodledo can tell you what needs to be completed and alert you when tasks are due. Watch a video demo Keep track of your ideas with our note editor
JSON/簡単なテスト:基本 http://jsgt.org/ajax/ref/test/json/test1.htm JSONとContent-Type http://blog.nomadscafe.jp/archives/000578.html JSON in JavaScript 日本語訳 http://d.hatena.ne.jp/brazil/20050915/1126717649 Introducing JSON 日本語訳 http://d.hatena.ne.jp/brazil/20050915/1126709945 JSON + prototype.js http://www.machu.jp/diary/20060110.html JKL.Dumper - JSONデータダンプクラス http://www.kawa.net/works/js/jkl/dumper.html
2018.12.26 私の心は花の雨 2018.12.26 ATHENA ーアテナー 2018.12.26 金蘭良縁 2018.12.26 私たち結婚しました3 イ・ジャンウ&ウンジョン編 2018.12.25 太陽の末裔オリジナルサウンドトラック 2018.12.25 王の顔 2018.12.25 僕は彼女に絶対服従~カッとナム・ジョンギ~ 2018.12.24 密会(韓国ドラマ) 2018.12.24 私だけのあなた 2018.12.24 キム・マンドク~美しき伝説の商人~ 2018.12.23 白夜姫 2018.12.23 未来の選択 2018.12.23 バラ色の恋人たち 2018.12.23 風中の縁(えにし) 2018.12.22 トライアングルメイキング(韓国ドラマ) 2018.12.22 カクシタル 2018.12.22 トライアングル(韓国ドラマ) 2018.12.22
(このエントリには残酷な描写がありますよ) 怒り、恐れ、憎しみ、悲しみ…負の感情を与える小説を探してきた。特に読後感がサイアクの気分を味わえるような、そういう小説を探してきた。読むだけで嫌悪感、嘔吐感、恐怖感を掻き立てる、イヤ~な気分にさせる小説。「感動した!」「お涙ちょうだい」なんて糞喰らえ。読んだ記憶ごと抹消したくなる"劇薬"をよこせ。 …という企画「劇薬小説を探せ!」[参照]で、皆さまのオススメを片端から読んできた。一口に"劇薬"といってもカゼ薬からシアン化ナトリウムまでいろいろ。 「隣の家の少女」という劇薬 毒素の高いものランキングすると、こうなる こうなっていた。 1.隣の家の少女(ジャック・ケッチャム) 2.獣舎のスキャット(皆川博子) 3.暗い森の少女(ジョン・ソール) 4.ぼくはお城の王様だ(スーザン・ヒル) 5.砂糖菓子の弾丸は撃ちぬけない(桜庭一樹) 6.蝿
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く