はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
OMeta: an Object-Oriented Language for Pattern Matching (dls07.pdf (application/pdf オブジェクト))
OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Computer Science Department University of California, Los Angeles and Viewpoints Research Institute awarth@cs.ucla.edu Ian Piumarta Viewpoints Research Institute piumarta@speakeasy.net Abstract This paper introduces OMeta, a new object-oriented lan- guage for pattern matching. OMeta is based on a variant of Parsing Express
非同期リアルタイム処理～デヴィッド・カトラーの見果てぬ夢～ 小野諭（工学 院大学情報学部コンピュータ科学科）OnoSatoshiOHP.pdf (application/pdf オブジェクト)
非同期リアルタイム処理 ～デヴィッド・カトラーの見果てぬ夢～ 工学院大学 情報学部 コンピュータ科学科 お の さとし 小 野 諭 (s-ono@cc.kogakuin.ac.jp) 日本ソフトウェア科学会 第５回プログラミングおよびプログラミング言語 サマースクール 奈良先端科学技術大学院大学 10:30 – 12:30 2007-09-12 2007-09-12 PPL Summer School 2007 2 デヴィッド・カトラーって誰？ • David Neil Cutler (1942～) • 世界的に著名なOSのアーキテクト、エンジニア。 • 世の中に多大な影響を与えている以下のようなＯＳを設計・ 開発した。 RSX-11M: Resource Sharing eXecutive – DEC 社の 16bit ミニコンピュータ PDP-11 用OS。 – 多重プログラム、メモリ
代数的視点からの論理へのアプローチ - 小野寛晰（北陸先端科学技術大学院大 学）msj07.pdf (application/pdf オブジェクト)
1 algebraic logic universal algebra ordered algebraic structures 2007 6 8 1999 Algebra & Substructural Logics ”Residuated Lattices: an algebraic glimpse at substructural logics” [3] abstract algebraic logic 2 19 Boole de Morgan 20 E. Post J. � Lukasiewicz A. Lindenbaum A. Tarski Lindenbaum-Tarski Lindenbaum-Tarski universal mapping property 1 1930 G. Birkhoff M. H. Stone universal algebra algebraic
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
Standard ML of New Jersey
Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software. What's New [2024-03-14] Version 110.99.5 is released. This version is primarily a bugfix release with some additional improvements. See the README for details. [2023-12-10] Release 2023.1 of the developm
Unison File Synchronizer
Note: The Unison project is now hosted on GitHub (here's a link). This web site is archival. Unison is a file-synchronization tool for OSX, Unix, and Windows. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.
Top - PPL Summer School 2008
講演概要(Fail-Safe C) 概要 プログラムの誤り（バグ）によるセキュリティ脆弱性の発生は、インターネッ トの普及した現在において非常に大きな問題になっています。特に、プログラ ム中のメモリ操作の誤りによるメモリ上のデータの破壊は、プログラムの実行 そのものを乗っ取り、ウィルスのような不正コードの侵入を許す可能性が高く なります。実際、バッファ・オーバーラン脆弱性などこの類のバグによるセキュ リティ問題は、報告される脆弱性の多数を占め、現在においても深刻な問題で あり続けています。 特に、世の中のプログラムの大多数を占めるC言語で書かれたプログラムでは、 元来の言語の設計がメモリ操作に関する安全性を全く考慮していないため、単 純なプログラムの誤りがすぐにメモリ破壊脆弱性につながる傾向があります。 最初にC言語が提案された1970年代当時はまだインターネットが実用的に用いら れる
はてなブログ | 無料ブログを作成しよう
晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…
Erlang, Oz/Mozart, Prolog, 単一化: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 標題: Erlang, Oz/Mozart, Prolog, 単一化 --- Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 --- ここから --- 変数束縛が Variable = Value. なのに、関数定義が function(Aargument) -> blah, blah, blah. てのはどうよ? --- ここまで
Unification
単一化(unification) 単一化の定義 この節の定義等の多くは[1]から引用しています。 項 V を可算無限個の変数の集合、F を関数記号の集合とします。 V, F から構成される項の集合 T(F, V) を以下の条件を満たす最小の集合と定義します。 x∈V ⇒ x∈T(F, V) f∈F, t1, ..., tn∈T(F, V) ⇒ f(t1, ..., tn)∈T(F, V) 関数記号 f ごとに、f がとりうるパラメータの個数 n があらかじめ定められているものとします。 この n を f の項数といいます。 (以下で、T(F, V) を T と書きます。) 項 x, y が一致することを x≡y と書きます。 代入 V から T への写像 σ でD(σ)={x∈V|xσ≠x} が有限なものを代入といいます。 ここで D(σ) を σ の定義域といいます。 項 t に含まれる
OMeta: an Object-Oriented Language for Pattern Matching
OMeta: an Object-Oriented Language for Pattern Matching OMeta is a new object-oriented language for pattern matching. It is based on a variant of Parsing Expression Grammars (PEGs) which we have extended to handle arbitrary data types. OMeta's general-purpose pattern matching facilities provide a natural and convenient way for programmers to implement tokenizers, parsers, visitors, and tree transf
グーグルのオープンソースは綱渡り--クリス・ディボナ氏インタビュー
Chris DiBona氏のGoogleのオープンソースプログラムのマネージャーという仕事は、綱渡りだ。 Googleは自社の極めて収益性の高い事業に、数多くのオープンソースソフトウェアを使っている。Googleのオープンソース関係の仕事を監督しているDiBona氏は、Googleがそれに対して同じものを返すようにしなくてはならない。テイクだけでギブがないというのは許されない。 無料のオープンソースソフトウェアの支持者は強力な味方になりうるが、声高に非難する批評家にもなりうる。例えば、GoogleがAffero GPLライセンスをサポートしていないことを非難する人もいる。このライセンスでは、そのソフトウェアを使ってネットワークサービスを行っている者は、AGPLソフトウェアプロジェクトに対して行った修正を共有しなくてはならなくなる場合がある。 しかしDiBona氏は、Googleは行った修正
企業のメール、「180日以上前のメールは削除」だったらどうする？ | スラド セキュリティ
ストーリー by hayakawa 2008年07月29日 12時49分 届いたメールをWordファイルに変換するマクロを作らねば…… 部門より 本家/.の記事(Are There Any Smart E-mail Retention Policies?)によると、訴訟や訴訟時の証拠開示に関する企業の法的リスクを下げる試みとして、メールの強制破棄という方針を打ち出す企業が出てきているようだ。 本家タレコミ人の勤める大企業でも、180日以上前のメールは破棄するとの方針を決定したとのこと。ハードディスクなどにアーカイブして削除を免れたいところだが、Exchangeサーバのコンフィグで.PSTファイルへのオフラインコピーが出来ないよう設定されている。なお、会社のポリシーでは重要なメールはWordドキュメントとして保存することを推奨しているという。このようなポリシーを本当に実施している企業などある
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Grid/P2Pプログラミングモデルと関連技術
Substructural Logics 証明論的視点から 小野 寛晰（北陸先端科学技術大学院 大学）OnoHiroakiraOHP.pdf (application/pdf オブジェクト)
データ構造とアルゴリズム - 自習用デモプログラムおよびソースコード集 (Java)
http://c2.com/cgi/wiki?HindleyMilnerTypeInference
IBM Developer