Isabelle
What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide. See the Isabelle ov
フォトレポート：ソニー研究開発の最先端、ソニーCSLが活動成果を一挙公開
ソニーコンピュータサイエンス研究所（ソニーCSL）は6月8日、研究成果を公開するオープンハウスを実施した。遠い将来を見据えた基礎研究から、すでに製品化されている技術までさまざまな研究開発が進められている。オープンハウスでもっとも目を引いたのは、カードゲームをテレビカメラを使って映し出すとモンスターが立体映像として表示されるというもの。これはカードに印刷された二次元コードを活用したもので、カードの種類と向きをカメラで検知し、それぞれにあったモンスターやキャラクターを表示する。カードの向きに応じて360度の映像が見られる点が特徴だ。この技術を使ったゲーム「THE EYE OF JUDGE」は2007年秋にPLAYSTATION 3用ソフトとして発売される。 ソニーコンピュータサイエンス研究所（ソニーCSL）は6月8日、研究成果を公開するオープンハウスを実施した。遠い将来を見据えた基礎研究から、
HackerIncubator - オープンソースマガジン連載「ハッカー養成塾」リンク集
HackerIncubator - オープンソースマガジン連載「ハッカー養成塾」リンク集 目次 ウェブで公開されている原稿 執筆者、タイトル一覧 オープンソースマガジン連載「ハッカー養成塾」リンク集 オープンソースマガジン（http://www.unixuser.jp/）に連載されている「ハッカー養成塾」でウェブに公開されているものを集めてみた（抜けがあったら加えてください）。 ウェブで公開されている原稿 武藤健志（2006年1月号） http://kmuto.jp/debian/article/osm200601.html 後藤正徳（2006年2月号） http://gotom.jp/~gotom/pub/2005-12-OpenSourceMagazine/gotom.html 高林哲（2006年3月号） http://0xcc.net/pub/osm2006/ 鵜飼文敏（2006年3
「Σ(シグマ)計画」プロジェクト×(ペケ)
イントロダクション かつて、日本のコンピュータ技術を、たった一つの技術にまとめ上げようとする計画があった。 「Σ（シグマ）計画」 Σとは、統合を表す。 官僚による、コンピュータ技術の統合。 しかし、 通産省の主導の元、総額250億円にのぼる国家予算を費しながら、コンピュータ技術の発展になんの功績も残さず、計画は水胞に帰した。 これは、膨大な国家プロジェクトの、失敗の物語である。 プロジェクト×(ペケ) −失敗者たち− 「Σ(シグマ)計画」 「庶民にとってコンピュータは遠い存在だった」 「すり替えられた目的」 「はびこる腐敗」 「ロースペックに敗けた」 「口を閉ざす人々」 「闇に葬られたプロジェクト」 1984年 通商産業省。通称、通産省の役人が、一人の男の元に訪れた。 岸田孝一。 当時、まだ珍しかった独立系(どのハードメーカーにも属さない)ソフトウェア会社を興し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://kyoyo.itc.u-tokyo.ac.jp/backup.html
http://news.com.com/Photos+The+evolution+of+computers/2009-1006_3-6038974.html?tag=st.num
