minoki

local PDF_DIR = ".converted-pdf"
os.execute("mkdir -p " .. PDF_DIR)

local function file_exists(fn)
  local f = io.open(fn,"r")
  if f then
    f:close()
    return true
  else
    return false

minoki

実習用マシンへのTeX Live 2019のインストール

エクスプローラーのアドレス部分に ftp://download.ks.prv を打ち込む。 mirror > texlive > tlnet を開く。 install-tl-windows.exe をデスクトップにコピーする。

（ブラウザーで ftp://download.ks.prv/mirror/texlive/tlnet を開いて、 install-tl-windows.exe をダウンロードするのでも良い。）

展開

minoki

benchmarked trial division (2)/1000
time                 337.3 μs   (333.0 μs .. 342.5 μs)
                     0.996 R²   (0.987 R² .. 0.999 R²)
mean                 344.1 μs   (339.5 μs .. 353.6 μs)
std dev              22.82 μs   (7.337 μs .. 41.88 μs)
variance introduced by outliers: 42% (moderately inflated)

benchmarked trial division (2)/10000
time                 22.05 ms   (21.57 ms .. 22.77 ms)
                     0.996 R²   (0.989 R² .. 0.999 R²)

minoki

{-# LANGUAGE BangPatterns #-}
import Gauge.Main
import Control.Monad
import Control.Monad.State.Strict
import Data.IORef
import qualified Data.Vector.Unboxed.Mutable as V
import Data.Primitive.MutVar

{-
benchmarked vector

minoki

// dumparg.c
#include <stdio.h>
#include <wchar.h>
int wmain(int argc, const wchar_t *argv[])
{
    for (int i = 0; i < argc; ++i) {
        const wchar_t *s = argv[i];
        printf("argv[%d] = ", i);
        while (*s != 0) {
            if (*s < 0x80 && isprint(*s)) {

minoki

{-# LANGUAGE MagicHash #-}
module Main where
import Data.IORef
import Control.Monad (forM_)
import System.Environment (getArgs)
import Control.Monad.State.Class
import qualified Control.Monad.State.Strict as StateStrict
import qualified Control.Monad.State.Lazy as StateLazy
import Control.Monad.Writer.Strict as WriterStrict
import GHC.Prim

minoki

let m = str.match(/(a)(b)?/);
if (m) {
    let a: string = m[1];
    let b: string = m[2]; // 本当は string | undefined
}

minoki

#include <string>
#include <vector>
#include <iostream>
#include <cstdlib>

#define __CL_ENABLE_EXCEPTIONS
#include <CL/cl.hpp>

int main(int argc, char *argv[])
{

minoki

#include <stdio.h>
#include <math.h>
#include <complex.h>

#if !defined(CMPLX)
#  if defined(__clang__)
#    define CMPLX(x,y) ((double _Complex){(x), (y)})
#  elif defined(__GNUC__)
#    define CMPLX(x,y) __builtin_complex((double)(x), (double)(y))
#  endif

minoki

#include <stdio.h>
#include <locale.h>
#include <io.h>
#include <fcntl.h>
#include <windows.h>

BOOL is_stream_console(FILE *stream)
{
    DWORD mode;
    // GetConsoleMode requires GENERIC_READ access on the handle