vertexoperator

#include <iostream>
#include <fstream>
#include <sstream>
#include <vector>
#include <random>
#include <cmath>
#include <cfloat> //DBL_MAX

//原子単位系
namespace atomic_units {

vertexoperator

//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>

vertexoperator

非外科的な豊胸手法

免責事項

• ここに書いてあることが、既知であるかどうかは知らない
• ここに書いてあることは、私の知る範囲では、科学的に十分に検証された事実とは言えないし、私自身は、正式な臨床試験を行う立場にない
• ここに書いてあることは、安全性について十分に検討されているとは言えない
• この文書に記載した情報の利用によって生じた、いかなるトラブル・損失・損害などに対しても、私は一切責任を負わない

概要

性同一性違和の生物学的男性(MtF)が、成長期を終えた後にホルモン補充療法を行っても、バストがあまり大きくならないらしいというのは統計的データは特にないものの、経験的には知られていることらしい。これは、バストの成長に於いて、女性ホルモン以外に、何らかの成長因子が同時に必要となるからと考えられる。

vertexoperator

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)

vertexoperator

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))

vertexoperator

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))

vertexoperator

CUDAの共役勾配法サンプルが遅かった話

Conjugate Gradient Method

• 正定値対称行列$A$とベクトル$b$に対して$A x = b$を解くアルゴリズム

• $A$が疎行列の時に使うことが多い。前処理付きでやるのが普通

• 正定値対称疎行列に対する連立一次方程式ソルバーとしては、今でも(多分)最強の方法

vertexoperator

define                   = -DFLEXIBLE
integrator               = steep
nsteps                   = 1000

nstenergy                = 500
nstlog                   = 500
nstxout-compressed       = 1000

constraint-algorithm     = lincs
constraints              = h-bonds

vertexoperator

#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;

vertexoperator

----------------------------------------------
-- 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