Kenji Otsuka KenjiOhtsuka

これは、OAuth 2.x 認証サーバーからのリダイレクトである localhost への HTTPS GET リクエストを受信するために作成された単純なサーバーのコードです。リダイレクトURIに、SSL/TLS を必要とする HTTPS URL しか登録できない場合に使えます。 server.py は HTTPS GET リクエストを受信すると、パラメータをつけたまま http://localhost にリダイレクトします。

使い方

ステップ1

次のコマンドを実行して暗号化キーを作成します。

How to change Theme fonts in Microsoft Word

Here, I explain how to change headings and body font in Microsoft Word. I used Microsoft Word for Mac Version 16.70. In Microsoft Word, there are default fonts and I couldn’t find a way to change them via GUI. When I change the theme, they are changed but it was hard to find a theme that uses the font I wanted to use. Then, I changed them with VBA. Code

I changed the default font as follows.

To change fonts to Times New Roman

JOSN 配置場所

JSONはフォルダ

/Users/{{USER}}/.config/karabiner/assets/complex_modifications/

の中に入れる。

BEM

Block
- nameは目的を説明する
- 再利用可能な、機能的に独立したページコンポーネント。
- 見え方を表すものではない
- ブロックは互いに入れ子にすることができる。ネストレベルに制限はない。
Element
- 単体では使えないブロックの複合パーツ。ブロックの中で使用される。
nameは目的を説明する。

Racket のファイルは #lang racket から始める。
真偽値
- #t, #f

関数定義

(define x expression)

e: Expression

; lambda を使った関数定義
(define a (lambda (x) (+ 1 x))

; 引数と一緒に関数定義

	<!--
	When the computer browser shows 2nd and 3rd paragraphs in the same format,
	but the mobile browser shows 2nd and 3rd ones differently.
	-->
	<!DOCTYPE html>
	<html>
	<head></head>
	<body>
	<p style="line-height: 1em; margin: 1em; background: rgba(0, 0, 0, 0.1);">
	aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

	-- for one table
	SELECT 'SELECT ' + STUFF((
	SELECT ', ' + name + CHAR(10)
	FROM sys.columns
	WHERE object_id = OBJECT_ID('table_name')
	FOR XML PATH('')
	), 1, 2, '') + ' FROM table_name;';

	-- if you want to generate such SQL for multiple tables:
	SELECT (SELECT 'SELECT ' + STUFF((SELECT ', ' + name + CHAR(10)

	"""
	Sometimes we got base64 string without padding and python can't decode it as it is.
	We have to add missing paddings and here is the code.

	Especially, JWT token contains Base64 string withoug padding,
	where padding must not added.
	"""

	import base64

	import cv2
	import numpy as np

	cap = cv2.VideoCapture(0)
	# replace each pixel with a character from array
	chars = ["B", "S", "#", "&", "@", "$", "%", "*", "!", ":", "."]
	chars = chars[::-1]


	while True:

	#!bin/bash

	while IFS= read -r line
	do
	for i in $(seq 0 $(expr length "$line"))
	do
	# print each character
	c="${line:$i:1}"
	echo -n c
	done