JavaScriptの数値二項演算の表
InfinityやNaNを含めた場合での数値演算結果を確認するための表。 a + b + +0 -0 +1 -1 +0.5 -0.5 +2 -2 +Infinity -Infinity NaN ...
1
1
Comment0
24 search resultsShowing 1~20 results
Stocked
You need to log-in
二分木を用いた数値配列の部分範囲内の最大値取得
ベタな実装 数値配列の部分範囲内の最大値は以下のように検索できます。 線形最大値検索 function findMax(nums, start, end, minValue = -Infinit...
0
0
Comment0
これでわかるかもしれないガロア理論の入り口
0. はじめに ガロア理論というのは、一言で言うと、「体」の「自己同型写像」が構成する「群」の構造とその体の構造とのあいだの関係性についての理論です。 ここでは、以下の流れでガロア理論の話をすす...
31
27
Comment0
有限体のプログラミング後編: リードソロモン符号のしくみ
前編内容 素数べき要素数の有限体のための基礎知識 素数べき要素数の有限体とその作り方 素数べき要素数の有限体の例 素数べき要素数の有限体のガロア群 中編内容 JavaScriptで実装する素数べ...
3
5
Comment0
有限体のプログラミング前編: 素数べき要素数の有限体
前編内容 素数べき要素数の有限体のための基礎知識 素数べき要素数の有限体とその作り方 素数べき要素数の有限体の例 素数べき要素数の有限体のガロア群 中編内容 JavaScriptで実装する素数べ...
24
15
Comment3
高速フーリエ変換FFTを理解する
この文書は、離散フーリエ変換DFTの理解をもとに、高速フーリエ変換FFTの振る舞いを理解することを目標とするものです。 はじめにDFTが何をするものかを簡単に説明し、そのDFT処理をJavaSc...
46
32
Comment3
C言語の関数型と関数ポインタ型の話
C言語には、代入可能な変数で使う関数ポインタ型の他に、関数型も存在します。 関数型は、関数プロトタイプ宣言における、関数(変数)のための型です。 関数定義出現前に関数を呼び出すとき使用する関数プ...
11
7
Comment0
JavaScriptで実装してみるQRコードジェネレータ
「有限体のプログラミング」での応用例として、リードソロモン符号とBCH符号のしくみを取り上げました。 その中では、このリードソロモン符号とBCH符号を両方使っている例として、QRコードに触れまし...
66
82
Comment1
有限体のプログラミング中編: JavaScriptで実装する有限体
前編内容 素数べき要素数の有限体のための基礎知識 素数べき要素数の有限体とその作り方 素数べき要素数の有限体の例 素数べき要素数の有限体のガロア群 中編内容 JavaScriptで実装する素数べ...
4
1
Comment0
coqでド・モルガンの法則の証明をするまで (命題論理版)
証明支援システムのcoqを用いて、命題論理の推論規則による証明ができるようにする。 その到達地点として、ド・モルガンの法則の4定理をすべてcoqで証明するまで行う。 そのなかで、証明した「定理」...
11
10
Comment0
WebのCache-Control
はじめに Webは、HTTP通信による単なるクライアントサーバシステムではなく、受け取ったHTTP Responseをキャッシュして再利用することを、基盤に組み込んでいます。 HTTPのCach...
29
17
Comment0
高校数学からヤコビアンに至るまで
TL;DR 全微分 行列式 ヤコビ行列 多重積分 ヤコビアン これらは高校数学の先にあるもので、多くの数学を応用する分野の書籍や記事で使われることが多いものです。しかし、そういった文書の多くで、...
225
197
Comment1
100囚人問題をJavaScriptでシミュレート
100囚人問題 100 prisoners problem(100囚人問題)というのは、 1から100まで連番の囚人番号が振られた100人の死刑囚(prisoner)に、最後のチャンスが与えられ...
2
2
Comment0
2次元データの離散フーリエ変換と高速フーリエ変換
二次元データの離散フーリエ変換(DFT)と、その高速版である二次元高速フーリエ変換(FFT)について、JavaScriptコードでの解説記事です。 この記事内の各種のDFT2D/FFT2DのJa...
5
6
Comment0
オープンソースプログラミング言語zigまとめ
WebAssemblyのモジュール記述のためのプログラミング言語を調べていると、比較的新しいオープンソースのプログラミング言語zigがWebAssemblyモジュールを書くのに適している感じだっ...
183
108
Comment1
Windows10 Homeのプログラミング環境をWSLとchocoでセットアップしてみた話
今風のやり方でWindows10 Homeをプログラミング環境として使えるようセットアップしたログです。5,6年前とは大きく状況が変わりました。 高解像度ディスプレイ タッチパッドを複数本の指で...
38
39
Comment0
2019年のWebAssembly事情
2年前に、「(Learn the Hard Way)nodejs-8でのWebAssembly自体を調べてみた」として、WebAssemblyについて記事にしました。 この記事は、2年前から変わ...
40
19
Comment0
「対話・確率過程入門」初版の第２章の誤植を検証し、ついでに指数分布の性質をプログラム実行によって確認してみた
宮沢政清著「対話・確率過程入門」は、「先生」と生徒たちふたりとの対話形式で行う、確率過程についての解説書です。 まだ全部読み終えてはいませんが、この初版本では、第２章20ページの下から３つめと２...
2
1
Comment0
coqでド・モルガンの法則の証明(一階述語論理版)
coqで一階述語論理版のド・モルガンの法則の証明を行うために、必要となる知識と情報をまとめた。 この記事は、「coqでド・モルガンの法則の証明をするまで (命題論理版) 」の続きとなっている。 ...
3
2
Comment0
ES6時代のコーディングスタイルを考える
ここではコーディングスタイルを考える上で、ES6（ECMAScript2015)の以下の特徴に注目して考察するものです。 変数宣言は、constを基本とする クラス宣言文や関数宣言文はブロックス...
84
85
Comment0
24 search resultsShowing 1~20 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles