kohagiのブックマーク / 2007年5月28日

kohagi id:kohagi

2007年5月28日のブックマーク (6件)

Thinking in Erlang (Japanese version)
What is Scribd?AcademicProfessionalCultureHobbies & CraftsPersonal GrowthAll Documents
kohagi 2007/05/28
リンク
ホワット・ア・ワンダフル・ワールド THE HISTORY OF HASKELL の翻訳
Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています．具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています．もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています．キーワード : equivalent tra
kohagi 2007/05/28
リンク
The Haskell 98 Report: Standard Prelude
The Haskell 98 Report top | back | next | contents | function index 8 Standard Prelude In this chapter the entire Haskell Prelude is given. It constitutes a specification for the Prelude. Many of the definitions are written with clarity rather than efficiency in mind, and it is not required that the specification be implemented as shown here. The default method definitions, given with class decla
kohagi 2007/05/28
リンク
ホワット・ア・ワンダフル・ワールド括弧の無い Lisp
Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています．具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています．もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています．キーワード : equivalent tra
kohagi 2007/05/28
リンク
LispUser.net : 最高にキモい Lisp コードを書いてみよう with 100 行リーダーマクロ
LISPUSERLISPM EMOLisp is like a ball of mud - you can throw anything you want into it, and it's still Lisp. -- Anonymous Ruby 方面でみかけたネタに触発されました．Lisp はプログラマブルな言語なのでリーダーもプログラマブルです．そこでリーダーをいじって let や defun などの構文を括弧じゃなくて end にでもしてみましょうか． 100 行程度を目標にトライしました．使ったライブラリは CL-Yacc のみです．できあがったのがこちら． #@suck-lisp defun fib (n) if (< n 0) (error "oops") elif (= n 0) 0 elif (= n 1) 1 else let x <- (fib (- n 1))
kohagi 2007/05/28
リンク
さあ？ぶほおおおぉぉぉぉぉぉ！アプコン、アプコン、アプコン
SCEJ、PS3システムソフトウェアバージョン1.80公開　PS/PS2のソフトがHD解像度でプレイ可能にぶほぉぉぉぉぉぉぉぉぉ……とブタのような感嘆の息をもらしつつ、急いでファームウェア1.8を落としました。手持ちのPS2タイトルを遊んでみて、高品質化に満足、満足。ノベルゲームにしても、恩恵はあり、特に文字が格段に読みやすい（ケーブル品質の差もあると思いますが）。ノベルゲームユーザーにとっても、うれしい機能追加ですな。ようやく「発売時にあるべき姿のPS3」に近づいてきているのを感じますね。XBOX360も本体ソフトウェアのバージョンアップや、タイトルの充実で、洋ゲーマー以外のゲーマーからの評価が上がってきたのでした。購入してから不遇の時代が長かったPS3ユーザーにも、ようやく「持っててよかったPS3」と思える時間が訪れるようとしているのかもしれませんね。ニコニコ。しかし悲し
kohagi 2007/05/28
リンク
- 2007年5月29日
- 2007年5月28日
- 2007年5月27日