NFC, NFD, NFKC, NFKD
input:
it’säå(1−2)ドブロク㍿
result:
import math | |
import numpy as np | |
from matplotlib import pyplot as plt | |
def webMercatorToLngLat(mx: float, my: float) -> tuple[float, float]: | |
lng = (mx * 2 - 1) * 180.0 | |
lat = (my * 2 - 1) * 180.0 | |
lat = ( | |
-180 |
import boto3 | |
from datetime import datetime, timedelta | |
import zoneinfo | |
import pandas | |
from matplotlib.dates import DateFormatter | |
import matplotlib.pyplot as plt | |
JST = zoneinfo.ZoneInfo("Asia/Tokyo") |
package main | |
import ( | |
"fmt" | |
) | |
type Fetcher interface { | |
Fetch(url string) (body string, urls []string, err error) | |
} |
from collections import Counter | |
import re | |
import huffman | |
class TextSplitter: | |
def __init__(self, words): | |
words.sort(key=lambda x: len(x), reverse=True) | |
self.words = set(words) |
from mpl_toolkits.mplot3d import Axes3D | |
from matplotlib.pylab import plt | |
from matplotlib import animation, cm | |
import numpy as np | |
from scipy.signal import convolve, convolve2d | |
class Wave1D: | |
K = np.array([1, -2, 1]) |
import sys | |
from zipfile import ZipFile | |
import lxml.etree as et | |
for path in sys.argv[1:]: | |
zf = ZipFile(path, mode='a') | |
with zf.open('OEBPS/content.opf', mode='r') as f: | |
doc = et.parse(f) |
#!/bin/env bash | |
pip3 uninstall pillow | |
apt install \ | |
libjpeg-turbo8-dev \ | |
zlib1g-dev \ | |
libtiff5-dev \ | |
liblcms2-dev \ | |
libfreetype6-dev \ |
import sys | |
import mmap | |
# usage: | |
# $ python3 rewrite_rp.py 1.dat 001 | |
with open(sys.argv[1], 'rb+') as f: | |
with mmap.mmap(f.fileno(), 0, access=mmap.ACCESS_WRITE) as m: | |
(curr_rp, new_rp) = (m[1], int(sys.argv[2])) | |
print("{0:03d} -> {1:03d}".format(curr_rp, new_rp)) |
digraph joetsu_merge { | |
graph [rankdir = LR]; | |
"下ノ郷村" -> "金谷村"; | |
"北大崎村" -> "金谷村"; | |
"金谷村" -> "高田市\n(1954)"; | |
"新道村" -> "高田市\n(1954)"; | |
"高田町" -> "高田町\n(1908)"; | |
"高城村" -> "高田町\n(1908)"; |