タイトル通りJavaScriptのfor in文の値渡しについて、注意点をメモ。 var a = 1; var b = 2; var c = 3; var arr = [a, b, c]; var func1 = function(inputArr){ for(var n in inputArr){ n = 999; } }; func1(arr); console.log(arr); //出力は[1, 2, 3] fo…

ちょっとメモ サーバ側の処理をJavaScriptで書いている時にPOSTメソッドで必須でないoptinalなパラメータがくっついてない場合をどう判定すればよいのかわからずいろいろと試した。 たとえば、/hogeというエンドポイントがサーバにあって、必須パラメータがi…

存在証明が絡むとややこしくなったのでメモ (** **** Exercise: 1 star (dist_not_exists) *) (** Prove that "[P] holds for all [x]" implies "there is no [x] for which [P] does not hold." *) Theorem dist_not_exists : forall (X:Type) (P : X -> Pr…

ちょっと複雑だったのでメモ. Coqで帰納的に命題を定義する. 例: 自然数nは自然数m未満である. Inductive It : nat -> nat -> Prop := | It1 : forall n:nat , (It (S O) (S n)) | It2 : forall n:nat m:nat , (It n m) -> (It (S n) (S m)). とする. このと…

目次 目次 はじめに はてなブログに目次を付ける方法！ 枠をつける（カスタマイズする）方法！ はじめに Markdownではてなブログで目次を付ける方法なのですが、 はてなブログが進化したっぽいので、前にも記事にしていた点をまとめ直します。 ちなみに過去…

Coqの帰納法を忘れかけてたのでメモ (** **** Exercise: 2 stars (false_beq_nat) *) Theorem false_beq_nat : forall n m : nat, n <> m -> beq_nat n m = false. Proof. intros n. unfold not. induction n as [ | n']. - intros m H (**ここでmをintros**…

function onButtonClick() { target1 = document.getElementById("input1"); target1.innerText = document.forms.id_form1.id_textBox1.value; target2 = document.getElementById("input2"); target2.innerText = document.forms.id_form1.id_textBox2.val…

Macのtreeコマンド導入したのでメモ。 フォルダの階層構造をテキストにして出力してくれる。 インストールは $ brew install tree でできる。使用方法は、階層を木構造で出力したいディレクトリに移動して、 $ tree -N -L 1 という感じでOK。ちなみにオプシ…

ちょっといじったのでメモ はてなブログのインラインコードの色を変更する方法。 カスタマイズするには、CSSの.entry-content code {〜}のなかをいじればいい感じ。自分は、 /*インラインコードの色*/ .entry-content code { font-size: 90%; margin: 0 2px;…