ITO Manaki (Colk) Colk-tech

flowchart TB
A[あり] --> B[なし] --> B
B --> A
A --> C[ついて] --> E[る] --> C
C --> D[ない] --> F[あれ]
F --> G[どっち] --> G
G --> I[trans] --> I
I --> I
I --&gt; I

Hide Address

Hide private address on Amazon

Installation

Install Stylus for Chrome, Firefox.
Click here to install hide-address.user.css.

2020/5/31追記: 自分用のメモに書いていたつもりだったのですが、たくさんのスターを頂けてとても嬉しいです。
と同時に、書きかけで中途半端な状態のドキュメントをご覧いただくことになっており、大変心苦しく思っています。

このドキュメントを完成させるために、今後以下のような更新を予定しています。

TODO部分を埋める
書籍を基にした理論・原則パートと、実装例パートを分割
- 現在は4層のレイヤそれぞれごとに原則の確認→実装時の課題リスト→実装例という構成ですが、同じリポジトリへの言及箇所がバラバラになってしまう問題がありました。更新後は、実装時の課題リストを全て洗い出した後にまとめて実装を確認する構成とする予定です。

2021/1/22追記:

pyre 使ってみた

Pyre · A performant typechecker for Python

OCaml で書かれた Python 型チェックツール。Facebook 製。FlowType の用な感じで使えそう。

mypy があるが、こちらはおそらく高速を売りにしている気がする。たぶん。

python/mypy: Optional static typing for Python 2 and 3 (PEP484)

	% クラスファイルを指定
	% jlreqはW3Cで勧告されている日本語組版処理の要件を満たすクラスファイル
	% jarticle, jreport, jbookなどは古い上に日本語組版処理の要件を満たしていないため使わない
	\documentclass[
	% LuaLaTeXを使う
	luatex,
	% 用紙サイズをA4にする
	paper=a4paper,
	% 欧文のフォントサイズを11ptにする
	fontsize=11pt,

	import requests, glob, json, datetime, re

	UUDI_TO_PROFILE_URL = "https://sessionserver.mojang.com/session/minecraft/profile/{uuid}"

	achivements_pattern = re.compile(r'minecraft:(story\|nether\|end\|adventure\|husbandry)/.*')

	files = glob.glob("*.json")
	user = {}
	for file in files:
	uuid = file.split(".")[0]

	# reference: https://github.com/sqlalchemy/sqlalchemy/issues/5626

	import pytest
	import sqlalchemy as sa
	from sqlalchemy import orm
	from sqlalchemy.ext.asyncio import create_async_engine, AsyncSession

	Base = orm.declarative_base()

	#!/usr/bin/zsh
	# This is intend to generate image with cdrdao in Linux and mount with DAEMON Tools in Windows.
	# If you give -r as first argument, This program reads disc with cdrdao.
	# Any prefix means file name without extension.
	# For example, "foo/bar" means foo/bar.{bin,toc,cue}
	# Usage:
	# mk-windows-virtual-disc.zsh <existing_image_prefix> <output_prefix>
	# mk-windows-virtual-disc.zsh -r <linux_output_prefix> <windows_output_prefix>

	if [[ $1 == "-r" ]]