現時点ではMacPorts上のghcはsudo port install ghcでは入らない。 Snow Leopardで動くghcは、GHC: Download version 6.10.4だ。 ただし、ghciやrunghcは動くがghcでのコンパイルは失敗するので、MacPortsのghcが動くようになったら、sudo /Library/Frameworks/GHC.framework/Tools/Uninstallerを実行してオフィシャルパッケージのghcをアンインストールすべきだ。 Snow Leopardとghcに関する問題のチケットは #20132 (ghc missing variable definitions in 10.6) – MacPorts #3400 (OS X: ghc broken on Snow Leopard) – GHC を追えば良い。 SnowL
The jsMath package provides a method of including mathematics in HTML pages that works across multiple browsers under Windows, Macintosh OS X, Linux and other flavors of unix. It overcomes a number of the shortcomings of the traditional method of using images to represent mathematics: jsMath uses native fonts, so they resize when you change the size of the text in your browser, they print at the f
An unofficial blog that watches Google's attempts to move your operating system online since 2005. Not affiliated with Google. Send your tips to gostips@gmail.com. Google Docs offers an undocumented feature that lets you embed PDF files and PowerPoint presentations in a web page. The files don't have to be uploaded to Google Docs, but they need to be available online. Here's the code I used to emb
ミケネコ研究所 / 画像研究室 / PNG の話 / 第 3 章 第 3 章 PNG のスペック一覧 PNG (Portable Network Graphics, ピング) フォーマット。 この章では、PNG フォーマットの機能のそれぞれについて、ざっと紹介していきます。しかし、GIF 問題を初めて認識されたあなたにとっては、おそらく PNG の詳しい機能などには興味がないことでしょう。あなたの最も知りたいことは、PNG の高機能性ではなく、本当に GIF の代わりになるのか、ということのはずです。だから、この章はあなたにとって少々たいくつなことでしょう。 幅と高さ カラータイプ 圧縮 フィルタリング フィルター形式 フィルタリングアルゴリズム インターレース Adam7 アルゴリズム GIF との比較 ガンマ補正 透過設定 αチャンネル 透明色 テキスト文字列 背景色 アスペクト比 減
多分当時の僕に文字多めの専門用語多めの本を渡しても読まないと思うので誰でもそれなりに読めて面白くて気付きが多い本って基準でセレクト。 自分の小さな「箱」から脱出する方法 作者:アービンジャー インスティチュート,金森 重樹,冨永 星発売日: 2006/10/19メディア: 単行本(ソフトカバー)自分の小さな「箱」から脱出する方法posted with amazlet at 09.09.10アービンジャー インスティチュート 金森 重樹 冨永 星 大和書房 売り上げランキング: 219 おすすめ度の平均: 苦しかった。 箱から少しだけ頭を出せるようになりました コミュニケーションテクニックに頼る前に一読を。 衝撃的 人に勧めまくってます Amazon.co.jp で詳細を見るこれは一番最初にあげておきたい、なんか優しくなれる本。当時のペーパーナイフのようなキレそうでキレない自分に見せてやりた
日本、大人になる 先週、民主党が、半世紀近くもずっと政権を握っていた自民党を政権から追いやったとき、一部報道機関は革命であると評した。 古い人たちはいなくなり、新鮮な風が吹き込んだ。 でもどうして人々は嬉しそうに見えないのか? どんな政府あっても彼らの問題を解決してくれないことを、日本人は認識しつつあるからだ。 しかし、これはいいことである。日本はついに成長しているのだ。 メディアは街頭にレポーターを派遣して、新しい政権に何を期待するか聞いている。 人々はマイクに近づき、「景気をよくしてほしい」「社会保障を充実させてほしい」「失業問題を解決して欲しい」などと率直に述べる。 しかし彼らの表情は憂鬱そうで、これらの意見にどこか偽りがあるような感じがする。 昔は、政府が私たちの問題を解決することができた。戦後、日本の成長の大部分は政府主導であった。 国民は、政府が道路や病院を作り、商売を守り雇用
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く