Submit Search
Upload
カーネル VM懇親会LT
•
1 like
•
2,011 views
cosmo0920
Follow
半導体よりも低レイヤーなら分子でしょというネタLTです。
Read less
Read more
Technology
Report
Share
Report
Share
1 of 27
Download now
Download to read offline
Recommended
Clojure
Clojure
Uehara Junji
Kotlinのlet/run/applyのよもやま話
Kotlinのlet/run/applyのよもやま話
Masaya Yashiro
Javascriptで無限ループを実現する5つの方法
Javascriptで無限ループを実現する5つの方法
yhara
Rubyの御先祖CLUのお話(OSC 2011 Shimane LT 資料)
Rubyの御先祖CLUのお話(OSC 2011 Shimane LT 資料)
洋史 東平
Power Assert and perl.js
Power Assert and perl.js
Goro Fuji
Opencv by-yancya
Opencv by-yancya
yancya
Immutable List Gem (KLab ALM版)
Immutable List Gem (KLab ALM版)
Sho Hosoda
clu2cは64ビットOSでも使えます (OSC 2012 Hiroshima LT用資料)
clu2cは64ビットOSでも使えます (OSC 2012 Hiroshima LT用資料)
洋史 東平
Recommended
Clojure
Clojure
Uehara Junji
Kotlinのlet/run/applyのよもやま話
Kotlinのlet/run/applyのよもやま話
Masaya Yashiro
Javascriptで無限ループを実現する5つの方法
Javascriptで無限ループを実現する5つの方法
yhara
Rubyの御先祖CLUのお話(OSC 2011 Shimane LT 資料)
Rubyの御先祖CLUのお話(OSC 2011 Shimane LT 資料)
洋史 東平
Power Assert and perl.js
Power Assert and perl.js
Goro Fuji
Opencv by-yancya
Opencv by-yancya
yancya
Immutable List Gem (KLab ALM版)
Immutable List Gem (KLab ALM版)
Sho Hosoda
clu2cは64ビットOSでも使えます (OSC 2012 Hiroshima LT用資料)
clu2cは64ビットOSでも使えます (OSC 2012 Hiroshima LT用資料)
洋史 東平
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
Computational Materials Science Initiative
詳解! Decimal
詳解! Decimal
Tadashi Saito
論理回路簡略化の極意
論理回路簡略化の極意
yangniao
Cコンパイラの改造(未)
Cコンパイラの改造(未)
7shi
Coqでsprintf
Coqでsprintf
Masaki Hara
Coqでsprintf
Coqでsprintf
Masaki Hara
Crystalskullを改造してみる
Crystalskullを改造してみる
Takao Sumitomo
Agdaで回路設計(をしたい)
Agdaで回路設計(をしたい)
Shunji Nishimura
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
Shuyo Nakatani
ParaviewでのParticle Tracerを用いた可視化
ParaviewでのParticle Tracerを用いた可視化
takuyayamamoto1800
Crystal勉強会#4 LT資料
Crystal勉強会#4 LT資料
Taichiro Suzuki
Python vs ruby
Python vs ruby
osamunmun
peco 紹介
peco 紹介
Yoshiaki Yoshida
LSTM
LSTM
Cotty
どうやって量子コンピューターをつくるのか
どうやって量子コンピューターをつくるのか
Akimasa Nakamoto
猫でも分かるVariational AutoEncoder
猫でも分かるVariational AutoEncoder
Sho Tatsuno
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
Ohsawa Goodfellow
X tapp lecture_20140226
X tapp lecture_20140226
xTAPP
The PubchemQC project
The PubchemQC project
Maho Nakata
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
Matlantis
NLP若手の回 ACL2012参加報告
NLP若手の回 ACL2012参加報告
Hiroyuki TOKUNAGA
Prometheus meetup tokyo#3 slide
Prometheus meetup tokyo#3 slide
cosmo0920
More Related Content
What's hot
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
Computational Materials Science Initiative
詳解! Decimal
詳解! Decimal
Tadashi Saito
論理回路簡略化の極意
論理回路簡略化の極意
yangniao
Cコンパイラの改造(未)
Cコンパイラの改造(未)
7shi
Coqでsprintf
Coqでsprintf
Masaki Hara
Coqでsprintf
Coqでsprintf
Masaki Hara
Crystalskullを改造してみる
Crystalskullを改造してみる
Takao Sumitomo
Agdaで回路設計(をしたい)
Agdaで回路設計(をしたい)
Shunji Nishimura
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
Shuyo Nakatani
ParaviewでのParticle Tracerを用いた可視化
ParaviewでのParticle Tracerを用いた可視化
takuyayamamoto1800
Crystal勉強会#4 LT資料
Crystal勉強会#4 LT資料
Taichiro Suzuki
Python vs ruby
Python vs ruby
osamunmun
peco 紹介
peco 紹介
Yoshiaki Yoshida
LSTM
LSTM
Cotty
What's hot
(14)
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
CMSI計算科学技術特論A(9) 高速化チューニングとその関連技術2
詳解! Decimal
詳解! Decimal
論理回路簡略化の極意
論理回路簡略化の極意
Cコンパイラの改造(未)
Cコンパイラの改造(未)
Coqでsprintf
Coqでsprintf
Coqでsprintf
Coqでsprintf
Crystalskullを改造してみる
Crystalskullを改造してみる
Agdaで回路設計(をしたい)
Agdaで回路設計(をしたい)
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
明日使える超高速Ruby - RXbyak (Mitaka.rb #5)
ParaviewでのParticle Tracerを用いた可視化
ParaviewでのParticle Tracerを用いた可視化
Crystal勉強会#4 LT資料
Crystal勉強会#4 LT資料
Python vs ruby
Python vs ruby
peco 紹介
peco 紹介
LSTM
LSTM
Similar to カーネル VM懇親会LT
どうやって量子コンピューターをつくるのか
どうやって量子コンピューターをつくるのか
Akimasa Nakamoto
猫でも分かるVariational AutoEncoder
猫でも分かるVariational AutoEncoder
Sho Tatsuno
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
Ohsawa Goodfellow
X tapp lecture_20140226
X tapp lecture_20140226
xTAPP
The PubchemQC project
The PubchemQC project
Maho Nakata
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
Matlantis
NLP若手の回 ACL2012参加報告
NLP若手の回 ACL2012参加報告
Hiroyuki TOKUNAGA
Similar to カーネル VM懇親会LT
(7)
どうやって量子コンピューターをつくるのか
どうやって量子コンピューターをつくるのか
猫でも分かるVariational AutoEncoder
猫でも分かるVariational AutoEncoder
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
Learning Deep Architectures for AI (第 3 回 Deep Learning 勉強会資料; 松尾)
X tapp lecture_20140226
X tapp lecture_20140226
The PubchemQC project
The PubchemQC project
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
PFP:材料探索のための汎用Neural Network Potential_中郷_20220422POLセミナー
NLP若手の回 ACL2012参加報告
NLP若手の回 ACL2012参加報告
More from cosmo0920
Prometheus meetup tokyo#3 slide
Prometheus meetup tokyo#3 slide
cosmo0920
Fluentd meetup 2019
Fluentd meetup 2019
cosmo0920
20160730 fluentd meetup in matsue slide
20160730 fluentd meetup in matsue slide
cosmo0920
新宿Scala座2014 3月号スライド
新宿Scala座2014 3月号スライド
cosmo0920
Kernelvm-9th-lt
Kernelvm-9th-lt
cosmo0920
カーネルVm関西その参lt
カーネルVm関西その参lt
cosmo0920
More from cosmo0920
(6)
Prometheus meetup tokyo#3 slide
Prometheus meetup tokyo#3 slide
Fluentd meetup 2019
Fluentd meetup 2019
20160730 fluentd meetup in matsue slide
20160730 fluentd meetup in matsue slide
新宿Scala座2014 3月号スライド
新宿Scala座2014 3月号スライド
Kernelvm-9th-lt
Kernelvm-9th-lt
カーネルVm関西その参lt
カーネルVm関西その参lt
Recently uploaded
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Hiroshi Tomioka
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
Toru Tamaki
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NTT DATA Technology & Innovation
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
Toru Tamaki
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
CRI Japan, Inc.
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
atsushi061452
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
Hiroshi Tomioka
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
iPride Co., Ltd.
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
CRI Japan, Inc.
Recently uploaded
(11)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
Observabilityは従来型の監視と何が違うのか(キンドリルジャパン社内勉強会:2022年10月27日発表)
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
カーネル VM懇親会LT
1.
分子の話 -第一原理計算- カーネル/VM 勉強会
懇親会LT @cosmo__
2.
自己紹介 ●
コスモ ● Twitter:@cosmo__ ● Blog(Wordpress):cosmo0920 ● Pixiv、SoundCloudにも生息しています ● ソフトウェアエンジニア見習い ● この間までラボ畜。専攻は化学でした (分子の計算をしていました)
3.
カーネル/VMと 言えば…
4.
低レイヤー
5.
低レイヤーの定義 ●
低レイヤーはどこから低レイヤー? ユーザランド ↓ カーネル 下に行く程レ ハードウェア イヤーが低い (はず?) ・ ・ ・
6.
●
半導体の性質はその上で動くカーネルからみ ると低レイヤー ↓ 一段降りてみる 半導体の性質を決めるもの is 何 A.分子(の中の電子)
7.
分子の中の電子の話をしよう。 ●
分子の中の電子は… ● 分子の中の電子は物質の性 質を決める最小単位 ● 分子の大きさは周りを回る 電子の動ける空間の大き さ
8.
分子の概念 ●
分子の概念が西洋科学で検証され始めたのは それ程古くない →1920年代に提唱された量子力学の貢献 ニールス・ボーア ポール・ディラック 出典:http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Niels_Bohr.jpg http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Dirac_4.jpg
9.
物理の道具を用いますよ ハミルトニアン・・・系の特徴を記述 波動関数・・・量子的な粒子を記述
10.
量子力学の基本方程式 時間に依存するシュレディンガー方程 式 時間に依存しないシュレディンガー方程 式
11.
厳密なハミルトニアン これは厳密には解けない
12.
シュレディンガー方程式 ●
大変美しい方程式 →しかし、厳密に解けるの は水素原子まで! あれ?分子の計算はどうなるの…
13.
Hartree-Fock法 ●
シュレディンガー方程式 →厳密…でも解けない ● ハートリー・フォック方程式 →厳密ではない…しかし解く方 法が存在する(近似解)
14.
問題を読み替える ●
よろしい、解けない部分を解 けるように変えてしまえ →とりあえず相互作用しないものとして計算 ● ハートリー・フォック方程式
15.
第一原理計算(ab initio計算) 第一原理ハミルトニアン 解けない項をとりあえず無視すると
最後の項だけが問題
16.
Hartree-Fock方程式 ●
対角化と固有値問題に帰着する フォック演算子
17.
SCF(Self Consistent Field)
原子軌道関数ρ(r,0)、一電子のルーチン n-1回目電子密度 ρ(r,n-1) 、二電子のルーチン 電子密度からポテンシャルを計算 波動方程式を解く Hψ=Eψ → ρ(r,n)が求まる 違った場合は戻る ρ(r,n) = ρ(r,n-1)なら終了
18.
計算量の話 ●
ハートリーフォックのSCF計算ではO(N^4)の ルーチン(二電子のルーチン)があります ● しかもそのルーチンはSCFのサイクル毎に呼 ばれます 計算コストが高い!! HPC!!
19.
最小のプログラム(C++版) cosmo SCF% wc
-l *.h 9 collect.h 9 hfcalc.h 9 integral.h 10 one_integral.h 30 param.h 9 scf.h 水素分子を計算するだけでも… >787行< 8 two_integral.h 15 util.h 99 total cosmo SCF% wc -l *.cpp 68 collect.cpp 20 hfcalc.cpp 140 integral.cpp 19 main.cpp 56 one_integral.cpp 30 param.cpp 127 scf.cpp 24 two_integral.cpp 160 util.cpp 644 total cosmo SCF% wc -l **/*.hpp 44 include/FixMatrix.hpp
20.
つらい
21.
流石に実装するのはきつかった… ●
第一原理計算でどんな性質がわかる? ● 分子構造 ● イオン化ポテンシャル ● 双極子モーメント ● 振動エネルギー ● 反応性、溶媒効果 等々…の分子の性質が計算出来る
22.
第一原理計算のソフトウェア
―特に分子軌道計算が出来るもの ● 多くはプロプラのソフトウェア ● Gaussian ● Jager ● GAMESS-UK ● 学術使用は自由 ● GAMESS-US ● SIESTA ● 中にはオープンソースも ● PSI3(PSI4が開発中) ● NWChem(North West Chem)
23.
フリーな第一原理計算ソフトウェア ●
NWChem NWChem: Delivering High-Performance Computational Chemistry to Science http://www.nwchem-sw.org/index.php/Main_Page ● PSI4(まだβ版) PSI4: ab initio quantum chemistry https://github.com/psi4 お家でab initio計算ができる時代
24.
>ただし言語はFortran<
…たまにC++製もあります
25.
つらい
26.
今どの程度まで計算が可能か ●
第一原理計算は最低O(N^4)なので数百原子が 限界 ● 微細な構造も含めて半定量的な議論まではで きる ● 磁性はまぁまぁ予測できる ● 反応経路もまぁまぁ予測できる ● 半導体のバンドも計算により再現出来ます →が、まだまだ定量性に欠ける
27.
まとめ ●
ここで解説したものはまだ基本的な第一原理 計算の理論のさわりです →なので実際の計算に入るにはまだ知識不足 ● ハートリーフォック法は電子の相互作用を無 視している部分があるので… 正しく間違った計算をする ことができます!!
Download now