December 2007
38 posts
LCPC 2006 Conference Program →
“Korat is a tool for constraint-based generation of structurally complex test...”
– Korat - Home Page
“The PHiPAC (Portable High Performance ANSI C) Page”
– PHiPAC Fast Matrix Multiply Home Page
“０６年終値に比べて日経平均は１１．１％の下落で、年間の騰落率がマイナスとなるのは、２００２年（１８．６％の下落）以来、５年ぶりとなる。東証１部の出来高は概算で８億...”
– Yahoo!ファイナンス - 「会社四季報」投資情報 世界の株価指数が yearly でプラスだったのに、日本だけマイナス。 まさに japan passing. 2008 年の日本株式市場はは空売り(short)メインがよいかもしれない。
“Diablo is a retargetable link-time binary rewriting framework. While our focus...”
– Diablo Is A Better Link-time Optimizer | Diablo
“FIT is an ATOM-like tool for the generation of binary instrumentors. It allows...”
– FIT - the Flexible Instrumentation Toolkit
“SoftFloat is a free, high-quality software implementation of the IEC/IEEE...”
– SoftFloat
“A Coq Library on Floating-Point Arithmetic”
– A Coq library on Floating-point arithmetic
“CC-Optimizer: キャッシュを考慮した問合せ最適化器”
– Skyblue ～Yoshishige Tsuji’s Website～
“ユーロ高で欧州勢のドル換算が、かさ上げされたことが大きく影響したが、日本は、景気が拡大しても名目成長率が伸びない「デフレ経済」だったことも影を落としている。”
– 1人当たりGDP、世界18位＝先進国下位に後退−06年度国民経済計算・内閣府（時事通信） - Yahoo!ニュース
“The 90 Minute Scheme to C compiler”
– ‘(Montreal Scheme/Lisp User Group) / Bienvenue Really in 90 minute?
GHC/As a library - HaskellWiki →
Amazon.co.jp： 市場を創る―バザールからネット取引まで: 本: ジョン・マクミラン,瀧澤... →
市場を創る―バザールからネット取引まで
“１０億（約１１００億円）ドル超の資産を保有するインド人富豪が過去１年間で倍増したことが１４日までにわかった。インド企業の経営者がＭ＆Ａ（企業の合併・買収）資金など...”
– 経営者、株価高騰で恩恵 １０億ドル長者、インドで倍増（フジサンケイ ビジネスアイ） - Yahoo!ニュース
“Launchpad is a free software hosting and development website. We make it easy to...”
– Launchpad I’m considering to use launchpad for hosting MUDA language project.
“14日付の米紙ウォール・ストリート・ジャーナル（電子版）は、米国の低所得者向け高金利型（サブプライム）住宅ローン問題が深刻化する前の段階で、リスクの高い住宅ローン...”
– サブプライム「逆張り」で4480億円の利益＝米ゴールドマン・サックス（時事通信） - Yahoo!ニュース さすが GS 様… 逆バリというよりは空売りでは?…
“米連邦準備理事会（ＦＲＢ）は１１日、連邦公開市場委員会（ＦＯＭＣ）を開催し、フェデラルファンド（ＦＦ）金利の誘導目標を０．２５％引き下げ４．２５％にすることを決定...”
– 再送：米ＦＯＭＣは利下げ幅0.25％どまり、市場は失望（ロイター） - Yahoo!ニュース
【iKnow! ／アイノウ】TOEIC、基礎英語からビジネスまで、無料でオンライン学習 →
“米投資会社ブラックストーン(BX.N: 株価, 企業情報,...”
– ブラックストーン、中国投資と共同でリオ・ティント買収計画＝英紙 | ワールド | Reuters KKR は？ KKR は対抗 bid を出さないのですか!?
“He spends most of his day alone in an office with no computer. He makes swift...”
– Warren Buffett, Unplugged - WSJ.com IT 長者で世界一の資産家は、オフィスに PC を持たない世界二位の資産家にぞっこん love している。
“06年9月に書いた「プライベート＞パブリック？」というエントリーでは、アメリカの企業経営者が未上場化を推進する動機として、以下の３つの点に触れたと思います。...”
– ウォールストリート日記
“しかも、インフレだからといって、金利を上げても、現在進行中のインフレには全く役に立たないのだ。日本の外からやってくる資源、エネルギーなど外部的要素によるインフレな...”
– Doblog - おかねのこねた：日中米の賢楽投資で、老後は安泰！ -
“Treasury Secretary Henry Paulson and regulators forged the agreement with...”
– Bloomberg.com: Worldwide うーん、借りたもん勝ちということか?…
Global Variables in Haskell (ResearchIndex) →
Global Variables in Haskell
“Engineering staffs in Bangalore are playing the lead role on “Shanghai,” AMD’s...”
– News Room Home AMD は india に開発拠点を本格的に移すのだろうか?
Implicit Parameters: Dynamic Scoping with Static... →
Implicit Parameters: Dynamic Scoping with Static Types
Template Haskell →
Lambda the Ultimate | Programming Languages Weblog →
“Renaissance: a functional shading language (Master’s Thesis)”
– aegisknight.org | articles
“大阪証券取引所は4日、日経平均先物などデリバティブ（金融派生商品）の売買高が国内の取引所で初めて年間1億枚を突破したと発表した。2006年に投入したミニ日経平均先...”
– NIKKEI NET（日経ネット）：経済ニュース －マクロ経済の動向から金融政策、業界の動きまでカバー
“資金に余力があれば現物買い（デフォルトリスクをとってクレジットスプレッド享受）、CDS買い（デフォルトプロテクションを買って、クレジットスプレッド支払い）のRel...”
– Doblog - positive gamma －ヘッジファンド投資、RVトレード＋雑感 -
“アメリカで起こったのは、学校とか公共部門に近いところや地方政府の資金を運用していた投資プールと呼ばれるファンドにサブプライム関連の証券化商品が組み込まれていて、元...”
– Doblog - おかねのこねた：日中米の賢楽投資で、老後は安泰！ -
“またまた嫌らしいタイトルですが、要するにですね、
素晴らしい技術により素晴らしい製品を生み出しても、...”
– hamastaの日記 -Pythonで学ぶプログラミングの世界- - 駆け出しプログラマーのグループ
“Pan is an experimental embedded language and compiler for image synthesis and...”
– The Pan Home Page Vertigo の前身らしい
Yhc - HaskellWiki →
York Haskell Compiler
November 2007
75 posts
A Neighborhood of Infinity: Automatic... →
Automatic differentiation with laziness « Closure... →
“Caml Trader:
Adventures of a functional
programmer on Wall Street”
– Jane Street Capital, LLC 金融の世界でも関数型言語！ 以外といろんなところで金融とはつながっているものですねー。やっぱこれからは関数型ですよ。 関数型やっとけば、とりあえず食いっぱぐれなさそう。
“GPGPU.org is 5 Years Old! On November 14th, 2002 Mark Harris created a web page...”
– GPGPU ふーん、もう 5 年か… その割には流行ってない気がする。 しかし、GPGPU 会社の M&A は活発な気がする。 やっぱ、 - なんか流行りそうや分野を見つける - とりあえず採算度外視で投資家をうまくだまして資金あつめて会社作って知名度を売っておく - 大きな会社に買われるのを待つ(or 売り込む) - じつはなにも収益だしてないけど、うはうはになれる. という流れが多いのか!?