404 | 東京女子大学#Global Citizenship Program #総合型選抜 #合格最低点 #奨学金 #公開講座 #寮 #AI・データサイエンス #学費 #資料請求 #シラバス #留学 #お問い合わせ
代数と余代数 最初の一歩
Wed May 11 2005:start Sat May 14 2005:draft Mon May 16 2005:prefinal 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条 件を満たすソート付き形式的体系の指標（signature）を代数指標／余代数指 標と定義して、それのモデルとして代数／余代数を導入する。余代数とオブジェ クト指向との関係にも言及する。
IBM研究者、動物の思考に類似したコンピュータアルゴリズムを開発 - CNET Japan
IBMは、コンピュータに脊椎動物のような思考を持たせる手法を開発した。 IBMのバイオメトリカル・コンピューティングチームのCharles PeckとJames Kozloskiは、「ミニ円柱（minicolumn）」と呼ばれる大脳新皮質の小型円柱組織の働きを真似る数学的モデルを作り出したと発表した。ミニ円柱とは、ニューロン（神経細胞）からの刺激をまとめる組織の細い糸の集合を指す。この研究がさらに進めば、やがてロボットが人間のように「認識」し、センサーから得た情報を利用して適切な判断を行うことになるかもしれない。 Peckの説明によると、人間の脳はおおよそ280億の細胞で成り立っているという。このうち、2億あるミニ円柱は、簡単にいうと感知したデータを集め、それを組織して脳のより高度な部位に提供している。またミニ円柱には、内部接続を通して互いに通信を行う機能もある。ミニ円柱はおおよそ直径20
セルオートマトンと複雑系
このホームページについて このホームページではセルオートマトンを軸に複雑系（複雑性）や人工生命について紹介しております。特に読む順番は考えてませんので、メニューでお好きなところを選択して下さい。自分なりに努力はしていますが、初めてセルオートマトン接する方には、親しみ易いホームページにはなっていないかもしれません。良くわからない方は取りあえずギャラリーでセルオートマトンを実行してみて下さい。また、このホームページ全体を読んだのちセルオートマトンに興味をもたれた方、そしてすでにセルオートマトンについてある程度知っていている方は、是非私のセルオートマトンの実行環境Cambria(カンブリア)をダウンロードして使ってみて下さい。ダウンロードの案内はこのページの下の方にあります。 最新情報 会議の案内 ACRI 2006seventh International conference on Cell
ACM Sigplan Notices 29, 4 (Apr 1994), 5863.
原文: Thermodynamics and Garbage Collection. ACM Sigplan Notices 29, 4 (Apr 1994), 58–63. Henry G. Baker Nimble Computer Corporation 16231 Meadow Ridge Way, Encino, CA 91436 (818) 986–1436 (818) 986–1360 (FAX) Copyright (c) 1993 by Nimble Computer Corporation 日本語訳: 酒井 政裕 私たちは統計力学の原理とそのストレージ管理の問題への適用について議論します。 また、私たちは 情報, 状態, 可逆, 保守的 といった用語の不正確な用法による問題について指摘します。 A. はじめに 計算機科学者は抽象統計熱力学についての知識を持っている
変動金利と固定金利、住宅ローンでどちらが有利なのか | お金かしてくださいという願望をお持ちの方はこちら！
様々な雑誌で書かれている住宅ローンの選び方なんですけれども、実際にそういった住宅ローンを選んでいる人からすると、金利が安かったり使い勝手がいいものであったり、もしくは繰り上げ返済をするときに手数料が安いとか色々な条件で使いたいものを選ぶと思います。本来であれば使っている銀行口座があるところから選ぶ人が多いと思いますが、これほどまでに多くの銀行やその他の信用金庫などなど、いろいろなところが商品としての住宅ローンを出していると迷うとろこであります。 それならどこを選ぶか？という時に雑誌などでも特集されるのがやっぱり変動金利か固定金利かという所ではないでしょうか。基本的に変動金利か固定金利かどちらがいいかというのは一長一短あるのでどちらがいいとははっきり言えないところがあります。とはいえ、一応のルールというか選ぶ基準というのははっきりとしています。 それは景気です。景気がいいか悪いか、もしくは国
指向性メモ::2006-08-18::XMLの屍を超えていく――セマンテックウェブの挑戦
データ構造の記述を統一する段階を超え、情報（それ自身）へのアクセスを統一する為の土台が整いつつある。 すでに多くの人が気がついているように、実のところXMLには大した再利用性が無い。もちろんただのCSVに比べればDOMやXSLTなどの統一されたAPIが用意されている分、データの扱いは楽だ。しかし、たとえば様々なXMLデータを自分の所に持ってきて、適当に混ぜ合わせて新しい物を作るといった用途には、XMLは向かない。言い換えれば、XMLはマッシュアップには不向きである。 CSVからXMLになって何が1番変わったかと言えば、データ構造へアクセスするためのAPI、――つまりDOMやXSLT、SAXなど――が統一されたことにある。それまでみんなで好き勝手にデータ構造を定義していた時代に比べれば、1回XSLTやDOMを覚えるだけでJavaでもPHPでもAdaでも同じ方法でデータ構造にアクセスできるよう
計算的な深さと脳
ニューロンが入力を受けてからスパイクを出すまでは早くとも数ミリ秒かかる。人間が反応するまでの時間は零点何秒かだから、入力と出力の間には最大に見積もっても数十段のニューロンが介在するだけである。（実際はもっと段数が低いだろう。） 一方コンピュータの方は現在のネズミ以下の判別能力しかないような画像認識をするにあたってさえ数千万サイクルの計算を行わなくてはならない。 だから、脳が物凄い並列計算をやっているに違い無い。ここまでは普通の話ね。 で、問題は「じゃ、物凄い並列な機械をつくったら脳の能力を再現できるのかよ」ということ。もちろん誰も答えをしらない。どんなアルゴリズムを使えば良いか分からないし。 人によっては絶望して「新しい物理法則を」とか「量子論的並列性」とか、「魂」とかに行っちゃう。 で、僕も答えは持って無いけど、この問題を考えるにあたって以下の「計算的大きさ」と「計算的深さ」の概念を
正規表現
正規表現 前のドキュメント ＶｉＶｉの正規表現処理について説明する。 ■ 有限オートマトン チョムスキーの言語理論によれば、形式文法はクラス０～３に分類できる。正規表現は生成規則の制約が最も強いクラス３に属し、入力文字列が与えられた正規表現として受理されるかどうかを有限オートマトンにより決定することが出来る。 有限オートマトンとは下図の様に（有限の）状態と、入力文字によりどの状態に遷移するかの規則により構成されるものである。 'a' 'b' ○────→○────→◎ q0 q1 q2 上図では３つの状態、q0, q1, q2 があり、'a' が入力されると状態 q0 から q1 に遷移し、'b' が入力されると q1 から q2 に遷移することを表す。q2 は受理状態なので、"ab" が入力文字列であれば、めでたく受理されることになる。 正規表現を有限オートマトン
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Kazunori Ueda 理論と実際のギャップ: 並列プログラミング
http://pllab.jaist.ac.jp:8080/education/i217-2002/theory.html
ラムダ算法
http://blog.picsy.org/archives/000199.html