PDF link A Study Note on Lie Group and Representation
How to plot the Poincare Upper-Half Plane Model using matplotlib and numpy
Here the code is. import numpy as npimport matplotlib.pyplot as pltrealaxis = np.linspace(-1.0, 1.0, 1000)imagaxis = np.linspace( 0.0, 1.0, 1000)zeros = np.linspace(0, 0, 1000)colorlist = ["red", "green", "blue", "purple", "darkorange", "cyan"]theta = np.linspace(0, np.pi, 100)plt.axis("off")for n in list(range(0, 6)):n2 = np.power(2, n)for center in np.linspace(-1, 1, 2 * (n2 - 1) + 3):x = center [...]
How to do linux debugging SCIP remotely using Visual Studio Code
1. Prerequisites Version of SCIP: SCIP9.0.0.0Target Machine: Ubuntu Desktop 22.04Host Machine: Windows10OS username: scipuserWorking directory: /home/scipuser 2. Problem Hereinafter we assume your username is postgres. Perform the follwing steps in target machine according to [1]. (1) Download and extract tarball of sources of SCIP from official page[2] with along to the recommendation of GitHub INSTALL.md[1].tar [...]
How to do linux debugging TimescaleDB remotely using Visual Studio Code
1. Prerequisites Version of TimescaleDB: TimescaleDB2.13 Version of PostgreSQL: PostgreSQL16 Target Machine: Rocky Linux 8 & 4core cpu Host Machine: Windows10 See [5] for TimescaleDB version and PostgreSQL version compatibility. 2. Preparation in target machine Hereinafter we assume your username is postgres. Perform the follwing steps in target machine according to [1] 2.1 Installation of [...]
A Study Note on Applied Mathematics
PDF link A Study Note on Applied Mathematics
A study memo on jordan normal form of matricies
PDF link https://osmanthus.work/wp-content/uploads/2023/10/jordan_normal_form_matrix_20231028a.pdf
A study memo on popular probability distributions
PDF link https://osmanthus.work/wp-content/uploads/2023/09/popular_probability_distribution_20231112a.pdf
A study memo on triangularisability of matricies
PDF link https://osmanthus.work/wp-content/uploads/2023/08/triangularisability_matrix_20230826a-2.pdf
A study memo on weak law of large numbers and crude Monte Carlo Simulation
PDF link https://osmanthus.work/wp-content/uploads/2023/08/law_of_large_numbers_20230827a.pdf
A study memo on implicit function theorem and method of Lagrange multiplier
PDF link https://osmanthus.work/wp-content/uploads/2023/08/inverse_function_theorem_20230819a-2.pdf
A study memo on skewness and kurtosis
PDF link https://osmanthus.work/wp-content/uploads/2023/08/skewness_kurtosis_20230819a-1.pdf
How to do linux debugging PostgreSQL remotely using Visual Studio Code(Using meson+ninja)
1. Prerequisites The version of PostgreSQL: PostgreSQL16 Target Machine: Rockylinux8 The version of ninja: 1.11 Host Machine: Windows10 2. Preparation in target machine Hereinafter we assume os user is postgres who has sudo privilege. Perform the follwing steps in target machine according to [1]. (1) Download sources of PostgreSQL from official website and change directorygit [...]
A study memo on chi-squared tests for categorical data
chi-squared_test_for_categorical_data_20230812a-1Download
A study memo on linear regression
PDF Link https://osmanthus.work/wp-content/uploads/2023/07/linear_regression_20230917a-3.pdf
A study memo on a proof of the central limit theorem
central_limit_theorem_20230814aDownload
A Proof of a determinant formula
determinant_20210917aDownload
How to create subversion repository
1. Introduction I will show how to create subversion repository. 2. Preliminalies We assume the followings. Our repository is on External hard driveOS is CentOS8Subversion version is 1.10.2I use my repositoris in privateoperation user is root 3. Mounting external hard drive (1) Get device no of my external hard drive. I got sdb1. dmesg | [...]
Installing CentOS7 on VirtualBox by Vagrant
1. Introduction I will show how I installed CentOS7 on VirtualBox by Vagrant. Vagrant is a software which help us to easy install os on virtualbox. For install of VirtualBox, refer to [1]. This blog is based on [2]. 2. Preliminalies My host os is CentOS7. 3. Proceure 3.1 Install Vagrant (1) Download a installer. [...]
Spark Sample Codes in Scala
1. Preliminaries Scala code is build by Maven. For an example, refer to [1].For a way to install Spark, refer to [2]. OS is CentOS7CPU: AMD Ryzen 7 3700X 8-Core Processor 2. Sample codes 2.1 Accumulation (1) Build the following code. This code is based on [3]. package package1 import org.apache.spark.SparkContext import org.apache.spark.SparkConf object App [...]
Calculate π in PostgreSQL
(1) Perform the followings. select set_seed(1); prepare calculate_pi as select 4 * (count(*)::float8 / $1) from (select random() as x, random() as y from generate_series(1,$1,1)) a where ((x * x) + (y * y) < 1); execute calculate_pi(100); execute calculate_pi(1000); execute calculate_pi(10000); execute calculate_pi(100000); execute calculate_pi(1000000); execute calculate_pi(10000000); execute calculate_pi(100000000); (2) I got the following [...]
Various ways to print “Hello world” in Scala
1. Introduction I will show the way to build and run program which prints "hello world" without sbt, with sbt, with maven. Here, sbt is "Scala Build Tool". 2. Preliminaries Scala Version:2.12 sbt:1.2.7 OS:CentOS7 Java:OpenJDK8 Maven:3.6.3 3. Install Scala and Maven Refer to [3] 4. Hello world without sbt Execute the following procedures[1]. (1) Create [...]
A Roundabout Proof of Schwarz’s Inequality
Schwarz_Inequality_20230624aDownload
Paper reading memo: Database System Support of Simulation Data
1. Memo (1) The goal of this paper The goal of this paper is to accelarate visualization and quantitive analysis of simulation data. (2) What simulation data is A simulation is forecasting or estimating numerical value as velocity and pressure etc. at each 3D space corrdinate and each time in area such as astronomy; medicine; [...]
Self order system(1) intro. to React
1. Introduction I try to develop self order system of Japanese Monjayaki shop. 2. Prerequities OS: Windows10UI framework: React 17(using create-react-app) and Material UI 4.11 3. Goal of this article The goal is to create the followings.(1) Navigation menu as toggle button(2) Language menu which switch display language 4. Installing React and Material UI (1) [...]
Installing VirtualBox on CentOS7
1. Introduction I installed a virtualization software VirtualBox which is based on hosted hypervisor. 2. Procedure (1) Install libSDL is necessary to install VirtualBox. libSDL is a cross-platform development library designed to provide low level access to multimedia. mkdir ./virtualbox cd ./virtualbox wget https://download.virtualbox.org/virtualbox/6.1.16/VirtualBox-6.1-6.1.16_140961_el7-1.x86_64.rpm sudo yum install libSDL* sudo rpm -ivh ./VirtualBox-6.1-6.1.16_140961_el7-1.x86_64.rpm (2) Veryfy if [...]
Paper reading memo: Interleaved Multi-Vectorizing
1. Memo 1.1 Goal of this paper It is necessary to reduce cache misses and branch misses for increasing the effect of acceralating database operations using SIMD. The author aims to acceralate database operations which has irregular memory access by using SIMD. Hash join which search big hash table which data size is larger than [...]
A little experiment for CPU vs GPU using CUDA
1. Introduction I am a begineer of GPGPU. For performance comparison of CPU and GPU I did a little experiment using CUDA Toolkit. 2. Prerequities GPU: GeForce GTX 1060 6GB *CPU: AMD Ryzen 7 3700X 8-Core ProcessorOS: CentOS7.7CUDA: CUDA11.2Programing Language: C language* I bought this GPU according to [1] 3. Installing CUDA (1) Install CUDA11.2 [...]
SIMD sample code using AVX
1. Setup OS: CentOS7CPU: Ryzen 7 3700XMemory: TEAM DDR4 3200Mhz PC4-25600 32GBx 4x 2. Source (1) no_simd.c which multiple two vectors without SIMD #include <stdio.h> #include <stdlib.h> #include <time.h> void normal_mul(long long vec_len, float *ret, const float *v1, const float *v2){ for(long long elem_idx = 0; elem_idx < vec_len; elem_idx++) ret[elem_idx] = v1[elem_idx] * v2[elem_idx]; [...]
Using PostgreSQL logical replication on Docker
1. Prereuities OS: CentOS7PostgreSQL: PostgreSQL13.0Docker version 20.10 2. What I want to set up Publisher: container postgres13-server1, database testlrep, replication user repuser, table t1Subscriber: container postgres13-server2, database testlrep, table t1 3. Creating Docker containers (1) Install Docker and Docker images of PostgreSQL13 according to e.g. [1] (2) Creating Docker containers by the following commands docker [...]
Using PostgreSQL on Docker
1. Prerequities OS: CentOS7PostgreSQL: PostgreSQL13Docker version 20.10 2. Setup Docker (1) Install docker engine performing the following commands sudo yum install -y yum-utils sudo yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.repo sudo yum makecache fast sudo yum install docker-ce systemctl enable docker (2) Check whether docker engine runs sample container or not docker run hello-world docker stop hello-world 3. [...]
LLVM JIT sample code
1. Introduction I wrote and run LLVM JIT sample program by refering to [1] and the LLVM official page. 2. Prerequities clang: version 5.0.1llvm: version 5.0.1* I installed the above softwares according to [1]implementation language: C language 3. Sample Code itself This program (i)create LLVM IR(Intermidiate Representation) program which multiples two values.(ii) Call (i) IR [...]
Installing Apache Spark from source
1. Introduction I will show how to intall Apache Spark3.0.1 from source. 2. Install procedure (1) Install Java8 sudo yum install java-1.8.0-openjdksudo yum install java-1.8.0-openjdk-devel (2) Install Maven3.6.3 which is a Java build tool wget https://ftp.yz.yamagata-u.ac.jp/pub/network/apache/maven/maven-3/3.6.3/binaries/apache-maven-3.6.3-bin.tar.gzsudo tar xf ./apache-maven-3.6.3-bin.tar.gz -C /optsudo ln -s /opt/apache-maven-3.6.3 /opt/maven (3) Set environment variable for mavensudo vi /etc/profile.d/maven.sh--export JAVA_HOME=/usr/lib/jvm/jre-openjdkexport M2_HOME=/opt/mavenexport [...]
Paper reading memo: Microarchitectural Analysis of OLAP: Limitations and Opportunities
1. Memo This paper shows experimental results on columnstore performance in some settings. This paper focuses on utilization efficiency of CPU. The authors analyze effects of some techniques related to CPU such as Prediction*, SIMD, Prefetch, Turbo boost and Hyper Threading. This paper shows the effect when performing multi-thread processing is quite smaller than one [...]
Looking up PostgreSQL internal related to performance of inserting big data
1. Introduction Response time of inserting big data(e.g 10GB~) is often longer than one of writing that data into storage. I looked up the cause of this difference by reading PostgreSQL source and performing simple experiment. 2. Prerequities Version of PostgreSQL: PostgreSQL13.0Experimental Setting: CentOS7, PC spec: Ryzen 7 3700X 3.6GHz 8Cores, 128GB memory, SSD M.2 [...]
How to build and debug PostgreSQL using MinGW
1. Install PostgreSQL using MSYS2 and MinGW (1) Download MSYS2 installer from the following link and install along with the installerhttp://www.msys2.org/(2) Add path to D:\msys2-64\mingw64\bin. (3) Start MSYS2 by running the following command in command prompt D:\msys2-64\msys2_shell.cmd -mingw64 (4) Install build tools and debug tool by running the following commands in MSYS2 pacman -Syupacman --needed [...]
How to find operators accelarated by JIT in PostgreSQL
1. Introduction PostgreSQL can apply Just-in-time(JIT) compilation to some operations to convert general purpose code to native code. So PostgreSQL JIT can acclarate CPU-bound query. 2. What I looked up (1) How to use PostgreSQL JIT (2) Effect of PostgreSQL JIT(3) How to find operators accelarated by PostgreSQL JIT 3. Prerequisites Version of PostgreSQL: PostgreSQL13.0OS: [...]
How to do windows debugging Elasticsearch using Intellij IDEA
ElasticSearch is implemented in Java language. So, we need build and debug tools in Java language. I show build and debug procedures using Java build tool Gradle and Java integrated development environment Intellij IDEA. 1. Prerequisites Version of Elasticsearch: Elasticsearch 7.10 Target Machine and Host Machine: Windows10(same machine) 2. Building Elasticsearch Installi Gradle which is [...]
Effect of PostgreSQL buffer cache for read-only query for large data in PostgreSQL
1. Introduction In OLAP(Online Analytical Processing) workload, PostgreSQL server often reads large data from one table. So buffer cache for table containing large data is effective. In this short article, I show what I found on effect of buffer cache for accelarating query which reads large data from one table in PostgreSQL. 2. Prerequisites Version [...]
How to do linux debugging PostgreSQL remotely using Visual Studio Code(Using autoconf+make)
1. Prerequisites Version of PostgreSQL: PostgreSQL13 Target Machine: CentOS7 Host Machine: Windows10 2. Preparation in target machine Hereinafter we assume your username is postgres. Perform the follwing steps in target machine according to [1] (1) Download sources of PostgreSQL from official website and change directory wget https://ftp.postgresql.org/pub/source/v13.0/postgresql-13.0.tar.gztar -xzvf ./postgresql-13.0.tar.gzcd ./postgresql-13.0 (2) Install optional softwares as [...]
How to find limits of GUC parameter in PostgreSQL
1. Introduction PostgreSQL has many configuration parameters which control server behavior, so called GUC parameter. For example, work_mem control max amount of memory which is used postgres server when hash join, etc. are executed. There are no description upper limit or lower limit of some GUC parameters in PostgreSQL official document. I know there are [...]
A slight improvement of PostgreSQL on build procedure in Windows?
I often build postgresql source code using Visual Studio in Windows. Then I sometime accidently clean postgres project. According to my memory, if postgresql version less than 12 then any rebuild fails since some files related to parser are deleted after clean. But I realized that in postgresql v13 any rebuild successes. Is this a [...]
How to debug InfluxDB remotely using Visual Studio Code
InfluxDB is implemented in Go language. So, we need build and debug tools in Go language. 1. Prerequisites Version of InfluxDB: InfluxDB 2.0 Target Machine: CentOS7 Host Machine: Windows10 2. Preparation in taget machine Perform the follwing steps in target machine (1) Install gvm(go version manager) bash < <(curl -s -S -L https://raw.githubusercontent.com/moovweb/gvm/master/binscripts/gvm-installer) (2) Install [...]