45deg

IQ1 AdC 16 日目

アカデミックライティングの訓練をしてこなかった人間(me)がさびしい英語力で何とか英語で論文を書いてきたときに使っていたサービスやツールを挙げていきます。

• Hyper Collocation https://hypcol.marutank.net
  • 先に現れる/後に続く単語をarXivの論文の中から検索できるサービスです。
  • 前置詞や接続詞のどれが正しいか調べるのはもとより、この表現は widely accepted な表現かどうかを確かめるといった用途にも役立ちます (ちなみに今 "widely accepted" という表現が widely accepted かどうかを調べました)
  • 欠点としては、たまに(ノンネイティブの)間違った英語もarXivに乗っていることがあります。
• Do people say? https://dopeoplesay.com
• Reddit の書き込みから例文を検索するシステムです。

45deg

from PIL import Image
from multiprocessing import Pool

import glob

LIMIT = 1920

def resize(file):
  im = Image.open(file)
  (ow, oh) = im.size

45deg

#include <M5Stack.h>
#include "vec3.h"

#define IW 320
#define IH 240
const float F_EPS = 0.0001;
const vec3 LDR = vec3(0.577);

struct ray {
    ray(vec3 o, vec3 d) : origin(o), direction(d) {};

45deg

1. Update to the latest version of OCaml
2. opam install reason merlin
3. Add this to the settings

"reason.path.ocamlmerlin": "[USER]/.opam/system/bin/ocamlmerlin"

45deg

var Twitter = require('twitter')
var readline  = require('readline')
var process = require('process')

const rl = readline.createInterface({
  input: process.stdin,
  output: process.stdout
})

function ask(what){

45deg

type prop =
 True |
 Var of char |
 And of prop * prop |
 Not of prop |
 N of prop |
 U of prop * prop

(* slow! *)
let eventually p = U (True, p)

45deg

# Requirements: Python (with matplotlib / numpy), gcc, emfrp (https://github.com/psg-titech/emfrp)
# Execute: python gencode.py Kalman 0.4 6

import matplotlib.pyplot as plt
import numpy as np
from string import Template
import subprocess
import sys
import tempfile
import os

45deg

import numpy as np
from numpy import pi
# import matplotlib.pyplot as plt

N = 400
theta = np.sqrt(np.random.rand(N))*2*pi # np.linspace(0,2*pi,100)

r_a = 2*theta + pi
data_a = np.array([np.cos(theta)*r_a, np.sin(theta)*r_a]).T
x_a = data_a + np.random.randn(N,2)

45deg

.dark-border {
    border: 1px solid rgb(228, 232, 234);
}
.dark-border-top {
    border-top: 1px solid rgb(228, 232, 234);
}
html.dark {
    color: rgb(228, 232, 234);
}
html.dark .is-inverted-dark .stream-item {

45deg

window.addEventListener('load', function(){
  var timer = document.createElement('div');
  timer.style.position = 'fixed';
  timer.style.left = '50%';
  timer.style.transform = 'translateX(-50%)';
  timer.style.backgroundColor = '#000';
  timer.style.fontSize = '24px';
  timer.style.padding = '0 5px';
  timer.style.color = '#FFF';
  timer.style.fontFamily = '"MS Gothic", monospace';