The History of Python
A series of articles on the history of the Python programming language and its community. David Beazley's talk at US PyCon 2018, about parser generators, reminded me I should write a bit about its history. Here's a brief brain dump (maybe I'll expand later). There are actually two pgens. The original, in C, and a rewrite in Python, under lib2to3/pgen2. I wrote both. The original was actually the f
継続
継続、continuationと来ればやはりSchemeの話になるのだろうか。一般社会で schemeと言えば「すきーむ（n）計画。陰謀。」であるがソフトウェア業界で Schemeと言ったらLispの一種のことだ。Lispには変種が腐るほど存在するが、 Common Lispと並んで有名なのがSchemeである。Common Lispが標準化の課程でゴテ ゴテと装備して巨大化したのに対し、Schemeは遥かにコンパクトでクリアな仕 様を持つ。またSchemeとは言語の一般名であり、その実装にはGaucheとか scmとかguileとかMIT Schemeなどがある。 さてCall/CC、正式名称Call with Current Continuation、について 説明しよう。Call/CCはちょっと見はsetjmp/longjmpと同じように見えるのだが、 スタックが深くなる方向にもジャ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
)
Reification (computer science) - Wikipedia
Reification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explici
はてなブログ | 無料ブログを作成しよう
織田信長 ぼちぼち、元気にやっています。少し薬にも慣れた...んかなぁ。相変わらず食べられないけど。朝、指がこわばって文字なんて入力できなかったけど、それはほぼなくなった。関節もどこも痛くない。薬効いてきたんやろな。 で、ブログを書こうと言う気がまた起きてきた。 …
2009-02-02 経済成長ってなんなのよ？- こら！たまには研究しろ！！
先日のエントリに関連して一番多かったコメントが「経済成長なんて出来るの」というものでした．そこで，経済成長についてちょっとしたメモを*1． まず，単に「経済成長」ではちょいと抽象的過ぎる．こいつにまずは取り扱いが容易な定義を与えましょう．経済成長とは「ある国の国民*2が経済的に豊かになっていくこと」です．経済的な豊かさは「国民がどれだけの財・サービスを購入できるor貯蓄できるか」できまる．ということはそれを計る指標は実質GDP（実質国民所得）ということになります*3． でも，ここで「待てよ」と思うかもしれない．「国民って何よ？」という疑問．「日本国民って人」がいるわけじゃあないですよね．もう少し実感にあわせるなら「平均的国民の経済的な豊かさ」ってことになるでしょう．すると，実質GDPよりも一人当たり実質GDPが経済成長の定義としては優れている． こうまとめると，人口減少だから経済成長しない
東京大学 大学院 情報理工学系研究科
コンピュータ科学専攻の米澤明憲教授に、オブジェクト指向技術に多大な貢献をした研究者・実践者に贈られる国際的な賞「ダール・ニゴール賞」が授与されることになった。この賞は、国際オブジェクト技術協会（AITO）より贈られるもので、米澤教授が1970年代半ばに世界で初めて提唱した「並列オブジェクト」という理論とその実践研究が高く評価された。日本はもとよりアジアの研究者に贈られるのは米澤教授が初めて。19日、本郷キャンパスの工学部11号館講堂で行われた記者会見で、「長年にわたって展開してきた研究が高く評価されて、とても嬉しい。一緒に研究してくれた、すでに国際的にも高い評価を受けている多くの元学生さんに深く感謝したい」と喜びを語った。受賞式は7月10日、キプロスで開催される「ヨーロッパオブジェクト指向会議 2008」で行われ、同日、米澤教授による受賞講演も予定されている。 コンピュータソフトウェアにお
論文も英語も読めないけど英論を探してみた - 反言子
よそさまのゼミで進学するなら英論だよねーという話になったので英論を探してみた。 以下はあくまで自分の興味のある範囲の調べ物です。 論文 The ACM Portal：ACMというコンピュータ科学の有名な学会らしい。登録したけど本文がみれなかった。お金払わないとだめ？ IMT : Information and Media Technologies：国内情報系学会の英語論文アーカイブ。 Google Scholar、CiteSeer：論文検索。CiteSeerは読めるものが見つかるのでベンリー。CiteSeerXってなんだろう。 Web of Science：自分とこの大学図書館で試用している。よく知らない。 お金を払わないとみれないものが大学図書館や学内だとみれたりするのでちゃんと把握したい。 その他、ウェブで読める論文。TJSAI : 人工知能学会論文誌、日本データベース学会論文誌、Pa
Welcome to the SICP Web Site
Wizard Book n. Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs (MIT Press, 1984; ISBN 0-262-01077-1), an excellent computer science text used in introductory courses at MIT. So called because of the wizard on the jacket. One of the bibles of the LISP/Scheme world. Also, less commonly, known as the Purple Book. from The New Hacker's Dictionary, 2
第2章 ガロア体と誤り訂正符合
第2章 ガロア体と誤り訂正符合 2.1 符号理論の原理 通信系のモデル： 通信における情報伝達をモデル化すると、情報源から出された”情報（文字、画像、音声など）”はそのまま伝送することはできない。”情報記号（数字、文字、記号）”に変換されて送られる。情報記号は、「伝送効率の向上」と「信頼性の確保」を目的として、”符号語”に符号化されて”通信路”を通って受信者に伝送される。 通信路： 一般には情報を運ぶ媒体(メディア)のことで、 手紙だと紙、 電波だと（真）空間、 音だと空気、 電気信号だと同軸ケーブル、 光通信だと光ファイバー など。 情報源符号化： 情報を出来るだけ少ない記号で情報記号に変換（符号化）すること。（通信路で、できるだけ効率よく情報を伝送するため） 通信路符号化： 伝送の信頼性のために伝送される符号語が誤って受信されても、元の情報を正しく認識できるような符号化をおこなう
PuTTY Connection Manager
PuTTY Connection Manager is a windows PuTTY tool to manage multiple PuTTY instances using tabs in a single windowPuTTY Connection Manager Looking for a tabbed version of famous PuTTY? PuTTY Connection Manager is a free PuTTY Client Add-on for Windows platforms which goal is to provide a solution for managing multiple PuTTY instances. This is one of the most important missing feature of PuTTY (ref
Newspeak
What is Newspeak? Newspeak is an object-capability programming platform that lets you develop code in your web browser. The entire Newspeak IDE runs locally in the browser. It will run on desktop, tablet or phone. Try it online right now. Like Self, Newspeak is message-based; all names are dynamically bound. However, like Smalltalk, Newspeak uses classes rather than prototypes. As in Beta, classes
Top 5 Database Research Topics in 2008
岡野原君が自然言語処理関連で2008年に読んだ論文のベスト5を紹介しています。それに倣って、僕も個人的にインパクトのあった2008年のデータベース研究のベスト５を集めてみました。 Michael J. Cahill, Uwe Röhm and Alan D. Fekete. Serializable Isolation for Snapshot Databases. SIGMOD 2008. (ACM DOI) 真っ先に思い浮かんできたのがこの論文。SIGMOD2008のベストペーパーでもあります。僕自身、トランザクション処理を長く研究していた経験から、Serializability（ディスクのread/writeの順番をあるプロトコルに従って入れ替えても、データベースの検索・更新結果に影響を与えない）を保障しつつ、一秒間あたりに処理できるトランザクションの数（つまりスループット）を上げる
昨年の論文をふりかえる - DO++
新年すっかりあけてました。 今年もよろしくお願いします。 年末年始はドタバタして昨年を振り返られなかったのですが、せっかくなので2008年に読んだ論文で私個人のベスト５を以下に列挙してみます。 D. Sontag, et. al. "Tightening LP Relaxations for MAP using Message Passing", UAI 2008 [pdf] Graphical ModelのMAP推定問題で従来解けなかった規模の複雑さの問題を高速にしかも最大であるという保障付きで解けるようにした。書いたメンバーはこの問題に関するオールスターのような感じ。解く問題は、n個の頂点からなるグラフで、各頂点には変数x1...xnがついていて、各頂点と各枝に対し関数gi(xi)、gij(xi,xj)が与えられた時、∑i gi(xi) + ∑ij gij(xi,xj)が最大となるよう
論文ファイブ - d.y.d.
16:40 09/01/28 インドコンテスト おとといのを読み返してて、 全体として並列並行系多いなーといっておきながら、 個別紹介に１個もそれ系のがなくて面白いなあと思いました。 と、それはともかく、今年もインド発プログラミングコンテストのお知らせが来てました。 ICPCやTopCoder系の問題の出る CodeCraft、 Project Euler系の問題の出る MathematiKa、 あと今年はなんだか縛り付きプログラミング（ゴルフとか）系の Time Limit Exceeded というのがあるらしい。毎年恒例行事にするつもりなのかな。 去年のはわりと面白かったので、今年も参加してみるつもり。 23:10 09/01/26 POPL 2009 行ってきました。MS Research 多いなーというのと、 まあ当たり前ですが並列並行系多いなーというのが全体的な感想。 以下印象に
Semantics with Applications
Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction. Wiley Professional Computing, (240 pages, ISBN 0 471 92980 8), Wiley, 1992. In July 1999, a revised edition has been made available for download, in gzip'ed postscript, postcript (recommended), or pdf formats. Supplementary material for the instructor: A copy of the book (postscript recommended): as a pdf doc
Asai Laboratory, Ochanomizu University
継続計算に対する仮想機械の導出 定理証明系Coqを使った各種継続計算の性質の証明 対称 λ 計算 shift/resetを含む部分評価器の実装 MinCamlコンパイラ，Caml Lightにおけるshift/resetの実装 証明木(ほか)の可視化 お茶大情報科学科の時間割自動作成 『四則演算インタプリタを作ろう！』 四則演算インタープリタをつくりましょう 末尾呼び出し(tail call)と継続渡し形式(Continuation Passing Style) lexer（字句解析器）と parser（構文解析器）の作成 (サンプルコード) 局所変数の導入 関数(closure)の追加 大域脱出(exit)の追加 再帰関数の追加 FelleisenのCオペレータ リストの追加 Promptの導入 control/prompt から shift/reset への拡張 対称 λ 計算 Coq
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
公海555000kk线路检测(值得再来)有限公司
Identity-Based Cryptography
授業ノート
Mathematical Structures in Computation Models
__ top __
CiteSeerX beta