プログラム言語Lua 配布プログラムについての補足 Luaを良く理解するための補足的な解説です。 配布されているLua言語に含まれているサンプルプログラムは、 なかなか奥の深いものから歴史的なものもあり、初心者にはすこし 難しいと思われる面もあります。徐々に追加更新していきますので、コメントなどありましたら、メール などでご連絡よろしくお願いします。 サンプルコードについての解説 bisect.lua 2分法で解く非線形方程式(bisection) 非線形関数としてf(x)を定義して、solve()関数によって、 指定した区間[a,b]の中でf(x)=0となるxを求めます。 解を求めるアルゴリズムの本体はbisect()で、区間a,bの範囲を狭く変更しながら 自分自身を再帰的に呼び出します。そして、a,bの差が微小な値として 与えたdeltaより小さい区間になるまで繰り返して 得たaの値が
ヒトの脳は大脳皮質、大脳基底核、海馬などの器官から構成される 汎用の機械学習装置です。 この脳全体のアーキテクチャの詳細が解明できれば、 人間のような知能を持ったロボットが実現可能になり、 人類に莫大な利益をもたらすでしょう。 今日ではそれは夢物語ではありません。 脳の各器官の計算論的モデルは不完全ながらすでに出そろっており、 それらがどう連携して脳全体の機能を実現しているのかを、 全力で解明すべき時期に来ています。 しかし、全脳アーキテクチャ解明を目指す研究者は、 その重要性に見合うだけの数がいるとは思えません。 このページでは、解明を目指す研究者が 1人でも増えるように、微力ながら情報発信していきます。 ◆NEWS!◆ 2014-05-07 ・汎用人工知能研究会の Web サイトができました。 汎用人工知能と技術的特異点 この中に全脳アーキテクチャ勉強会のページもあります。 全脳アーキ
CSPモデルの優位性 産業技術総合研究所 情報技術研究部門 磯部祥尚 1 第9回CSP研究会(2012年3月17日) 0:40 講演内容 2 1. CSPモデルの特徴 CSPモデルとは? 同期型メッセージパッシング通信 イベント駆動 通信相手(チャネル)の自動選択 2. CSPモデルの実装 ライブラリ/言語 CSPモデルの実装例 ローカル/ネットワークチャネル 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 4. CSPモデルベース開発 並列プログラミングの難しさ CSPによるモデル化、検証、実装 まとめ 理論 CSP 検証 FDR 実装 JCSP 1:20 CSPモデルの特徴 3 CSPモデルとは? 同期型メッセージパッシング通信 イベント駆動 通信相手(チャネル)の自動選択 1:20 P1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く