Nanyang Technological University
Staff Personal Web Page DISCLAIMER The websites under https://personal.ntu.edu.sg and https://www3.ntu.edu.sg/home are hosting NTU staff's personal web pages. If you are coming from an expired or bookmarked page (www.ntu.edu.sg/home/your_url), you may want to update your link with the new domain (personal.ntu.edu.sg/your_url). NTU does not in any way accept any liability nor responsibility for thi
Senamtics with Applications - soutaroブログ
k.inabaさんが「面白そう」と書いてた本です。 Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) 作者: Hanne Riis Nielson,Flemming Nielson出版社/メーカー: Springer London発売日: 2007/04/27メディア: ペーパーバックこの商品を含むブログ (1件) を見る 面白そうだったし、Amazonで見てみたら、なんかえらい安かったので買ってみました*1。いや、こういう本って、イメージとして5,000円〜10,000円くらいしそうな気がします。届いてから気づいたのですが、「Undergraduate Topics in Computer Science」とか書いてありました。感じとしては学部生の授業かセミナーかで使う
Programming and Computation
Types Metaprogramming Lambda-calculus Monads in Haskell and other languages Continuations and delimited control Streams Generic zipper and the zipper-based filesystem Many faces of fixed-point combinators Having an Effect There was still something left to discover in how to add and multiply Doubts about the concept of information and an elementary derivation of the Shannon entropy formula The curi
Unchecked Exceptions can be Strictly More Powerful than Call/CC | Lambda the Ultimate
Unchecked Exceptions can be Strictly More Powerful than Call/CC Here's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation. We demonstrate that in the context of statically-typed purely-functional lambda calculi
Computational Complexity of Games and Puzzles
Many of the games and puzzles people play are interesting because of their difficulty: it requires cleverness to solve them. Often this difficulty can be shown mathematically, in the form of computational intractibility results: every NP-complete problem is in some sense a puzzle, and conversely many puzzles are NP-complete. Two-player games often have higher complexities such as being PSPACE-comp
再帰プログラムの意味論について
∗ 1 semantics of programming languages recursion ∗ 59 (2007), 180–191 1 2 2.1 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) well-defined Z * Z Z * Z F : (Z * Z) → (Z * Z) F(f)(x) = 1 (x = 0) x × f(x − 1) (x 6= 0, f(x − 1) ) ( ) F F fact fact [[fact]] : Z * Z [[fact]](x) = ( x! (x ≥ 0) ( ) 2 F f [[fact]] F([[fact]])(x) = 1 (x = 0) x × y (x 6= 0, [[fact]](x−1) = y) ( ) = ( x! (x ≥
selfref2006.dvi
∗ I 2 1 2 2 2 3 3 4 5 5 7 6 8 II 11 1 11 2 12 3 13 4 14 5 15 6 — 16 ∗ 2002 8 5 8 2006 5 2007 8 Soto-Andrade Varela 1984 1 Part I 1 Russell, B.A.W., 1872-1970 ( ) X ∈ X X M 1 M M M ∈ M M M M M ∈ M M 2 Cantor, G., 1845-1918 1 X 2X X u t X m : 2X → X X R R = {m(A) | A ⊆ X, m(A) 6∈ A} m(R) R m(R) ∈ R R m(A) 6∈ A A ⊆ X m(R) = m(A) m R = A m(R) 6∈ R m(R) 6∈ R R m(R) ∈ R 1 M 2 1 1 ( ) 3 1 2 X X X XX X u
セマンティクス(笑) - soutaroブログ
セマンティクスって？ - Higepon’s blog Route 477(2008-05-30) セマンティクス - soutaroにっき http://alohakun.blog7.fc2.com/?no=945 http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080603#p01 d.y.d. 多分、時系列順。 id:higeponさんのエントリはLDRで眺めただけで、ちょっとしてyharaさんがコメントしてるのを見て、じゃあせっかくだからと思ってちょっとセマンティクスについて書いてみようと思った。どういう話にするか一瞬考えて、Haskell HackathonのときにLingrでid:SiroKuroさんと話してたのを思い出して良い機会だから、そのとき理解した気になったことを書いてみようと決めた。そのあと、あろはさんが、例によってETに
ホワット・ア・ワンダフル・ワールド セマンティクス
soutaroにっき 2008-05-30 ■セマンティクス ひげぽん OSとか作っちゃうかMona- 2008/05/30 セマンティクスって？ セマンティクスを議論するためには，計算モデルを決めないといけません． 計算モデルが決まれば，状態の表現方法が決まり，「計算」という概念が決まります． 計算というのは，状態変化の列のことです． 計算が決まれば，計算とプログラムの対応関係を決定することができます． その，対応関係のことが 「意味論 (semantics)」だと思います． 任意のプログラム空間 P 内のプログラム p ∈ P と，任意の計算空間 C 内の計算（状態の変化列） c ∈ C の組 ＜p, c＞ が意味論という気がします （いや，メチャクチャテキトーで，個人的なイメージですけど） ここらへんを真面目に考えているのは，たぶん等価変換計算モデル(Equivalent Trans
d.y.d.おもしろいみろん
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という方だけ、↑に登録変更していただけると、 直るかと思います。お手数おかけしてスミマセン。定期的に「文字化けってる」という 指摘を見かけるので再度ブロードキャストです。こう、辛辣な評議会とかで怒られそうですけど、 諸般の事情により古い方からリダイレクトかけるの難しいらしいのだよね… それはそうと、昨日の記事に追記しました。 10:26 08/06/28 Logic ∩ CS 検索してたらたまたまヒットした "On the Unusual Effectiveness of Logic in Computer Scienc
Categories
Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community.
論文読み: Arrows, Robots, and Functional Reactive Programming http://www.haskell.org/yampa/AFPLectureNotes.pdf - 言語ゲーム
Haskell のアニメーションライブラリ Yampa についてのチュートリアル。またもや FRP (Functional Reactive Programming) の話題です。SOE の FAL は休憩して、その未来の姿である Yampa に寄り道します。Monad を一般化した Arrow なるものを使って、time / space leak なる物を排除し、モバイルロボットのプログラムをきっちり記述します。 プログラムの例として、シムボット(ロボットシミュレータ)を扱います。シムボットは二つの独立して動く車輪を持ち、ぶつかりセンサーや、前後左右に光学センサーを持ちます。また、他のシムボットの位置を知る事も出来ます。 シグナル (p 3) 一番重要な概念はシグナルです。 Signal a = Time -> a つまり、シグナルとは時間の関数です。例えばシムボットは車輪が二つあるので
15-819K Logic Programming
Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from functional or imperative programming. This course provides a thorough, modern introduction to logic programming. It consists of a traditional lecture component and a projec
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Moggi :: CT -> Hask - The Syntactic Century
Teaching
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080603
計算と論理Computation and Logic - 佐藤雅彦(京都大学工学部情報学科)
Kursused - Arvutiteaduse instituut
15-851 Computation and Deduction
http://imps.mcmaster.ca/doc/seven-virtues.pdf