MooTools is a collection of JavaScript utilities designed for the intermediate to advanced JavaScript developer. It allows you to write powerful and flexible code with its elegant, well documented, and coherent APIs. MooTools code is extensively documented and easy to read, enabling you to extend the functionality to match your requirements. Open Source LicenseMooTools libraries are released under
The Ott tool for writing definitions of programming languages and calculi This page has moved to github.
著者プロフィール：山口揚平 トーマツコンサルティング、アーサーアンダーセン、デロイトトーマツコンサルティング等を経て、現在ブルーマーリンパートナーズ代表取締役。M＆Aコンサルタントとして多数の大型買収案件に参画する中で、外資系ファンドの投資手法や財務の本質を学ぶ。現在は、上場企業のIRコンサルティングを手がけるほか、個人投資家向けの投資教育グループ「シェアーズ」を運営している。著書に「なぜか日本人が知らなかった新しい株の本」など。 皆さんは、銀行がどうやって利益を上げているかをご存知だろうか。また、お金はどこから生まれるのかについて、真に知っているだろうか？ 今回はこういった素朴な疑問から、貨幣にまつわる誤解を解きほぐしていこう。 銀行のはじまり まずは簡単に、銀行とお金の歴史を振り返ってみよう。 もともと人々は、肉や魚といった食物を効率的に交換するために、お金という便利な道具を生み出した
値と継続が双対 (dual)の関係にあることを初めて知る。 以下、自分の思考をだらだらと書き留めたチラシの裏。なんのまとまりもありません。あと、元論文の解説ではなくて、読みながら考えたことを書いてるので注意。実は違う話をしてる可能性大。 それから、タイトルの論文の著者がどういう圏を構成しているのか、イマイチ不明なところがあり*1。でもλ計算に継続を入れた世界を考えてるので、CCCであることは仮定していいんだろう。 f:X → Y が「型Xの値を引数に取り、型Yの値を戻り値に持つ関数」なのは良い。ここで、f, X, Yのそれぞれの双対 ~f, ~X, ~Yを考えてみる。（記法は、この後に出てくる表現も含めて、元論文と全然違います。私が適当に考えました） ~Xを「型Xの値を要求（request）する継続」だと解釈するならば、 ~f:~Y → ~X （矢印の向きが逆になっているのに注意）は、「型
■ [lisp] M式 最近知ったのだが、Lispの初期にはS式の他にM式という記法が考えられていたらしい。 http://en.wikipedia.org/wiki/M-expression 「コンピュータプログラムの世界において M式 (meta-expressions) は、 Lisp言語の一部として、S式の人間が読むことの出来る形態となることを目的に考えられた。 M式はLispの初期の論文において理論的な言語として使われていたが、実際に実装されることはなかった。 」 S式は人間が読むもんじゃないのかよｗとツッコミたくなりますね。 実行前にS式に変換するから「meta-expression」と名づけられた模様。 [1, 2, 3] (quote (1 2 3)) or '(1 2 3) car[X] (car X) car[append[[1,2,3], [4,5,6]]] (car
テストデータ, reference情報など † 10/29 mini-Python文法 grammar.txt 10/29 字句解析器テストデータ tokenizer.tar.gz 11/5 構文木ヘッダsyntree.h.txt 11/5 構文木Cソースの一部syntree.c.txt 11/5 構文解析木ヘッダparser.h.txt 11/5 構文解析木Cソース一部almost_empty_parser.c.txt 11/5 構文解析器および最終課題用テストプログラムtests.tar.gz 11/26 Python値を定義するヘッダファイルpyvalues.h.txt 11/26 Python値関連の関数群Cソースの一部almost_empty_pyvalues.c.txt ↑ 添付ファイル: 5-eval.ppt 210件 [詳細] 5-eval.pdf 325件 [詳細] 4-
宇宙航空研究開発機構（JAXA）および日本放送協会（NHK）は、平成19年10月18日（日本時間、以下同様）に高度約100kmの月周回観測軌道に投入した月周回衛星「かぐや（SELENE）」からハイビジョンカメラ（HDTV）による「地球の出」（注）の動画撮影に世界で初めて成功しました。 月面越しに地球が昇っていく「地球の出」は、アポロ計画で初めて撮影されました。暗黒の宇宙空間にただひとつ浮かぶ青い地球が印象的なこの画像のハイビジョン撮影に、今回、「かぐや（SELENE）」が世界で初めて成功しました。また、この画像は約38万km隔てた遠い宇宙から地球をハイビジョン撮影したもので、これも世界で初めてです。 撮影は、「かぐや（SELENE）」に搭載されたNHK開発の宇宙仕様のハイビジョンカメラ（HDTV）によって行われたものです。「かぐや（SELENE）」で撮影した動画画像をJAXA臼田宇宙空間観
都写真美術館にて「カルラのリスト」を見る。 国際刑事裁判所(ICC)や旧ユーゴスラビア戦時法廷(ICTY)はハーグにある。ハーグはオランダだ。だから別にどうということではないのだが、 戦犯はスケベニンゲンに収監されている。 だから、ミロシェビッチもスケベニンゲンだった。 と、この映画の最後に知った。だからといって深い意味はない。 深い意味はない。 http://www.hayakawa-online.co.jp/product/issue_schedules/book/list.html ストロスの「ラブクラフト+スパイ」もの、 "The atrocity Archives" が12月に邦訳が出るらしいですよ！ http://en.wikipedia.org/wiki/The_Atrocity_Archives によると「コールダー・ウォー」はネタは似てるんだけど、まったく別の話だそうです
WiredのBehind Enemy Lines With a Suburban Counterterrorist。取り上げられているのは、モンタナの片田舎に住むShannen Rossmillerさん。本業が裁判所の裁判官、かつ、３人の子供を持つお母さんである。 それだけでも、十分忙しそうだが、さらに朝４時に起きて、家族が起きてくるまでの間、インターネットでテロリストを追求することに情熱を燃やし、これまでに数百人分のプロファイルを洗い出し、うち数名はFBI等による逮捕にまでこぎ着けたという執念の人だ。今はFBIと協力しているそうだが、最初の数年間はまったく独力、無給。 9-11に激しい衝撃を受けた彼女が、まずとりかかったことは・・・ イスラム教について研究する（コーランも読んだそうです） Jihadistのウェブサイトを翻訳ソフトで読みあさる この段階で使っていた翻訳ソフトは安物だったの
こちらは先の稿 プログラムは圧縮だ の実務面への分岐です。 悪魔の証明 悪魔の証明という言葉を知っていますか？ 何かが「ある」ことを証明するのには、実物を持ってくればいい。 では「ない」ことを証明するにはどうしたらよいでしょうか？ すべての網羅して初めて「ない」ということが言えるのです。 「ある」ことを証明するのに比べ、「ない」ことを証明するのは非常に難しい。 例えば、「ネッシー」が存在しないことを証明しようとしたらどうすればよいでしょうか？ 「写真は捏造だったし、これまで信憑性のある物証はみつかっていないんだから」 ということでは証明できません。「まだ」見つかっていないだけじゃないの？という指摘に 反論する術がないのです。 それこそネス湖を干上がらせて全てを網羅して調査して見るぐらいのことをしないと 「ない」ことの証明をすることができないのです。 さて、プログラムの話に戻ります。intの
本題に入る前に宣伝から入る。電気通信大学の学園祭期間中に「５五将棋大会」なるものが開かれるそうである。詳しくはhttp://minerva.cs.uec.ac.jp/~uec55/を見てください（この宣伝を書くためだけに、このエントリのアップロードの予定を繰り上げた。本当は年明けあたりにアップロードするつもりだった）。 さて先日、ボナンザとコンピュータ将棋に関する話題が著名なブログに採り上げられたということで、コンピュータ将棋協会のブログの書き手が素早くエントリを書いた。私が特に重要だと思った部分はここである。 棋譜データを解析した結果をコンピュータの思考に反映させる、という手法は、ボナンザが始めたものではなく、ゲームプログラミングでは古典的なテーマです。人工知能分野一般の用語を使うと、これは機械学習の一応用、ということになります。 http://www.computer-shogi.or
○初めて来た方は、このあたりからご覧ください。 13歳以下の犯罪 異常犯罪 親殺し統計グラフ ○更新履歴と管理人による注釈は、こちらのブログをご覧ください。 少年犯罪データベースドア ○幼女レイプや児童虐待、小学生殺人が昔と比べて凄い勢いで減っているのが判ります。 子どもの犯罪被害 データーベース 文責は管理人の管賀江留郎にあります。 何か問題があれば消しますのでメールください。 このサイトのデータはできるだけ広めたいと思っておりますので、無断で自由に使用してください。 ただし、新聞記事などの引用は、法律上の引用の範囲で各自の責任のもとに使用してください。 返信がめんどうなので、いちいちデータ使用の許可を求めないでください。間違いの指摘は歓迎します。 いまのところのデータ完成度は50%で、日々更新しています。抜けている事件があれば教えてください。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
