NFC, NFD, NFKC, NFKD
input:
it’säå(1−2)ドブロク㍿
result:
| digraph joetsu_merge { | |
| graph [rankdir = LR]; | |
| "下ノ郷村" -> "金谷村"; | |
| "北大崎村" -> "金谷村"; | |
| "金谷村" -> "高田市\n(1954)"; | |
| "新道村" -> "高田市\n(1954)"; | |
| "高田町" -> "高田町\n(1908)"; | |
| "高城村" -> "高田町\n(1908)"; |
| 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)) |
| #!/bin/env bash | |
| pip3 uninstall pillow | |
| apt install \ | |
| libjpeg-turbo8-dev \ | |
| zlib1g-dev \ | |
| libtiff5-dev \ | |
| liblcms2-dev \ | |
| libfreetype6-dev \ |
| 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) |
| 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]) |
| 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) |
| package main | |
| import ( | |
| "fmt" | |
| ) | |
| type Fetcher interface { | |
| Fetch(url string) (body string, urls []string, err error) | |
| } |
| 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") |
| 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 |