haruyama

From mathcomp
  Require Import ssreflect ssrnat.

Section naturalNumber.

Lemma add0nEqn (n : nat) : 0 + n = n.
Proof. by []. Qed.

Lemma addn3Eq2n1 (n : nat) : n + 3 = 2 + n + 1.
Proof.

haruyama

Keybase proof

I hereby claim:

• I am haruyama on github.
• I am haruyama (https://keybase.io/haruyama) on keybase.
• I have a public key ASCXnr5_nc0X8FzUg6aCGzxcVIRGlakk7itj-zYINMAHRAo

To claim this, I am signing this object:

haruyama

diff -ur xnp2-0.86.orig/accessories/lzxpack.c xnp2-0.86/accessories/lzxpack.c
--- xnp2-0.86.orig/accessories/lzxpack.c	2016-03-09 02:25:48.000000000 +0900
+++ xnp2-0.86/accessories/lzxpack.c	2019-08-03 16:01:28.488689336 +0900
@@ -49,8 +49,8 @@
 			ctrl = ptr;
 			*ptr++ = 0x00;
 		}
-		back = min(pos, maxhis);
-		rem = min(datasize - pos, maxlen);
+		back = mymin(pos, maxhis);

haruyama

突然のご連絡失礼いたします。

J-Tech.devの山本 彩と申します。

エンジニアに特化したヘッドハンターでございます。
国内・海外の企業様の採用を支援させて頂いており、今回もマーケットで一番勢いのある優良なクライアント様についてお話させて頂きたく、ご連絡しました。

現在コロナウイルス感染防止の為、全ての面談を電話面談で実施しております。（Skype,　Hangout, Zoom 等）
また、ほぼ全ての面接もビデオで実施しております。