Coq/SSReflect/MathCompの設定
[2023-02-24 Fri]: Ubuntu 22.04.1 LTS, Coq 8.16.1, MathComp 1.16 [2023-01-06 Fri]: Ubuntu 22.04.1, opam 2.1.4, ocaml 4.14.1, Coq 8.16.1, ProofGeneral 4.6, MathComp 1.15.0, MathComp-Analysys 0.6.0 [2022-09-09 Fri]: Ubuntu 22.04.1, Coq 8.15, MathComp 1.15 (opam), ProofGeneral 4.6 [2022-08-03 Wed]: Windows 11, Coq 8.15, MathComp 1.15 (WSL 2) [2022-03-01 Tue]: Windows 11 21H2, Coq 8.15, MathComp 1.14 (
ガウシアンプロセス
ガウシアンプロセス (正規過程: GP) はブラウン運動などと関連し確率過程で 古くから研究されてきた対象であり，学習においても特に関数近似に関しては SVM などよりもずっと基本的なモデルであり，これを理解しておくことは 重要である． GP には二つの等価な定義が可能であるが，ここでは学習という観点からベイズ線形回帰 に基づく定義を書く． 個のサンプルデータ が与えられたとき，線形モデル で回帰を行う． ここで， の事前分布を 次元の標準正規分布 と仮定する ( は特徴空間の次元)． 出力 も独立に正規分布 に従うとする． 以上のようにすべて正規分布という仮定の下では容易にベイズ推定が解けて， MAP 解は次のように与えられる． ただし， は を並べた行列 (Gram 行列)で， である. このように GP は，ベイズ推定としても基本的なものである． この考え方を拡張したものが Rele
骨導超音波知覚特性の検討
Characteristics of auditory perception of bone-conducted ultrasound 1999.10.1 中川誠司 Abstract 超音波であっても骨導（骨伝導）経由で音として知覚することができる．我々は骨導超音波聴覚について，聴覚健常者および難聴者を対象とした聴覚心理実験および脳磁界計測を行った．その結果，(i) 対象とした最重度難聴者の半数以上が骨導超音波を知覚可能であることを確認した．また脳磁界計測より，(ii) 骨導超音波知覚時に大脳皮質聴覚野が活動すること，(iii) 振幅変調された骨導超音波によって単語や周波数の弁別が可能であること，および (iv) 骨導超音波の音像定位が可能であることを示した．これらの結果は，高度難聴者のための新型補聴器（骨導超音波型補聴器）開発の可能性を示唆するものである．さらに骨導超音波聴覚特性を詳細に
EM アルゴリズムの一般化
EM アルゴリズムは各ステップで尤度が単調増加することが保証されており， 局所最適解または鞍点に収束することが知られている[91]． しかしな がら，要素分布の学習の例で見たように，一般には M ステップにおける最適 化問題が陽に解けるとは限らない． そこで制限を緩め，M ステップでは， なる を見つければよいことにする． この場合でも尤度の単調増加性 は保たれている． この方法を一般化 EM アルゴリズム (Generalized EM)と呼 ぶ． ただし，局所最適解(または鞍点)への収束は一般には成り立たなくなる． Meng and Rubin[52] は一般化 EM アルゴリズムの一種としてECM (Expectation-Constrained Maximization) アルゴリズムと呼ばれる手法を提 案した． これは， の最大化をすべての変数に対して同時に行うのではなく， いく
Fermi
『Fields and Particles』(K. Nishijima, W.A. Benjamin) 個人的には非常に気に入っている本です。この本を読むと摂動論の計算が できるようになる、ように書かれています。 日本語で新しいバージョンが出ています。 『場の理論』（西島和彦著、紀伊国屋書店） SU(2)xU(1)の自発的対称性の破れについては、KibbleがWeinbergやSalamより先に計算をしていましたが、 Kibbleは実験を説明できるような質量スペクトルを導きませんでした。西島先生が場の理論の講義の際に、 「Kibbleは計算を間違えたために正しい答えを得ることができなかった。そのため、大魚を逃した」と言われたのが印象に残っています。 そのことをちょうどその日の講義の一番最後に言われましたので、「この一言を言うために今日の講義をされたのかな」と言いあったものでした。 『An
気まぐれ日記：片浦/ Kataura
独立行政法人産業技術総合研究所 ナノシステム研究部門 ●カーボンナノチューブ研究：片浦のページに戻る 2011年の気まぐれ日記 2010年の気まぐれ日記 2009年の気まぐれ日記 2008年の気まぐれ日記 2007年の気まぐれ日記 2006年の気まぐれ日記 2005年の気まぐれ日記 2004年度の気まぐれ日記 2012.7.2 偶然、Otto Zhouに会う のんびり自宅を出て、徒歩でAISTに向かっていると、つくば市図書館の前で家族が散歩を楽しんでいた。最初、日本人の家族連れだと思ったのだが、話し声が聞こえると、どうも日本語ではないようだ。なんとは無しに見ていたら、父親は、なにやら見覚えのある人だ。っと、向こうも私に気がついたようで、お互いに「おー」ってなもんである。本当に久しぶりに会った感じだが、ノースカロライナ大学のOtto Zhou先生だ。昔会った時は、そんなに若いとは思っていなか
Research
最近，岩波文庫から朝永振一郎さんの文章を集めた『量子力学と私』が出版され,みすず書房の"庭にくる鳥"も復刊され，朝永さんの文章にふれる機会が増えたので([1]) ， それらの文章を参照しつつ朝永さんはどうしてノーベル賞をもらえるような重要な仕事がことができたのか考えてみよう。我々が研究していく上でも大いに参考になることがいろいろとある。 当時の大問題は量子電気力学の発散の問題であった。摂動論の計算に現れる発散をなんとかしなければ，場の量子論の命運も尽きるかという状況だった ([2])。 電子が自分のつくる場と相互作用して電子の質量が変化し，計算してみるとその 変化が無限大になってしまうというのは古典論でもすでにおこっていたことで， 無限大というのは非常に古い問題だった。量子論ではその無限大はどうなるかというと，無限大ではあるけれども古典論よりは弱い無限大ということがわかっていた。量子電気力
分散分析法と構造モデル
上図から明らかなように、実験の繰り返しによるデータのバラツキは小さく（繰り返し実験は完全にランダムに行われているから、それに基づく変動誤差は偶然誤差）であるから、それに比べ反応温度が変動するとデータのバラツキは大きくなり、結果として反応温度が反応収率に一定の説明可能な影響を与えている（反応温度が上がれば反応収率が上がる）ことがわかります。 この例のように、実験データに大きな影響を与え得る可能性のある主要な変動要因（これを因子Aとします）が１つで、残りの変動要因がランダムな実験の繰り返しすなわち偶然誤差であるような場合の統計モデルを「１因子実験」あるいは「１元配置実験」と呼んでいます。また、この場合、因子Aである反応温度は３種類選びましたが、この３種類それぞれの実験条件のことを因子Aの水準と呼び、その種類の数のことを水準数と呼んでいます。上例では因子Aは反応温度であり、その水準は40℃、60
産総研 - 研究者
あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ あああああああああああああああああああああああああああああああああああああああああ ああああああああああああああああああああああ
<4D6963726F736F667420506F776572506F696E74202D20947A95748E9197BF814081698B5A8F70835A837E8369815B814082BB82CC3130816A>
2014/9/24 マイクロバブル・ナノバブルの 基礎と応用 マイクロバブル ナノバブル 高橋 正好 （産業技術総合研究所） 泡 水（環境）を綺麗にする 動植物を元気にする 本日の講演内容 1.実例紹介（検討課題） 2.マイクロバブルとは？ 3.応用の数々 4. ナノバブルって何？ 5.その応用 6.今後の展開 小さな泡（マイクロバブル）で何が出来る？ 応用例 半導体の洗浄 フォトレジストの除去 1 2014/9/24 半導体洗浄 半導体洗浄 強力な薬剤 H2SO4 + H2O2 at 150℃ (従来法) 除去が困難 水 ＋ マイクロバブル （オゾン） 完全除去 高ドーズイオンインプラント フォトレジスト フォトレジスト 高ドーズイオンインプラント フォトレジスト チョウザメ養殖におけるマイクロバブルの効果 小さな泡（ナノバブル）で何が出来る
DNA情報の取得とApEでの操作 - 花井＠産総研
○動物の時計遺伝子ならば、主な物を時計遺伝子のページに置いたのでリンクから進んで下さい。 ○Geneのページで適当な遺伝子名称を入れて検索します。Limitで生物種を指定した方が良いでしょう。 右は、clock(大文字小文字は無視)をキーワードで、ショウジョウバエ（Drosophila melanogaster）のリミットで検索した結果の例です。 公式名称はよく使う名前とは異なる場合が多いので気をつけましょう。「Clk」をクリックし、ショウジョウバエClockのページに進みます。 ○ちょっと裏道です。ヒト・マウスで正確な遺伝子名が分かる場合に限られますが、比較的簡単に特定遺伝子を検索できるNIHのツールがあります。 Gene Finder を開く "1. Select organism"でヒトかマウスをえらぶ。 "2. Enter a unique identifier" にclock,
Domain-Specific Languages with Scala Cyrille Artho1 , Klaus Havelund2 , Rahul Kumar2 , and Yoriyuki Yamagata1 1 AIST, Amagasaki, Japan 2 Jet Propulsion Laboratory, California Institute of Technology, California, USA Abstract. Domain-Specific Languages
Domain-Specific Languages with Scala Cyrille Artho1 , Klaus Havelund2 , Rahul Kumar2 , and Yoriyuki Yamagata1 1 AIST, Amagasaki, Japan 2 Jet Propulsion Laboratory, California Institute of Technology, California, USA Abstract. Domain-Specific Languages (DSLs) are often classified into external and internal DSLs. An external DSL is a stand-alone language with its own parser. An internal DSL is an exte
Modbat
A model-based tester Mirrors [ AIST | JKU ] Overview Modbat is a model-based testing tool that is based on annotated (extended) finite-state machines. Modbat is specialized to testing the application programming interface (API) of software. The model used by Modbat is compatible with Java bytecode. The user defines and compiles a model, which is then explored by Modbat and executed against the sys
Bayesian Self-Organizing Map Simulation using Java Applet (Japanese)
ベイジアン自己組織化写像シミュレーション（Ver. 1.3） (To English version) 用語解説 ベイジアン自己組織化写像(BSOM)は, 確率モデルに基づいて データの分布を推定する方法の一つで、その推定アルゴリズムはある種のニューラルネットの 学習アルゴリズムとみなす事も出来ます。 下の図の黒い点は人工的に生成されたデータ点を表します。 青い丸とそれを結ぶ青い線は, それぞれBSOMモデルのパラメータである中心点と トポロジーを表します。 この中心点は最初はランダムに配置されています。 トポロジーの役割は、それに沿ってパラメータが緩やかに変化すると言う制約を与えることによって 推定を安定させる事にあります。 ベイズ統計ではそのような制約はパラメータの事前確率として表現されます。 このアプレットはBSOMモデルの最大事後確率推定(MAP推定)を EMアルゴリズムで実行する
結晶構造ギャラリー
本結晶構造ギャラリーの結晶構造図は、もともと、2002年8月2日（金）の「産業技術総合研究所 関西センター 一般公開」で公開したものです。現在は、中温域固体伝導体HPのコンテンツの一つに位置付けられます。物質名（和名）又は鉱物名（和名）をクリックすると、各物質又は鉱物の原子（又は多面体）配列を三次元的に図示した結晶構造図 （123種類）を見ることが出来ます（2015年3月11日更新）。物質名（和名）又は鉱物名（和名）のアイコンをクリックすると、CIF（Crystallographic Information File）をダウンロード出来ます（2010年1月7日公開開始）。三次元結晶構造図表示用フリーソフトウェアVESTA（2015年11月9日現在、Ver3.3.1、Ver3.2.1、Ver2.1.6をダウンロード可能）などを用い、CIFを読み込むことにより、パソコン画面上で三次元結晶構造図
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
西日本の砂需給について 須藤定久 骨材 砕石 砂利 産業技術総合研究所
https://staff.aist.go.jp/tanaka-akira/pub/prosym49-akr-presen.pdf
Kinect等の色距離センサを用いた点群処理と3D物体認識
https://staff.aist.go.jp/k.takabatake/takabatake04.pdf
ベイジアンネット (Bayesian Network)