生き残ってるプレゼン資料 - ラシウラ
最近のでOOoで作ったのは、Google Docsに放り込んでおいたので助かってるが、数式エディタでつくった数式とかめちゃくちゃかも。 Google スライド - オンラインでプレゼンテーションを作成/編集できる無料サービスです: What is Behavior Driven Development ? Google スライド - オンラインでプレゼンテーションを作成/編集できる無料サービスです: 論文紹介: “Gradual Typing for Functional Languages” and "The Design and Implementation of Typed Scheme" Google スライド - オンラインでプレゼンテーションを作成/編集できる無料サービスです: 論文購読: Church's Thesis and Functional Programming G
Martin Erwig's Home Page
Research My research interests are centered around the following topics: Language Design and Domain-Specific Languages Functional Programming Visual Languages CS Education An overview of some of my research projects can be found here. Activities I am an Editorial Board Member of the Journal of Computer Languages, an Associate Editor of the Journal of Visual Language and Computing, and a member of
The Stanford SUIF Compiler Group - Programming Tools
Improving Program Robustness via Static and Dynamic Analysis Objective Our research project aims to help programmers in writing more reliable programs, detecting errors in their programs and diagnosing errors. Our project includes fundamental research to improve our ability to analyze programs, such as pointer alias analysis, and applying static and dynamic techniques to address specific kinds of
Rinkou - Types and Programming Languages
輪講スケジュール 読む本 B. Pierce: Types and Programming Languages お知らせ Bounded polymorphism 以降は秋口から行います。 参加者 大根田 末永 立沢 洪 小林 アフェルト 清木 前田 遠藤 川崎 川中 スケジュール
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記
全体目次： 第1歩：しりとりの圏 （このエントリー） 第2歩：行列の圏 第3歩：極端な圏達 第4歩：部分圏 第5歩：変換キューの圏 第6歩：有限変換キューと半圏 第7歩：アミダの圏 第8歩：順序集合の埋め込み表現 第9歩：基本に戻って、圏論感覚を養うハナシとか 付録／番外など： 中間付録A：絵を描いてみた 番外：同期／非同期の結合 中間付録B：アミダとブレイド 番外：米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論（カテゴリー論）が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として「コンパクト・ハウスドルフ空間と連続写像の圏」とか言われてもねぇ（この例はいい例なんです
Great Works in Programming Languages
In September, 2004, I posted a query to the Types list asking people to name the five most important papers ever written in the area of programming languages. This page collects the responses I received. (A few are missing because I am still tracking down bibliographic information.) Many thanks to Frank Atanassow, David Benson, Nick Benton, Karl Crary, Olivier Danvy, Mariangiola Dezani, Dan Friedm
五十嵐 淳 (Atsushi IGARASHI)
関連リンク 京都大学 大学院情報学研究科 知能情報学専攻 佐藤・五十嵐研究室 工学部情報学科計算機科学コース 東京大学 大学院情報理工学系研究科 コンピュータ科学専攻, 米澤研究室 大学院総合文化研究科 広域システム科学系 情報・図形 情報システム研究グループ 東北大学大学院情報科学研究科情報基礎科学専攻 小林研究室 University of Pennsylvania Department of Computer and Information Science Prof. Benjamin Pierce last update on $Date: 2008-09-22 14:53:53 +0900 (Mon, 22 Sep 2008) $
Philip Wadler's home page
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
Featherweight Java: A Minimal Core Calculus for Java and GJ
Featherweight Java: A Minimal Core Calculus for Java and GJ By Atsushi Igarashi, Benjamin Pierce and Philip Wadler. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001. A preliminary summary appeared in Proceedings of ACM Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices, volume 34, number 10, pages 132-146, Den
数列辞典
The page you're looking for has moved, been replaced, or is currently unavailable to view. If you previously bookmarked a page and have now reached this message, check to make sure the link was not shortened, or go to our home page to find the page from there. We've been upgrading this site. If you selected a link on our site and reached this message, use the Back button to return to the previous
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
http://www.cs.cmu.edu/People/fp/index.html
http://homepages.cwi.nl/~atanasso/ref
[ Home page of KINOSHITA Yoshiki ]
Special Interest Groups on Type System and Programming Languages
POPL 2007: Preliminary Program
George Necula's Page at University of California
http://homepages.cwi.nl/~ralf/
A Theory of Objects
Mandana Vaziri - IBM