-
正定値対称行列$A$とベクトル$b$に対して$A x = b$を解くアルゴリズム
-
$A$ が疎行列の時に使うことが多い。前処理付きでやるのが普通 -
正定値対称疎行列に対する連立一次方程式ソルバーとしては、今でも(多分)最強の方法
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
---------------------------------------------- | |
-- implementation of "arithmetic via univalence" | |
-- https://groups.google.com/forum/#!topic/homotopytypetheory/n13Gh2GGe0g | |
-- | |
-- written in the cubical type theory | |
-- https://github.com/simhu/cubical | |
---------------------------------------------- | |
module uarith where | |
import finite | |
import swap |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <vector> | |
#include <cstdint> | |
#include <iostream> | |
#include <memory> | |
template <typename T, size_t N=16> | |
class aligned_allocator : public std::allocator<T> | |
{ | |
public: | |
using size_type = typename std::allocator<T>::size_type; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
define = -DFLEXIBLE | |
integrator = steep | |
nsteps = 1000 | |
nstenergy = 500 | |
nstlog = 500 | |
nstxout-compressed = 1000 | |
constraint-algorithm = lincs | |
constraints = h-bonds |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module quotient3 where | |
import description | |
import exists | |
import hedberg | |
import equivProp | |
quot : (A:U) -> (R:rel A) -> U | |
quot A R = Sigma (A->U) (\f->exists A (\c->Id (A->U) (R c) f)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module quotient3 where | |
import description | |
import exists | |
import hedberg | |
import equivProp | |
quot : (A:U) -> (R:rel A) -> U | |
quot A R = Sigma (A->U) (\f->exists A (\c->Id (A->U) (R c) f)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module monoid where | |
import prelude | |
import quotient3 | |
MonoidTerm : U -> U | |
data MonoidTerm A = empty | elem (x:A) | join (x:MonoidTerm A) (y:MonoidTerm A) | |
emb : (A:U) -> MonoidTerm A -> (MonoidTerm A -> MonoidTerm A) | |
emb A = split | |
empty -> (\x -> x) |
- ここに書いてあることが、既知であるかどうかは知らない
- ここに書いてあることは、私の知る範囲では、科学的に十分に検証された事実とは言えないし、私自身は、正式な臨床試験を行う立場にない
- ここに書いてあることは、安全性について十分に検討されているとは言えない
- この文書に記載した情報の利用によって生じた、いかなるトラブル・損失・損害などに対しても、私は一切責任を負わない
性同一性違和の生物学的男性(MtF)が、成長期を終えた後にホルモン補充療法を行っても、バストがあまり大きくならないらしいというのは統計的データは特にないものの、経験的には知られていることらしい。これは、バストの成長に於いて、女性ホルモン以外に、何らかの成長因子が同時に必要となるからと考えられる。
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//nvcc -O3 -std=c++11 minimd.cu | |
#include <cuda.h> | |
#include <thrust/host_vector.h> | |
#include <thrust/device_vector.h> | |
#include <thrust/sequence.h> | |
#include <thrust/sort.h> | |
#include <thrust/transform_reduce.h> | |
#include <thrust/iterator/zip_iterator.h> | |
#include <type_traits> | |
#include <tuple> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <iostream> | |
#include <fstream> | |
#include <sstream> | |
#include <vector> | |
#include <random> | |
#include <cmath> | |
#include <cfloat> //DBL_MAX | |
//原子単位系 | |
namespace atomic_units { |